D'après cela, on peut dire (332) que

Dans tout système harmonique de quatre points, la distance de l'un des points à son conjugué est la moyenne harmonique de la distance du même point aux deux autres;

Dans tout système harmonique de quatre points, un point est, par rapport à son conjugue', le centre des moyennes harmoniques des deux autres points.

337. On appelle /<2/^c<?aM harmonique tout faisceau de quatre droites OA, OB, OC, OD, dont le rapport anharmonique (O.ABGD) est égal à — I, c'est-à-dire (321) tout faisceau qui détermine sur une transversale quelconque un système de quatre points harmoniques (y%. 2i5). On dit alors que les rayons OG et OD sont conjugués harmoniques par rapport aux rayons OA et OB, ou qu'ils divisent harmoniquement l'angle AOB; et, de même que les rayons OAetOB sont conjugue's harmoniques par rapport aux rayons OCetOD ou qu'ils divisent harmoniquement l'angle COD.

Il est clair, d'après ce qui précède, que si y par un point G pris dhine manière quelconque dans le plan d'un angle AOB, on mène diverses sécantes telles que AGB, en prenant sur chaque sécante le point D conjugué harmonique du point G par rapport au segment AB intercepté entre les côtés de l'angle, le lieu du point D sera le rayon OD conjugué harmonique de OG par rapport à V angle AOB. Ainsi, pendant que la sécante tourne autour du point G, le conjugué D de ce point fixe décrit une droite fixe OD. On donne à la droite OD le nom de polaire du point G par rapport à Vangle AOB, et au point G le nom de pôle de la droite OD par rapport au même angle AOB.

Steiner a déduit de ce principe une démonstration très-élégante de la propriété fondamentale (315) du quadrilatère complet. Reportons-nous à \^fig. ao6. Soient P' le conjugué harmonique de F par rapport à EF, et R' le conjugué harmonique de R par rapporta BD ; P' et R' devront appartenir l'un et l'autre à la droite conjuguée harmonique de AG par rapport à l'angle EAF et, aussi, à la droite conjuguée harmonique de AG par rapport à l'angle ECF. Les deux points P' et R' coïncident donc et ne diiïè-

fent pas de l'intersection Q de BDet de EF; les systèmes EPFQ, BRDQ, sont par suite harmoniques; et l'on démontrerait d'une manière analogvus qu'il en est de même du système ARCP.

On voit en outre quej si par un point Q, pris dans le plan d'un angle EAF, on mène deux transversales QDB, QFE, le lieu du point d'intersection C des droites BF, ED, est la polaire du point Q par rapport a l'angle EAF; de là résulte un moyen fort simple de construire, avec la règle seule, la polaire d'un point par rapport à un angle.

THÉORÈME

338. Dans un faisceau harmonique OA, OB, OC, OD, toute transversale A'B'C'D', parallèle à Vun des rayons OD, est coupée par les trois autres rayons en deux parties égales [Jig. 21 5).

Fi{j. 21 5.

En effet, dans le système harmonique A'B'C'D', le point D' étant à Tinfini, puisque A'D' est parallèle à OD, son conjugué C doit être au milieu du segment A'B' (333).

Réciproquement, un faisceau de quatre droites OA, OB, OC, OD, est haj'monique si une parallèle A'B'C'D' a Vun des rayons est divisée en deux parties égales par les trois autres.

En effet, le point C étant le milieu du segment A'B', ce segment est divisé harmoniquement par le point C et par le point D' situé à l'infini sur A'B', c'est-à-dire par le point C et parle point d'intersection de A'B' et de OD. Le faisceau divisant harmoniquement la transversale particulière A'B'C'D' divise harmoniquement toute autre transversale ACBD (320), et par suite est un faisceau harmonique.

Corollaires.

330. Lorsque j dans un faisceau harmonique, deux rayons conjugués OC et OD sont rectangulaires, ces rayons sont les bissectrices des deux angles supplémentaires, formés par les deux autres rayons OA et OB ; Ccir une transversale A'C'B', perpendiculaire à OC, étant alors parallèle à OD,