AG CG AP "~BP
Fig. 73.
Gela posé, l'égalité des angles AMP, ANP, montre que
la circonférence décrite sur AM comme diamètre passe par le point N.
Donc MN et CN' sont perpendiculaires à NA et, par suite, parallèles entre elles : et l'on verrait de même que M'N' est parallèle à CN.
Enfin, si par les points M et M' on mène des parallèles à NN' jusqu'à leur rencontre avec CN' et CN, on prouve aisément que MN = M'N'.
La radiée C (N, N') passe donc bien par le point (M, M').
Mais les angles AB(M,M'), AC(N, N')sont évidemment égaux, et, comme ils »ont inscrits dans le même segment, le théorème est démontré.
On sait que les droites réelles CN, CN', qui font des angles égaux avec CD, coupent la direction MM' en deux points K, L, conjugués harmoniques des points E et D, et que, par suite, le milieu de DE étant Q, on a
QDrrzQK.QL.
11 est facile de démontrer que les radiées C(N, N') et C (N', N), qui font aussi des angles égaux avec CD, jouissent de la même propriété.
En effet, on a d'abord
E(M,M').E(MSM) ^EP-f-PM ; •
et, si l'on prend sur PB la longueur PH = PM, on en conclut
E(M, M').E(M'M)---z:Ëh'.
Mais la circonférence O donne
E(M,MO.E(MSMj---=iEB.EC.
D'un autre côté, les droites PB et CD étant antiparallèles par rapport aux côtés de l'angle BED, on a
EB.EC =nEP.ED.
Donc enfin