مبدأ كافالييري

في الهندسة، مبدأ كافالييري، الذي سُمّي على اسم بونافنتورا كافاليري، ينصّ على ما يلي:
 الحالة ثنائية الأبعاد: افرض أن شكليْن في مستوى يقعان بين خطيْن متوازييْن. إذا تقاطع كل خط موازٍ لهذين الخطين مع الشكلين في مقاطع متساوية الطول، فإن للشكلين نفس المساحة.
 الحالة ثلاثية الأبعاد: افرض أن مجسّميْن يقعان بين مستوييْن متوازييْن. إذا تقاطع كل مستوى موازٍ لهذين المستوييْن مع هذين المجسّميْن في مقاطع عرضية ذات مساحات متساوية، فإنّ للمجسّمين نفس الحجم.
- يمكن النظر إلى مبدأ كافالييري كخطوة أولى باتجاه حساب التكامل.
- يُعد المبدأ صورة خاصة مبكّرة من نظرية فوبيني.
- تطوّر مبدأ كافالييري نتيجة الأسلوب الإغريقي القديم المعروف باسم أسلوب الاستنفاذ، الذي استعمل الحدود ولكن ليس القيم المتناهية الصغر.

تاريخ 

بالأصل، أُطلق على مبدأ كافالييري اسم «أسلوب الغير قابل للتقسيم». استطاع أرخميدس أن يجد حجم الكرة بواسطة معرفة أحجام المخروط والأسطوانة بطريقة تشبه مبدأ كافالييري. في القرن الخامس للميلاد، أسس زو تشونزي وابنه زو غينتشي أسلوباً مشابهاً لمعرفة حجم الكرة. الانتقال من أسلوب الغير قابل للتقسيم لكافالييري إلى الحساب المتناهي الصغر لجون واليس وإيفانجيلستا تورشيللي، شكّل قفزة نوعية في تاريخ حساب التفاضل والتكامل.

أمثلة

الكرات 

إذا علمنا أن حجم المخروط هو 1/3 * القاعدة * الارتفاع، يمكننا استخدام مبدأ كافالييري للتوصّل إلى أن حجم الكرة هو حيث  هو نصف القطر.

ويتم ذلك على النحو التالي: لنتخيّل كرة نصف قطرها  واسطوانة قطرها  وارتفاعها . داخل الأسطوانة، يوجد مخروط رأسه في مركز الكرة، وقاعدته هي قاعدة الأسطوانة. حسب نظرية فيثاغورس، المستوى الذي يقع على ارتفاع  فوق «خط الاستواء» يتقاطع مع الكرة في مساحة قدرها . المساحة المتشكّلة من التقاطع مع الجزء الخارجي من المخروط هي أيضا . حجم المخروط المذكور هو  حجم الاسطوانة، ولذا، حجم الجزء الخارجي للمخروط هو  حجم الاسطوانة. وبالتالي فإن حجم النصف العلوي من الكرة هو  حجم الاسطوانة. حجم الاسطوانة:
 القاعدة * الارتفاع = 
(«القاعدة» في وحدات المساحة; «ارتفاع» في وحدات المسافة. المساحة × المسافة = حجم.)

وبالتالي فإن حجم النصف العلوي من الكرة  ، والكرة (بنصفيها) .

المخاريط والأهرامات 

من أجل أن نبرهن أن حجم أي هرم، بغض النظر عن شكل قاعدته، سواء كانت دائرية كما في حالة المخروط، أو مربع كما في حالة الأهرامات المصرية، أو أي شكل آخر هو (1/3) × القاعدة × الارتفاع، يكفينا - بالاستناد إلى مبدأ كافالييري - أن نبرهن ذلك لهرم واحد.  يمكن، في البداية، أن نبيّن ذلك بتقسيم الجزء الداخلي من موشور ثلاثي إلى أجزاء هرمية متساوية الأحجام. تظهر المساواة بين هذه الأهرام الثلاث باستخدام مبدأ كافالييري.

في الواقع، مبدأ كافالييري أو ادعاء مشابه في متناهيات الصغر ضروري لحساب حجم المخاريط وحتى الأهرامات، وهي ما تنطوي عليه مشكلة هيلبرت الثالثة – الأهرامات متعددة السطوح والمخاريط لا يمكن تقطيعها وإعادة ترتيبها في شكل عادي (معياري)، لذلك يجب مقارنتها بوسائل حسابية متناهية الصغر. استخدم اليونانيون القدماء عدة طرق لحساب هذه الأحجام، مثل حجج أرخميدس الميكانيكية أو طريقة الاستنفاد لحساب هذه الكميات.

وصلات خارجية 

 حساب التكامل لكافلييري

المراجع 

تاريخ التفاضل والتكامل
حجم
مبادئ رياضية
مساحة
هندسة رياضية