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

 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ì , nên theo định lý kẹp,  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ỏ|400px|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à



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 sec2θ 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  và , vì thế:

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

 Chú thích 



Tham khảo

 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.

K
Thể loại:Hàm số và ánh xạ
K