I. - HOMOGRAPHIE ET INV0LUTI0N

DIVISIONS HOMOGRAPHIQUES.

1100. On donne le nom de division à une suite quelconque de points situés en ligne droite. Sur cette droite, qu’on appelle base de la division, on choisit à volonté une origine fixe «, et l’on indique sans ambiguïté la position d’un point quelconque m en donnant le segment am en grandeur et en signe.

Dans un grand nombre de questions de Géométrie, on est conduit à considérer deux divisions dont les points se correspondent un à un suivant une loi déterminée; on appelle alors homologues deux points correspondants quelconques, et on les désigne par une même lettre, non accentuée pour le point de la première division, et affectée d’un accent pour le point de la seconde. Soient L et L' les deux bases {fig. 572), m et m' deux points homologues; a l’origine prise sur la base L et b' l’origine choisie sur la base L' (’); la loi suivant laquelle les points homologues des deux divisions se correspondent s’exprimera alors par une équation entre les segments am et b' m'.

On dit que deux divisions sont /tomographiques lorsque l’équation qui exprime la loi de correspondance des points homologues m et m' est du (*)

(*) Nous supposons, pour plus d£ généralité, que les origines a et b' no sont pas nécessairement deux points homologues.

368 GÉOMÉTRIE DANS L’ESPACE

premier degré par rapport à chacun des segments am et b' m' , c’est-àdire est de la forme

( i ) A . am .b' ni' - h B . am 4- C . b' ni' -h D = o,

A, B, C, D, étant des constantes données.

Deux divisions homographiques d'une troisième sont homographiques entre elles ; car soit une autre division homographique de la première ; en désignant par c" l’origine et par m" l’homologue de m, on aura

A, .am .c" m" -f- B, .am -f- C, .c" m" -h D, = o,

et, comme l’élimination de am entre les deux relations précédentes conduit évidemment à une équation de même forme entre b' m' et c" m" , les deux divisions engendrées par les points m ' et m" sont homographiques.

Souvent, au lieu de donner les quantités A, B, C, D, on donne des couples de points homologues. Or, l’équation (1) ne renferme en réalité que trois coefficients arbitraires, qui sont les rapports de trois quelconques des quantités A, B, C, D, à la quatrième; d’ailleurs, donner un couple de points homologues, c’est donner une valeur de am et la valeur correspondante de b' m', c’est-à-dire une équation du premier degré entre les trois rapports considérés. Pour déterminer ces rapports, il est donc nécessaire et suffisant d’avoir trois équations de ce genre, c’est-à-dire dei connaître trois couples de points correspondants. Ainsi, deux divisions homographiques sont déterminées par trois couples de points homologues .

1101. Écartons, pour le moment, le cas particulier où A est nul; nous pourrons alors diviser par A, et la relation homographique (î) prendra ia forme

( x ) am . b' m' — ). . a ni — a. b' m' -t- v = o.

Les coefficients À et y ont des significations géométriques remarquables.^ Nous désignerons toujours, dans la suite, par 1 le point de la première:' division qui est l’homologue du point situé à l’infini dans la seconde, et, par J' le point de la seconde division qui répond à l’infini de la première. Si, dans la relation (2), on fait am infini après avoir divisé par am: on trouve

b'r-\ = ot d’où i^b'r, et l’on a de même, en faisant b'm infini,

al — y — o, d’où y = al.

La relation homographique (2) peut être transformée de bien des manières. Voici les deux autres formes les plus utiles :