Đị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ư 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  and , 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
Hàm số và ánh xạ
K
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 = ∞) 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ụ 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 Ví dụ 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 nhưng khác 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ụ 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 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ề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) =với mọi x và L = Trong trường hợp này : Gọi ε >là một số dương cố định . Theo định nghĩa giới hạn hàm số , tồn tại số δ >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 and , 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 Hàm số và ánh xạ K