Đị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ó:

và giả sử thêm:

Khi đó formula_3
- 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:
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 ===
Giới hạn

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

bởi vì

không tồn tại.

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

Từ đó

Vì formula_10, nên theo định lý kẹp, formula_11 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:

Đẳ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

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

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à

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

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

Từ bất đẳng thức

ta suy ra

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:

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"

vì thế:

Ta suy ra:

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

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ó:

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

Khi formula_28 và formula_29, vì thế:

Theo trường hợp đơn giản, formula_31 Ta kết luận được:

== Liên kết ngoài ==
- Squeeze Theorem by Bruce Atwood (Beloit College) after work by, Selwyn Hollis (Armstrong Atlantic State University), the Wolfram Demonstrations Project.