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.
Articles by others on the same topic
There are currently no matching articles.