GÉOMÉTRIE DES COURBES.
Essai sur la recherche des grandeur et direction des
diamètres principaux, dans les lignes et surfaces
du second ordre qui ont un centre ;
Par M. Bret, professeur de mathématiques à la faculté
des sciences de l’académie de Grenoble.
≈≈≈≈≈≈≈≈≈
On s’est servi plusieurs fois, avec avantage, dans ce recueil, de la propriété de maxima et de minima dont jouissent les diamètres principaux, dans les lignes et surfaces du second ordre qui ont un centre, pour la recherche des grandeur et direction de ces diamètres. Nous nous proposons de montrer ici que, par des considérations plus élémentaires, on peut parvenir au même but, d’une manière tout au moins aussi simple.
I. Soit l’équation
![{\displaystyle ax^{2}+by^{2}+2cxy=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9fcfee3abdf871eac2ea2cebbd098e2cae7aaf8)
(1)
Il est connu, et il est d’ailleurs facile de démontrer 1.o que, si l’on a
![{\displaystyle c^{2}-ab<0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b92d00161688271bc9aef49f4c4732ccb75d8ae)
(2)
cette équation n’exprimera absolument rien ; 2.o qu’elle exprimera le système de deux droites se coupant à l’origine, si l’on a au contraire
![{\displaystyle c^{2}-ab>0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ccfdf489df7d9370b2c230664c9cde3822130d3)
(3)
3.o qu’enfin, dans le cas particulier où l’on aura
![{\displaystyle c^{2}-ab=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8deaa8a83ecb199e5be90128ac4a01b315d1611)
(4)
les deux droites se confondront en une seule, donnée de direction par l’une ou l’autre des deux équations équivalentes
![{\displaystyle \left.{\begin{aligned}ax+cy=&0,\\by+cx=&0\,;\\\end{aligned}}\right\}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2b48dd0144f7b532c2209c830f0ba4e7e984c23)
(5)
lesquelles en effet, par l’élimination de
et
reproduisent la relation (4).
Cela posé ; soit
![{\displaystyle Ax^{2}+By^{2}+2Cxy=D\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/73c67c3806bd0049e974873cc6c5675320c71b20)
(6)
l’équation d’une ligne du second ordre, ayant son centre à l’origine des coordonnées, que nous supposons former entre elles un angle
L’équation d’un cercle ayant son centre à l’origine et son rayon égal à
sera
![{\displaystyle x^{2}+y^{2}+2xy\operatorname {Cos} .\gamma =r^{2}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aa5acb659e1f68db03626a6e26de45970a8213f)
(7)
Ce cercle coupera la courbe en des points dont
exprimera la distance à l’origine.
Soit prise la différence des produits de l’équation (6) par
et de l’équation (7) par
nous aurons ainsi
![{\displaystyle (Ar^{2}-D)x^{2}+(Br^{2}-D)y^{2}+2(Cr^{2}-D\operatorname {Cos} .\gamma )xy=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/09ccce42a0fe25f72e95ea224fc242c2d52283ef)
(8)
équation qui, ayant lieu en même temps que (6) et (7,), doit appartenir à une ligne contenant les points d’intersection de celles qu’expriment ces deux-là.
Par la comparaison de (1) et de (8), on a
![{\displaystyle a=(Ar^{2}-D),\qquad b=Br^{2}-D,\qquad c=Cr^{2}-D\operatorname {Cos} .\gamma \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5acbf2f714b011686d1f9f9cbb584570af3aff34)
d’où il suit 1.o que, si l’on prend (2) l’arbitraire
de telle sorte qu’on ait
![{\displaystyle (Cr^{2}-D\operatorname {Cos} .\gamma )^{2}-(Ar^{2}-D)(Br^{2}-D)<0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dec5ae57a3c33ec4031e1fef58a38bd57574d3c)
(9)
l’équation (8) n’exprimera rien ; et par conséquent le cercle (7) ne coupera pas la courbe (6) ; 2.o que, si au contraire on prend (3)
l’arbitraire
de telle sorte qu’on ait
![{\displaystyle \left(Cr^{2}-D\operatorname {Cos} .\gamma \right)^{2}-\left(Ar^{2}-D\right)\left(Br^{2}-D\right)>0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/928fe87447307380352dd2f0daae71eda1657bf8)
(10)
cette équation (8) exprimera le système de deux droites se coupant à l’origine, lesquelles contiendront les quatre intersections de la courbe (6) avec le cercle (7) ; 3.o qu’enfin, dans le cas particulier (4) où l’on prendra l’arbitraire
de telle sorte qu’on ait
![{\displaystyle \left(Cr^{2}-D\operatorname {Cos} .\gamma \right)^{2}-\left(Ar^{2}-D\right)\left(Br^{2}-D\right)=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e37aadb597a010d28fa83191f8222b3d1ff09dd4)
(11)
les deux droites se confondront en une seule ; de sorte que le cercle touchera simplement la courbe.
Or, il est visible qu’alors cette droite unique deviendra l’un ou l’autre des diamètres principaux, et que
sera la longueur de la moitié de ce diamètre ; ainsi, les longueurs des demi-diamètres principaux sont donnés par l’équation (11) qui, développée, revient à
![{\displaystyle (C^{2}-AB)r^{4}+D(A+B-2C\operatorname {Cos} .\gamma )r^{2}-D^{2}\operatorname {Sin} .^{2}\gamma =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47f2e84296db2559e4002a36fb61397c89c014f6)
et leur direction est donnée (5) par l’une ou l’autre des deux équations équivalentes
![{\displaystyle \left(Ar^{2}-D\right)x+\left(Cr^{2}-D\operatorname {Cos} .\gamma \right)y=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a4de3be46b6e3ecceede921d314bf08bd49a9c)
![{\displaystyle \left(Br^{2}-D\right)y+\left(Cr^{2}-D\operatorname {Cos} .\gamma \right)x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4945e74b6a8b44dcc34cae96270d737660a947dd)
Si, dans l’équation (8), on suppose
cette équation devient
![{\displaystyle Ax^{2}+By^{2}+2Cxy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d29deb17696ca40b574a35a15d7f1260cdf2366d)
et exprime conséquernment le système de deux droites coupant la courbe (6) à une distance infinie ; mais, pour cela, il faut qu’on ait
![{\displaystyle C^{2}-AB>0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f592c3f1991b707bb051bd0ad4f45d4cd6812d93)
ainsi, c’est là le seul cas où cette courbe puisse avoir des asymptotes.
II. Soit l’équation
![{\displaystyle ax^{2}+by^{2}+cz^{2}+2a'yz+2b'zx+2c'xy=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d886fc7f72ee69d6856210ccb7a4b1593b1c39b7)
(1)
Il est connu, et il est d’ailleurs facile de démontrer que, suivant que la fonction
![{\displaystyle abc-aa'^{2}-bb'^{2}-cc'^{2}+2a'b'c'\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0be060eaf162272c4c63e84bd4047a6398d9ed03)
(2)
sera positive ou négative, l’équation (1) n’exprimera absolument rien, ou exprimera une surface conique ayant son centre à l’origine ; et qu’en particulier, lorsque celle fonction sera nulle, la surface conique dégénérera en une ligne droite, donnée par le système de deux quelconques des trois équations
![{\displaystyle \left.{\begin{aligned}ax+b'z+c'y=&0,\\by+c'x+a'z=&0,\\cz+a'y+b'x=&0\,;\\\end{aligned}}\right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d95ac157ea8830bae9bfbc8dd1794a43d541f6f)
(3)
donc chacune est en effet comportée par les deux autres, toutes les fois que la fonction (2) est nulle.
Cela posé ; soit
![{\displaystyle Ax^{2}+By^{2}+Cz^{2}+2A'yz+2B'zx+2C'xy=D\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3b1e2c348c70cf0d8251be6fc6a63b2e619bf2e)
(4)
l’équation d’une ligne du second ordre, ayant son centre à l’origine ; les coordonnées faisant entre elles les angles que voici :
![{\displaystyle \operatorname {Ang} .(y,z)=\alpha ,\qquad \operatorname {Ang} .(z,x)=\beta ,\qquad \operatorname {Ang} .(x,y)=\gamma .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8af40e8ef66ce758622177953d4bebc972c7451)
L’équation d’une sphère ayant son centre à l’origine et son rayon égal à
sera
![{\displaystyle x^{2}+y^{2}+z^{2}+2yz\operatorname {Cos} .\alpha +2zx\operatorname {Cos} .\beta +2xy\operatorname {Cos} .\gamma =r^{2}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5b7a23b39dbe72186c003eb0b5ad6efbbf2e4cb)
(5)
cette sphère coupera la surface courbe suivant tous ceux de ses points qui seront à la distance
de l’origine.
Soit prise la différence des produits de l’équation (4) par
et de l’équation (5) par
nous aurons ainsi
![{\displaystyle \left.{\begin{aligned}&(Ar^{2}-D)x^{2}+2(A'r^{2}-D\operatorname {Cos} .\alpha )yz\\+&(Br^{2}-D)y^{2}+2(B'r^{2}-D\operatorname {Cos} .\beta )zx\\+&(Cr^{2}-D)z^{2}+2(C'r^{2}-D\operatorname {Cos} .\gamma )xy\\\end{aligned}}\right\}=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e72c21c6ac7fd5472fc5e7cbe13d7a7fc041288)
(6)
équation qui, ayant lieu en même temps que (4) et (5), doit, en général, exprimer une surface qui passe par la commune section des deux premiers.
Par la comparaison de (1) et (6), on a
![{\displaystyle {\begin{aligned}a=Ar^{2}-D,&\qquad a'=A'r^{2}-D\operatorname {Cos} .\alpha ,\\b=Br^{2}-D,&\qquad b'=B'r^{2}-D\operatorname {Cos} .\beta ,\\c=Cr^{2}-D,&\qquad c'=C'r^{2}-D\operatorname {Cos} .\gamma \,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/178a60c575c06b14d038926e5eba26c53d18866c)
d’où l’on voit que, suivant les diverses valeurs qu’on voudra assigner à
l’équation (6) pourra être absurde d’elle-même, ou exprimer une surface conique ayant son centre à l’origine, laquelle passera par l’intersection de la sphère avec la surface du second ordre. En particulier, cette sphère deviendra tangente a la surface (1), et la surface conique se réduira à une droite (2), lorsqu’on aura
![{\displaystyle {\begin{aligned}&(Ar^{2}-D)(Br^{2}-D)(Cr^{2}-D)\\+2&(A'r^{2}-D\operatorname {Cos} .\alpha )(B'r^{2}-D\operatorname {Cos} .\beta )(C'r^{2}-D\operatorname {Cos} .\gamma )\\-&(Ar^{2}-D)(A'r^{2}-D\operatorname {Cos} .\alpha )^{2}-(Br^{2}-D)(B'r^{2}-D\operatorname {Cos} .\beta )^{2}\\-&(Cr^{2}-D)(C'r^{2}-D\operatorname {Cos} .\gamma )^{2}=0.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf105e2c29df3210abb9a931eee55e5cecdcbabb)
(7)
Or, il est visible qu’alors cette droite unique deviendra l’un des diamètres principaux, et que
sera la longueur de la moitié de ce diamètre ; ainsi, les longueurs des demi-diamètres principaux sont données par l’équation (7) qui, développée revient à
![{\displaystyle (ABC-AA'^{2}-BB'^{2}-CC'^{2}+2A'B'C')r^{6}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d43dff81f1ce2be2f5c9063b6b10326ad5f631b2)
![{\displaystyle -D\left\{{\begin{aligned}&(BC-A'^{2})+2(B'C'-AA')\operatorname {Cos} .\alpha \\+&(CA-B'^{2})+2(C'A'-BB')\operatorname {Cos} .\beta \\+&(AB-C'^{2})+2(A'B'-CC')\operatorname {Cos} .\gamma \\\end{aligned}}\right\}\quad r^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc6e7a78261c75eb310904f9fce082c15e5883b3)
![{\displaystyle +D^{2}\left\{{\begin{aligned}&A\operatorname {Sin} .^{2}\alpha -2A'(\operatorname {Cos} .\alpha -\operatorname {Cos} .\beta \operatorname {Cos} .\gamma \\+&B\operatorname {Sin} .^{2}\beta -2B'(\operatorname {Cos} .\beta -\operatorname {Cos} .\gamma \operatorname {Cos} .\alpha \\+&C\operatorname {Sin} .^{2}\gamma -2C'(\operatorname {Cos} .\gamma -\operatorname {Cos} .\alpha \operatorname {Cos} .\beta \\\end{aligned}}\right\}r^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5aa62bc0fc4e49c7a28f6d3ef77752ef9dce2b9)
![{\displaystyle -D^{3}(1-\operatorname {Cos} .^{2}\alpha -\operatorname {Cos} .^{2}\beta -\operatorname {Cos} .^{2}\lambda +2\operatorname {Cos} .\alpha \operatorname {Cos} .\beta \operatorname {Cos} .\gamma )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b109362c234dac3d08307b9013d2d2230fe292d)
et leur direction est donnée (3) par le concours de deux quelconques des trois équations
![{\displaystyle {\begin{aligned}(Ar^{2}-D)x+(B'r^{2}-D\operatorname {Cos} .\beta )z+(C'r^{2}-D\operatorname {Cos} .\gamma )y&=0,\\(Br^{2}-D)y+(C'r^{2}-D\operatorname {Cos} .\gamma )x+(A'r^{2}-D\operatorname {Cos} .\alpha )z&=0,\\(Cr^{2}-D)z+(A'r^{2}-D\operatorname {Cos} .\delta )y+(B'r^{2}-D\operatorname {Cos} .\beta )x&=0.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/185f4b7814dff7d950323bacc45f0144e6afabc4)
En raisonnant comme nous l’avons fait ci-dessus on trouvera que l’équation
![{\displaystyle Ax^{2}+By^{2}+Cz^{2}+2A'yz+2B'zx+2C'xy=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f02e524041a4bb427e6da07c59ee40ae2e430191)
est celle de la surface conique asymptotique de la surface proposée ; mais que, pour qu’elle puisse signifier quelque chose, il faut qu’on ait
![{\displaystyle ABC-AA'^{2}-BB'^{2}-CC'^{2}+2A'B'C'>0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e18af1d2b9d3a509485dec97fe1aebea7f11b269)
ainsi, ce cas est le seul où la surface proposée ait une surface conique asymptotique.
III. Quelque simple et élégante que puisse paraître la précédente analise, nous pensons que, dans un traité élémentaire de géométrie analitique, on doit lui préférer encore soit la discussion donnée par M. Gergonne, à la page 61 de ce volume soit celle que nous avons donnée nous-même, par la transformation des coordonnées,
(tome II, page 33, et tome IV, page 93), et où nous avons fait connaître pour la première fois l’équation qui donne les longueurs des diamètres principaux des surfaces du second ordre, en fonction des coefficiens de l’équation primitive.