Théorie > Géométrie > Rapports de section


Général

Introduction Chapitre entier

Points théoriques

Définition et propriétés Théorème de Ceva Théorème de Ménélaüs

Exercices

Exercice 1 Exercice 2 Exercice 3 Exercice 4

Théorème de Ménélaüs

Le théorème de Ménélaüs est très similaire au théorème de Céva. Il donne cette fois une condition nécessaire et suffisante pour que trois points situés sur les côtés d'un triangle (ou sur leur prolongement) soient alignés.

Soit $ABC$ un triangle et $D \in BC$, $E \in AC$, $F \in AB$ des points distincts des sommets. Les points $D$, $E$ et $F$ sont alignés si et seulement si
$$r_{AB}(F) \cdot r_{BC}(D) \cdot r_{CA}(E) = 1$$ ou, autrement dit, si
$$\frac{\overline{FB}}{\overline{FA}} \cdot \frac{\overline{DC}}{\overline{DB}} \cdot \frac{\overline{EA}}{\overline{EC}} = 1.$$

Démonstration :
Comme pour Ceva, on commence par le sens $\Rightarrow$. Notons $X$ l'intersection de $DF$ avec la parallèle à $BC$ passant par $A$, comme sur la figure ci-dessous.


Par Thalès dans les triangles $BDF$ et $CDE$, on a les deux relations suivantes :
$$\frac{\overline{DB}}{\overline{XA}} = \frac{\overline{FB}}{\overline{FA}} \quad \text{ et } \quad \frac{\overline{XA}}{\overline{DC}} = \frac{\overline{EA}}{\overline{EC}}.$$ On a donc
$$\frac{\overline{DB}}{\overline{DC}} = \frac{\overline{DB}}{\overline{XA}} \cdot \frac{\overline{XA}}{\overline{DC}} = \frac{\overline{FB}}{\overline{FA}} \cdot \frac{\overline{EA}}{\overline{EC}},$$ ce qui est équivalent à
$$\frac{\overline{FB}}{\overline{FA}} \cdot \frac{\overline{DC}}{\overline{DB}} \cdot \frac{\overline{EA}}{\overline{EC}} = 1.$$
Passons au sens $\Leftarrow$. On suppose donc avoir
$$\frac{\overline{FB}}{\overline{FA}} \cdot \frac{\overline{DC}}{\overline{DB}} \cdot \frac{\overline{EA}}{\overline{EC}} = 1.$$ Remarquons déjà que $EF$ ne peut pas être parallèle à $BC$. En effet, si tel était le cas, par Thalès on aurait
$$\frac{\overline{EA}}{\overline{EC}} = \frac{\overline{FA}}{\overline{FB}},$$ d'où $\displaystyle \frac{\overline{DC}}{\overline{DB}} = 1$ mais cela est impossible car un rapport de section ne vaut jamais $1$. On peut donc noter $D'$ l'intersection de $EF$ avec $BC$, et on montre comme dans la démonstration du théorème de Ceva que l'on a forcément $D = D'$.