PE CD^C'D' = — (CR + C'R

Pour transformer la première relation , menons la tangente RT : elle est moyenne proportionnelle entre CRetC'R; donc

pr) ^'^^ ' ou y à cause des triangles rectangles OTR, OER :

— j (OEVer'-R«), ... (2)

R étant le rayon du cercle.

Abaissons OF perpendiculaire è la corde CC : nous avons aussi

CR -4- C'R «= 2RF = 2(FP ^- PR) ; puis