Théorème du papillon

Figure du théorème du papillon

Le théorème du papillon est un théorème de la géométrie euclidienne. Son nom provient de la similitude entre la disposition des deux triangles (voir figure) et les ailes d'un papillon.

Historique

Ce théorème est une question posée en 1803 par le mathématicien écossais William Wallace. Trois solutions ont été donnée en 1804 et 1805 . Actuellement, on dispose de plus de 17 démonstrations différentes Modèle:Sfn.

Démonstration

Les notations sont celles de la figure et correspondent à l'énoncé ci-dessus.

On nomme $X_1$ le pied de la hauteur issue de X dans le triangle AXM. De même on nomme $X_2$ pied de la hauteur issue de X dans le triangle DXM, $Y_1$ pied de la hauteur issue de Y dans le triangle BYM et $Y_2$ pied de la hauteur issue de Y dans le triangle CYM.

On remarque alors que les triangles $MX{X}_1$ et $MY{Y}_1$ sont semblables car $\widehat{M{X}_{1}X}=\widehat{M{Y}_{1}Y}$ (ce sont des angles droits) et $\widehat{X_{1}MX}=\widehat{Y_{1}MY}$ car ils sont opposés par le sommet ; d'où : $\frac{MX}{X{X}_1}=\frac{MY}{Y{Y}_1}$.

De même $MX{X}_2$ est semblable à $MY{Y}_2$ et $\frac{MX}{X{X}_2}=\frac{MY}{Y{Y}_2}$.

On procède de la même manière pour les triangles semblables $AX{X}_1$ et $CY{Y}_2$ sachant que $\widehat{XA{X}_1}=\widehat{YC{Y}_2}$ car ces angles interceptent le même arc (voir Théorème de l'angle inscrit et de l'angle au centre) ; d'où : $\frac{AX}{X{X}_1}=\frac{CY}{Y{Y}_2}$.

De même $DX{X}_2$ est semblable à $BY{Y}_1$ et $\frac{DX}{X{X}_2}=\frac{BY}{Y{Y}_1}$.

On a donc :

${\left(\frac{MX}{MY}\right)}^2=\frac{X{X}_1}{Y{Y}_1}\cdot \frac{X{X}_2}{Y{Y}_2}$

$=\frac{AX.DX}{CY.BY}$

$=\frac{PX.QX}{PY.QY}$ (voir Puissance d'un point par rapport à un cercle)

$=\frac{(PM-MX)(QM+MX)}{(PM+MY)(QM-MY)}$

$=\frac{P{M}^2-M{X}^2}{P{M}^2-M{Y}^2}$ car $PM=QM$

Ainsi $M{X}^2=M{Y}^2$, ce sont des longueurs donc $MX=MY$.

M est bien le milieu du segment $[XY]$.

Liens externes

• Une démonstration du théorème avec une animation Flash sur le site de Thérèse Eveilleau
• Modèle:En 17 démonstrations différentes de ce théorème sur cut-the-knot