صيغة تربيع كافالييري  صيغة تربيع كافالييري هي صيغة رياضية في حساب التفاضل والتكامل، سُميت على اسم عالم الرياضيات الإيطالي من القرن السابع عشر بونافينتورا كافالييري، وهي التكامل المحدود التالي  وصيغة التكامل غير المحدود هي:  هناك صور أخرى لهذه الصيغة، مذكورة بالأسفل. يسمح هذا التكامل الخطي بحساب تكاملات كل كثيرات الحدود.  مصطلح «التربيع» هو مصطلح تاريخيًا يقصد به المساحة؛ فالتكامل من الناحية الهندسية هو المساحة الواقعة أسفل المنحنى "y"="x". والحالات المهمة تقليديا كانت "y"="x" ، وتربيع القطع المكافئ، و "y"=1 / "x"، وتربيع القطع الزائد المساوية قيمته للوغاريتم الطبيعي.  بالنسبة لقيم "n" السالبة (أس "x" السالب)، توجد حالة تفرد عند "x"=0، لذا فالتكامل المحدود يبدأ من 1، بدلاً من 0، على النحو التالي:  لقيم n الكسرية السالبة"،" فإن الدالة الأسية "x" غير محددة جيدًا، وبالتالي يعرف التكامل غير المحدود لقيم x الموجبة فقط"." ولكن لو كانت "n" عددًا صحيحًا سالبًا، تصبح الدالة الأسية "x" معرفة لجميع قيم "x التي لا تساوي الصفر،" وتكون التكاملات المجدودة وغير المحدودة معرفة، ويمكن حسابها باستبدال "x" بـ −"x،" وبدء التكامل المحدد السالب عند −1.  وللأعداد المركبة يعرف التكامل المحدود (لقيم "n" و"x" السالبة)، عن طريق التكامل الكفافي.  هناك أيضا حالة استثنائية عند n=− 1، ينتج عنها قيمةلوغاريتمية بدلاً من قيمة أسية لـ "x:"  (حيث "ln" تعني اللوغاريتم الطبيعي، أي لوغاريتم أساسه الثابت "e"=2.71828. . .).  في الغالب يمتد التكامل المعتل لقيم "x" السالبة عن طريق:  لاحظ أن القيمة المطلقة مستخدمة هنا لتوحيد صيغة التكامل غير المحدودـ، هذا يعني أن تكامل هذه الدالة الفردية هو دالة زوجية، برغم أن اللوغاريتم معرف فقط للمدخلات الموجبة، لكن يمكن اختيار قيمة موجبة أو سالبة للثابت "C"، لأن هذه لا تغير المشتق. ولذا يصبح الشكل الأعم هو:  في الأعداد المركبة، لا يوجد مشتق عكسي شامل لـ 1/"x"، لأن هذه الدالة تجدد غير تافه "non-trivial"؛ هذه الصيغة خاصة بالأرقام الحقيقية.  لاحظ أن التكامل المحدود الذي يبدأ عند 1 غير معرف لقيم "a" السالبة"،" لأنه يمر عبر نقطة انقطاع، وبرغم أن 1/"x" هي دالة فردية، نستطيع أن نبدأ التكامل المحدود للأسس السالبة عند −1. فباستخدام التكاملات المعتلة وحساب ، نصل لـ formula_8، وباستخدام خاصية التناظر (لأن اللوغاريتم دالة فردية)، نحصل على formula_9 ، إذا لا فرق إذا كان التكامل المحدود يبدأ عند 1 أو −1. كما الحال مع التكامل غير المحدود، وهذا خاص بالأعداد الحقيقية، ولا ينطبق على الأعداد المركبة.  يمكن أيضًا كتابة التكامل مع إزاحة قيمة "n"، لتبسيط النتيجة ولتوضيح العلاقة أكثر بين التفاضل في n من الأبعاد والمكعب ذا "n بعد":  في العموم، يمكن كتابة الصيغ على النحو التالي:  البرهان الحديث يستخدم المشتق العكسي، ونحن نعرف أن اشتقاق "x" يعطي "nx". وهذا واضح من صيغة ذي الحدين وتعريف المشتق، ونحن نعرف من النظرية الأساسية لحساب التفاضل والتكامل، أن المشتق العكسي هو التكامل.  استخدام المشتق العكسي سيفشل مع formula_15 لأنه formula_16، وهو غير معرف بسبب القسمة على الصفر. هنا تظهر فائدة دالة اللوغاريتم، لأنها فعليا هي المشتق العكسي لـ 1/"x".  للأعداد الصحيحة الموجبة، يمكن البرهنة هندسيًا على النحو التالي:  إذا اعتبرنا القيمة الأسية "x" تمثل حجم لمكعب له "n" من الأبعاد ( له "n" من الأبعاد)، فإن المشتق formula_17 هنا يمثل تغير الحجم بتغير طول الضلع - والذي يمكن النظر إليه على أنه مساحة "n" من الوجوه التي لها "n"−1 بعدا، (لو قمنا بتثبيت أحد رؤوس المكعب عند نقطة الأصل، فتكون هذه هي الوجوه "n" التي لا تلامس هذا الرأس)، في حالة المكعب ثلاثي الأبعاد تكون "n" مساوية لـ 3، وعدد الوجوه التي لا تلامس نقطة الأصل 3، وكل وجه منها ثنائي البعد، الآن باستخدام حالة المكعب ثلاثي الأبعاد كنموذج لو بدأنا من رأس المكعب المركزي عند نقطة الأصل باتجاه أول وجه من هذه الوجوه، وأنشانا مربعا موازي لهذا الوجه، تزيد مساحته بصورة متناهية في الصغر تدريجيا كلما اقتربنا من وجه المكعب المقابل له، وقمنا بجمع مساحات هذه المربعات، فسيظهر لنا شكل هرم رأسه عند مركز المكعب عند نقطة الأصل وقاعدته السطح المقابل له، وبالمثل للسطحين الآخرين، سيظهر لنا "n" (في حالتنا هنا تساوي 3) من هذه الأهرامات، وللحصول على الحجم الكلي، نقوم بجمع حجم كل هرم، لنحصل على الصيغة المطلوبة.  توجد براهين أخرى - فعلى سبيل المثال قام فيرما بحساب المساحة باستخدام خدعة جبرية قام من خلالها بتقسيم المجال لفترات معينة غير متساوية الطول ثم أنشأ مستطيلات أحاطت بالمنحنى ثم قام بجمع مساحات هذه المستطيلات ليصل في النهاية لنفس الصيغة؛  في القرن الثالث قبل الميلاد برهن عالم الرياضيات اليوناني أرخميدس مساحة القطع المكافئ في كتابه "تربيع القطع المكافئ"، مستخدما أسلوب الاستنفاذ. كما قام اليونانيون القدماء، وغيرهم، بحساب حجم الهرم أو المخروط، وهو ما يعادله رياضياً.  في القرن الحادي عشر، قام عالم الرياضيات المسلم ابن الهيثم بحساب تكاملات التكعيبيات والرباعيات (دوال من الدرجة الثالثة والرابعة) باستخدام الاستقراء الرياضي في كتابه "البصريات".  قام كافالييري بحساب المساحة للأعداد الصحيحة حتى 9، باستخدام مبدأ كافالييري. وفسرها على أنها حساب أحجام ذات أبعاد أعلى، على الأقل بصورة غير رسمية، لأن الأجسام ذات الأبعاد الأعلى لم تكن مألوفة وقتها. بعد ذلك وسع عالم الرياضيات الإيطالي تورشيلي طريقة التربيع هذه لتشمل منحنيات أخرى كالحلقة الدويرية، ثم عمم عالم الرياضيات الإنجليزي جون واليس الصيغة على القوى الكسرية والسالبة في كتابه "Arithmetica Infinitorum" المنشور عام 1656، وفيه أيضًا وحد ترميز وتدوين قوى الرفع الكسرية - برغم أن أن واليس فسّر الحالة الاستثنائية n=−1 (تربيع القطع الزائد) بشكل غير صحيح - قبل أن توضع أخيرًا على أرضية علمية محكمة بتطور حساب التفاضل والتكامل.  قبل إعطاء واليس لصيغة رسمية للتعامل مع القوى الكسرية والسالبة، والتي سمحت بدوال صريحة كـ formula_18، كان يتم التعامل ضمنيا مع هذه المنحنيات عبر المعادلات formula_19 وformula_20 (دائمًا ما تكون "p" و "q" أعدادًا صحيحة موجبة) ويشار إليهما على التوالي على أنهما قطوع مكافئة أعلى وقطوع زائدة أعلى. قام فيرما أيضًا بحساب هذه المساحات (باستثناء الحالة الاستثنائية −1).  نجح Grégoire de Saint-Vincent في معالجة الحالة الاستثنائية لـ −1 (القطع الزائد القياسي) لأول مرة في كتابه "Opus geometricum quadrature circuli et sectionum coni" (1647)، لكن المعالجة الرسمية تأخرت حتى ظهور اللوغاريتم الطبيعي، والذي وضعه نيكولاس مركاتور لأول مرة في كتابه "Logarithmotechnia" (1668).