Soit F l'intersection de (AO) et de (ED).
Soit le triangle AEF. Pour montrer qu'il est rectangle en F, on montre de manière équivalente que
.
, la dernière égalité étant assurée par le théorème de l'angle inscrit.
(1) : le triangle AOC est isocèle en O.
(2) : théorème de l'angle inscrit.
(3) : le triangle AHB est rectangle en H.
D est un point faisant partie du petit cercle de diamètre [AH], donc le triangle AHD est rectangle en D. Dès lors :
CQFD.