[微積] lim sin(x)/x
#1EY71w0u □ [微積] 有一題證明題 有人可以幫我嗎?
因為看到這篇文章中版主大大的推文
想提出一個看法和一個疑惑點
<1>
『 sin(x)
能不能用 L'Hopital's rule 解 lim ─── ?
x→0 x 』
我認為可以
理由是考慮以下兩個命題 :
『 d
A: ── sin(x) = cos(x)
dx 』
『 sin(x)
B: lim ─── = 1
x→0 x 』
接著
" A→B " 是 true , 因為 L'Hopital's rule + lim 性質
" B→A " 是 true , 因為 三角函數的和角公式 + lim 性質
所以可推論出 A iff B
因此只要利用以上結論之外的其它任何推論
可以論證出 "A 是 true" 或 "B 是 true"
那就代表命題 A 和 B 皆為 true
例如 用了一些方法 (像是 Squeeze thm.) 證明 B 是 true
且 "B→A" 的推論也知道了
那用 L'Hopital's rule 來補 "A→B" 那塊的真偽我認為沒甚麼不行
當然在邏輯上
自己都已經知道 B 為 true
用 A→B 來得到 B 的真偽蠻畫蛇添足的
--------------
<2>
話是這麼說
但有個讓我 confuse 的點
那就是我上網有查到一篇資料:
http://johnmayhk.wordpress.com/2010/02/27/circular-argument-on-sinx-over-x/
sin(x)
上面寫說證明 lim ─── = 1 本身就會犯 循環論證
x→0 x
原因是考慮以下兩命題 :
『 sin(x)
B: lim ─── = 1
x→0 x 』
『 2
C: 半徑為 r 的圓面積 = πr
』
"C→B" 和 "B→C" 可以很簡單就推論出是 true
但問題是怎麼證明 "B 是 true" 或 "C 是 true" ?
或是有沒有辦法不利用圓面積公式
證明出 sin(x) < x < tan(x) if 0<x<π/2 ?
或是有其它方式可以證明命題 B 是對的 ?
因為以前不會想那麼細
所以很想把這一塊的思路整理清楚
麻煩大家解惑一下
多謝~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.113.211.139
→
10/04 08:22, , 1F
10/04 08:22, 1F
※ 編輯: doom8199 來自: 140.113.211.139 (10/04 08:24)
→
10/04 09:34, , 2F
10/04 09:34, 2F
→
10/04 09:35, , 3F
10/04 09:35, 3F
→
10/04 09:35, , 4F
10/04 09:35, 4F
→
10/04 09:36, , 5F
10/04 09:36, 5F
→
10/04 09:37, , 6F
10/04 09:37, 6F
→
10/04 09:38, , 7F
10/04 09:38, 7F
→
10/04 09:39, , 8F
10/04 09:39, 8F
→
10/04 09:40, , 9F
10/04 09:40, 9F
→
10/04 09:41, , 10F
10/04 09:41, 10F
→
10/04 09:42, , 11F
10/04 09:42, 11F
→
10/04 09:42, , 12F
10/04 09:42, 12F
→
10/04 09:43, , 13F
10/04 09:43, 13F
→
10/04 10:08, , 14F
10/04 10:08, 14F
→
10/04 10:09, , 15F
10/04 10:09, 15F
→
10/04 10:10, , 16F
10/04 10:10, 16F
→
10/04 10:11, , 17F
10/04 10:11, 17F
→
10/04 10:15, , 18F
10/04 10:15, 18F
推
10/04 10:28, , 19F
10/04 10:28, 19F
→
10/04 10:28, , 20F
10/04 10:28, 20F
→
10/04 10:34, , 21F
10/04 10:34, 21F
→
10/04 10:35, , 22F
10/04 10:35, 22F
→
10/04 10:35, , 23F
10/04 10:35, 23F
→
10/04 10:35, , 24F
10/04 10:35, 24F
→
10/04 10:40, , 25F
10/04 10:40, 25F
→
10/04 10:41, , 26F
10/04 10:41, 26F
→
10/04 10:41, , 27F
10/04 10:41, 27F
→
10/04 10:41, , 28F
10/04 10:41, 28F
推
10/04 11:28, , 29F
10/04 11:28, 29F
→
10/04 11:29, , 30F
10/04 11:29, 30F
→
10/04 11:30, , 31F
10/04 11:30, 31F
→
10/04 11:32, , 32F
10/04 11:32, 32F
→
10/04 11:32, , 33F
10/04 11:32, 33F
→
10/04 11:35, , 34F
10/04 11:35, 34F
→
10/04 11:35, , 35F
10/04 11:35, 35F
→
10/04 12:34, , 36F
10/04 12:34, 36F
→
10/04 12:37, , 37F
10/04 12:37, 37F
→
10/04 14:12, , 38F
10/04 14:12, 38F
→
10/04 16:56, , 39F
10/04 16:56, 39F
→
10/04 16:57, , 40F
10/04 16:57, 40F
討論串 (同標題文章)
完整討論串 (本文為第 1 之 4 篇):
微積
2
40