83
ET SURFACES DU SECOND ORDRE.
Telles sont donc les équations qui, combinées avec les équations (6), feront connaître
et
et
et
et, comme ces trois couples de quantités y entrent symétriquement, on est en droit d’en conclure qu’elles doivent dépendre d’une même équation du troisième degré, et que conséquemment les surfaces du second ordre n’ont qu’un système unique de diamètres principaux ; c’est ce que le calcul va confirmer.
Si l’on prend successivement la différence des produits respectifs de la première et de la dernière des équations (6) par
et
et par
et
les équations résultantes pourront être écrites ainsi :
![{\displaystyle (B'm+A'n+C)(m'-m'')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0f8074b3222e8e534e5163e74a461cd3ffdc0f4)
![{\displaystyle +(C'm+Bn+A')(m'n''-n'm'')=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/31d377345eca984f7c12f4e070fe17eea1c4eea2)
(16)
![{\displaystyle (B'm+A'n+C)(n''-n')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dd676b4934a467a227ad381d4337dd8be8b9fa2)
![{\displaystyle +(Am+C'n+B')(m'n''-n'm'')=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e0232271642c726f25383f21635ef65c5299015)
(17)
En opérant exactement de la même manière sur la première et sur la dernière des équations (15), les deux équations résultantes pourront être mises sous cette forme :
![{\displaystyle (m\operatorname {Cos} .\beta +n\operatorname {Cos} .\alpha +1)(m'-m'')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a891362613de6d7b5c6421662f6d12c0aff7b46a)
![{\displaystyle +(m\operatorname {Cos} .\gamma +n+\operatorname {Cos} .\alpha )(m'n''-n'm'')=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c63af185ea75f64b5691517169422411c10eafc5)
(18)
![{\displaystyle (m\operatorname {Cos} .\beta +n\operatorname {Cos} .\alpha +1)(n''-n')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43d1ebdb1dd21b63b2ede52f1c4b417f0e34643f)
![{\displaystyle +(m+n\operatorname {Cos} .\gamma +\operatorname {Cos} .\beta )(m'n''-n'm'')=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d897f4b3c1da249bd96ac9cd84be91be8478bcab)
(19)
pris respectivement sur ces deux droites, sont les extrémités de l’hypothénuse d’un triangle rectangle dont le sommet de l’angle droit est à l’origine.
Cette condition donnera, comme dans la note précédente ;
![{\displaystyle aa'+bb'+cc'+(bc'+cb')\operatorname {Cos} .\alpha +(ca'+ac')\operatorname {Cos} .\beta +(ab'+ba')\operatorname {Cos} .\gamma \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc17b4237433cd38ffa474728fa69715ce89fd0a)
mais on aura ici
![{\displaystyle a=mc,\qquad b=nc,\qquad a'=m'c',\qquad b'=n'c'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06fb7de2e14a8ea3b38371b9ebc979df4ad85e4b)
ce qui donnera, en substituant et divisant par
la première des équations mentionnées dans le texte.