Réciproquement, quand deux droites rectangulaires
sont conjuguées harmoniques par rapport à deux atUres, elles sont bissectrices des angle^ formés par ces dernières.
En effet, nous avons vu que dans deux faisceaux involutoires il existe une seule paire de rayons conjugués" perpendiculaires Tun à l'autre^ quand les élémenis doubles sont réels. Or, ces droites rectangulaires partagent harmoniquement les rayons doubles et en sont les bissectrices (v. 190).
205. Quatre droites MN, NQ, QP, PM situées dans un plan (v. la fig. du § 182), constituent un polygone complet de quatre côtés, lequel a six sommets M, N, P, Q, E, F, trois, diagonales EF, Ex, Fx et trois points diagonaux X, X^ x. Ces derniers jouissent de la propriété suivante :
Si dans un polygone complet de quatre côtés MN, NQ, QP, PM, Von joint par des droites un point diagonal x avec les six sowr mets M, N, P, Q, E, F,, on obtient un faisceau harmonique de quatre rayons.
En effet, le faisceau xE, xF, xX^, xX est coupé par la droite EF en quatre points harmoniques (v. 183).
Fouillées projectives en involution.
206. Tout ce que nous venons de dire a l'occasion des faisceaux involutoires s'applique également aux feuillées en involution avec les seules modifications nécessitées par la nature différente des systèmes primaires.
Résumé.
207. Nous avons montré précédemment (v. 90) que deux lignées sont projectives, quand leurs points se correspondent un à un et ne sont point unis par une relation de nature transcendante. Après avoir construit trois paires de points
142 STSTÈMES PRIMAIRES
correspondants conformément aux données de la question, nous pourrons avec la règle obtenir dans une des lignées le point qui correspond à un point connu de l'autre (v. 78).
Si les deux lignées projectives sont superposées, il faudra construire également trois paires de ^points correspondants, c« qui permettra d'obtenir une quatrième paire quelconque avec la règle (v. 78) et de déterminer en outre les points doubles au moyen d'un cercle (v. 160).
Enfin, deux lignées superposées forment une involution, lorsqu'elles sont projectives et qu'un point, considéré successivement comme appartenant à l'une puis à l'autre des deux lignées, a chaque fois le même point pour correspondant. Dans ce cas, il suffira de posséder seulement deux paires d'éléments correspondants pour pouvoir construire le point qui correspond à un point donné (v. 157), ainsi que les deux points doubles (v. 160).
Si 1-une des lignées ou toutes les deux sont remplacées par un aijtr'e système primaire (faisceau ou feuillée), nous pourrons couper ce dernier par une droite transversale, et la question se ramènera à l'un des cas précédents.
Cette manière d'envisager les relations de deux systèmes primaires projectifs permet de résoudre un grand nombre de problèmes d'après une méthode simple et uniforme. Nous allons en donner quetques exemples.
208. Etant données trois droites fixes t, tj^, t^ d'un faisceau, si Von trace un cercle variable dont la circonférence passe par le sommet du faisceau, et dont le centre Xj se meut sur fg, les cordes X^ X menées par les secondes intersections avec «1, t seront parallèles.
A chaque point X^ de t^ correspond un seul point X sur
t et vice-versâ; de plus, les équations du cercle variable, et des droites (4, t sont algébriques, el par suite la relation entre X4 et X n'est pas de nature transcendante; donc les
deux lignées t^, t sont projectives. En outre, au point infini de ti correspond le point infini de t; donc les lignées ^1, t sont semblables. Enfin, le sommet du faisceau représente deux points correspondants: donc les lignées f^, f sont en perspective, et comme le centre de perspective est situé sur la droite infinie IJ, il doit être lui-même a l'infini; en d'autres termes, les cordes X^X sont parallèles.
209. Si une droite x se meut de telle manière quelle forme avec deux rayons fixes t, t^ d'un faisceau C un triangle XCX^ de grandeur constante, les lignées des intersections X, X^ seront projectives.
A chaque point X de ^ correspond un seul point X, sur ^x et vice-versâ; de plus, les relations ne sont pas de nature transcendante; donc les lignées t, ^4 sont projectives. On peut aussi le démontrer, en exprimant que la surface double du triangle formé, c'est-à-dire (CX)(CXi).Sin(«4), a une valeur constante (v. 101).
144 SYSTÈMES PBLMAIKES
210. Etant donnés dans un plan un angle XGX| et deux points fixes T, T^ en ligne droite avec son sommet C, si autour d'un point fixe T^ on fait tourner une transversale, qui rencontre les côtés de l'angle en X et X|, le point de concours X^ des deux droites TX, TiX^ décrira une droite s^.
En effet, les faisceaux T, Tj sont en situation de perspective, puisqu'ils sont respectivement projectifs avec deux
lignées projectives CX, CX^, et qu'en outre les rayons superposés TC, TiC se correspondent.
21 1. Etant donnés deux points S, T et deux droites t, f|, on demande de trouver sur ces droites deux points E, Ei tels que le segment (EE|) soit vu des points T, S sous des angles donnés a, b.
Prenez sur f| un point X| et menez par S et par T deux droites SX, TXg qui fassent respectivement avec X^S, XiT des angles X^SX, XiTXg égaux à a et à b ; soient X, X^ les intersections avec t.
Si X| parcourt la droite îi, les points X et Xj décriront la droite t, La lignée des points Xi est projective avec chacune
des deux lignées X et Xg (v. 90) ; donc ces deux dernières sont projectives entre elles et leurs points doubles E, F avec
les cotrespondants Ei, F^ satisfont évidemment à la condition posée.
Pour résoudre ce problème, il suffira, par conséquent, de prendre sur t^ trois points quelconques Xi, Ai, Bi, de chercher leurs correspondants X, X2, A, A2, B, B2 sur t (en ayant soin que les angles XiSX, AiSA,... soient égaux et de même signe, ainsi que les angles X1TX2, AiTA2,..0' P^is, on construira les points doubles des deux lignées formées sur ^2.
En d'autres termes, la méthode suivie comprend deux opérations distinctes. En premier lieu, elle nécessite trois constructions d'essai; car quand on a choisi arbitrairement le point Xi pour Tun des points demandés, on examine si, en menant conformément à l'hypothèse SX, TXj, les autres conditions sont remplies : la distance (XX2) exprime l'erreur commise. Au moyen de trois erreurs semblables (XX2), (AA2), (BBg), il faut, en dernier lieu, rechercher les éléments (points doubles) pour lesquels l'erreur est nulle.
212. Etant donnés deux 'points S, T et detix lignées projectives t, tu on demande de trouver sur ces dernières deux points correspondants E, Ei tels que les droites SE, TEi se coupent sous un angle donné a.
Prenez sur ti un point quelconque Xi, et nnienez par T une droite TXa qui fasse avec SX un angle égal à Tangle donné a; soit X2 l'intersection des droites t, TX2. Si Xj coïncide avec X, le problème sera résolu; sinon, répétez cette construction d'essai pour deux autres points Ai, Bi et vous obtiendrez
ainsi sur t deux lignées X, Xj, A, A2, B, Bj. La lignée Xj est projective avec la lignée Xi, puisque à chaque point de l'une correspond un seul point de l'autre, et que les points Xi, X2 sont liés par des éqtiations de nature algébrique; donc, en vertu de l'hypothèse, les deux lignées X, X2 sont projectives. Les points doubles E, F donnent avec les points correspondants El, Fi deux solutions du problème.
213. Les deux problèmes précédents donnent naissance à un grand nombre de cas particuliers, entre autres aux suivants :
Placer entre deux droites t, tj^ une corde EEi passant par un
point S et qui soit vue d'un autre point T sons un angle donné h (probl. 31 1 en donnant a = 0).
Etant données deux droites t, tu mener à t une perpendiculaire EE] telle que la partie comprise entre t et ti soit vue d'un point T sous im angle b. (probl. 2H en supposant S à l'extrémité infinie d'une droite perpendiculaire sur t et a ^ 0).
Déterminer sur une droite l un segment (EEi) qui soit vu de deux points S, T sous des angles donnés a, b. (probl. 212, en admettant que (i coïncide avec t.)
214. Etatit données dafis un plan deua: lignées projectivest, f,, si Von joint par des droites un point quelconque T de l'axe projectif s avec les différents points des deiix lignées, on obtient une involution de droites.
En effet, ie faisceau TAi, TB,,... est projectif avec le
faisceau TA, TB,... De plus, le rayon TO ou TP, mené par l'intersection des deux droites t, t, a pour correspondant le même rayon TOi, TP, quand il est considéré successivement comme apparleoant au premier faisceau, puis au second. Donc il y a involution. ,
215. Etant donnés dans un plan deux faisceaux projectifs, leurs intersections avec une droite passant par le centre projectif forment une involution de points.
La démonstration est analogue à celle du théorème précédent.