MathLabs
定理証明済み

三角関数の基本極限

内容

xx をラジアンで測るとき、lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1。

なぜ正しいのか?

単位円において、非常に小さい弧長 xx、縦の弦の長さ sin⁡x\sin x、外側の接線線分 tan⁡x\tan x は、角が 00 に近づくにつれて見分けがつかなくなる。

証明の概略

中心 OO の単位円上で 0<x<π20<x<\frac{\pi}{2} とし、A=(1,0)A=(1,0)、円周上の点 B=(cos⁡x,sin⁡x)B=(\cos x,\sin x)、半直線 OBOB と AA における鉛直な接線との交点 T=(1,tan⁡x)T=(1,\tan x) をとる。

三角形 △OAB\triangle OAB は扇形 OABOAB の真に内側にあり、扇形は直角三角形 △OAT\triangle OAT の真に内側にある。3つの面積を比較すると 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x が得られる。

(0,π2)(0,\frac{\pi}{2}) では sin⁡x>0\sin x>0 なので、全体に 2sin⁡x\frac{2}{\sin x} を掛けると 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}。逆数をとると不等号の向きが逆転し cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 となる。

x→0+x\to 0^+ のとき cos⁡x→1\cos x\to 1 だから、はさみうちの定理より lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1。最後に g(x)=sin⁡xxg(x)=\frac{\sin x}{x} は偶関数(g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x))なので lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 も成り立ち、合わせて lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 が得られる。■\blacksquare

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity