欢迎您访问 最编程 本站为您分享编程语言代码,编程技术文章!
您现在的位置是: 首页

两个重要极限定理的推导

最编程 2024-06-30 22:39:18
...

两个重要极限定理:
lim ⁡ x → 0 sin ⁡ x x = 1 (1) \lim_{x \rightarrow 0} \frac{\sin x}{x} = 1 \tag{1} x0limxsinx=1(1)

lim ⁡ x → ∞ ( 1 + 1 x ) x = e (2) \lim_{x \rightarrow \infty} (1 + \frac{1}{x})^x = e \tag{2} xlim(1+x1)x=e(2)

引理(夹逼定理)

定义一:

如果数列 { X n } \lbrace X_n \rbrace {Xn} { Y n } \lbrace Y_n \rbrace {Yn} { Z n } \lbrace Z_n \rbrace {Zn} ,满足下列条件:

(1) 当 n > N 0 n > N_0 n>N0 时,其中 N 0 ∈ N ∗ N_0 \in N^* N0N ,有 Y n ≤ X n ≤ Z n Y_n \le X_n \le Z_n YnXnZn

(2) { Y n } \lbrace Y_n\rbrace {Yn} { Z n } \lbrace Z_n \rbrace {Zn} 有相同的极限 a a a,设 − ∞ < a < + ∞ - \infty < a < + \infty <a<+,则,数列 { X n } \lbrace X_n \rbrace {Xn} 的极限存在,且
lim ⁡ n → ∞ X n = a \lim_{n \rightarrow \infty} X_n = a nlimXn=a
定义二:

F ( x ) F(x) F(x) G ( x ) G(x) G(x) X 0 X_0 X0 连续且存在相同的极限 A A A,即 x → X 0 x \rightarrow X_0 xX0 时, lim ⁡ F ( x ) = lim ⁡ G ( x ) = A \lim F(x) = \lim G(x) = A limF(x)=limG(x)=A,则

若有函数在 f ( x ) f(x) f(x) X 0 X_0 X0 的某领域内恒有 F ( x ) ≤ f ( x ) ≤ G ( x ) F(x) \le f(x) \le G(x) F(x)f(x)G(x) ,则当 X X X 趋近 X 0 X_0 X0, 有
lim ⁡ F ( x ) ≤ lim ⁡ f ( x ) ≤ l i m G ( x ) \lim F(x) \le \lim f(x) \le lim G(x) limF(x)limf(x)limG(x)

A ≤ l i m f ( x ) ≤ A A \le lim f(x) \le A Alimf(x)A

lim ⁡ ( X 0 ) = A \lim(X_0) = A lim(X0)=A
简单地说:函数 A > B A>B A>B,函数 B > C B>C B>C,函数 A A A的极限是 X X X,函数 C C C 的极限也是 X X X ,那么函数 B B B 的极限就一定是 X X X,这个就是夹逼定理。

定理 1 证明:

在这里插入图片描述

如上图,对于弧 A C ⌢ \mathop{AC}\limits^{\frown} AC ,由于半径 1 1 1,所以,弧 A C ⌢ \mathop{AC}\limits^{\frown} AC x x x。图片很直观地看出 sin ⁡ x ≤ x ≤ tan ⁡ x \sin x \le x \le \tan x sinxxtanx,并在 x → 0 x \rightarrow 0 x0的时候,他们都"相等"。这个是几何直观的,如果我们假设化曲为直是可行的。

所以,

由上述公式,
sin ⁡ x ≤ x ≤ t a n x    ⟺    1 ≤ x sin ⁡ x ≤ tan ⁡ x sin ⁡ x    ⟺    1 ≤ x sin ⁡ x ≤ 1 cos ⁡ x \sin x \le x \le tan x \iff 1 \le \frac{x}{\sin x} \le \frac{\tan x}{\sin x} \iff 1 \le \frac{x}{\sin x} \le \frac{1}{\cos x} sinxxtanx1sinxxsinxtanx1sinxxcosx1
由上式取倒数得:
cos ⁡ x ≤ sin ⁡ x x ≤ 1 \cos x \le \frac{\sin x}{x} \le 1 cosxxsinx1
因为,
lim ⁡ x → 0 cos ⁡ x = 1 \lim_{x \rightarrow 0} \cos x = 1 x0limcosx=1
所以,
lim ⁡ x → 0 sin ⁡ x

推荐阅读