✨Định lý kẹp

Trong Giải tích, Định lý kẹp là một định lý liên quan đến giới hạn của hàm số.

Định lý kẹp là một công cụ mang tính kĩ thuật thường dùng trong các phép chứng minh của giải tích. Ứng dụng đặc thù của định lý này là để tìm giới hạn của một hàm số bằng cách so sánh nó với hai hàm số khác có giới hạn đã biết hoặc dễ tính. Nó được dùng đầu tiên trong hình học bởi các nhà toán học Archimedes và Eudoxus khi các ông tìm cách tính số π, và được Gauss chính xác hóa dưới dạng ký hiệu như ngày nay.

Phát biểu

Định lý kẹp được phát biểu như sau.

Gọi _I_ là một khoảng chứa giới hạn _a_. Gọi _f_, _g_, và _h_ là các hàm số xác định trên _I_, có thể không xác định tại _a_. Giả sử với mọi _x_ thuộc _I_ mà khác _a_, ta có:

: $g(x)\; \backslash leq\; f(x)\; \backslash leq\; h(x)\; \backslash ,$

và giả sử thêm:

: $\backslash lim${x \to a} g(x) = \lim{x \to a} h(x) = L. \,

Khi đó $\backslash lim\_\{x\; \backslash to\; a\}\; f(x)\; =\; L.$

• Các hàm số g(x) và h(x) được gọi là chặn dưới và chặn trên tương ứng của f(x).
• Ở đây a không cần thiết phải thuộc về miền trong của I. Thêm vào đó, nếu a là một đầu mút của I thì các giới hạn trên sẽ là giới hạn bên trái hoặc bên phải.
• Mệnh đề tương tự cũng đúng cho các khoảng vô hạn: ví dụ, nếu I = (0, ∞) thì kết luận trên vẫn đúng trong trường hợp lấy giới hạn khi x → ∞.

Chứng minh. Từ các giả thiết nói trên, lấy giới hạn dưới và giới hạn trên: :$L=\backslash lim${x \to a} g(x)\leq \liminf{x\to a}f(x)\leq\limsup{x\to a}f(x)\leq \lim{x \to a}h(x)=L, vì thế các bất đẳng thức đều trở thành đẳng thức và ta có điều phải chứng minh.

Các ví dụ

Ví dụ 1

thumb|Hàm số x² sin(1/x)

Giới hạn

: $\backslash lim\_\{x\; \backslash to\; 0\}x^2\; \backslash sin(\backslash tfrac\{1\}\{x\})$

không thể tính được theo quy tắc

: $\backslash lim${x \to a}(f(x)\cdot g(x)) = \lim{x \to a}f(x)\cdot \lim_{x \to a}g(x),

bởi vì

: $\backslash lim\_\{x\backslash to\; 0\}\backslash sin(\backslash tfrac\{1\}\{x\})$

không tồn tại.

Tuy nhiên, theo định nghĩa hàm số sin,

: $-1\; \backslash le\; \backslash sin(\backslash tfrac\{1\}\{x\})\; \backslash le\; 1.\; \backslash ,$

Từ đó

: $-x^2\; \backslash le\; x^2\; \backslash sin(\backslash tfrac\{1\}\{x\})\; \backslash le\; x^2\; \backslash ,$

Vì $\backslash lim${x\to 0}(-x^2) = \lim{x\to 0}x^2 = 0, nên theo định lý kẹp, $\backslash lim\_\{x\backslash to\; 0\}\; x^2\; \backslash sin(\backslash tfrac\{1\}\{x\})$ phải bằng 0.

Ví dụ 2

Chắc hẳn ví dụ nổi tiếng nhất của việc tìm giới hạn bằng định lý kẹp là chứng minh của các đẳng thức:

: {x\to 0} \frac{\sin x}{x} =1, \[10pt] & \lim{x\to 0} \frac{1 - \cos x}{x} = 0. \end{align}

Đẳng thức đầu có được từ định lý kẹp qua bất đẳng thức

:

với x đủ gần 0, nhưng khác 0.

Hai giới hạn này được sử dụng để chứng minh đạo hàm của hàm số sin là hàm số cosin.

Ví dụ 3

Có thể chỉ ra rằng

: $\backslash frac\{d\}\{d\backslash theta\}\; \backslash tan\backslash theta\; =\; \backslash sec^2\backslash theta$

bằng định lý kẹp như sau.

right

Như trên hình vẽ, diện tích của hình quạt nhỏ trong hai hình quạt được đánh dấu là

: $\backslash frac\{\backslash sec^2\backslash theta\backslash ,\backslash Delta\backslash theta\}\{2\},$

Tương tự, diện tích của hình quạt lớn bằng

: $\backslash frac\{\backslash sec^2(\backslash theta\; +\; \backslash Delta\backslash theta)\backslash ,\backslash Delta\backslash theta\}\{2\}.$

Kẹp giữa hai hình quạt trên là một tam giác có đáy là đoạn thẳng nối hai điểm tô đậm và có chiều cao bằng 1. Diện tích tam giác đó bằng

: $\backslash frac\{\backslash tan(\backslash theta\; +\; \backslash Delta\backslash theta)\; -\; \backslash tan(\backslash theta)\}\{2\}.$

Từ bất đẳng thức

: $\backslash frac\{\backslash sec^2\backslash theta\backslash ,\backslash Delta\backslash theta\}\{2\}\; \backslash le\; \backslash frac\{\backslash tan(\backslash theta\; +\; \backslash Delta\backslash theta)\; -\; \backslash tan(\backslash theta)\}\{2\}\; \backslash le\; \backslash frac\{\backslash sec^2(\backslash theta\; +\; \backslash Delta\backslash theta)\backslash ,\backslash Delta\backslash theta\}\{2\}$

ta suy ra

: $\backslash sec^2\backslash theta\; \backslash le\; \backslash frac\{\backslash tan(\backslash theta\; +\; \backslash Delta\backslash theta)\; -\; \backslash tan(\backslash theta)\}\{\backslash Delta\backslash theta\}\; \backslash le\; \backslash sec^2(\backslash theta\; +\; \backslash Delta\backslash theta),$

khi  Δθ > 0, và các bất đẳng thức đổi chiều nếu  Δθ < 0. Vì biểu thức thứ nhất và thứ ba tiến đến sec²θ khi Δθ → 0, còn biểu thức ở giữa tiến đến (d/dθ) tan θ, chứng minh hoàn tất.

Chứng minh định lý

Ý tưởng chủ yếu của chứng minh là "hiệu tương đối" giữa các hàm số f, g, và h. Nó đưa chặn dưới về 0 và các hàm số đều không âm. Điều này làm chứng minh đơn giản hơn rất nhiều. Trường hợp tổng quát chỉ cần một chút biến đổi đại số.

Để bắt đầu, giả sử tất cả các giả thiết và ký hiệu đều giống như đã nói ở phần phát biểu ở trên. Trước hết, ta xét trường hợp đơn giản g(x) = 0 với mọi x và L = 0. Trong trường hợp này:

:$\backslash lim\_\{x\; \backslash to\; a\}\; h(x)\; =\; 0.$

Gọi ε > 0 là một số dương cố định. Theo định nghĩa giới hạn hàm số, tồn tại số δ > 0 sao cho:

:

Với mọi x thuộc khoảng I mà khác a :$0\; =\; g(x)\; \backslash leq\; f(x)\; \backslash leq\; h(x)$

vì thế:

:$|f(x)|\; \backslash leq\; |h(x)|.$

Ta suy ra:

:

Điều này chứng minh rằng:

:$\backslash lim\_\{x\; \backslash to\; a\}\; f(x)\; =\; 0\; =\; L.$

Chứng minh cho trường hợp đơn giản đã hoàn tất. Ta sẽ chứng minh kết quả tổng quát với g và L bất kì. Với mọi x thuộc I mà khác a, ta có:

:$h(x)\; \backslash leq\; f(x)\; \backslash leq\; g(x).$

Bớt g(x) ở mỗi biểu thức:

:$0\; \backslash leq\; f(x)\; -\; g(x)\; \backslash leq\; h(x)\; -\; g(x).$

Khi $x\; \backslash rightarrow\; a,\; \backslash ,\; h(x)\; \backslash rightarrow\; L$ và $g(x)\; \backslash rightarrow\; L$, vì thế:

:$h(x)\; -\; g(x)\; \backslash rightarrow\; L\; -\; L\; =\; 0.$

Theo trường hợp đơn giản, $f(x)\; -\; g(x)\; \backslash rightarrow\; 0.$ Ta kết luận được:

:$f(x)\; =\; (f(x)\; -\; g(x))\; +\; g(x)\; \backslash rightarrow\; 0\; +\; L\; =\; L.$