DIVISIONS HOMOGRAPHIQUES DE MEME BASE

il04. Deux divisions homographiques peuvent être situées sur une même droite L; on appelle alors point double tout point de cette droite qui, considérée comme appartenant à la première division, coïncide avec son homologue de l'autre division.

Deux divisions homographifjucs de même base, qui ont trois points doubles, coïncident ; car a,b, c, étant les trois points doiibles, et {m, m') un couple quelconque de points homologues, l'égalité des rapports anharmoniques [nbcin] et [abcm') exigent que /« et /«'coïncident. Il suit de là que deux divisions honuygraphiques distinctes et tracées sur une même droite ne peuvent avoir plus de deux points doubles.

1105. Pour étudier plus complètement la question des points doubles, prenons pour origine commune le milieu 0 de la droite IJ' qui unit les points homologues de l'infini [fig. 573);on aura alors OJ' = — 01, c'est-

Fig. 573.

« î 0^ TK~f îô'~^

à-dire (1101 ) a = — w, et l'homographie des deux divisions s'exprimera par l'équation

0/«.0w' — X (Ow — Ow') -+- V = o, ou

Nous savons d'ailleurs que). = 0J' = —01; et. pour avoir la signification géométrique de v, il suffit de supposer que m est en 0; car alors, /«' coïncidant avec l'homologue 0' de 0, l'équation (">) donne).. 00 -4- v—o, d'où V = — OJ'.OO' = 01.00',

Cela posé, pour qu'un point m soit double, c'est-à-dire pour qu il coùi-

372 GÉOMÉTRIE DANS l'eSPACK.

cide avec son homologue ///, il faut et il suffit qu'on ait, en vertu de l'équation (5),

Ow +v = o ou Om = ±\/Oi'.00'.

On conclut de là que deux divisions homograpliiqucs de même hase ont toujours deux points doubles réels ou imaginaires, et que le milieu des points doubles coïncide avec le milieu du segment \S' formé par les points limites.

Les points doubles sont imaginaires lorsque les segments OJ'et 00' ont des signes contraires, c'est-à-dire lorsque 0' et J' sont de part et d'autre de 0. Ils sont réels lorsque 0' et J' sont d'un même côté du point 0 ; dans ce cas, en menant par 0 une tangente au cercle décrit sur O'J' comme diamètre, puis rabattant cette tangente OT = v/OO'.OJ' sur la droite L en Oe et en G/, on a les deux points doubles e et/.

H06. Pour que deux divisions homograpltiques de même base soient semblables, il faut et il suffit (1102) ^«1? Pun des points doubles soit à V infini.

On voit immédiatement que : i^ pour que deux divisions soient égales et de même sens, il faut et il suffit que les deux points doubles soient à f infini ; 1° pour que deux divisions soient égales et de sens contraires, il faut et il suffit que l'un des points doubles soit à V infini et que le second point double soit le iinlieu de tous les segments mm' formés par deux points homologues quelconques.

1107. Cette théorie des points doubles nous amène naturellement à dire un mot de la détermination simultanée de deux points et du rôle des imaginaires en Géométrie.

Soient (fig. 200) une origine fixe 0 sur une droite X'X, et A et B deux points quelconques de cette droite. Au lieu de donner les segments OA et OBqui détermineraient individuellement les points A et B (303), on peut donner la demi-somme /> el le produit 7 de ces deux segments, qui sont alors les racines de l'équation du second degré

x"^ — ipx -{- q — o.

Les nombres p et q sont dits les éléments du couple (A, B) ; leur connaissance détermine simultanément les deux points A et B.

Les nombres p et q étant supposés réels, les segments OA et OB seront réels ou imaginaires (conjugués), selon que la quantité p'^ — q sera positive ou négative; dans ce dernier cas, les points A et B cessent d'exister, et l'on dit qu'ils sont i/uagin/u'rrs.

Deux points imaginaires A et B, ainsi définis, peuvent avoir des rela-