# Moyenne harmonique

La moyenne harmonique H de nombres réels strictement positifs $a_{1},\ldots ,a_{n}$ est définie par :
    $H={\frac {n}{{\dfrac {1}{a_{1}}}+{\dfrac {1}{a_{2}}}+\cdots +{\dfrac {1}{a_{n}}}}}\cdot$
C'est l'inverse de la moyenne arithmétique des inverses des termes. La moyenne harmonique est donc utilisée lorsqu'on veut déterminer un rapport moyen, dans un domaine où il existe des liens de proportionnalité inverses.

## Exemples

Dans certains cas, la moyenne harmonique donne la véritable notion de « moyenne ». Par exemple, si pour la moitié de la distance d'un trajet vous voyagez à 40 kilomètres par heure, et que pour l'autre moitié vous voyagez à 60 kilomètres par heure, votre vitesse moyenne est alors donnée par la moyenne harmonique de 40 km/h et 60 km/h, ce qui donne 48 km/h. Votre temps de voyage total est donc le même que si vous aviez voyagé à 48 kilomètres par heure sur l'ensemble de la distance (attention toutefois, si vous aviez voyagé la moitié du temps à une vitesse, et l'autre moitié du temps (et non de la distance) à une autre vitesse, la moyenne arithmétique, dans ce cas 50 kilomètres par heure, vous aurait donné la bonne moyenne).
De même, si un circuit électrique a deux résistances reliées en parallèle, la première faisant 40 Ω et l'autre 60 Ω, la résistance moyenne des deux est 48 Ω ; la résistance totale du circuit est la même que si les deux résistances en parallèle étaient remplacées par deux résistances de 48 Ω (attention, cette résistance moyenne n'est pas la résistance équivalente qui est, elle, de 24 Ω, et qui correspond à remplacer les deux résistances en parallèle par une seule résistance de 24 Ω).
Un autre exemple utile est celui de l'usure des pneus d'un véhicule entre l'avant et l'arrière. Si votre train de pneus avant est usé au bout de 50 000 km tandis que celui arrière l'est au bout de 35 000 km, vous pouvez connaitre le kilométrage au bout duquel permuter les roues avant et arrière en prenant la moitié de la moyenne harmonique. Soit ici : ${\frac {35000\times 50000}{35000+50000}}=20588$.

## Moyenne harmonique de deux nombres
### Formule

La moyenne harmonique de deux réels strictement positifs $a{\text{ et }}b$ s'écrit :
    $H={\frac {2}{{\frac {1}{a}}+{\frac {1}{b}}}}={\frac {2ab}{a+b}}\cdot$
Par exemple, chaque terme de la série harmonique ∑ 1/n {\textstyle \sum {1 \over n}} est la moyenne harmonique des termes précédent et suivant.

### Lien avec les moyennes géométrique et arithmétique

Cette moyenne est aussi reliée à la moyenne arithmétique,
    $A={\frac {a+b}{2}},$
et à la moyenne géométrique,
    $G={\sqrt {ab}},$
par la formule suivante :
    $H={\frac {G^{2}}{A}}\cdot$
d'où
    $G={\sqrt {AH}}$, c.-à-d. que la moyenne géométrique est la racine carrée de la moyenne arithmétique multipliée par la moyenne harmonique.

### Proportions harmonique et contre-harmonique

Trois réels strictement positifs $a<b<c$ sont dits "en proportion harmonique" si le rapport du deuxième écart au premier écart est égal au rapport du troisième nombre au premier, autrement dit si ${\frac {c-b}{b-a}}={\frac {c}{a}}$ ; cela équivaut à ce que $b={\frac {2ac}{a+c}}$, autrement dit à ce que le nombre central soit la moyenne harmonique des deux autres.
Ces nombres sont dits « en proportion contre-harmonique » si les rapports sont inversés, autrement dit si ${\frac {b-a}{c-b}}={\frac {c}{a}}$ ; cela équivaut à ce que $b={\frac {a^{2}+c^{2}}{a+c}}$, qui est appelé la moyenne "contre-harmonique" de $a{\text{ et }}c$.
Par exemple, 2, 3 et 6 sont en proportion harmonique, tandis que 2, 5, et 6 sont en proportion contre-harmonique.

### Lien avec la division harmonique

Les réels strictement positifs $a<b<c$ sont en proportion harmonique si et seulement si les quatre nombres $0,b,a,c$ forment une division harmonique, autrement dit si le birapport $(0,b,a,c)={\frac {a-b}{a}}:{\frac {c-b}{c}}$ est égal à -1.
Inversement, quatre points $A,B,C,D$ d'une droite orientée forment une division harmonique si et seulement si ${\overline {AB}}$ est la moyenne harmonique de ${\overline {AC}}$ et ${\overline {AD}}$, ce que l'on écrit sous la forme de la relation de Descartes : ${\frac {2}{\overline {AB}}}={\frac {1}{\overline {AC}}}+{\frac {1}{\overline {AD}}}.$

## Constructions géométriques
### À partir d'un demi-disque

La moyenne harmonique fait partie des moyennes pythagoriciennes et peut être construite.
On considère un segment [AB], séparé en deux segments de longueurs a et b en K. Le demi-cercle de diamètre [AB], centré en O, a donc un rayon égal à la moyenne arithmétique de $a{\text{ et }}b$, et la perpendiculaire au diamètre issue de K, qui intercepte le demi-cercle en M, a une longueur égale à la moyenne géométrique (c'est le théorème de la moyenne géométrique). On trace alors le rayon [OM] du demi-cercle, puis la hauteur [KP] du triangle OMK. Comme tous les triangles formés sont semblables, on a :
    ${\frac {KM}{OM}}={\frac {PM}{KM}}\Longleftrightarrow {\frac {\sqrt {ab}}{\frac {a+b}{2}}}={\frac {PM}{\sqrt {ab}}}\Longleftrightarrow PM={\frac {2ab}{a+b}}$
qui est bien égale à la moyenne harmonique de $a{\text{ et }}b$.

### À partir d'un trapèze

Dans un trapèze convexe de bases de longueurs $a{\text{ et }}b$, le segment parallèle aux bases joignant les deux côtés et passant par le point d'intersection des diagonales a pour longueur la moyenne harmonique de $a{\text{ et }}b$, ceci quelles que soient les longueurs des côtés.
Plus précisément, avec les notations de la figure ci-contre, on a $IJ=IK={\frac {ab}{a+b}}$.
D'après le théorème de Thales dans le triangle $ABC$, on a ${\frac {a}{IJ}}={\frac {CB}{CI}}=1+{\frac {IB}{IC}}$.
Or dans le trapèze croisé $ABCD$, on a ${\frac {a}{b}}={\frac {IB}{IC}}$, d'où ${\frac {a}{IJ}}=1+{\frac {a}{b}}$, et $IJ={\frac {ab}{a+b}}$.
Idem pour $IK$.
Ce résultat est utilisé dans la résolution du problème des deux échelles.

### Constructions de la moitié de la moyenne harmonique

Il existe plusieurs constructions donnant la moitié de la moyenne harmonique de deux nombres, illustrées dans les figures suivantes :
* Problème de deux échelles
* Dans un triangle de base $a$ et de hauteur $b$, le côté du carré inscrit est de longueur ${\frac {ab}{a+b}}$
* Dans un triangle tel qu'un angle entre deux côtés de longueurs $a$ et $b$ mesure $120^{\circ }$, la longueur de la bissectrice est de ${\frac {ab}{a+b}}$

## Applications

* en dimensionnement mécanique, pour calculer le rayon équivalent, de rayons de courbure, lors du contact entre deux sphères ou deux cylindres, d'après la loi de Hertz-Boussinesq (voir aussi « Contact de Hertz ») ;
* en apprentissage automatique, la F-mesure $F_{1}$ associée à un modèle d'apprentissage est la moyenne harmonique de ses précision et rappel.
* en finance, pour le calcul d'un multiple de valorisation moyen d'un portefeuille de titres (ex. : calcul du ratio PE moyen d'un portefeuille d'actions)