CA.A'B'.BC' = C'A'.AB.B'C
exprime y en même temps , trois égalités de rapports anharmoniques ; savoir , entre les quatre points A, B, C, C et leurs correspondants A\ B\ C, C; entre les quatre points A» By Cy B' et leurs correspondants; et enfin entre les quatre points A> B', C, A' et leurs eorrespondaniSé
Chacune des autres équations (B) exprime pareillement une égalité de rapports anhariBOOîffuefl entre trois eooples différents de quatre points ; et Ton reconnaît aussi que ebaeune des équations (A) exprime une égalité de rapports anharmoniques entre deux couples defnatre points. On conclut de là que les six points A et \', B etB' , C et C\ étant eti
involution, quatre quelconques d'entre eux, dofit Iroh appartiennent nuor trot» «/yx/éiwf*, ont leur rapport anharmonique égal à celui des points correspondants,
(33) Nous disons que trois des quatre premiers points doivent appartenir aux trois systèmes; car autrement, deux des six points n'entreraient pas dans Téquation résultant des deux rapports anharmoniques. Par exemple, si les quatre premiers points étaient A, B, A',B', leurs correspondants seraient A', B', A, B; et, en égalant le rapport anharmonique des quatre premiers à celui des quatre autres, on n'aurait pas une relation entre les six points proposés, puisque C et C n y entreraient pas. Mais lequation qu'on obtient ainsi est identique. Nous pouvons donc énoncer d'une manière générale le théorème suivant :
Quand six points y qui se correspondent deux à deux, sont en involution, le rapport anhannonique de quatre quelconques d'entre eux est égal au rapport anharmonique des quatre points qui leur correspondent respectivement.
Ce théorème nous semble exprimer la propriété la plus féconde de la théorie de l'involution de six points; il conduit naturellement h difTérenles expressions de l'involution, que l'on n'a pas encore aperçues.
Nous allons les faire connaître.
(36) Nous avons vu, dans la Note précédente, que l'égalité des rapports anharmoniques de deux systèmes de quatre points peut s'exprimer, de trois manières, par une équation à trois termes; d'après cela on trouve que la condition d'involulion de six points peut s'exprimer, de douze manières, par une équation i\ trois termes. Quatre de ces douze équations contiennent le segment AA', compris entre deux points conjugués, quatre contiennent le segment BB', et quatre enfin le segment CC
Voici quelles sont les quatre premières de ces douze équations :
AB.AC AB'.A'C