Vanishing symmetric second derivative forces an affine function
ID: vanishing-symmetric-second-derivative-forces-an-affine-function
If a continuous real function on an interval has the displayed limit zero at every interior point, it is affine. On any compact subinterval subtract its endpoint chord. If the difference were positive somewhere, adding for sufficiently small positive would retain a positive interior maximum. At a maximum every symmetric second difference is nonpositive, but its normalized limit would be . Thus the function lies below its chord; applying the same argument to its negative gives equality. Real and imaginary parts give the complex-valued version. Existence of ordinary second derivatives is unnecessary.
New to topics? Read the docs here!