כלל לייבניץ לנגזרת מכפלה

כלל לייבניץ (מכונה גם כלל המכפלה) הוא כלל העוסק בגזירת מכפלות של פונקציות הנקרא על שמו של גוטפריד וילהלם לייבניץ.

הכלל המקורי עוסק בנגזרת ראשונה של מכפלת פונקציות:
 לכל שתי פונקציות , או בסימוני לייבניץ:

מכלל לייבניץ הבסיסי אפשר לפתח את נוסחת האינטגרציה בחלקים:

הוכחה
ניתן להוכיח את כלל לייבניץ ישירות על ידי חישוב הנגזרת:

לפונקציות חיוביות, ניתן להוכיח את הכלל על ידי שימוש בכלל השרשרת ובתכונות של הלוגריתם הטבעי:
לכל שתי פונקציות חיוביות  מתקיים .
אם נגזור את שני האגפים ונשתמש בכלל השרשרת נקבל:

הכללות
גזירה חוזרת
לייבניץ הכליל את הנוסחה לנגזרת ה--ית:

כאשר  הוא המקדם הבינומי. הביטוי דומה מאוד ל:

הדמיון אינו מקרי, כי את שתי הנוסחאות מוכיחים בצורה זהה באמצעות אינדוקציה, ושתיהן נשענות על אותו רעיון קומבינטורי.

מכפלה של כמה פונקציות
ניתן להשתמש בכלל כדי לגזור מכפלה של כמה פונקציות. לדוגמה:

באופן כללי, אם הפונקציה היא  הנגזרת היא:

אם אף אחת מהפונקציות לא שווה ל-, אפשר לכתוב זאת גם כך:

ראו גם
נגזרת
אינטגרציה בחלקים

קישורים חיצוניים

לייבניץ