Ex. 56 :
[AR] est un diamètre du cercle C et E appartient à ce cercle C.
Donc, le cercle C est circonscrit au triangle rectangle AER. [AR] est l'hypoténuse de ce triangle rectangle. On a donc un angle droit en E.
[OR] est un diamètre du cercle C' et F appartient à ce cercle C'.
Donc, le cercle C' est circonscrit au triangle rectangle OFR. [OR] est l'hypoténuse de ce triangle rectangle. On a donc un angle droit en F.
On a donc : (OF) et (AE) ⊥ (ER)
Si deux droites sont ⊥ à une même 3e droite, alors ces 2 droites sont //
Donc (OF) // (AE)
