
Chiaramente X è il punto medio dell'arco BC non contenente A e quindi è
XB=XC
Osservo che l'angolo AXY è retto in quanto insiste su mezza circonferenza e
ciò assicura che XY è perpendicolare a $ $ II_A$ $.Per completare la
dimostrazione basterà far vedere che è $ $ XI=XI_A$ $
Ora si ha:
$ $IBX=XBC+CBI=XAC+CBI=\frac{\alpha}{2}+\frac{\beta }{2}$ $
$ $BIX=IAB+ABI=\frac{\alpha}{2}+\frac{\beta }{2}$ $
Il triangolo XBI è dunque isoscele su BI e pertanto:
(1) $ $XI=XB \text{ (=XC) } $ $
D'altra parte $ $ BI,BI_A$ $,essendo bisettrici di angoli adiacenti,risultano
perpendicolari e analogamente $ $ CI,CI_A$ $.Ne deriva che i punti
$ $ B,I,C,I_A$ $ appartengono ad una stessa circonferenza che per la
(1) ha centro in X.
Ma allora è pure $ $ XI=XI_A$ $