定理証明済み
三角関数の基本極限
内容
x をラジアンで測るとき、limx→0xsinx=1。
なぜ正しいのか?
単位円において、非常に小さい弧長 x、縦の弦の長さ sinx、外側の接線線分 tanx は、角が 0 に近づくにつれて見分けがつかなくなる。
証明の概略
中心 O の単位円上で 0<x<2π とし、A=(1,0)、円周上の点 B=(cosx,sinx)、半直線 OB と A における鉛直な接線との交点 T=(1,tanx) をとる。
三角形 △OAB は扇形 OAB の真に内側にあり、扇形は直角三角形 △OAT の真に内側にある。3つの面積を比較すると 21sinx<21x<21tanx が得られる。
(0,2π) では sinx>0 なので、全体に sinx2 を掛けると 1<sinxx<cosx1。逆数をとると不等号の向きが逆転し cosx<xsinx<1 となる。
x→0+ のとき cosx→1 だから、はさみうちの定理より limx→0+xsinx=1。最後に g(x)=xsinx は偶関数(g(−x)=−xsin(−x)=−x−sinx=g(x))なので limx→0−xsinx=1 も成り立ち、合わせて limx→0xsinx=1 が得られる。■
ステップごとの証明
この定理のステップごとの証明はまだありません。