OF OD

d'où OE X OD = OF X OC'

et comme OE X OD = R2, il en résulte

OEXOC = OF X OC et, par suite, OC = OC.

Donc la polaire du point D, pris sur la droite AB, passe par le pôle C de la droite AB.

11 en serait de même pour tous les points de la droite AB. Réciproquement : soit une droite EG dont le pôle est D' situé sur le rayon perpendiculaire à EG et tel que OE X OD' = R2. ■ Les triangles rectangles OEC, OD'F donnent

OE OÇ