Dans le cercle Γ de diamètre AD (qui passe par E et B), l'angle (AE, EB) est égal à l'angle (AD, DB), et celui-ci est égal à l'angle (CB, AB), puisqu'il a le même complémentaire (AB, AD).
Dès lors, dans le cercle EBC, l'égalité des angles (CE, EB) et (CB, AB) implique que ce cercle est tangent à AB. Il s'ensuit que le centre de ce cercle (situé sur la perpendiculaire en B à AB et sur la médiatrice de BC) n'est autre que le poin F...