Il est impossible de construire la figure suivante dans laquelle AC = AD et BC = BD avec les points C et D distincts et situés du même côté de la droite (AB).
Explications :
Supposons cette figure existante. Alors les triangles CAD et CBD sont isocèles. Cela conduit aux égalités de mesures d’angles suivantes : et .
Or :
Donc
Soit
Ce qui donne
Ce qui est impossible car ne peut pas être strictement supérieur à lui-même.
Remarque : Il s’agit de la proposition I.7 des Éléments d’Euclide.