作者PttFund (批踢踢基金)
看板Math
标题Re: [分析] 高微(2)
时间Tue Jul 12 22:49:01 2005
※ 引述《PttFund (批踢踢基金)》之铭言：
: Let f : R -> R be differentiable and there is a constant c > 0
: such f'(x)≧c for all x. Show that there exists x_0 in R such
: that f(x_0)=0.
自问自答, 先挑简单的来回答, 其实贴的五题不很简单.
Proof:
For fixed x in R, we apply MVT to obtain
f(x+1)-f(x) = f'(ξ) ≧ c,
where ξ is between x+1 and x. Thus, f(x+1)≧f(x) + c.
By induction, we have
f(x+n)≧f(x) + nc for positive integers n.
f(x-n)≦f(x) - nc for positive integers n.
We consider the following possible four cases:
(1) f(x) > 0 for all x in R.
(2) f(x) < 0 for all x in R.
(3) f(p)≧0, f(q) < 0 for some p, q in R.
In (3), since f is continuous on R, we can apply intermediate-value
theorem to get the conclusion.
In (1), it is impossible. Fixed x in R. let n > f(x)/c and we have
f(x-n) ≦ f(x) - nc < f(x) - f(x) < 0,
a contradiction. Case (2) is similar.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.68.227.219
1F：推 iddee:推 !! 这题很像是政大和中央的某题高微考古题 61.219.178.216 07/13
2F：→ iddee:但有点不太一样 @@ 61.219.178.216 07/13
3F：→ eggsu :We consider the following possible "three" cases 04/17 15:16