Soient 2 triangles et qui, d’une part, ont des bases de même longueur , et qui, d’autre part ont la même aire : .
Montrer que les droites et sont parallèles
NB : afin de rester fidèles à l’esprit de la démarche d’Euclide, nous utiliserons la notation pour noter l’aire d’un triangle .

References
- Euclide — Éléments
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Nous allons utiliser un raisonnement par l’absurde, en supposant que la droite n’est pas parallèle à .
Dans ce cas, nous pourrons construire une parallèle à passant par A (pour construire cette parallèle, voir le problème Construction d’une droite parallèle à une droite donnée). Cette nouvelle droite passera soit au-dessus du point D ou en dessous du point D. Envisageons les deux cas de figure.

Nous pouvons alors positionner un point G sur cette droite, point qui se trouve à l’intersection entre cette nouvelle droite parallèle à et .
Considérons maintenant les deux triangles et . Ils ont des bases de même longueur , et ils sont construits entre les mêmes parallèles et . Dans cette configuration, nous pouvons montrer que leurs aires sont égales (pour la démonstration de ce point, voir le problème Deux triangles : même base, même aire), soit : .
Or, par hypothèse, nous avons aussi , donc on en déduit que ce qui est en contradiction avec le fait que l’aire de est une partie de l’aire de .

Le raisonnement est exactement le même, en construisant un point H à l’intersection entre la parallèle à et . On aboutit à une nouvelle contradiction analogue à celle ci-dessus avec l’aire de qui ne peut être à la fois égale à celle de et en même temps être une partie de l’aire de
