Solution du dernier des quatre problèmes de géométrie
proposés à la page 304 du précédent volume ;
≈≈≈≈≈≈≈≈≈
PROBLÈME. Quelle est la surface courbe de chacun des points de laquelle menant à trois points fixes des droites, considérées comme les trois arêtes d’un angle trièdre, cet angle trièdre intercepte toujours des portions équivalentes d’un plan donné, fixe et indéfini ?
Solution. Rapportons les points de l’espace à un système d’axes obliques, de manière que le plan donné soit celui des
mais sans rien statuer d’ailleurs sur l’origine ni sur la direction des axes.
Soient
les trois points donnés, et
le sommet de l’angle trièdre. Soient de plus
respectivement les points où le plan des
est percé par les trois arêtes de cet angle trièdre, nous aurons
![{\displaystyle {\begin{alignedat}{2}{\frac {x-a}{z-c}}=&{\frac {a-p}{c}},&{\frac {y-b}{z-c}}=&{\frac {b-q}{c}},\\\\{\frac {x-a'}{z-c'}}=&{\frac {a'-p'}{c'}},&{\frac {y-b'}{z-c'}}=&{\frac {b'-q'}{c'}},\\\\{\frac {x-a''}{z-c''}}=&{\frac {a''-p''}{c''}},\qquad &{\frac {y-b''}{z-c''}}=&{\frac {b''-q''}{c''}}\,;\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b67cf2d037bb0adb39ec6a177b3e3df5e85a8501)
équations d’où on tire
![{\displaystyle {\begin{alignedat}{2}p\ =&{\frac {az-cx}{z-c}},&q\ =&{\frac {bz-cy}{z-c}},\\\\p'\,=&{\frac {a'z-c'x}{z-c'}},&q'\,=&{\frac {b'z-c'y}{z-c'}},\\\\p''=&{\frac {a''z-c''x}{z-c''}},&\qquad q''=&{\frac {b''z-c''y}{z-c''}}.\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0115c4d15f734c29c9d1e0bc8c815d8112d6e6d)
Or, si l’on désigne par
l’aire constante du triangle intercepté sur le plan des
en désignant par
l’angle que comprennent les axes des
et des
on aura, comme l’on sait
![{\displaystyle (pq'-p'q+p'q''-p''q'+p''q-pq'')\operatorname {Sin} .\gamma =2k^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a3c601785dc82ec641735ce0878d79263e3af7b)
sur quoi il faudra remarquer que
peut être indifféremment positif ou négatif.
En mettant dans le premier membre de cette équation pour
les valeurs déterminées ci-dessus, elle devient
![{\displaystyle \left.{\begin{aligned}&{\frac {(bc'-cb')x+(ca'-ac')y+(ab'-ba')z}{(z-c)(z-c')}}\\\\+&{\frac {(b'c''-c'b'')x+(c'a''-a'c'')y+(a'b''-b'a'')z}{(z-c')(z-c'')}}\\\\+&{\frac {(b''c-c''b)x+(c''a-a''c)y+(a''b-b''a)z}{(z-c'')(z-c)}}\end{aligned}}\right\}={\frac {2k^{2}}{\operatorname {Sin} .\gamma }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a769e9a6fc186bac5130f50a1512c72a33dbc5a0)
Telle est donc l’équation de la surface demandée.
En y chassant les dénominateurs, développant et posant, pour abréger,
![{\displaystyle bc'-cb'+b'c''-c'b''+b''c-c''b=A,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebc308f153497bce1a6727b686c6360a8887c18f)
![{\displaystyle ca'-ac'+c'a''-a'c''+c''a-a''c=B,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/273c75d24f92dc163b266995df46640a0bd7e954)
![{\displaystyle ab'-ba'+a'b''-b'a''+a''b-b''a=C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b90df660a37b7692e6a0f75c513545c610071e8)
![{\displaystyle ab'c''-ac'b''+ca'b''-ba'c''+bc'a''-cb'a''=D,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6229155454ddbb8629a7d97ba941d363b58d084)
cette équation deviendra
![{\displaystyle (Ax+By+Cz-D)z^{2}\operatorname {Sin} .\gamma =2k^{2}(z-c)(z-c')(z-c'').\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcc84593594cfbb1bed1657a7f229f9666ba0509)
(1)
Il faudra d’ailleurs se rappeler que
peut être pris indistinctement en plus ou en moins ; de sorte qu’il y a proprement deux surfaces courbes qui résolvent le problème. Nous nous bornerons à discuter celle qui répond à
positif.
Remarquons d’abord que l’équation du plan qui contient les trois points fixes est
![{\displaystyle Ax+By+Cz=D,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a553caaa1b77886d30e27d31cba959dd0b8eb89e)
(2)
qui, combinée avec (1), la réduit à
![{\displaystyle (z-c)(z-c')(z-c'')=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0edce8584b4d20df0fb496650850aa003f0a498)
(3)
ce qui montre que si, par chacun des trois points fixes, on mène un plan parallèle au plan fixe, les trois plans, ainsi menés, couperont le plan des trois points fixes suivant trois droites parallèles appartenant à la surface dont il s’agit. Ces trois droites, au sur-plus, ne sont autre chose que des parallèles menées par les trois points fixes à l’intersection du plan de ces trois points avec le plan fixe.
Les équations d’une parallèle quelconque à cette intersection sont
![{\displaystyle Ax+By+Cz=D',\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c60bac8a5dd5787057f7a241500e44d5f599a91)
et
![{\displaystyle \quad z=C'.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e791ff1b8ead62ea3ae7b1802bd66faf533cb56)
(4)
Pour savoir si cette parallèle coupe la surface dont il s’agit et en quels points, il faudra combiner ces deux dernières équations avec l’équation (1), ce qui donnera
![{\displaystyle (D'-D)C'^{2}\operatorname {Sin} .\gamma =2k^{2}(C'-c)(C'-c')(C'-c'')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/103c36814f235b0ac71d5a4f288ee14ecba34f3a)
équation qui ne pourra être qu’absurde ou identique, d’où il suit que, suivant les valeurs de
et
la droite (4) ne percera pas la surface dont il s’agit ou bien s’y trouvera entièrement située ; ce qui nous montre que cette surface est une surface cylindrique du troisième degré, ayant ses élémens parallèles à l’intersection du plaa fixe avec celui des trois points fixes.
Prenons cette intersection pour axe des
ses équations sont
![{\displaystyle Ax+By+Cz=D,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1b2edb2d9e05f90364f6228cfef674112b648a)
et
![{\displaystyle \quad z=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5b33309fff15cb9ca4222485887be2118c85828)
mais les équations de l’axe des
doivent être
![{\displaystyle x=0,\qquad z=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7151a0e923f9e2eef1f337bbfbb6e7291f243a55)
il faudra donc que ces quatre équations aient lieu à la fois, ce qui donnera
![{\displaystyle By-D=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6529595892016fdd7ff627d8225fde601acd8f2d)
équation qui, devant avoir lieu quelle que soit
donnera
![{\displaystyle B=0,\qquad D=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cb0ca72fb7919c05e8c6091ad4659e4959140a7)
l’équation (1) deviendra donc
![{\displaystyle (Ax+Cz)z^{2}\operatorname {Sin} .\gamma =2k^{2}(z-c)(z-c')(z-c'')\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/05d12201bd5edb2f64521e71ea6c4290c26e4ddc)
(5)
équation que l’on reconnaît en effet pour celle d’une surface cylindrique, ayant ses arêtes parallèles à l’axe des
et qui appartient en même temps à l’intersection de cette surface avec le plan des
On voit qu’en y faisant
la valeur de
devient infinie, d’où l’on peut conclure que le plan fixe est un plan asymptotique de la surface cherchée.
Si l’un des trois points fixes, le point
par exemple, était situé sur le plan fixe, on aurait
et l’équation (5) deviendrait, en divisant par
![{\displaystyle (Ax+Cz)z\operatorname {Sin} .\gamma =2k^{2}(z-c)(z-c')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b1c5367040c24792c3c2ff9305af0777c23819)
c’est-à-dire qu’alors la surface cherchée se réduirait à une surface cylindrique du second ordre à base hyperbolique. Si le point
se trouvait aussi sur ce plan, on aurait en outre
ce qui réduirait l’équation à
![{\displaystyle (Ax+Cz)\operatorname {Sin} .\gamma =2k^{2}(z-c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1071385571be53eddfd4d097ffa2db33f9d57c7b)
équation d’un plan que l’on trouvera passer par le troisième point fixe et être parallèle à la droite qui joint les deux premiers, ainsi que cela doit être.
Si le plan que déterminant les trois points fixes, et dont l’équation est, en général,
![{\displaystyle Ax+By+Cz=D,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e33ea276676c22e9819753d89fec20c6bd5bd39)
était parallèle au plan fixe ; c’est-à-dire, si l’on avait
cette équation devrait se réduire simplement à
on devrait donc avoir, à la fois,
![{\displaystyle A=0,\quad B=0,\quad D=cC\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/971891afca0e4fd7fed7f981e7e6142e803bf575)
au moyen de quoi l’équation (1) deviendrait, en substituant et en divisant par ![{\displaystyle z-c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f940931044ee8c0fdbc7de261bcd458827a8a8ca)
![{\displaystyle Cz^{2}\operatorname {Sin} .\gamma =2k^{2}(z-c)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5229d02771e7105a4d0ce33a4d0c5d679a23c6d7)
équation commune à deux plans parallèles au plan fixe, ou plutôt à quatre, à raison du double signe dont
est susceptible.