TheoremBase

Proof

By Extreme Value Theorem on a Compact Interval, the function ff attains a maximum and a minimum on [a,b][a,b]. Let xmax⁡,xmin⁡∈[a,b]x_{\max},x_{\min}\in[a,b] be points such that f(xmax⁡)≥f(x)≥f(xmin⁡)f(x_{\max})\ge f(x)\ge f(x_{\min}) for all x∈[a,b]x\in[a,b].

If f(xmax⁡)=f(xmin⁡)f(x_{\max})=f(x_{\min}), then ff is constant on [a,b][a,b], so f′(x)=0f'(x)=0 for every x∈(a,b)x\in(a,b). In particular, any c∈(a,b)c\in(a,b) works.

Assume now that ff is not constant. Then either f(xmax⁡)>f(a)=f(b)f(x_{\max})>f(a)=f(b) or f(xmin⁡)<f(a)=f(b)f(x_{\min})<f(a)=f(b). In the first case xmax⁡∈(a,b)x_{\max}\in(a,b); in the second case xmin⁡∈(a,b)x_{\min}\in(a,b). Thus there exists an interior point c∈(a,b)c\in(a,b) at which ff has a local extremum. By Fermat Stationary Point Criterion, we have f′(c)=0f'(c)=0.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…