Symmetric derivative criterion for monotonicity

ID: symmetric-derivative-criterion-for-monotonicity

A continuous function on an open interval with positive symmetric derivative everywhere is strictly increasing. One proof takes an antiderivative using the fundamental theorem of calculus. For small positive , the identity
follows from . If exceeded a chord, its difference from the chord would attain a positive interior maximum, contradicting this symmetric difference inequality. Thus is a convex function, and its derivative is nondecreasing. Equality at two different points would make constant between them and force an interior symmetric derivative to vanish, proving strict monotonicity.

New to topics? Read the docs here!