MathLabs
定理已证明

重要三角函数极限

命题陈述

当 xx 用弧度制度量时,lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1。

为什么成立?

在单位圆上,当角度趋向 00 时,极小弧长 xx、竖直半弦 sin⁡x\sin x 与外侧切线段 tan⁡x\tan x 在视觉上几乎重合。

证明思路

在以 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 内。比较三者面积得 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