Re: [微積] lim sin(x)/x
首先我們 採用一般的三角函數定義, pi 為半圓周長
令 A(x) 為 角度 x 的扇形面積，我們不能使用 A(x) = x/2
因為上式的推導用到 lim sinx/x = 1(參見原 post 引用的連結)
但我們知道 A(x) 為 x 的嚴格遞增函數 for 0 < x < 2pi
同時如果 0 < nx < 2pi, n 為自然數
則藉由分割 扇形 n 等分，我們知道 A(nx) = nA(x)
同樣的 A(x/m) = A(x)/m , for 自然數 m
所以 A(nx/m) = nA(x/m) = (n/m)A(x)
也就是 A(rx) = rA(x) 對於有理數 r, 0 < rx < 2pi
對於 實數 s, 0 < sx < 2pi
對於任意, 有理數 q,r, 0 < r < s < q , 滿足 0 < rx < sx < qx < 2pi
我們有 rA(x) = A(rx) < A(sx) < A(qx) = qA(x)
但這表示 A(sx) = sA(x) 對於滿足 0 < sx < 2pi 的任意實數 s 成立
所以 A(x) = A((x/pi)pi) = (x/pi) A(pi)
令 b = A(pi)/pi, 則 A(x) = bx
然後利用面積比較, 我們 sinx /2 < A(x) < tanx /2
所以 sinx < 2bx < tanx
所以 2bcosx < sinx /x < 2b
所以 lim sinx /x = 2b
由此可以推導 三角函數的微分公式, (sinx)' = 2b cosx, (cosx)' = -2bsinx
然後考慮半圓周 (cost,sint), 0 <= t <= pi
計算半圓周長為
Integral_{0 to pi} sqrt( ((cost)')^2 + ((sint)')^2 ) dt
= Integral_{0 to pi} 2b dt
= 2b pi
但 半圓周長為 pi, 所以 2b =1
也就是 lim sinx/x = 1
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.132.177.99
推
10/05 07:46, , 1F
10/05 07:46, 1F
→
10/05 07:49, , 2F
10/05 07:49, 2F
→
10/05 07:50, , 3F
10/05 07:50, 3F
→
10/05 07:50, , 4F
10/05 07:50, 4F
→
10/05 09:10, , 5F
10/05 09:10, 5F
→
10/05 09:11, , 6F
10/05 09:11, 6F
→
10/05 09:12, , 7F
10/05 09:12, 7F
→
10/05 09:13, , 8F
10/05 09:13, 8F
→
10/05 09:14, , 9F
10/05 09:14, 9F
討論串 (同標題文章)
完整討論串 (本文為第 3 之 4 篇)：
微積
2
40