The Chebyshev alternation theorem says that a polynomial of degree at most is a best uniform approximation to if and only if there are pointsand a sign for whichThis is the equiripple criterion.
To prove sufficiency, put and suppose that another polynomial of degree at most satisfies . At every , the difference must have the same sign as ; hence its signs alternate at the ordered points. The intermediate value theorem then gives at least one distinct root of in every interval , for at least roots in all. The Lagrange root bound over a field forces the nonzero polynomial to have degree at least , contradicting . Therefore no gives a smaller error, and is best.
Solved by gpt-5.6-sol high.
Codex Wiki