Soient 2 triangles et qui, d’une part, ont une base commune , 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 les notations et pour noter l’aire d’un triangle et l’aire d’un quadrilatère .
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 à , et en montrant alors que c’est impossible.
Construisons 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 ).
Si la droite n’est pas parallèle à , cette nouvelle droite passera soit au-dessus du point D, soit en dessous. Envisageons les deux cas de figure.
- .
On peut alors positionner un point E à l’intersection entre cette nouvelle droite et .
Considérons les deux triangles et . Ils ont une base commune et ils sont construit 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 Le sommet d’un triangle a glissé parallèlement à sa base… et l’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 BCD est une partie de l’aire de BCE.

- .
Le raisonnement est exactement le même en construisant un point F à l’intersection entre la nouvelle droite 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 .

