formule de Leibniz
ANALYSE
Le produit de deux fonctions d’une variable réelle f et g définies et dérivables jusqu’à l’ordre n sur un intervalle I est dérivable jusqu’à l’ordre n. La formule de Leibniz fournit sa dérivée d’ordre n donnée par :
(fg) (n) = ∑ k=0 k=n Cn k f(k) g (n-k)
où les nombres entiers Cn k sont les coefficients binomiaux.