Soit un segment AB. De ses deux extrémités A et B, on construit deux lignes droites non parallèles se coupant , au-dessus de AB, en C.
Montrer que si l’on trace deux autres droites non parallèles à partir de A et B qui se coupent en un point D du même côté de AB, tel que AD=AC et BD=BC , forcément les points D et C sont confondus (autrement dit, au-dessus de AB, il n’existe qu’un point unique C à deux distances données de A et B).

NB : comme pour d’autres propositions d’Euclide, qui sont toutes construites pas à pas, celle-ci peut dérouter car elle peut sembler évidente. Pour comprendre Euclide, il faut faire l’effort de ne rien accepter qui ne soit établi par démonstration (pour creuser cet aspect , voir le problème en géométrie qu’est-ce qui m’autorise à dire que quelque chose est vrai)
References
- Euclide — Éléments
Details
Livre 1, théorème 4, proposition 7
Export references
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Pour montrer qu’il n’existe qu’un point unique, nous allons supposer que l’existence d’un autre point D avec des distances et identiques à et , est impossible.
S’il existait un autre point , différent de , serait forcément, soit sur une des droites ou , soit à l’intérieur du triangle , soit à l’extérieur du triangle . Examinons successivement ces trois cas.
- Cas où se trouve sur un des deux segments ou .
Prenons par exemple le cas de « sur » (l’autre situation est identique).
Cette situation est impossible vu que ne peut être à la fois intérieur à et vérifier .
- Cas où se trouve à l’intérieur du triangle .
Construisons deux points et dans le prolongement de et de

Dans ce cas, nous nous retrouvons avec deux triangles isocèles : isocèle en (vu que par définition) et isocèle en ().
Le triangle isocèle a ses deux angles sur la base qui sont égaux (voir problème "égalité des angles dans un triangle isocèle") donc (1)
Or l’angle est une partie de l’angle donc . Ainsi avec (1) on en déduit que
(2)
Par ailleurs l’angle est une partie de l’angle donc , ce qui couplé avec (2) donne
(3)
Enfin, passons au triangle isocèle . Celui-ci a ses deux angles et égaux mais surtout , ce qui nous intéresse particulièrement ici, ses deux angles sous la base sont aussi égaux (voir problème "égalité des angles dans un triangle isocèle") , soit , ce qui est incompatible avec (3)
- Cas où se trouve à l’extérieur du triangle .
Considérons les deux triangles : isocèle en (par définition ) et isocèle en (). Les angles sur la base de ces deux triangles sont donc égaux : (4) et (5) . Or, par construction, l’angle est une partie de l’angle donc , et l’angle est une partie de l’angle donc , ce qui est incompatible avec (4) et (5)
Conclusion : les trois cas de figure étudiés sont impossibles donc
