قاعدة لايبنيز العامة

في علم التفاضل والتكامل تعمل قاعدة لايبنيز العامة - والتي أعطيت اسمها تيمنًا بمؤسسها غوتفريد لايبنتس - على تعميم قاعدة الضرب (والتي تُعرف أيضًا باسم "قاعدة لايبنيز"). حيث تلعب مشتقات الاقترانات دورًا أساسيًا في حساب التفاضل والتكامل وتطبيقاتها. على وجه الخصوص، ويمكن استخدامها لدراسة هندسة المنحنيات، وإيجاد القيم المُثلى للاقترانات، وصياغة المعادلات التفاضلية التي توفر نماذج رياضية في مجالات عدة، مثل: الفيزياء، والكيمياء، والبيولوجيا، والتمويل. 

وتنص القاعدة على أنه إذا كان كل من  و اقترانات قابلة للاشتقاق مرفوعة بقوة  فإن الناتج  هو أيضًا مرفوع بقوة ، ومشتقته الـ فإنها تُعطَى بالشكل التالي:

حيث  تعد المعامل الثنائي و .

يمكن برهنة هذا من خلال قاعدة الضرب والاستقراء الرياضي (انظر البرهان أسفله).

التاريخ 
ظهرت فكرة المشتقة لأول مرة من المحامي والرياضي الشهير بيير دي فيرما (1601–1665) لحل العديد من المسائل، مثل: العثور على المماس لمنحنى عند نقطة. وبحلول عام 1670 وما بعده، أسس إسحق نيوتن (1642–1727) وغوتفريد لايبنيز (1646–1716) لعلم التفاضل والتكامل الحديث، وذلك بإدخال المفاهيم العامة للتفاضل والتكامل وآلية حساب كل منهما، خصوصًا أن كل منهما يعدّ عملية معكوسة للأخرى، كما تم وضع نظام ترميز سهل ومبسط لكل منهما وما زال العمل به جاريًا حتى وقتنا الحالي.

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

حيث  هو معامل ذات الحدّين، و . فعلى سبيل المثال، فإن المشتقة الأولى لحاصل الضرب  تُعطى بالعلاقة:

المشتقة الثانية  
يمكن حساب المشتقة الثانية للاقتران  إذا عُلمت مشتقته الأولى  وذلك باشتقاق المشتقة الأولى للاقتران  مرة ثانية، أي أن:

بما أن:

فإن:

وبتطبيق قاعدة لايبنيز نجد أن:

 برهان القاعدة 
يمكن برهان قاعدة لايبنيز باستخدام مبدأ الاستقراء الرياضي. لتكن: 

القاعدة صحيحة عندما  وذلك لأن:ونفترض أن قاعدة:  صحيحة لأي عدد صحيح 

المطلوب الآن برهان صحة العلاقة لمشتقة من الرتبة ، وهذا يتم على النحو التالي:

 تعميم القاعدة لأكثر من اقترانين 
لتكن  مجموعة من الاقترانات القابلة للاشتقاق  من المرات، فإن حاصل الضرب  قابل للاشتقاق  من المرات، كذلك:حيث:''' 

فعلى سبيل المثال، المشتقة الثانية للاقتران g(x)=xexsin x  يمكن حسابها باستخدام تعميم قاعدة لايبنيز كما يلي:

المراجع 

غوتفريد لايبنتس
قواعد التفاضل
مبرهنات في التحليل الرياضي
مبرهنات في حساب التفاضل والتكامل
مطابقات رياضية