La droite de Simson

Robert Simson (1687 ; 1768) est un mathématicien écossais passionné par la géométrie grecque de l’Antiquité. Il se rendra célèbre pour son ouvrage « Elements of Euclid » datant de 1756 qui est une traduction commentée de l’œuvre d’Euclide portant le même nom.
Cependant aucune trace du théorème n'a été retrouvé dans l'oeuvre de Simson. La première apparition imprimée du théorème se trouve dans un article datant de 1799 du mathématicien écossais William Wallace (1768 ; 1843).
Outre la construction présentée dans cette page, Simson est aussi à l’origine de la droite d’Euler.

Soit un point M quelconque se trouvant sur le cercle circonscrit à un triangle ABC.
M1, M2 et M3 sont les pieds respectifs des perpendiculaires passant par M aux côtés du triangle.
Ces trois points sont alignés sur une droite appelée la droite de Simson.

Télécharger la figure dynamique au format GeoGebra.

La preuve de cette propriété n'est pas simple !
Les-Mathematiques.net en propose une.