D1825. La saga des dichotomies (1er ´ episode)
Γcest le cercle circonscrit `a ABC, de centre O.
Γaest le cercle circonscrit `a ADM, de centre E.
La bissectrice ext´erieure deBAC\ coupeΓaen F, diam´etralement oppos´e `a D.
F est sur la m´ediatrice de AB puisque l’angle inscrit en M est droit, et il est donc commun `a Γa et `a Γc. OE est perpendiculaire `a AF, axe radical des 2 cercles, c`ad parall`ele `a AD.
Les triangles FBC et FPQ sont isoc`eles et on a CBF\ = CAF\ = QP F\; ils sont donc semblables. FPQ est l’image de FBC par la rotationOF E\ suivie de l’homoth´etie de rapport FO/FE.
R milieu de PQ est l’image de M milieu de BC dans cette application. RM est donc parall`ele `a EO, et par cons´equent `a AD.
1