By Extreme Value Theorem on a Compact Interval, the function attains a maximum and a minimum on . Let be points such that for all .
If , then is constant on , so for every . In particular, any works.
Assume now that is not constant. Then either or . In the first case ; in the second case . Thus there exists an interior point at which has a local extremum. By Fermat Stationary Point Criterion, we have .
Loading…
Prerequisites
proof6d08d124...
6d08d124-70f7-4b24-92c9-74ac6056e51e