مبرهنة الساندويتش

في الرياضيات، مبرهنة الساندويتش أو مبرهنة العصر أو مبرهنة الحصر ، هي مبرهنة تتعلق بنهاية دالة.

تستخدم مبرهنة الساندويتش في حساب التفاضل والتكامل والتحليل الرياضي.  تُستَخدَم عادةً للتأكد من نهاية دالة من خلال المقارنة مع دالتين أخريين نهايتهما معلومة أو تُحسَب بسهولة.  استخدمت لأول مرة هندسيًا من قبل علماء الرياضيات أرخميدس وإيودوكسوس في محاولة لحساب الثابت π، وتم صياغتها بمصطلحات حديثة من قبل كارل فريدريش غاوس.

أمثلة

المثال الأول 

النهاية التالية:

 

لا يمكن تحديده من خلال قانون النهاية:

 

لأن  غير موجودة.

لكن، من خلال تعريف دالة الجيب:

 

نستنتج بأن

 

بما أن 

بتطبيق مبرهنة الساندويتش:

 يجب أن تكون 0 أيضًا.

المثال الثاني 
هاتان الأمثلة ربما تكون أفضل الأمثلة المعروفة لإيجاد النهاية بالضغط (Squeeze):

 

بتطبيق مبرهنة الساندويتش، تنتج أن:

 

و:

 
 تُستخدَم هاتين النهايتين لبرهان على حقيقة أن مشتق دالة الجيب هو دالة جيب التمام.

مراجع 

الرياضيات والثقافة
دوال
مبرهنات في التحليل الحقيقي
مبرهنات في حساب التفاضل والتكامل
مبرهنات في نظرية الأعداد
مقالات تحوي براهين
نهايات (رياضيات)