Perpendiculaire abaissée d'un point sur une droite

D'après: Éléments d'Euclide, Livre I, Proposition 12
java applet or image
The geometry applet de David E. Joyce

Énoncé:
On donne une droite (AB) et un point C en dehors de cette droite. Un cercle de centre C coupe la droite en E et G. H est le milieu de [EG] (voir Livre I, proposition 10). Alors (CH) est perpendiculaire à (AB)

Prérequis:

  1. Définition du cercle
  2. Cas d'égalité (isométrie) des triangles
  3. Une perpendiculaire à une droite détermine deux angles égaux avec cette droite
  4. Démonstration par étapes

    Démonstration entière