Théorème des deux lunules (encyclopédie mathématiques)

Les lunules sont en bleu.

Le théorème des deux lunules est un ancien théorème de géométrie plane.

Sommaire

[modifier] Histoire

Ce théorème, très ancien, a été démontré par Hippocrate de Chios (-500), qui étudia aussi la duplication du cube, c’est-à-dire le calcul de la racine cubique de 2 (ne pas le confondre avec Hippocrate de Cos, le médecin). Les deux lunules sont aussi appelées lunules d'Hippocrate. Il recherchait alors la quadrature du cercle et pensait que la quadrature de ses lunules allait le rapprocher du but^[1].

[modifier] Définition

Une lunule est une portion de surface délimitée par deux cercles non concentriques de rayons différents, formant un croissant de lune en forme de ménisque : convexe d’un côté et concave de l’autre.

[modifier] Énoncé

Soit le triangle ABC rectangle en B et $\mathcal{C}$ le cercle circonscrit à ABC (de diamètre AC).

La lunule $L B C$ est la figure formée par le demi-disque de diamètre BC extérieur au triangle ABC, auquel on enlève son intersection avec le disque délimité par $\mathcal{C}$ .

La lunule $L B A$ est la figure formée par le demi-disque de diamètre BA extérieur au triangle ABC, auquel on enlève son intersection avec le disque délimité par $\mathcal{C}$ .

Alors la somme des aires de $L B C$ et de $L B A$ (en bleu sur la figure) est égale à l'aire du triangle ABC (en vert).

[modifier] Démonstration

Soit un triangle ABC rectangle en B

Les deux petites parties blanches représentent ce qui reste du demi-disque de diamètre AC quand on le prive du triangle ABC. La somme de leurs aires est donc $Aire(A C) - Aire(A B C).$

Les deux lunules sont les deux demi-disques de diamètre AB et BC privés de ces parties blanches. La somme de leurs aires est donc

$\begin{align}\text{Aire}(L_{BC})+\text{Aire}(L_{BA})&=\text{Aire}(AB) + \text{Aire}(BC)-\left[\text{Aire}(AC)-\text{Aire}(ABC)\right]\\&=\left[\text{Aire}(AB) + \text{Aire}(BC)-\text{Aire}(AC)\right]+\text{Aire}(ABC).\end{align}$

Pour montrer le théorème, il suffit donc de montrer que $Aire(A B) + Aire(B C) - Aire(A C) = 0$ , c'est-à-dire que la somme des aires des deux demi-disques de diamètre AB et BC est égale à l'aire du demi-disque de diamètre AC.

Or le théorème de Pythagore nous dit que

$AC^2 = AB^2+BC^2.\,$