Voir la source de Triangle harmonique de Leibniz

Le '''triangle harmonique de Leibniz''' est un [[tableau triangulaire]] de [[fraction unitaire|fractions unitaires]] dans lequel les termes des diagonales extérieures sont les [[inverse]]s du numéro de la ligne et dont chaque terme intérieur est la différence du terme au-dessus à gauche et du terme à sa gauche.

Les huit premières lignes en sont :

<center><math>\begin{array}{cccccccccccccccccc}
& & & & & & & & & \frac{1}{1} & & & & & & & &\\
& & & & & & & & \frac{1}{2} & & \frac{1}{2} & & & & & & &\\
& & & & & & & \frac{1}{3} & & \frac{1}{6} & & \frac{1}{3} & & & & & &\\
& & & & & & \frac{1}{4} & & \frac{1}{12} & & \frac{1}{12} & & \frac{1}{4} & & & & &\\
& & & & & \frac{1}{5} & & \frac{1}{20} & & \frac{1}{30} & & \frac{1}{20} & & \frac{1}{5} & & & &\\
& & & & \frac{1}{6} & & \frac{1}{30} & & \frac{1}{60} & & \frac{1}{60} & & \frac{1}{30} & & \frac{1}{6} & & &\\
& & & \frac{1}{7} & & \frac{1}{42} & & \frac{1}{105} & & \frac{1}{140} & & \frac{1}{105} & & \frac{1}{42} & & \frac{1}{7} & &\\
& & \frac{1}{8} & & \frac{1}{56} & & \frac{1}{168} & & \frac{1}{280} & & \frac{1}{280} & & \frac{1}{168} & & \frac{1}{56} & & \frac{1}{8} &\\
& & & & &\vdots & & & & \vdots & & & & \vdots& & & & \\
\end{array}</math>
</center>Les dénominateurs sont listés dans la {{OEIS|id=A003506}}.

== Historique ==
D'après Charles Henry<ref>{{Article |langue=fr |auteur1=CHARLES HENRY |titre=Étude sur le triangle harmonique |périodique=BULLETIN  DES  SCIENCES MATHÉMATIQUES ET ASTRONOMIQUES, n° 1 |date=1881 |lire en ligne=http://www.numdam.org/item/BSMA_1881_2_5_1_96_0.pdf |pages=96-113 }}</ref>, c'est en 1672 que Leibniz eut l'idée de son triangle. Il l'a baptisé ''triangle harmonique'', vu sa construction à partir de la [[série harmonique]]. 

== Définitions ==

=== 1) par récurrence ===
Comme pour le triangle de Pascal, on peut présenter le triangle de Leibniz comme suit :

<math>
\begin{array}{cc|cccccc}
& k & 1 & 2 & 3 & 4 & 5 & 6\\
n & & \\
\hline
1 & & 1 \\
2 & & 1/2 & 1/2 \\
3 & & 1/3 & 1/6 & 1/3 \\
4 & & 1/4 & 1/12 & 1/12 & 1/4 \\
5 & & 1/5 & 1/20 & 1/30 & 1/20 & 1/5 \\
6 & & 1/6 & 1/30 & 1/60 & 1/60 & 1/30 & 1/6 
\end{array}
</math>

Sous cette forme, la première colonne forme la série harmonique, et chaque terme est la différence du terme au-dessus à gauche et du terme à gauche.

<math>L(n,k)</math> désignant le terme de la ligne ''n'' et de la colonne ''k'', les nombres <math>
L(n,k)
</math> pour <math>1\leqslant k\leqslant n</math> se calculent donc par récurrence par les relations :

<math>
L(n,1)=1/n
</math> pour <math>n\geqslant1</math> et <math>L(n, k) = L(n - 1, k - 1) - L(n, k - 1)</math> pour <math>2\leqslant k\leqslant n</math>.

=== 2) par une formule directe ===
Dans le triangle de Pascal, les termes se calculent à l'aide des [[coefficient binomial|coefficients binomiaux]]. Il en va de même pour le triangle de Leibniz : <math>L(n, k) = \frac{1}{n {n-1 \choose k-1}}= \frac{1}{k {n\choose k}}=\frac{(k-1)!}{n(n-1)..(n-(k-1))} </math>, ce qui montre que les termes sont bien des [[Fraction unitaire|fractions unitaires.]]

Par exemple, <math>L(n, 2) = \frac{1}{n(n-1)} </math>, <math>L(n, 3) = \frac{2}{n(n-1)(n-2)} </math>.

On a aussi <math>L(n, k) = \int_0^1 \! x ^ {k - 1} (1 - x)^{n-k} \,dx=\Beta(k,n-k+1) </math>, où <math>\Beta </math> est la [[fonction bêta]].

== Propriétés ==
# Dans le [[triangle de Pascal]], chaque terme est la somme de deux termes de la rangée supérieure. Dans le triangle de Leibniz, chaque terme est la somme de deux termes de la rangée ''inférieure''. En effet <math>L(n, k) = L(n +1, k ) + L(n+1, k +1)</math>.
# Chaque valeur dans ce triangle égale le terme initial divisé par le terme correspondant dans le triangle de Pascal<ref>{{Ouvrage |langue=en |prénom1=David |nom1=Wells |titre=The Penguin Dictionary of Curious and Interesting Numbers |éditeur= |année=1986 |pages totales=231 |passage=98 |isbn=978-0-14-026149-3}}</ref>. Par exemple, dans la {{6e|ligne}}, le premier terme est 1/6, le deuxième est 1/30 et le troisième est 1/60. Dans le triangle de Pascal, les deuxième et troisième termes sont 5 et 10. Donc, 1/30 = 1/6 ÷ 5 et 1/60 = 1/6 ÷ 10.
#le triangle (sous sa première forme), est symétrique par rapport à la verticale : <math>L(n, k) = L(n ,n-k+1 )</math>. Chaque terme intérieur est donc aussi la différence du terme au-dessus à droite et du terme à sa droite. 
#Le triangle des dénominateurs des termes, qui sont aussi leurs inverses, se construit en mettant les entiers >0 sur les bords et en calculant chaque terme intérieur comme le produit du terme au-dessus et du terme à sa gauche, divisé par leur différence. Si <math>M(n,k)=1/L(n,k)</math>, <math>M(n, k) = \frac{M(n , k - 1) M(n-1, k - 1)}{M(n , k - 1)- M(n-1, k - 1)}</math>.  En formule exacte, <math>M(n,k)=k\binom{n}{k} </math>.
#La somme des dénominateurs des termes de la n{{e}} ligne égale <math>\sum_{k=1}^n k\binom{n}{k}=n 2^{n - 1}</math>. Par exemple, dans la {{3e|}} ligne, la somme est <math>3 + 6 + 3 = 12 = 3 \times 2^2</math>.
#Chaque terme est la somme infinie des termes de la colonne suivante en démarrant de la ligne suivante : <math>L(n,k)=\sum_{l=1}^{+\infty }L(n+l,k+1)</math>.
#Le triangle contient des nombres qui vérifient la [[conjecture d'Erdős-Straus]] quand ''n'' est divisible par 4.

La propriété 2 est mise en évidence par cette disposition des nombres :

<center><math>\begin{array}{cccccccccccccccccc}
& & & & & & & & & \frac{1/1}{1} & & & & & & & &\\
& & & & & & & & \frac{1/1}{2} & & \frac{1/1}{2} & & & & & & &\\
& & & & & & & \frac{1/1}{3} & & \frac{1/2}{3} & & \frac{1/1}{3} & & & & & &\\
& & & & & & \frac{1/1}{4} & & \frac{1/3}{4} & & \frac{1/3}{4} & & \frac{1/1}{4} & & & & &\\
& & & & & \frac{1/1}{5} & & \frac{1/4}{5} & & \frac{1/6}{5} & & \frac{1/4}{5} & & \frac{1/1}{5} & & & &\\
& & & & \frac{1/1}{6} & & \frac{1/5}{6} & & \frac{1/10}{6} & & \frac{1/10}{6} & & \frac{1/5}{6} & & \frac{1/1}{6} & & &\\
& & & \frac{1/1}{7} & & \frac{1/6}{7} & & \frac{1/15}{7} & & \frac{1/20}{7} & & \frac{1/15}{7} & & \frac{1/6}{7} & & \frac{1/1}{7} & &\\
& & \frac{1/1}{8} & & \frac{1/7}{8} & & \frac{1/21}{8} & & \frac{1/35}{8} & & \frac{1/35}{8} & & \frac{1/21}{8} & & \frac{1/7}{8} & & \frac{1/1}{8} &\\
& & & & &\vdots & & & & \vdots & & & & \vdots& & & & \\
\end{array}</math></center>

== Utilisation physique ==
[[Fichier:Résistance en carré.png|alt=Cette image est une illustration du problème de la résistance en carré: elle représente un carré dont chaque arête contient une résistance R.|vignette|Illustration du problème de la résistance en carré. L'objectif est de calculer la résistance équivalente au circuit AB.]]
Un problème classique de physique est la détermination de la [[résistance équivalente]] d'un [[Circuit électrique|circuit]]. La résolution de ce problème fait intervenir les coefficients du triangle.

Pour un circuit composé d'une seule [[Résistance (composant)|résistance]] <math>R</math>, la résistance équivalente est la résistance elle-même, soit <math>R_{eq} = R</math>. Pour un circuit composé d'un [[carré]] pour lequel chaque côté contient une résistance <math>R</math>, la résistance équivalente entre deux sommets opposés du carré vaut <math>\frac{1}{R_{eq}} = \frac{1}{2R} + \frac{1}{2R}</math> car il y a deux résistance sur chaque côté du carré soir <math>R_{eq} = R</math>.

Le problème de la résistance en [[cube]]<ref>{{Lien web |titre=Cube de résistances égales |url=https://ressources.univ-lemans.fr/AccesLibre/UM/Pedago/physique/02/electri/cube.html |site=ressources.univ-lemans.fr |consulté le=2025-03-03}}</ref> est un peu plus compliqué: on considère un cube dont chaque arête est une résistance <math>R</math>, on cherche à déterminer la résistance équivalente entre deux sommets d'une diagonale de ce cube. Pour le résoudre, il faut utiliser les [[Symétrie (physique)|symétries]] du problème grâce auxquelles on peut se ramener à un circuit contenant trois résistances en [[Montage en série|série]] de valeurs respectives <math>\frac{R}{3}</math>, <math>\frac{R}{6}</math> et <math>\frac{R}{3}</math> soit<math>R \times L(3,1)</math>, <math>R \times L(3, 2)</math> et <math>R\times L(3,3)</math> et donc une résistance totale du cube de <math>R_{eq} = R \times \sum_{k=1}^3L(3, k)=\frac{5R}{6}</math>.

Avec un peu d'abstraction, on peut imaginer une résistance en [[hypercube]] de dimension <math>n</math> sur laquelle chaque arête est une résistance <math>R</math> et on cherche toujours à calculer la résistance équivalente de l'hyper-diagonale. Avec les mêmes règles de symétries que précédemment on parvient à simplifier le circuit en <math>n</math> résistances en série dont la <math>k</math>-ième a une résistance de <math>R \times L(n,k)</math> soit <math>R_{n, eq} = R \times \sum_{k=1}^n L(n, k)</math>

== Notes et références ==
{{Traduction/Référence|en|Leibniz harmonic triangle|517359041|type=note}}
{{Références|colonnes=1}}

== Annexes ==
=== Bibliographie ===
* {{Ouvrage |langue=de |prénom1=Joseph Ehrenfried |nom1=Hofmann |prénom2=Heinrich |nom2=Wieleitner |lien auteur2=Heinrich Wieleitner |prénom3=Dietrich |nom3=Mahnke |lien auteur3=Dietrich Mahnke |titre=Die Differenzenrechnung bei Leibniz |éditeur=Sitzungsberichte der Preussischen Akademie der Wissenschaften |collection=Physikalisch-Mathematische Klasse |année=1931 |passage=562-590 }}

=== Article connexe ===
* [[Triangle de Pascal]]

=== Lien externe ===
* {{MathWorld|titre=LeibnizHarmonicTriangle|Leibniz Harmonic Triangle}}

{{Portail|arithmétique}}

[[Catégorie:Triangle de nombres|Leibniz]]
[[Catégorie:Mathématiques discrètes]]