Re: [微分] 101 東華 計算(3)
看板trans_math作者Eliphalet (Mournful Monday)時間9年前 (2015/06/11 17:58)推噓0(0推 0噓 0→)留言0則, 0人參與討論串2/2 (看更多)
※ 引述《EggAche (蛋疼)》之銘言：
: A real number c such that f(c)=c is call a fixed point of the function
: f. Prove that if f is differentiable and f'(x)≠1 for all x in an
: interval I, then f has at most one fixed point in I.
: 之前在書上遇到的都是給定 x=0 x=1 的條件
: 配合具備連續性而有的中間值定理來證明,
: 今天條件只給了可微分(暗中應該也是給了連續的條件),
: 又 f'(x)≠1 就沒什麼頭緒了...
: 這類存在性定理的證明感覺會和均值定理有關係，
: 能給些思路嗎?
→
06/11 16:57,
06/11 16:57
→
06/11 17:00,
06/11 17:00
→
06/11 17:00,
06/11 17:00
→
06/11 17:01,
06/11 17:01
基本上題目要你證明的思路大致如 keith291 推文所言，我這裡給一個
稍微不同的證明
由你的題設， f' 要嘛是恆大於 1 ， 要嘛是恆小於 1
(假如有 [a,b] 包含於 I 使得 f'(a) < 1 < f'(b)，則 f(x)-x 在 [a,b]
的最小值一定發生在 (a,b)，因此在內部可找到一點 t 使得 f'(t) = 1
矛盾;另一情況 f'(a) > 1 > f(b) 類似)
在這種情況下，
1. 要嘛沒有 fixed point (搞定)
2. 要嘛只能有一個 fixed point
假如 c 為一 fixed point，假設 f' > 1 ，則由微積分基本定理
x > c 時， f(x) > x ; x < c 時， f(x) < x
所以 f 只有 c 這個 fixed point
證明完畢
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.46.203.241
※ 文章網址: https://www.ptt.cc/bbs/trans_math/M.1434016717.A.647.html
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：