# Médiane (géométrie)

Dans son sens le plus courant, une médiane désigne, dans un triangle, une droite joignant un des trois sommets du triangle au milieu du côté opposé.
Par extension, en géométrie plane, les médianes d'un quadrilatère sont les segments reliant les milieux de deux côtés opposés.
Enfin, en géométrie dans l'espace, les médianes d'un tétraèdre sont les droites passant par un sommet du tétraèdre et par l'isobarycentre des trois autres.

## Géométrie du triangle

Dans un triangle ABC, la médiane issue du sommet A est la droite (AI) où I désigne le milieu du segment [BC]. Le terme médiane désigne parfois le segment [AI] plutôt que la droite (AI).
Chaque médiane sépare le triangle ABC en deux triangles d'aires égales : l'aire du triangle ABI est égale à l'aire du triangle ACI.
Considérons les deux triangles ABI et ACI.
On appelle H le projeté orthogonal du point A sur la droite (BC).
Comme I est le milieu du segment [BC], on a BI = CI. Dans un triangle la médiane d'un côté est la droite qui passe par le milieu de ce côté et par le sommet de son angle.
L'aire du triangle ABI est égale à ${\frac {BI\times AH}{2}}$. L'aire du triangle ACI est égale à ${\frac {CI\times AH}{2}}$. Comme BI = CI, ces deux aires sont égales.
On démontre de la même manière que les médianes issues de B et de C vérifient cette propriété.
* ↑ Une autre façon élémentaire de le démontrer est de remarquer que ces deux triangles sont les moitiés de deux parallélogrammes de côté commun (AI) et translatés l'un de l'autre.

### Théorème de la médiane

Dans le triangle ABC, si I est le milieu de [BC] alors ${\overrightarrow {AB}}+{\overrightarrow {AC}}=2{\overrightarrow {AI}}.$ Cette égalité est une conséquence immédiate de la définition de I comme isobarycentre de B et C (voir le § « Réduction » de l'article sur le barycentre).
Le « premier théorème de la médiane » affirme que
    $AB^{2}+AC^{2}={1 \over 2}BC^{2}+2AI^{2}.$
Il fut énoncé par Apollonius de Perga et par Thalès.

### Isobarycentre

Les trois médianes d'un triangle sont concourantes. Leur point d'intersection est l'isobarycentre des trois sommets, souvent appelé « centre de gravité du triangle ». Il est situé aux deux tiers de chaque médiane à partir du sommet correspondant. Cet isobarycentre G vérifie la relation vectorielle :
${\overrightarrow {GA}}+{\overrightarrow {GB}}+{\overrightarrow {GC}}={\overrightarrow {0}}.$
Le milieu I de [BC] est défini par l'équation vectorielle :
    ${\overrightarrow {BI}}+{\overrightarrow {CI}}={\overrightarrow {0}}.$
L'isobarycentre G des trois points A, B et C est défini par l'équation vectorielle :
    ${\overrightarrow {GA}}+{\overrightarrow {GB}}+{\overrightarrow {GC}}={\overrightarrow {0}}.$
De ces deux équations, on déduit :
    ${\overrightarrow {GA}}+2{\overrightarrow {GI}}={\overrightarrow {0}}.$
Par conséquent G, A et I sont alignés, autrement dit G appartient à la médiane (AI). On démontre de même qu'il appartient aux deux autres médianes. Les trois médianes sont donc bien concourantes. (On peut voir aussi cette propriété comme un cas particulier du théorème de Ceva.)
Il existe une autre démonstration, n'utilisant aucune connaissance vectorielle.
On considère un triangle ABC quelconque et les points I, J et K, milieux respectifs de [AB], [AC] et [BC], et G le point d'intersection des médianes (CI) et (AK) (on montre via un raisonnement par l'absurde que G est bien défini car les trois médianes se coupent deux à deux).
Soit D le symétrique de G par rapport à I. Alors AGBD est un parallélogramme donc (BD) est parallèle à (AG), c'est-à-dire à (KG). Autrement dit : G appartient à la parallèle à (BD) passant par le milieu de [BC]. Comme il appartient aussi à (CD), on en déduit, par le théorème de Thalès, que G est le milieu de [CD]. Par définition de D, le point G est donc situé, sur [CI], aux deux tiers à partir de C.
En résumé, le point d'intersection de (CI) et (AK) est, sur [CI], aux deux tiers à partir de C.
Par le même raisonnement, l'intersection de (CI) et (BJ) est en ce même point. Les trois médianes du triangle sont donc bien concourantes.
* ↑ On en peut incorporer ici une preuve du cas particulier qu'on utilise, c'est-à-dire de la réciproque du théorème des milieux, ce qui rétablit l'égalité des rôles entre les deux médianes considérées : soit E le symétrique de G par rapport à K. De même que (BD) est — on l'a vu — parallèle à (AG), la droite (BE) est parallèle à (CG), autrement dit : le quadrilatère BDGE a ses côtés opposés parallèles deux à deux. C'est donc un parallélogramme, si bien que DG = BE = GC.

### Particularités

Chaque médiane d'un triangle, issue d'un sommet (A par exemple) forme avec les deux côtés adjacents du triangle et la parallèle passant par A au côté opposé un faisceau harmonique
Les deux droites reliant un sommet au milieu de chaque médiane issue des deux autres sommets, coupent le côté opposé en trois parts égales.
La plus grande ellipse inscrite dans un triangle (ellipse de Steiner) est tangente aux côtés du triangle aux pieds des médianes.
Dans tout triangle, la somme des carrés des longueurs des trois médianes $m_{A}$, $m_{B}$ et $m_{C}$ est égale aux trois quarts de la somme des carrés des côtés :
    $m_{A}^{2}+m_{B}^{2}+m_{C}^{2}={\frac {3}{4}}(a^{2}+b^{2}+c^{2})$, avec a=BC, b=AC et c=AB.
En écrivant trois fois le théorème de la médiane pour la longueur de chaque médiane
    $2m_{A}^{2}=b^{2}+c^{2}-{\frac {1}{2}}a^{2}$,
    $2m_{B}^{2}=$ …,
    $2m_{C}^{2}=$ …,
la somme donne $2(m_{A}^{2}+m_{B}^{2}+m_{C}^{2})=2(a^{2}+b^{2}+c^{2})-{\frac {1}{2}}(a^{2}+b^{2}+c^{2})$.
En divisant par 2, on trouve la formule par simplification.

### Médiane dans des triangles particuliers

Dans un triangle isocèle, la médiane relative à la base du triangle est un axe de symétrie du triangle. Considérées comme des segments, les deux autres médianes sont de longueur égale. Réciproquement si dans un triangle deux médianes sont de même longueur, le triangle est isocèle.
Dans un triangle rectangle, la médiane issue du sommet de l'angle droit mesure la moitié de l'hypoténuse. Réciproquement si dans un triangle la longueur d'une médiane est égale à la moitié de la longueur du côté correspondant, le triangle est rectangle.
Dans un triangle, les médianes issues de B et C sont orthogonales si et seulement si on a la relation suivante entre les côtés du triangle : b$^2$ + c$^2$ = 5a$^2$.
Si la médiane AM = ${\frac {3}{2}}a$, alors les deux autres médianes sont orthogonales.

## Médianes dans un quadrilatère

Les médianes du quadrilatère sont les segments reliant les milieux des côtés opposés.
* Les médianes sont les diagonales du parallélogramme de Varignon, elles se coupent en leurs milieux.
* L'associativité des barycentres permet aussi de justifier que le milieu des médianes est l'isobarycentre des sommets du quadrilatère. Contrairement au cas du triangle, cet isobarycentre des sommets ne coïncide pas avec le centre de masse.

## Géométrie, dans l'espace

En géométrie dans l'espace, on appelle médianes d'un tétraèdre les droites joignant un des sommets du tétraèdre et l'isobarycentre des trois autres. Il y a donc quatre médianes dans un tétraèdre. Elles se coupent en un point qui est l'isobarycentre des quatre sommets (voir Théorème de Commandino (de)). Il en va de même pour les trois bimédianes (joignant les milieux de deux arêtes opposées).
Toutes ces propriétés (du triangle, du quadrilatère et du tétraèdre) sont des cas particuliers du théorème suivant, conséquence de l'associativité du barycentre$^,$ :
   Soit S un ensemble fini de points d'un espace affine. On appelle médiane de S tout segment joignant les isobarycentres de deux parties non vides de S complémentaires l'une de l'autre. Alors, toutes les médianes de S se coupent en l'isobarycentre de S.
(On peut même préciser, en fonction du quotient des nombres de points des deux parties, la position de l'isobarycentre sur le segment considéré.)
Dans un tétraèdre régulier (dont toutes les faces sont des triangles équilatéraux), les médianes sont aussi les hauteurs. On dit que ce tétraèdre est orthocentrique, car ses hauteurs sont concourantes (ce n'est pas le cas, en général, dans un tétraèdre, contrairement à un triangle).
La molécule de méthane CH$_4$ illustre ce cas : les sommets sont occupés par des atomes d'hydrogène ; l'atome de carbone se situe au point de rencontre des médianes.