Strict decrease of best polynomial approximation under a derivative sign

ID: strict-decrease-of-best-polynomial-approximation-under-a-derivative-sign

For real with positive st derivative, equality of consecutive best uniform approximation errors would make a best degree-at-most- polynomial also best at degree . The Chebyshev alternation theorem then supplies alternating extrema of its nonzero error, hence distinct zeros. Repeated Rolle's theorem forces a zero of the st derivative of that error, contradicting the assumed sign. The same conclusion holds for a strictly negative derivative by replacing with .

New to topics? Read the docs here!