推 iddee :最後兩行，不能說那樣就有g'(c)≠0吧，@@? 03/03 03:32
→ wickeday :看不出來為什麼不行... 03/03 14:17
※ 引述《iddee ()》之銘言：
: 1) 設 f: [a,b] -> R 是一連續函數, 且 f 在 (a,b) 上可微，
: 2) 設 c 屬於 (a,b) 且 f'(c) 是 f'(x) 在 (a,b) 上的 global 極值，
: 3) 且 f is not linear 在 c 附近。
: 證明：對任意 α,β 滿足 a ≦ α < c < β ≦ b，
: f(β) - f(α)
: => ------------- ≠ f'(c)
: β - α
Assume a=α, b=β
If f(a)=f(b), then you need to prove f'(c)≠0,
which is obvious since f is not constant.
For f(a)≠f(b), consider g(x)=f(x)-h(x),
where h(x)=f(a)+[(f(b)-f(a))/(b-a)](x-a),
then g(a)=g(b)=0, g'(c)=f'(c)-[(f(b)-f(a))/(b-a)].
By above case, g'(c)≠0, f'(c)≠(f(b)-f(a))/(b-a).
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.250.120.156