Formule de Leibniz

Modèle:HomonModèle:À sourcer En mathématiques, plusieurs identités portent le nom de formule de Leibniz, nommées en l'honneur du mathématicien Gottfried Wilhelm Leibniz :

• en analyse réelle :
  • la formule de Leibniz est la formule donnant les dérivées successives d'un produit de fonctions réelles d'une variable réelle ou, dans un cadre plus général, la différentielle du produit de deux fonctions différentiables à valeurs dans une algèbre normée,
  • elle peut également désigner la formule de dérivation des intégrales à paramètre (ou intégrales paramétriques) ;
• par extension, la formule de Leibniz, aussi appelée identité de Leibniz, désigne une identité qui définit la notion de dérivation, à savoir : Modèle:Math ;
• en algèbre linéaire, la formule de Leibniz fournit une définition du déterminant d'une matrice comme une somme alternée sur ses « serpents » ;
• enfin, la formule de Leibniz désigne aussi la somme de la série alternée des inverses des entiers impairs.

Dérivée d'un produit

Soit Modèle:Math un entier positif. Le produit de deux fonctions d'une variable réelle Modèle:Math et Modèle:Math définies et dérivables jusqu'à l'ordre Modèle:Math sur un intervalle est dérivable jusqu'à l'ordre Modèle:Math. La formule de Leibniz fournit sa dérivée d'ordre Modèle:Math donnée par :

<math>(f g)^{(n)} = \sum_{k=0}^n \binom nk\ f^{(k)}\ g^{(n-k)}</math>

où les nombres entiers <math>\tbinom nk</math> sont les coefficients binomiaux, et où l'on convient que la « dérivée zéro-ième » de Modèle:Math, notée Modèle:Math, est la fonction Modèle:Math elle-même.

Cette formule se démontre par récurrence sur l'entier Modèle:Math. La démonstration est comparable à celle de la formule du binôme de Newton. Cette dernière peut d'ailleurs en être déduite.

Série alternée

La « Quadrature arithmétique » pour π, trouvée par Leibniz en 1674<ref>Lettre de Christian Huygens à Leibniz du 7 novembre 1674 (lire en ligne).</ref>, est un exemple de série alternée :

<math>

\frac\pi4 = \frac11-\frac13+\frac15-\frac17+\frac19-\cdots = \sum_{n=0}^\infty\frac{(-1)^n}{2n+1}.

</math>

Elle correspond au développement en série de Taylor de la fonction arctan, évalué au point 1.

Elle a été découverte en Occident au Modèle:S mini-<ref>{{#invoke:Langue|indicationDeLangue}} Leibniz, « De vera proportione circuli ad quadratum circumscriptum in numeris rationalibus expressa », Acta Eruditorum, février 1682.</ref><ref>Leibniz, « Lettre à M. de La Roque, directeur du Journal des sçavans », 1678, Leibnizens mathematische Schriften, vol. 5, Modèle:P..</ref><ref>Marc Parmentier, La naissance du calcul différentiel, Vrin, 1989, Modèle:P..</ref>, mais apparaît déjà chez Madhava, mathématicien indien de la province du Kerala, vers 1400<ref>{{#invoke:Langue|indicationDeLangue}} L. Berggren, J. Borwein et P. Borwein, Pi, A Source Book, Springer, 1997, « Madhava, the power series for arctan and pi (~1400) », Modèle:P..</ref>. Il l'utilise pour calculer une [[Approximation de π|approximation de Modèle:Math]]. La thèse la plus courante est que les travaux mathématiques indiens de cette période ne seront connus en Occident qu'à la fin du Modèle:S mini- siècleModèle:Vérification siècle, pendant la colonisation de l'Inde par la Grande-Bretagne.

Déterminant d'une matrice carrée

Le déterminant d'une matrice carrée <math>A=(a_{ij})</math> d'ordre Modèle:Math est le nombre :

<math>\det(A):=\sum_{\sigma \in S_n}\varepsilon(\sigma) \prod_{i=1}^n a_{i, \sigma(i)}</math>

où [[Groupe symétrique|Modèle:Math est le groupe]] des permutations de Modèle:Math et pour une permutation σ de Modèle:Math, ε(σ) désigne sa signature, égale à 1 si la permutation est paire et –1 sinon.