GÉOMÉTRIE ANALITIQUE.
Recherches analitiques sur les polygones rectilignes
plans ou gauches, renfermant la solution de plusieurs questions
proposées dans le présent recueil ;
≈≈≈≈≈≈≈≈≈
Dans l’essai que l’on va lire, nous avons beaucoup moins en vue de découvrir des propriétés nouvelles des polygones plans ou gauches, que de montrer comment on peut, par une application convenable de l’analise, déduire, d’une manière uniforme, toutes les propriétés de ces polygones d’un petit nombre d’équations fondamentales. Ces propriétés sont en très-grand nombre sans doute, ou, pour mieux dire, leur nombre est illimité, et c’est assez faire comprendre que nous ne saurions nous proposer ici de les démontrer toutes ; mais un petit nombre d’exemples bien choisis suffira pour montrer comment on doit se conduire dans les cas très-nombreux que le dessein d’abréger nous aura forcé d’omettre. La résolution générale des polygones plans, c’est-à-dire, l’art d’assigner les diverses parties inconnues de ces polygones en fonction des données nécessaires pour les déterminer devrait naturellement faire partie de notre travail ; mais M. le professeur Lhuilier préparant dans ce moment un ouvrage où ce sujet doit être traité dans le plus grand détail, nous croyons superflu de nous y arrêter.
§. I.
Soit, dans l’espace, un polygone rectiligne fermé quelconque, plan ou gauche, de
côtés, dont nous nommerons les côtés consécutifs
Concevons un système d’axes rectangulaires auquel ce polygone soit rapporté, et soient ![{\displaystyle \alpha _{1},\beta _{1},\gamma _{1}\,;\alpha _{2},\beta _{2},\gamma _{2}\,;\alpha _{3},\beta _{3},\gamma _{3}\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e37f053305e53b45be486a80828ada4793bba9fa)
les angles que forment respectivement ces côtés avec les axes des coordonnées. Soient enfin ![{\displaystyle (x_{1},y_{1},z_{1}),\ (x_{2},y_{2},z_{2}),\ (x_{3},y_{3},z_{3}),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4341ff9cf71f2f39de22958b48955b3b70111de7)
les sommets des angles ![{\displaystyle (r_{n},r_{1}),\ (r_{1},r_{2}),\ (r_{2},r_{3}),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6d77f458e74f870b24557c3c6e75b6eee5256c2)
Par les principes connus, nous aurons cette suite d’équations
![{\displaystyle \left.{\begin{aligned}&x_{2}=x_{1}+r_{1}\operatorname {Cos} .\alpha _{1},\ y_{2}=y_{1}+r_{1}\operatorname {Cos} .\beta _{1},\ z_{2}=z_{1}+r_{1}\operatorname {Cos} .\gamma _{1},\\\\&x_{3}=x_{2}+r_{2}\operatorname {Cos} .\alpha _{2},\ y_{2}=y_{2}+r_{2}\operatorname {Cos} .\beta _{2},\ z_{2}=z_{2}+r_{2}\operatorname {Cos} .\gamma _{2},\\\\&x_{4}=x_{3}+r_{3}\operatorname {Cos} .\alpha _{3},\ y_{2}=y_{3}+r_{3}\operatorname {Cos} .\beta _{3},\ z_{2}=z_{3}+r_{3}\operatorname {Cos} .\gamma _{3},\\\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&x_{1}=x_{n}+r_{n}\operatorname {Cos} .\alpha _{n},\ y_{1}=y_{n}+r_{n}\operatorname {Cos} .\beta _{n},\ z_{1}=z_{n}+r_{n}\operatorname {Cos} .\gamma _{n}\,;\end{aligned}}\right\}(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b3b8054b24eb01325525164d45dcb9be49f245c)
En prenant successivement les sommes d’équations de chacune des colonnes, on aura, sur-le-champ, par l’effet des réductions, les trois équations suivantes :
![{\displaystyle \left.{\begin{aligned}&r_{1}\operatorname {Cos} .\alpha _{1}+r_{2}\operatorname {Cos} .\alpha _{2}+r_{3}\operatorname {Cos} .\alpha _{3}+\ldots +r_{n}\operatorname {Cos} .\alpha _{n}=0,\\&r_{1}\operatorname {Cos} .\beta _{1}\,+r_{2}\operatorname {Cos} .\beta _{2}+r_{3}\operatorname {Cos} .\beta _{3}+\ldots \,+r_{n}\operatorname {Cos} .\beta _{n}=0,\\&r_{1}\operatorname {Cos} .\gamma _{1}\,+r_{2}\operatorname {Cos} .\gamma _{2}\,+r_{3}\operatorname {Cos} .\gamma _{3}\,+\ldots \,+r_{n}\operatorname {Cos} .\gamma _{n}=0\,;\end{aligned}}\right\}(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f2c493460f4ff24ec3aaaac6f42c5a169dc0702)
dont chacune exprime ce théorème connu : Dans tout polygone rectiligne fermé, plan ou gauche, la somme des produits respectifs des côtés par les cosinus tabulaires des angles que forment leurs directions avec celle d’une droite indéfinie quelconque est égale à zéro ; ou, en d’autres termes, Dans tout polygone rectiligne fermé, plan ou gauche, la somme des projections des côtés sur une même droite indéfinie quelconque est égale à zéro.
§. II.
Avant d’aller plus loin, nous tirerons des équations (2) quelques conséquences relatives à la statique.
Et d’abord : Si des forces respectivement parallèles aux côtés d’un polygone rectiligne fermé, plan ou gauche, et proportionnelles aux longueurs de ces côtés, sont appliquées à un même point de l’espace, elles se feront équilibres. En effet, si plusieurs forces proportionnelles aux longueurs
et dont les directions sont déterminées par les angles ![{\displaystyle \alpha _{1},\beta _{1},\gamma _{1}\,;\alpha _{2},\beta _{2},\gamma _{2}\,;\alpha _{3},\beta _{3},\gamma _{3}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d76fefc93240e51a4a98fcc56822c2c01042886)
sont appliquées à un même point de l’espace, les conditions connues de leur équilibre ne seront autres que les équations (2).
Il résulte de ce théorème que, des forces d’intensité et de directions quelconques étant appliquées à un même point de l’espace, si l’on décrit, dans l’espace, un polygone ouvert dont les côtés soient respectivement parallèles et proportionnels à ces forces, la droite qui fermera le polygone sera parallèle et proportionnelle à leur résultante.
Et, comme les mêmes forces appliquées à un même point ne sauraient avoir qu’une seule et même résultante, dans quelque ordre d’ailleurs qu’on les combine, il faut en conclure que, si deux polygones ouverts ont un même nombre de côtés égaux et parallèles chacun à chacun ; dans quelque ordre d’ailleurs que se succèdent ces côtés, dans les deux polygones, les droites qui les formeront seront égales et parallèles.
On voit, par ce qui précède, que la plupart des théorèmes que nous démontrerons, sur les polygones rectilignes, pourront
s’appliquer immédiatement à la composition et à la décomposition des forces autour d’un même point.
Par des points
pris à volonté dans l’espace, en nombre égal à celui des sommets du polygone, soient menées des droites respectivement parallèles et proportionnelles à ses côtés
Soient
![{\displaystyle (a'_{1},b'_{1},c'_{1}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad94ea4d5fef26a4748bc3b75e0801f817cbcfc4)
les extrémités de ces droites ; en représentant par
le rapport donné, on aura
![{\displaystyle {\begin{aligned}&a'_{1}=a_{1}+\lambda r_{1}\operatorname {Cos} .\alpha _{1},\ b'_{1}=b_{1}+\lambda r_{1}\operatorname {Cos} .\beta _{1},\ c'_{1}=c_{1}+\lambda r_{1}\operatorname {Cos} .\gamma _{1},\\\\&a'_{2}=a_{2}+\lambda r_{2}\operatorname {Cos} .\alpha _{2},\ b'_{2}=b_{2}+\lambda r_{2}\operatorname {Cos} .\beta _{2},\ c'_{2}=c_{2}+\lambda r_{2}\operatorname {Cos} .\gamma _{2},\\\\&a'_{3}=a_{3}+\lambda r_{3}\operatorname {Cos} .\alpha _{3},\ b'_{3}=b_{3}+\lambda r_{3}\operatorname {Cos} .\beta _{3},\ c'_{3}=c_{3}+\lambda r_{3}\operatorname {Cos} .\gamma _{3},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&a'_{n}=a_{n}+\lambda r_{n}\operatorname {Cos} .\alpha _{n},\ b'_{n}=b_{n}+\lambda r_{n}\operatorname {Cos} .\beta _{n},\ c'_{n}=c_{n}+\lambda r_{n}\operatorname {Cos} .\gamma _{n}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de1a334dd689f595f5379c169ce734a70e4b3c7a)
d’où, en ajoutant les équations d’une même colonne et ayant égard aux équations (2),
![{\displaystyle {\begin{aligned}&a'_{1}+a'_{2}+a'_{3}+\ldots +a'_{n}=a_{1}+a_{2}+a_{3}+\ldots +a_{n},\\&b'_{1}\,+b'_{2}\,+b'_{3}+\ldots +b'_{n}=b_{1}\,+b_{2}\,+b_{3}+\ldots +b_{n},\\&c'_{1}\,+c'_{2}\,+c'_{3}+\ldots +c'_{n}=c_{1}\,+c_{2}\,+c_{3}+\ldots +c_{n}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9ca7d5873e0ae9adc004c17f8b1ea301a1d363b)
Ces équations signifient que le centre commun de gravité des points ![{\displaystyle (a'_{1},b'_{1},c'_{1}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad94ea4d5fef26a4748bc3b75e0801f817cbcfc4)
coïncide avec celui des points ![{\displaystyle (a_{1},b_{1},c_{1}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/569d194deac0f7e460ac1e4fc244b75cf34d0b00)
![{\displaystyle (a_{2},b_{2},c_{2}),\ldots (a_{n},b_{n},c_{n}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a6e543e1009740e58c83a1972fcb4ff9f938250)
Donc, Si par des points pris à volonté, dans l’espace, on mène des droites respectivement parallèles et proportionnelles aux côtés d’un polygone rectiligne fermé quelconque, plan ou gauche ; le centre de gravité d’un système de poids égaux sera le même, soit que ces poids se trouvent situés aux points où ces droites se terminant ou qu’on les place à leurs points de départ.
En supposant que les points de départ sont pris respectivement sur les directions des côtés du polygone, on conclura de là que, Si des poids égaux, placés d’abord arbitrairement sur les directions des côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, parcourent simultanément et dans le même sens, sur ces directions, des longueurs respectivement proportionnelles à celles de ces mêmes côtés ; leur centre commun de gravité demeurera immobile[1].
Si l’on suppose, au contraire, que toutes ces droites émanent d’un même point quelconque de l’espace ; comme ce point sera à lui-même son centre de gravité, on conclura de la même proposition générale que, Si, par un point quelconque de l’espace, on conduit des droites parallèles et proportionnelles aux côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, ce point sera à centre commun de gravité d’un système de masses égales placées aux extrémités de ces droites.
Cette dernière proposition, combinée avec la première du présent §., donne la suivante : Un point autour duquel des forces dirigées d’une manière quelconque dans l’espace se font équilibre est le centre commun de gravité de masses égales placées aux extrémités des droites qui, partant de ce point, représentent ces forces en intensité et en direction.
Et comme, lorsque des forces ne se font pas équilibre autour d’un point, il suffit, pour établir l’équilibre dans le système, d’y introduire une force égale et directement opposée à leur résultante, il en faut conclure que, Lorsque des forces agissent dans des directions quelconques sur un même point de l’espace, 1.o le centre des moyennes distances des extrémités des droites qui représentent ces forces en intensité et en direction est un point de la direction de leur résultante ; 2.o cette résultante est représentée en intensité par autant de fois la distance de ce centre au point d’application des forces qu’il y a de composantes dans le système[2].
Maintenant, par les mêmes points ![{\displaystyle (a_{1},b_{1},c_{1}),\ (a_{2},b_{2},c_{2}),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/14187383b4a1498fc6fd3734da300fdab72cb100)
menons encore des droites respectivement parallèles aux côtés du polygone, mais d’une même longueur quelconque
; en désignant leurs extrémités respectives par
nous aurons
![{\displaystyle {\begin{aligned}&a''_{1}=a_{1}+k\operatorname {Cos} .\alpha _{1},\ b''_{1}=b_{1}+k\operatorname {Cos} .\beta _{1},\ c''_{1}=c_{1}+k\operatorname {Cos} .\gamma _{1},\\\\&a''_{2}=a_{2}+k\operatorname {Cos} .\alpha _{2},\ b''_{2}=b_{2}+k\operatorname {Cos} .\beta _{2},\ c''_{2}=c_{2}+k\operatorname {Cos} .\gamma _{2},\\\\&a''_{3}=a_{3}+k\operatorname {Cos} .\alpha _{3},\ b''_{3}=b_{3}+k\operatorname {Cos} .\beta _{3},\ c''_{3}=c_{3}+k\operatorname {Cos} .\gamma _{3},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&a''_{n}=a_{n}+k\operatorname {Cos} .\alpha _{n},\ b''_{n}=b_{n}+k\operatorname {Cos} .\beta _{n},\ c''_{n}=c_{n}+k\operatorname {Cos} .\gamma _{n}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e01f90cd68f5e2fde0abedb1a0e155c6f797e9b)
Prenant successivement la somme des produits respectifs des équations de chaque colonne par
en ayant égard aux équations (2), il viendra
![{\displaystyle {\begin{aligned}&a''_{1}r_{1}+a''_{2}r_{2}+a''_{3}r_{3}+\ldots +a''_{n}r_{n}=a_{1}r_{1}+a_{2}r_{2}+a_{3}r_{3}+\ldots +a_{n}r_{n},\\&b''_{1}r_{1}\,+b''_{2}r_{2}\,+b''_{3}r_{3}+\ldots +b''_{n}r_{n}=b_{1}r_{1}\,+b_{2}r_{2}\,+b_{3}r_{3}+\ldots +b_{n}r_{n},\\&c''_{1}r_{1}\,+c''_{2}r_{2}\,+c''_{3}r_{3}+\ldots +c''_{n}r_{n}=c_{1}r_{1}\,+c_{2}r_{2}\,+c_{3}r_{3}+\ldots +c_{n}r_{n}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90355315467922bda49ea64e3013b13d3f9c58ca)
d’où on conclut ce théorème : Si, par des points pris à volonté dans l’espace, on mène des droites d’une même longueur quelconque, respectivement parallèles aux côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, le centre de gravité d’un système de poids respectivement parallèle aux longueurs de ces côtés sera le même, soit que ces poids soient situés aux points où ces droites se terminant, ou qu’on les place à leurs points de départ.
En supposant que les points de départ soient pris respectivement sur les directions des côtés du polygone, on conclura de là que, Si des poids respectivement proportionnels aux longueurs des côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, et placés arbitrairement sur les directions de ces côtés, y parcourent simultanément et dans le même sens des longueurs égales quelconques, leur centre commun de gravité demeurera immobile[3].
Si l’on suppose, au contraire, que toutes ces droites émanent d’un même point quelconque de l’espace, comme ce point sera à lui-même son centre de gravité, on conclura de la même proposition générale que, Si, dans une sphère, on mène des rayons parallèles aux côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, et qu’on place aux extrémités de ces rayons des poids respectivement proportionnels aux longueurs des côtés auxquels ils sont parallèles ; leur centre commun de gravité coïncidera avec le centre de la sphère.
§. III.
Si le polygone proposé se réduit à un triangle, les équations (2) se réduisent aux suivantes :
![{\displaystyle {\begin{aligned}&r_{1}\operatorname {Cos} .\alpha _{1}+r_{2}\operatorname {Cos} .\alpha _{2}+r_{3}\operatorname {Cos} .\alpha _{3}=0,\\&r_{1}\operatorname {Cos} .\beta _{1}\,+r_{2}\operatorname {Cos} .\beta _{2}\,+r_{3}\operatorname {Cos} .\beta _{3}=0,\\&r_{1}\operatorname {Cos} .\gamma _{1}\,+r_{2}\operatorname {Cos} .\gamma _{2}\,+r_{3}\operatorname {Cos} .\gamma _{3}=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9157ec704435bb4d900cc130915d84604bcca6e7)
Transposant les derniers termes dans les seconds membres, prenant ensuite la somme des quarrés des équations résultantes, en se rappelant les relations connues
![{\displaystyle {\begin{aligned}&\operatorname {Cos} .^{2}\alpha _{1}+\operatorname {Cos} .^{2}\beta _{1}+\operatorname {Cos} .^{2}\gamma _{1}=1,\\\\&\operatorname {Cos} .^{2}\alpha _{2}+\operatorname {Cos} .^{2}\beta _{2}+\operatorname {Cos} .^{2}\gamma _{2}=1,\\\\&\operatorname {Cos} .^{2}\alpha _{3}+\operatorname {Cos} .^{2}\beta _{3}+\operatorname {Cos} .^{2}\gamma _{3}=1,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec58854ef7ab2c4d8dd8cbb3c5171aaa68894b42)
on obtient
![{\displaystyle r_{3}^{2}=r_{1}^{2}+r_{2}^{2}+2r_{1}r_{2}\left(\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\alpha _{2}+\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\beta _{2}+\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\gamma _{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/063b3dd63cd9f576c5eb86beb6d6c85bb7b43124)
Mais, en supposant, pour un moment, que la droite
est parallèle à l’axe des
l’angle
sera nul, et les angles
et
seront droits, de sorte qu’on aura
![{\displaystyle \operatorname {Cos} .\alpha _{1}=1,\qquad \operatorname {Cos} .\beta _{1}=0,\qquad \operatorname {Cos} .\gamma _{1}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/035400ef0836a09a78f09777546a4a2c9207b95f)
Quant à l’angle
ce sera alors l’angle
lui-même ; de sorte que l’on aura
![{\displaystyle r_{3}^{2}=r_{1}^{2}+r_{2}^{2}+2r_{1}r_{2}\operatorname {Cos} .\left(r_{1},r_{2}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4984119d5f2395832eaa2551eae1a0d8a5d2d16f)
comparant cette dernière avec celle de laquelle elle est dérivée, on obtient la formule bien connue
![{\displaystyle \operatorname {Cos} .\left(r_{1},r_{2}\right)=\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\alpha _{2}+\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\beta _{2}+\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\gamma _{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f670b5c238387803c30023eea2bc6de8cd9100c)
de laquelle on déduit ensuite aisément
![{\displaystyle \operatorname {Sin} .^{2}\left(r_{1},r_{2}\right)=\left\{{\begin{aligned}&\left(\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{2}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{2}\right)^{2}\\\\+&\left(\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}\right)^{2}\\\\+&\left(\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{2}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{2}\right)^{2}\end{aligned}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3eb13e913605e5540777b1870aa75bb285a99025)
L’équation
![{\displaystyle r_{3}^{2}=r_{1}^{2}+r_{2}^{2}+2r_{1}r_{2}\operatorname {Cos} .\left(r_{1},r_{2}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aa17cfd890a0f26d778044086501654966b4aa3)
exprime aussi une proposition fondamentale de la trigonométrie rectiligne ; mais nous verrons bientôt qu’elle n’est qu’un cas particulier d’une proposition plus générale.
Retournons présentement aux équations (2). En prenant la somme de leurs produits respectifs, d’abord par
puis par ![{\displaystyle \operatorname {Cos} .\alpha _{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58c787b7e8ebdb7f577367fd0592b0b46db65b80)
et ainsi de suite, et enfin par
observant que
![{\displaystyle {\begin{aligned}&\operatorname {Cos} .^{2}\alpha _{1}+\operatorname {Cos} .^{2}\beta _{1}+\operatorname {Cos} .^{2}\gamma _{1}=1,\\\\&\operatorname {Cos} .^{2}\alpha _{2}+\operatorname {Cos} .^{2}\beta _{2}+\operatorname {Cos} .^{2}\gamma _{2}=1,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99ebf6061a385b654a9d2fc7832be8be5db2725e)
et que
![{\displaystyle {\begin{aligned}&\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\alpha _{2}+\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\beta _{2}+\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\gamma _{2}=\operatorname {Cos} .(r_{1},r_{2}),\\\\&\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\alpha _{3}+\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\beta _{3}+\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\gamma _{3}=\operatorname {Cos} .(r_{1},r_{3}),\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cfafe13154500103f6f1ae97018268a3207f944)
il viendra
![{\displaystyle \left.{\begin{aligned}&r_{1}+r_{2}\operatorname {Cos} .(r_{1},r_{2})+r_{3}\operatorname {Cos} .(r_{1},r_{3})+\ldots +r_{n}\operatorname {Cos} .(r_{1},r_{n})=0,\\\\&r_{1}\operatorname {Cos} .(r_{1},r_{2})+r_{2}+r_{3}\operatorname {Cos} .(r_{2},r_{3})+\ldots +r_{n}\operatorname {Cos} .(r_{2},r_{n})=0,\\\\&r_{1}\operatorname {Cos} .(r_{1},r_{3})+r_{2}\operatorname {Cos} .(r_{2},r_{3})+r_{3}+\ldots +r_{n}\operatorname {Cos} .(r_{3},r_{n})=0,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&r_{1}\operatorname {Cos} .(r_{1},r_{n})+r_{2}\operatorname {Cos} .(r_{2},r_{n})+r_{3}\operatorname {Cos} .(r_{3},r_{n})+\ldots +r_{n}=0.\end{aligned}}\right\}(3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed220fafd962b08eec8ece8bbf61185bbfe46225)
On parviendrait également à ces équations, en supposant successivement, dans les équations (2), que chacune des droites
devient, à son tour, parallèle à l’axe des
Elles se traduisent dans l’énoncé que voici : Dans tout polygone rectiligne fermé, plan ou gauche, chaque côté est égal à la somme des produits de tous les autres par les cosinus des angles que forment leurs directions avec la sienne.
Si l’on prend la somme des quarrés des équations (2), il vient, en faisant les réductions convenables,
![{\displaystyle r_{1}^{2}+r_{2}^{2}+r_{3}^{2}+\ldots +r_{n}^{2}+2r_{1}r_{2}\operatorname {Cos} .(r_{1},r_{2})+2r_{1}r_{3}\operatorname {Cos} .(r_{1},r_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fc302ba1bb894b52e983d8c4b3de7b43f0b86c6)
![{\displaystyle +2r_{2}r_{3}\operatorname {Cos} .(r_{2},r_{3})+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8655f412da719f512cb30ba56c3581643cf00183)
(4)
c’est-à-dire, La somme des quarrés» des côtés d’un polygone rectiligne quelconque, plan ou gauche, augmentée des doubles produits de ces côtés deux à deux, multipliés par les cosinus des angles que forment entre elles leurs directions, est égale à zéro.
Si l’on prend de nouveau la somme des quarrés des équations (2), mais après avoir préalablement transporté leurs premiers termes dans le second membre, il viendra, par l’effet de semblables réductions,
![{\displaystyle r_{1}^{2}=r_{2}^{2}+r_{3}^{2}+\ldots +r_{n}^{2}+2r_{2}r_{3}\left(\operatorname {Cos} .r_{2},r_{3}\right)+2r_{2}r_{4}\left(\operatorname {Cos} .r_{2},r_{4}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53464a23dca5b64fc6d2b7b55f730c90f92e6ad1)
![{\displaystyle +2r_{3}r_{4}\left(\operatorname {Cos} .r_{3},r_{4}\right)+\ldots =0\quad (s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d6917ec498af0d15bf5fb7fb1a770abba2159f6)
donc, Dans tout polygone rectiligne fermé, plan ou gauche, le quarré de l’un quelconque des côtés est égal à la somme des quarrés de tous les autres augmentée de la somme des doubles produits de ces derniers deux à deux multipliés par les cosinus des angles que forment entre elles leurs directions. Ce théorème fait en même temps connaître l’intensité de la résultante de plusieurs forces données d’intensité et de direction autour d’un même point de l’espace.
Si, au lieu de transposer seulement les premiers termes des équations (2), on y transpose un même nombre quelconque de termes correspondans, et qu’on prenne ensuite la somme des quarrés des équations résultantes, en y faisant toujours les mêmes réductions, on obtiendra cette autre proposition : La somme des quarrés d’un certain nombre de côtés d’un polygone rectiligne fermé quelconque, plan ou gauche, augmentée des doubles produits de ces côtés deux à deux multipliés par les cosinus des angles qu’ils comprennent entre eux, est égale à la somme des quarrés des côtés restans augmentée des produits de ces derniers deux à deux multipliés par les cosinus des angles qu’ils comprennent entre eux.
Si l’on désigne par
le périmètre du polygone, on aura
![{\displaystyle \Pi =r_{1}+r_{2}+r_{3}+\ldots +r_{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a81121dcf2bf18ad323708547474f4d6cb4890b1)
d’où, en quarrant,
![{\displaystyle \Pi ^{2}=r_{1}^{2}+r_{2}^{2}+r_{3}^{2}+\ldots +r_{n}^{2}+2r_{1}r_{2}+2r_{1}r_{3}+2r_{2}r_{3}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae222509589f195dc2a1c97431cefe970dbd71c4)
mais nous avons trouvé plus haut
![{\displaystyle 0=r_{1}^{2}+r_{2}^{2}+r_{3}^{2}+\ldots +r_{n}^{2}+2r_{1}r_{2}\left(\operatorname {Cos} .r_{1},r_{2}\right)+2r_{1}r_{3}\left(\operatorname {Cos} .r_{1},r_{3}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2b6f7d7e464a328228b9b3c1da5cdb07d3130c5)
![{\displaystyle +2r_{2}r_{3}\left(\operatorname {Cos} .r_{2},r_{3}\right)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/746e19d0946108ed4cfd655b185c6cedfed4d458)
retranchant cette dernière de la précédente, nous aurons, en nous rappelant qu’en général ![{\displaystyle 1-\operatorname {Cos} .x=2\operatorname {Sin} .^{2}{\frac {1}{2}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbb48d0921c9edc36293409ea55da48ef7ed5e0c)
![{\displaystyle \Pi ^{2}=4\left\{r_{1}r_{2}\operatorname {Sin} .^{2}{\frac {1}{2}}\left(r_{1},r_{2}\right)+r_{1}r_{3}\operatorname {Sin} .^{2}{\frac {1}{2}}\left(r_{1},r_{3}\right)+r_{2}r_{3}\operatorname {Sin} .^{2}{\frac {1}{2}}\left(r_{2},r_{3}\right)+\ldots \right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fcbd0c8a43304476f181248f4f17b07ed48b527)
Ainsi, Le quarré du demi-périmètre d’un polygone rectiligne fermé quelconque, plan ou gauche, est égal à la somme des produits de ses côtés deux à deux multipliés par les quarrés des sinus des moitiés des angles que comprennent entre elles leurs directions.
§. IV.
Posons généralement, pour abréger,
![{\displaystyle {\begin{aligned}&x_{1}^{m}+x_{2}^{m}+x_{3}^{m}+\ldots +x_{n}^{m}=X_{m},\\\\&y_{1}^{m}\,+y_{2}^{m}\,+y_{3}^{m}+\ldots +y_{n}^{m}=Y_{m},\\\\&z_{1}^{m}\,+z_{2}^{m}\,+z_{3}^{m}+\ldots +z_{n}^{m}=Z_{m}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/243a86cf9a85e9439085bab2eb370716778d3151)
Le quarré de la distance entre deux sommets quelconques est
![{\displaystyle \left(x_{p}-x_{q}\right)^{2}+\left(y_{p}-y_{q}\right)^{2}+\left(z_{p}-z_{q}\right)^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70aadc478e67b8e91b7c4e731a7c5b0d78ae6481)
ou, en développant,
![{\displaystyle \left(x_{p}^{2}+y_{p}^{2}+z_{p}^{2}\right)-2\left(x_{p}x_{q}+y_{p}y_{q}+z_{p}z_{q}\right)+\left(x_{q}^{2}+y_{q}^{2}+z_{q}^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03b2714ca6cea9bdd7a17c5cc38d4c97ddf32fc3)
Si l’on veut avoir la somme des quarrés des distances du sommet
à tous Les autres, il faudra prendre la somme des résultats qu’on obtient en mettant dans cette formule pour
tous les nombres naturels de
à
inclusivement. Il ne sera pas même nécessaire d’en excepter le nombre
puisque la distance d’un sommet à lui-même est nulle. On obtiendra ainsi, pour la somme de ces quarrés, à l’aide des notations ci-dessus,
![{\displaystyle n\left(x_{p}^{2}+y_{p}^{2}+z_{p}^{2}\right)-2\left(X_{1}x_{p}+Y_{1}y_{p}+Z_{1}z_{p}\right)+\left(X_{2}+Y_{2}+Z_{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61123450e97b4638f978bc6224fabffbe5f559b4)
Si présentement on veut avoir la somme des quarrés de toutes les droites, soit côtés, soit diagonales, qui joignent les sommets deux a deux, lesquelles sont au nombre de
il ne s’agira que de prendre la demi-somme des résultats qu’on déduit de cette dernière formule en y mettant successivement pour
tous les nombres naturels de
à
inclusivement. Nous disons la demi-somme, parce que menant, tour à tour, des droites de chaque sommet à tous les autres, chaque droite se trouve menée deux fois. On aura ainsi, pour la somme des quarrés de toutes ces droites,
![{\displaystyle n\left(X_{2}+Y_{2}+Z_{2}\right)-\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28f3ccf0789cfba668bde66f82e25738fe22dca8)
Cherchons ensuite la somme des quarrés des longueurs des droites qui joignent deux à deux les milieux tant des côtés que des diagonales. Nous venons déjà de remarquer que le nombre tant des côtés que des diagonales était
et leurs milieux sont en même nombre. Si donc on représente respectivement par
les sommes des premières puissances des coordonnées de ces milieux parallèles à chaque axe, et par
les sommes des quarrés de ces mêmes coordonnées ; en posant
on aura, pour la somme des quarrés des droites dont il s’agit, d’après la précédente formule,
![{\displaystyle n'\left(X'_{2}+Y'_{2}+Z'_{2}\right)-\left(^{2}_{1}+_{1}^{2}+_{1}^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3527ccd64085970d3eb832d451c85f2a29f1634e)
Cela posé, 1.o comme la coordonnée parallèle aux
du milieu de la droite qui joint deux sommets quelconques est
nous aurons
![{\displaystyle {\begin{aligned}X'_{1}&={\frac {x_{1}+x_{2}}{2}}+{\frac {x_{2}+x_{3}}{2}}+{\frac {x_{3}+x_{4}}{2}}+\ldots +{\frac {x_{n-1}+x_{n}}{2}}\\\\&+{\frac {x_{1}+x_{3}}{2}}+{\frac {x_{2}+x_{4}}{2}}+\ldots +{\frac {x_{n-2}+x_{n}}{2}}\\\\&+{\frac {x_{1}+x_{4}}{2}}+\ldots +{\frac {x_{3}+x_{n}}{2}}\\&+\ldots \ldots \ldots \\&+{\frac {x_{1}+x_{n}}{2}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1cc46e8b11eecf9bad3515f990198ed7bdfafe6)
Ces termes sont au nombre de
et, comme il entre deux de nos
sortes de lettres dans chacun, il s’ensuit qu’ils se composent de
lettres ; et comme il est d’ailleurs manifeste que chacune des
sortes de lettres y figure de la même manière, il s’ensuit que chaque sorte de lettre y figure
fois ; de sorte qu’on doit avoir
![{\displaystyle X'_{1}={\frac {(n-1)\left(x_{1}+x_{2}+x_{3}+\ldots +x_{n}\right)}{2}}={\frac {n-1}{2}}.X_{1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82af0fd6963dbff2bebb564307b0f7f1c878b5d6)
et par conséquent
![{\displaystyle X_{1}^{'2}={\frac {(n-1)^{2}}{4}}.X_{1}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15883977c7efe8015ae2840c71fbf6a9e9568193)
On aura semblablement
![{\displaystyle Y_{1}^{'2}={\frac {(n-1)^{2}}{4}}.Y_{1}^{2},\qquad Z_{1}^{'2}={\frac {(n-1)^{2}}{4}}.Z_{1}^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75e64bbbc634de831872868b1e7ea49b25d9d7ae)
et, par suite,
![{\displaystyle X_{1}^{'2}+Y_{1}^{'2}+Z_{1}^{'2}={\frac {(n-1)^{2}}{4}}\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd5f0b74a66ae588bf9ff1f772e733fa16198df2)
2.o On aura, par les mêmes considérations,
![{\displaystyle {\begin{aligned}X'_{2}&=\left({\frac {x_{1}+x_{2}}{2}}\right)^{2}+\left({\frac {x_{2}+x_{3}}{2}}\right)^{2}+\left({\frac {x_{3}+x_{4}}{2}}\right)^{2}+\ldots +\left({\frac {x_{n-1}+x_{n}}{2}}\right)^{2}\\\\&+\left({\frac {x_{1}+x_{3}}{2}}\right)^{2}+\left({\frac {x_{2}+x_{4}}{2}}\right)^{2}+\ldots +\left({\frac {x_{n-2}+x_{n}}{2}}\right)^{2}\\\\&+\left({\frac {x_{1}+x_{4}}{2}}\right)^{2}+\ldots +\left({\frac {x_{n-3}+x_{n}}{2}}\right)^{2}\\&\ldots \ldots \ldots \\&+\left({\frac {x_{1}+x_{n}}{2}}\right)^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c812e8f682d5c32b770e7ea2a53acaa84dd3e13d)
En faisant, pour un moment, abstraction des doubles produits qui naîtront du développement des quarrés, nous nous trouverons dans le même cas que ci-dessus avec cette seule différence que les quarrés des coordonnées
se trouveront substitués à leurs premières puissances, et que le dénominateur commun sera
de sorte qu’il y a d’abord, dans le développement de ![{\displaystyle X'_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/929555c9010cff766668b598124afff5077803a9)
![{\displaystyle {\frac {n-1}{4}}\left(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+\ldots +x_{n}^{2}\right)={\frac {n-1}{4}}X_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b59c5b6ff8c487cae21075929299dc33ea25fe9)
Mais il s’y trouve de plus
![{\displaystyle {\frac {x_{1}x_{2}}{2}}+{\frac {x_{2}x_{3}}{2}}+{\frac {x_{3}x_{4}}{2}}+\ldots +{\frac {x_{n-1}x_{n}}{2}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a64ccc334983ff3c5b9471f4f53c834d27a4028)
![{\displaystyle {\begin{aligned}&+{\frac {x_{1}x_{3}}{2}}+{\frac {x_{2}x_{4}}{2}}+\ldots +{\frac {x_{n-2}x_{n}}{2}}\\\\&+{\frac {x_{1}x_{4}}{2}}+\ldots +{\frac {x_{n-3}x_{n}}{2}}\\&\ldots \ldots \ldots \\&+{\frac {x_{1}x_{n}}{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a75032dfd7d06ab6ef3062de4f2d7c72846295e9)
c’est tout simplement la demi-somme des produits de\Lambda à deux des coordonnées
Or, on a
![{\displaystyle X_{1}^{2}=\left(x_{1}+x_{2}+x_{3}+\ldots +x_{n}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad93bcc7b59bc4102b310fea6aa6e193ed00bb81)
![{\displaystyle =\left(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+\ldots +x_{n}^{2}\right)+2\left(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}+\ldots \right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61f88759a83ecf666dacd634ec144e66f8a6a802)
c’est-à-dire,
![{\displaystyle X_{1}^{2}=X_{2}+2\left(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}+\ldots \right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d017207c1466cc6e6286d32f137997f4c822ad8)
d’où
![{\displaystyle {\frac {1}{2}}\left(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}+\ldots \right)={\frac {X_{1}^{2}-X_{2}}{4}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ab89fcca1d8b63c97048e1f91069013a38d274)
ajoutant donc cette quantité à celle que nous avons déjà obtenue ci-dessus, nous aurons
![{\displaystyle X'_{2}={\frac {n-1}{4}}X_{2}+{\frac {X_{1}^{2}-X_{2}}{4}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc682859bda9ae19a40e0899ad3ea4c58fb9ea74)
ou, en réduisant,
![{\displaystyle X'_{2}={\frac {X_{1}^{2}}{4}}+{\frac {n-2}{4}}X_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5972050db82b4828f450602f53750b2957677fc)
On aura semblablement
![{\displaystyle Y'_{2}={\frac {Y_{1}^{2}}{4}}+{\frac {n-2}{4}}Y_{2},\qquad Z'_{2}={\frac {Z_{1}^{2}}{4}}+{\frac {n-2}{4}}Z_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2a9310109d3792f5a5eec3c61a358f2cdf0fd0e)
et par suite
![{\displaystyle X'_{2}+Y'_{2}+Z'_{2}={\frac {X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}}{4}}+{\frac {n-2}{4}}\left(X_{2}+Y_{2}+Z_{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78b6e7da6a972538f6466679e333a42a39f8366e)
Nous avons trouvé tout à l’heure pour la somme des quarrés des droites qui joignent deux à deux les milieux tant des côtés que des diagonales
![{\displaystyle n'\left(X'_{2}+Y'_{2}+Z'_{2}\right)-\left(X_{1}^{'2}+Y_{1}^{'2}+Z_{1}^{'2}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2a662bdb0ab9ced9f3ba447ca2953777ef70aab)
mais nous venons de trouver
![{\displaystyle {\begin{aligned}X'_{2}+\ Y'_{2}+\ Z'_{2}&={\frac {1}{4}}\left\{(n-2)\left(X_{2}+Y_{2}+Z_{2}\right)+\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right)\right\},\\X_{1}^{'2}+Y_{1}^{'2}+Z_{1}^{'2}&={\frac {1}{4}}(n-1)^{2}\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/029a98cb2bf36afbe4a22e57258657b26b7b87ad)
nous avons d’ailleurs
en substituant donc, nous, trouverons pour cette somme de quarrés
![{\displaystyle {\frac {1}{4}}.{\frac {n-1}{1}}.{\frac {n-2}{2}}\left\{n\left(X_{2}+Y_{2}+Z_{2}\right)-\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right)\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/935fd6ac80ad13b65fd03348cf66219701212766)
mais nous avons trouvé ci-dessus, pour la somme des quarrés tant des côtés que des diagonales,
![{\displaystyle n\left(X_{2}+Y_{2}+Z_{2}\right)-\left(X_{1}^{2}+Y_{1}^{2}+Z_{1}^{2}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9fbd14143401ba4e70b7c62c3dd7466e32eaa29)
donc, en désignant par
cette dernière somme et par
l’autre, nous aurons
![{\displaystyle 4S_{2}={\frac {n-1}{1}}.{\frac {n-2}{2}}S_{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27d7198daec05e981849f555678b373f2e385c2d)
Or, si l’en considère que, dans le présent §., les sommets ne se trouvent assujettis à aucun ordre de succession déterminé, on verra que l’équation que nous venons d’obtenir revient au théorème suivant : Des points, en nombre quelconque, étant situés d’une manière quelconque dans l’espace, si l’on joint ces points deux à deux par des droites, de toutes les manières possibles, puis les milieux de ces droites deux à deux par d’autres droites, de toutes les manières possibles, le quadruple de la somme des quarrés de ces dernières droites sera égal à autant de fois la somme des quarrés des premières qu’un nombre de choses inférieur d’une unité à celui des points dont il, agit peut donner de combinaisons deux à deux[4].
§. V.
Présentement, soit éliminé le côté
entre les équations (2), prises deux à deux, il viendra
![{\displaystyle \left.{\begin{aligned}&r_{2}\left(\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}\right)\\&\qquad +r_{3}\left(\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{3}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{3}\right)+\ldots =0,\\&r_{2}\left(\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{2}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{2}\right)\\&\qquad +r_{3}\left(\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{3}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{3}\right)+\ldots =0,\\&r_{2}\left(\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{2}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{2}\right)\\&\qquad +r_{3}\left(\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{3}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{3}\right)+\ldots =0.\end{aligned}}\right\}(6)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/554ec5051cceec1d4c59d3517ede6fc7ae004a08)
Afin dévaluer la quantité
et ses analogues, soient menées, par un point quelconque de l’espace, des parallèles aux côtés
du polygone ; la première fera, avec toutes les autres, des angles
Soient élevées, par le même point, aux plans de ces divers angles, des perpendiculaires que nous désignerons respectivement par
en représentant les angles que forment ces perpendiculaires avec les axes des coordonnées par
![{\displaystyle {\begin{array}{lll}\left(r_{1}r_{2},x\right),&\left(r_{1}r_{2},y\right),&\left(r_{1}r_{2},z\right),\\\left(r_{1}r_{3},x\right),&\left(r_{1}r_{3},y\right),&\left(r_{1}r_{3},z\right),\\\ldots \ldots &\ldots \ldots &\ldots \ldots ,\\\left(r_{1}r_{n},x\right),&\left(r_{1}r_{n},y\right),&\left(r_{1}r_{n},z\right).\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00a70d1e75196d694a2c1450d2ca8c2888b2f744)
Cela posé, soient, pour un moment,
les cosinus des angles
que fait avec les axes la perpendiculaire
au plan de l’angle
construite comme il vient d’être dit. Comme elle est perpendiculaire, à la fois aux directions des deux droites
on aura, par les conditions connues de perpendicularité,
![{\displaystyle {\begin{aligned}&a\operatorname {Cos} .\alpha _{1}+b\operatorname {Cos} .\beta _{1}+c\operatorname {Cos} .\gamma _{1}=0,\\&a\operatorname {Cos} .\alpha _{2}+b\operatorname {Cos} .\beta _{2}+c\operatorname {Cos} .\gamma _{2}=0\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7986e5066f2aa568c46e60daa581818c87cbc13d)
d’où on tire
![{\displaystyle b=a.{\frac {\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{2}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{2}}{\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc8f01da09a5a6b340c322ba5900d6ef7225e450)
![{\displaystyle c=a.{\frac {\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{2}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{2}}{\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6031caeca8f8c5eb10fca6fcb6c40f9479039702)
substituant ces valeurs dans l’équation de condition
![{\displaystyle a^{2}+b^{2}+c^{2}=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f00932a27e6d1da9736cee25077fe0a4cb9045c)
on trouvera
![{\displaystyle \left(\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}\right)^{3}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19021928d2fea1a5d52189dcb28c210c6b40e163)
![{\displaystyle a^{3}\left\{{\begin{aligned}&\left(\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}\right)^{2}\\+&\left(\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{2}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{2}\right)^{2}\\+&\left(\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{2}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{2}\right)^{2}\end{aligned}}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ae71146808a4fb480cbd1a303889b7ae09f0fb)
or, le multiplicateur de
dans le second membre (§. III) n’est autre chose que
d’où il suit qu’on aura, en extrayant la racine quarrée,
![{\displaystyle \operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}=\pm a\operatorname {Sin} .(r_{1},r_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/828b95d49f0871ea53adebc72d2b1e90767244ad)
![{\displaystyle =\pm \operatorname {Sin} .(r_{1},r_{2})\operatorname {Cos} .(r_{1}r_{2},x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1a3cd4514c8aee4cfcffa0ccf2c9f048abfe7c7)
Les signes
et
étant ici arbitraires, nous ferons choix du signe
et nous aurons, en formant les équations analogues,
![{\displaystyle \left.{\begin{aligned}&\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\gamma _{2}-\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\beta _{2}=\operatorname {Sin} .(r_{1},r_{2})\operatorname {Cos} .(r_{1}r_{2},x),\\+&\operatorname {Cos} .\gamma _{1}\operatorname {Cos} .\alpha _{2}-\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\gamma _{2}=\operatorname {Sin} .(r_{1},r_{2})\operatorname {Cos} .(r_{1}r_{2},y),\\+&\operatorname {Cos} .\alpha _{1}\operatorname {Cos} .\beta _{2}-\operatorname {Cos} .\beta _{1}\operatorname {Cos} .\alpha _{2}=\operatorname {Sin} .(r_{1},r_{2})\operatorname {Cos} .(r_{1}r_{2},z).\end{aligned}}\right\}(7)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/936f03b29141144b1dda33f82752034815f05b0b)
Substituant ces valeurs et les autres que nous obtiendrions de même forme, par un semblable calcul, dans les équations (6), elles deviendront
![{\displaystyle \left.{\begin{aligned}&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(r_{1}r_{2},x\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{3},x\right)+\ldots =0,\\&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(r_{1}r_{2},y\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{3},y\right)+\ldots =0,\\&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(r_{1}r_{2},z\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{3},z\right)+\ldots =0.\end{aligned}}\right\}(8)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4a2b22bdcc5ceb032b555b015bd043f3a7fd15a)
Ces équations (8) étant de même forme que les équations (2), nous pourrons opérer sur elles de la même manière. Pour pouvoir noter les résultats de ces opérations, nous représenterons simplement par
l’angle que forment entre elles les perpendiculaires aux plans des deux angles
et ainsi de suite pour les autres. Ces angles sont la mesure des angles dièdres formés par les plans de ces mêmes angles, et qui peuvent s’étendre de zéro à quatre droites ; attendu qu’on doit les compter invariablement, en partant de l’un quelconque des angles plans dont il s’agit, et en tournant constamment dans le même sens, jusqu’à ce qu’en passant par tous les autres on y soit revenu de nouveau. Tout cela admis, les équations (8) donneront d’abord (3)
![{\displaystyle \left.{\begin{aligned}&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{2},r_{1}r_{3}\right)\\&\qquad \qquad \qquad \qquad +r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Cos} .\left(r_{1}r_{2},r_{1}r_{4}\right)+\ldots =0,\\&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(r_{1}r_{2},r_{1}r_{3}\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\\&\qquad \qquad \qquad \qquad +r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Cos} .\left(r_{1}r_{3},r_{1}r_{4}\right)+\ldots =0,\\&r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(r_{1}r_{2},r_{1}r_{4}\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{3},r_{1}r_{4}\right)\\&\qquad \qquad \qquad \qquad +r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)+\ldots \quad \qquad \qquad \qquad =0,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right\}(9)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac3ae26d74e51b5c3b042da338bf2d1bd4e8ca3b)
On aura, en second lieu, (4)
![{\displaystyle \left.{\begin{array}{c}0=r_{2}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{2}\right)+r_{3}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{3}\right)\\+r_{4}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{4}\right)+\ldots +r_{n}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{n}\right)\\+2r_{2}r_{3}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(r_{1}r_{2},r_{1}r_{3}\right)+\ldots \end{array}}\right\}(10)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6005270414db426c0cc0241e8e5fc32194c8f39c)
On aura enfin (5)
![{\displaystyle \left.{\begin{array}{c}r_{2}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{2}\right)=\\r_{3}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{3}\right)+r_{4}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{4}\right)+\ldots +r_{n}^{2}\operatorname {Sin} .^{2}\left(r_{1},r_{n}\right)\\+2r_{3}r_{4}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Cos} .\left(r_{1}r_{3},r_{1}r_{4}\right)+\ldots \end{array}}\right\}(11)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68ad71390b8cc801a191dd20f23fe88acf3bc6ca)
Soient désignées, pour un moment, par
les perpendiculaires aux plans des angles
dont il a été question ci-dessus ; les deux premières équations (8) pourront être écrites ainsi
![{\displaystyle r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(p_{2},x\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(p_{3},x\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9acecc79a0256aa5703b1fbf6cf9681f43b66b8e)
![{\displaystyle +r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Cos} .\left(p_{4},x\right)+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bf817f5720a28a1812ed6cb05ab71c603ef0ff2)
![{\displaystyle r_{2}\operatorname {Sin} .\left(r_{1},r_{2}\right)\operatorname {Cos} .\left(p_{2},y\right)+r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Cos} .\left(p_{3},y\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341bd895aac6b3cece0f24e740da420bdad0b0ac)
![{\displaystyle +r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Cos} .\left(p_{4},y\right)+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9899720c2858f683de7606963d21d1027d100466)
Si, du produit de la première par
on retranche le produit de la seconde par
afin d’éliminer
entre elles, on trouvera
![{\displaystyle \left.{\begin{aligned}&r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\left[\operatorname {Cos} .\left(p_{3},x\right)\operatorname {Cos} .\left(p_{2},y\right)-\operatorname {Cos} .\left(p_{2},x\right)\operatorname {Cos} .\left(p_{3},y\right)\right]\\+&r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\left[\operatorname {Cos} .\left(p_{4},x\right)\operatorname {Cos} .\left(p_{2},y\right)-\operatorname {Cos} .\left(p_{2},x\right)\operatorname {Cos} .\left(p_{4},y\right)\right]\\+&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right\}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb387524c87e34f64d9bc503339eb72c3b7ce0b8)
Or, les formules (7) donnent
![{\displaystyle {\begin{aligned}&\left[\operatorname {Cos} .\left(p_{3},x\right)\operatorname {Cos} .\left(p_{2},y\right)-\operatorname {Cos} .\left(p_{2},x\right)\operatorname {Cos} .\left(p_{3},y\right)\right]=\\&\qquad \qquad \qquad \qquad \qquad \operatorname {Sin} .\left(p_{2},p_{3}\right)\operatorname {Cos} .\left(p_{2}p_{3},z\right),\\&\left[\operatorname {Cos} .\left(p_{4},x\right)\operatorname {Cos} .\left(p_{2},y\right)-\operatorname {Cos} .\left(p_{2},x\right)\operatorname {Cos} .\left(p_{4},y\right)\right]=\\&\qquad \qquad \qquad \qquad \qquad \operatorname {Sin} .\left(p_{2},p_{4}\right)\operatorname {Cos} .\left(p_{2}p_{4},z\right),\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9d62bec15aa52e488a3ce8e0d2cded5c945c761)
on a d’ailleurs, par la définition même des lignes ![{\displaystyle p_{2},p_{3},\ldots p_{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7896f3d81ee21187c041f6934b8e07dd8d90dcf)
![{\displaystyle \left(r_{1},z\right)=\left(p_{2}p_{3},z\right)=\left(p_{2}p_{4},z\right)=\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a4f6518ef88f09dd196a59b561783687b3f291c)
et, en outre,
![{\displaystyle \operatorname {Sin} .\left(p_{2},p_{3}\right)=\operatorname {Sin} .\left(r_{1}r_{2},r_{1}r_{3}\right),\quad \operatorname {Sin} .\left(p_{2},p_{4}\right)=\operatorname {Sin} .\left(r_{1}r_{2},r_{1}r_{4}\right),\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/edcfd38a2af26c9b901063cf0052c5264804ee2d)
au moyen de quoi l’équation ci-dessus deviendra, en divisant par ![{\displaystyle \operatorname {Cos} .(r_{1},z),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd76a43181bb74d52b4c27306aa5e48f545e0b72)
![{\displaystyle r_{3}\operatorname {Sin} .\left(r_{1},r_{3}\right)\operatorname {Sin} .\left(r_{1}r_{2},r_{1}r_{3}\right)+r_{4}\operatorname {Sin} .\left(r_{1},r_{4}\right)\operatorname {Sin} .\left(r_{1}r_{2},r_{1}r_{4}\right)+\ldots =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bba12861b2bc190a7b77a77d9bf81cc538e6aa0)
(12)
Comme cette dernière équation, et toutes les autres qu’on en pourrait déduire, ne renferment plus rien de relatif aux axes des coordonnées, elles ne sauraient être susceptibles de transformations ultérieures.
§. VI.
Après nous être occupés d’un polygone rectiligne quelconque, occupons-nous, en particulier, du quadrilatère gauche, dont la théorie se lie à celle des coordonnées obliques.
Soient, dans l’espace, trois axes obliques, donnés de position, et un point quelconque, rapporté à ces axes, par les trois coordonnées
Soit
la distance de ce point à l’origine, laquelle est la diagonale d’un parallélipipède obliquangle, ayant
pour les trois arêtes d’un même angle. Trois arêtes consécutives de ce parallélipipède forment avec cette diagonale
un quadrilatère gauche, auquel nous pouvons appliquer les formules générales trouvées précédemment. Nous conviendrons seulement de changer la direction de son côté
c’est-à-dire que nous considérerons la diagonale comme allant de l’origine au point
en conséquence, il faudra, dans toutes nos formules, changer
en ![{\displaystyle -\operatorname {Cos} .(r,x),-\operatorname {Cos} .(r,y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7dbaf324f0ee528e2133ef7205d866d72ed51ce)
Cela posé,
étant une droite de direction arbitraire, les équations (2) donnent d’abord,
![{\displaystyle r\operatorname {Cos} .(r,r')=x\operatorname {Cos} .(x,r')+y\operatorname {Cos} .(y,r')+z\operatorname {Cos} .(z,r').\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d55395836b48ffefd83afd4109fd780d5e6efe90)
(13)
On tire ensuite des équations (3)
![{\displaystyle \left.{\begin{aligned}&r=x\operatorname {Cos} .(r,x)+y\operatorname {Cos} .(r,y)+z\operatorname {Cos} .(r,z),\\&r\operatorname {Cos} .(r,x)=x+y\operatorname {Cos} .(x,y)+z\operatorname {Cos} .(x,z),\\&r\operatorname {Cos} .(r,y)=x\operatorname {Cos} .(x,x)+y+z\operatorname {Cos} .(y,z),\\&r\operatorname {Cos} .(r,z)=x\operatorname {Cos} .(x,z)+y\operatorname {Cos} .(y,z)+z.\end{aligned}}\right\}(14)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f1d51d34bd2db96890ef14df819970dd074b97a)
Si l’on met, dans la première des équations (14), les valeurs de
tirées des trois autres, on parviendra à l’équation de relation connue entre les six angles que forment deux à deux dans l’espace quatre droites
de direction arbitraire. Cette équation est
![{\displaystyle 1-\operatorname {Cos} .^{2}(y,z)-\operatorname {Cos} .^{2}(z,x)-\operatorname {Cos} .^{2}(x,y)+2\operatorname {Cos} .(y,z)\operatorname {Cos} .(z,x)\operatorname {Cos} .(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/013479453387e63c211edcd0c56041b18fda7e62)
(15)
Soient
les angles dièdres adjacens à l’une des faces d’un tétraèdre et
les angles dièdres respectivement opposés. Si, d’un point pris dans l’intérieur du tétraèdre on abaisse des perpendiculaires sur les directions de ses quatre faces, ces perpendiculaires formeront deux à deux six angles qui auront entre eux la relation ci-dessus ; mais ces angles seront les supplémens respectifs des six angles dièdres du tétraèdre, d’où il suit que ces derniers auront entre eux la relation suivante :
![{\displaystyle 1-\operatorname {Cos} .^{2}\alpha '-\operatorname {Cos} .^{2}\beta '-\operatorname {Cos} .^{2}\gamma '+2\operatorname {Cos} .\alpha '\operatorname {Cos} .\beta '\operatorname {Cos} .\gamma '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c9a1a8a7f3854feeb6746d50c78c890c571fc9a)
![{\displaystyle =\left\{{\begin{aligned}&\operatorname {Cos} .^{2}\alpha \operatorname {Sin} .^{2}\alpha '+2\left(\operatorname {Cos} .\alpha '+\operatorname {Cos} .\beta '\operatorname {Cos} .\gamma '\right)\operatorname {Cos} .\beta \operatorname {Cos} .\gamma \\+&\operatorname {Cos} .^{2}\beta \operatorname {Sin} .^{2}\beta '+2\left(\operatorname {Cos} .\beta '+\operatorname {Cos} .\gamma '\operatorname {Cos} .\alpha '\right)\operatorname {Cos} .\gamma \operatorname {Cos} .\alpha \\+&\operatorname {Cos} .^{2}\gamma \operatorname {Sin} .^{2}\gamma '+2\left(\operatorname {Cos} .\gamma '+\operatorname {Cos} .\alpha '\operatorname {Cos} .\beta '\right)\operatorname {Cos} .\alpha \operatorname {Cos} .\beta \end{aligned}}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac66371324cfc4ed6f14d7a251b3b4d386fdf9e0)
et la première des deux questions proposées à la page 396 du XIII.e volume des Annales, consisterait à déduire de cette équation une relation entre les angles
eux-mêmes ; mais peut-être parviendrait-on plus aisément au but à l’aide d’un procédé analogue à ceux qui ont été mis en usage dans l’article de la page 271 du tome IX.
Les formules (4) donnent
(16)
c’est-à-dire que : Le quarré de la diagonale d’un parallélipipède est égal à la somme des quarrés des trois arêtes qui partent de l’une de ses extrémités, augmentée des doubles produits de ces arêtes deux à deux, multipliés par les cosinus des angles que comprennent leurs directions.
En vertu des équations (9), on a
![{\displaystyle r^{2}\operatorname {Sin} .^{2}(r,x)=y^{2}\operatorname {Sin} .^{2}(x,y)+z^{2}\operatorname {Sin} .^{2}(x,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea04ba3a5ed1a6fd5a4d9429d66ec6ebc686a456)
![{\displaystyle +2xy\operatorname {Sin} .(x,y)\operatorname {Sin} .(x,z)\operatorname {Cos} .(xy,xz)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3977026a702de5d71551a5eb7b322040832d577e)
mais en quarrant la seconde des équations (14) on a
![{\displaystyle {\begin{array}{c}r^{2}\operatorname {Cos} .^{2}(r,x)=x^{2}+y^{2}\operatorname {Cos} .^{2}(x,y)+z^{2}\operatorname {Cos} .^{2}(x,z)+2xy\operatorname {Cos} .(x,y)\\+2xz\operatorname {Sin} .(x,z)+2yz\operatorname {Cos} .(x,z)\operatorname {Cos} .(x,z)\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a84da286c3e5879d35c5e0c33262dc966808555)
ajoutant cette équation à la précédente, il viendra
![{\displaystyle r^{2}=x^{2}+y^{2}+z^{2}+2xy\operatorname {Sin} .(x,y)+2xz\operatorname {Sin} .(x,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29757af5b9315b035435ef9ab0508f82d4db43cc)
![{\displaystyle +2yz\left\{\operatorname {Sin} .(x,y)\operatorname {Sin} .(x,z)\operatorname {Cos} .(xy,xz)+\operatorname {Cos} .(x,y)\operatorname {Cos} .(x,z)\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e7fa9d055265a72be6339e03b9c6a40b9b65cd7)
en égalant cette valeur de
à celle qui est donnée par la formule (16), on aura
![{\displaystyle \operatorname {Sin} .(x,y)\operatorname {Sin} .(x,z)\operatorname {Cos} .(xy,xz)=\operatorname {Cos} .(y,z)-\operatorname {Cos} .(x,y)\operatorname {Cos} .(x,z)\,;(17)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4f2d5495713396c1b9e98f27ac8a2b5dde69121)
équation que l’on reconnaîtra pour l’équation fondamentale de la trigonométrie sphérique.
En vertu des équations (9), on a
![{\displaystyle {\begin{aligned}&x\operatorname {Sin} .(z,x)\operatorname {Sin} .(zx,rz)=y\operatorname {Sin} .y,z)\operatorname {Sin} .(yz,rz),\\&y\operatorname {Sin} .(z,y)\operatorname {Sin} .(xy,rx)=z\operatorname {Sin} .z,x)\operatorname {Sin} .(xy,rx),\\&z\operatorname {Sin} .(z,z)\operatorname {Sin} .(yz,ry)=x\operatorname {Sin} .x,y)\operatorname {Sin} .(xy,ry)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0057790e71c282dbe60e85b65326b561fdc20ec4)
donc, en multipliant
![{\displaystyle \operatorname {Sin} .(zx,rz)\operatorname {Sin} .(xy,rx)\operatorname {Sin} .(yz,ry)=\operatorname {Sin} .(yz,rz)\operatorname {Sin} .(zx,rx)\operatorname {Sin} .(xy,ry).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94ea868073a5e20a7a8379988ee6c3a7d3b80819)
On peut, dans l’équation (13) faire disparaître, de trois manières, deux des termes du second membre, en y supposant nulles deux des quantités
la droite
dabord de direction indéterminée, devient alors perpendiculaire à l’un des plans coordonnés, ce qui donne
![{\displaystyle r\operatorname {Cos} .(r,yz)=x\operatorname {Cos} .(x,yz),\ r\operatorname {Cos} .(r,zx)=y\operatorname {Cos} .(y,zx),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a141e3a9e48020fd822cbf1abe1de19e6c88e8)
![{\displaystyle r\operatorname {Cos} .(r,xy)=z\operatorname {Cos} .(z,xy).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b748cedcba50a770f1765fe976c0c0d420846a23)
(18)
En substituant les valeurs de
qui en résultent dans les équations trouvées ci-dessus, on obtiendra diverses formules indépendantes des longueurs des droites
et relatives seulement à leur direction ; les principales sont
![{\displaystyle 1={\frac {\operatorname {Cos} .(r,yz)}{\operatorname {Cos} .(x,yz}}\operatorname {Cos} .(r,x)+{\frac {\operatorname {Cos} .(r,zx)}{\operatorname {Cos} .(y,zx}}\operatorname {Cos} .(r,y)+{\frac {\operatorname {Cos} .(r,xy)}{\operatorname {Cos} .(z,xy}}\operatorname {Cos} .(r,z),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8b5301821f1af1d42b0003fb7402ab9f8a06f6c)
![{\displaystyle {\begin{aligned}&\operatorname {Cos} .(r,x)-{\frac {\operatorname {Cos} .(r,yz)}{\operatorname {Cos} .(x,yz)}}={\frac {\operatorname {Cos} .(r,zx)}{\operatorname {Cos} .(y,zx)}}\operatorname {Cos} .(x,y)+{\frac {\operatorname {Cos} .(r,xy)}{\operatorname {Cos} .(z,xy)}}\operatorname {Cos} .(z,x),\\\\&\operatorname {Cos} .(r,y)-{\frac {\operatorname {Cos} .(r,zx)}{\operatorname {Cos} .(y,zx)}}={\frac {\operatorname {Cos} .(r,xy)}{\operatorname {Cos} .(z,xy)}}\operatorname {Cos} .(y,z)+{\frac {\operatorname {Cos} .(r,yz)}{\operatorname {Cos} .(x,yz)}}\operatorname {Cos} .(x,y),\\\\&\operatorname {Cos} .(r,z)-{\frac {\operatorname {Cos} .(r,xy)}{\operatorname {Cos} .(z,xy)}}={\frac {\operatorname {Cos} .(r,yz)}{\operatorname {Cos} .(x,yz)}}\operatorname {Cos} .(z,x)+{\frac {\operatorname {Cos} .(r,zx)}{\operatorname {Cos} .(y,zx)}}\operatorname {Cos} .(y,z).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1fba4a1c54e6fc03b5dd4e63c6c9a5ae2a16cf1)
![{\displaystyle 1=\left\{{\begin{aligned}&{\frac {\operatorname {Cos} .^{2}(r,yz)}{\operatorname {Cos} .^{2}(x,yz)}}+2{\frac {\operatorname {Cos} .(r,zx)\operatorname {Cos} .(r,xy)}{\operatorname {Cos} .(y,zx)\operatorname {Cos} .(z,xy)}}\operatorname {Cos} .(y,z)\\\\&{\frac {\operatorname {Cos} .^{2}(r,zx)}{\operatorname {Cos} .^{2}(y,zx)}}+2{\frac {\operatorname {Cos} .(r,xy)\operatorname {Cos} .(r,yz)}{\operatorname {Cos} .(z,xy)\operatorname {Cos} .(x,yz)}}\operatorname {Cos} .(z,x)\\\\&{\frac {\operatorname {Cos} .^{2}(r,xy)}{\operatorname {Cos} .^{2}(z,xy)}}+2{\frac {\operatorname {Cos} .(r,yz)\operatorname {Cos} .(r,zx)}{\operatorname {Cos} .(x,yz)\operatorname {Cos} .(y,zx)}}\operatorname {Cos} .(x,y)\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b03b34a8769573f95e4c49aa2963a472d3ebb0e)
Soit encore une droite
menée, dans une direction quelconque, par l’origine des axes obliques, et soit
son extrémité ; l’équation (13), multipliée par
donnera
![{\displaystyle rr'\operatorname {Cos} .(r,r')=r'x\operatorname {Cos} .(r',x)+r'y\operatorname {Cos} .(r',y)+r'z\operatorname {Cos} .(r',z)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a06382217642bb140098c92ea730410c28c15361)
mais les trois dernières équations (14) donnent
![{\displaystyle {\begin{aligned}&r'\operatorname {Cos} .(r',x)=x'+y'\operatorname {Cos} .(x,y)+z'\operatorname {Cos} .(z,x),\\&r'\operatorname {Cos} .(r',y)=y'+z'\operatorname {Cos} .(y,z)+x'\operatorname {Cos} .(x,y),\\&r'\operatorname {Cos} .(r',z)=z'+x'\operatorname {Cos} .(z,x)+y'\operatorname {Cos} .(y,z)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/380e0f93c31adbe96eaa70f3487c6fb79d01adf4)
mettant ces valeurs xlans l’équation précédente, elle deviendra
![{\displaystyle rr'\operatorname {Cos} .(r,r')=\left\{{\begin{aligned}&xx'+(yz'+zy')\operatorname {Cos} .(y,z)\\+&yy'+(zx'+xz')\operatorname {Cos} .(z,x)\\+&zz'+(xy'+yx')\operatorname {Cos} .(x,y)\end{aligned}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9f5ba7270b32dc002c456d96fb1560950d05f48)
En substituant aux rapports
leurs valeurs angulaires, données par les équations (18), cette formule donnera le cosinus de l’angle de deux droites, rapportées à des coordonnées obliques.
§. VII.
Les formules relatives à la transformation des coordonnées se déduisent de l’équation (13) de la manière la plus simple.
Soient, en effet dans l’espace, deux systèmes d’axes obliques ayant la même origine ; soient
et
les coordonnées d’un même point quelconque, dans les deux systèmes, et soit
la distance de ce point à l’origine. Si
désigne une autre droite de direction arbitraire menée par cette origine, l’équation (13) donnera
![{\displaystyle {\begin{aligned}&r\operatorname {Cos} .(r,p)=x\operatorname {Cos} .(x,p)+y\operatorname {Cos} .(y,p)+z\operatorname {Cos} .(z,p),\\&r\operatorname {Cos} .(r,p)=x'\operatorname {Cos} .(x',p)+y'\operatorname {Cos} .(y',p)+z'\operatorname {Cos} .(z',p)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f37a8bc5233acf294040e5ef57fe513a4c01443)
et conséquemment
![{\displaystyle x\operatorname {Cos} .(x,p)+y\operatorname {Cos} .(y,p)+z\operatorname {Cos} .(z,p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bb12123a7cd568c0c753565c7a1e91ff5a557fa)
![{\displaystyle =x'\operatorname {Cos} .(x',p)+y'\operatorname {Cos} .(y',p)+z'\operatorname {Cos} .(z',p).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e927b108f6a9257ab8b7cfb7a62aa13e355a849c)
(19)
Nous ferons disparaître deux termes de cette dernière équation, en posant
![{\displaystyle \operatorname {Cos} .(y,p)=0,\ \operatorname {Cos} .(z,p)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/156f584f1b335af800d0826177e34b6e21ca1117)
alors la droite
sera perpendiculaire au plan des
. Désignant alors par
les angles que fait cette droite avec les axes des
et des
, et employant des notations analogues pour les autres angles du même genre, l’équation (19) deviendra
(20)
et, comme on pourrait appliquer le même raisonnement à chacun des autres axes, on aura, pour les formules générales de la transformation des coordonnées,
![{\displaystyle \left.{\begin{aligned}&x\operatorname {Cos} .(x,yz)=x'\operatorname {Cos} .(x',yz)+y'\operatorname {Cos} .(y',yz)+z'\operatorname {Cos} .(z',yz),\\&y\operatorname {Cos} .(y,zx)=y'\operatorname {Cos} .(y',zx)+z'\operatorname {Cos} .(z',zx)+x'\operatorname {Cos} .(x',zx),\\&z\operatorname {Cos} .(z,xy)=z'\operatorname {Cos} .(z',xy)+x'\operatorname {Cos} .(x',xy)+y'\operatorname {Cos} .(y',xy).\end{aligned}}\right\}(21)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e113cf3ff5846d9f575e71434f7b2243e6cacb6c)
On obtient par les mêmes moyens, les formules réciproques
![{\displaystyle \left.{\begin{aligned}&x'\operatorname {Cos} .(x',y'z')=x\operatorname {Cos} .(x,y'z')+y\operatorname {Cos} .(y,y'z')+z\operatorname {Cos} .(z,y'z'),\\&y'\operatorname {Cos} .(y',z'x')=y\operatorname {Cos} .(y,z'x')+z\operatorname {Cos} .(z,z'x')+x\operatorname {Cos} .(x,z'x'),\\&z'\operatorname {Cos} .(z',x'y')=z\operatorname {Cos} .(z,x'y')+x\operatorname {Cos} .(x,x'y')+y\operatorname {Cos} .(y,x'y').\end{aligned}}\right\}(22)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7e685b5be7953cd4fea7a838d510efa84a405d2)
Ces équations sont celles qui résolvent le problème général de la transformation des coordonnées. Les neuf coefficiens qui entrent dans leurs seconds membres sont, en vertu de l’équation (15), liés par trois conditions, de manière que six seulement d’entre eux sont nécessaires et indépendans.
Lorsque les axes primitifs des
sont rectangulaires, les équations (21) se simplifiant et deviennent
![{\displaystyle {\begin{aligned}&x=x'\operatorname {Cos} .(x',x)+y'\operatorname {Cos} .(y',x)+z'\operatorname {Cos} .(z',x),\\&y=y'\operatorname {Cos} .(y',y)+z'\operatorname {Cos} .(z',y)+x'\operatorname {Cos} .(x',y),\\&z=z'\operatorname {Cos} .(z',z)+x'\operatorname {Cos} .(x',z)+y'\operatorname {Cos} .(y',z).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3cdc9d6dd74bfd6fdfd9111b3188b4f14fb0239)
et les trois équations de relation dont il vient d’être question ci-dessus
![{\displaystyle {\begin{aligned}&\operatorname {Cos} .^{2}(x',x)+\operatorname {Cos} .^{2}(x',y)+\operatorname {Cos} .^{2}(x',z)=1,\\&\operatorname {Cos} .^{2}(y',y)+\operatorname {Cos} .^{2}(y',z)+\operatorname {Cos} .^{2}(y',x)=1,\\&\operatorname {Cos} .^{2}(z',z)+\operatorname {Cos} .^{2}(z',x)+\operatorname {Cos} .^{2}(z',y)=1.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0448eb02efa610294d6aec421e00794531ee2d81)
Supposons de nouveau les deux systèmes de coordonnées obliques ; mais admettons que les axes des
soient respectivement perpendiculaires aux plans des
alors les axes des
seront, à l’inverse, respectivement perpendiculaires aux plans des
en introduisant ces conditions dans les équations (21) et (22), en posant, pour abréger,
![{\displaystyle {\begin{array}{lll}\operatorname {Cos} .(y,z)=a,&\operatorname {Cos} (zx,xy)=a',&\operatorname {Cos} (x,yz)=A,\\\operatorname {Cos} .(z,x)=b,&\operatorname {Cos} (xy,yz)=b',&\operatorname {Cos} (y,zx)=B,\\\operatorname {Cos} .(x,y)=c,&\operatorname {Cos} (yz,zx)=c',&\operatorname {Cos} (z,xy)=C.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/345fbdc4e0b913927dcf07ab0fd8061bc9b5c11d)
Ces équations deviendront
![{\displaystyle \left.{\begin{aligned}&Ax=x'+c'y'+b'z',\\&By=y'+a'z'+c'x',\\&Cz=z'+b'x'+a'y'\,;\end{aligned}}\right\}(23)\qquad \left.{\begin{aligned}&Ax'=x+cy+bz,\\&By'=y+az+cx,\\&Cz'=z+bx+ay.\end{aligned}}\right\}(24)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12db9bb57b0c3dfac9e50d71a30c408783149c75)
Si l’on résout les équations (24) par rapport à
en multipliant respectivement les résultats par
et posant, poux abréger,
![{\displaystyle k^{2}=1-a^{2}-b^{2}-c^{2}+2abc,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f12825aae6d2c136e6866aca8988a95c584399ba)
on trouvera
![{\displaystyle {\begin{aligned}&Ax={\frac {1}{k^{2}}}\left\{A^{2}\left(1-a^{2}\right)x'+AB(ab-c)y'+CA(ca-b)z'\right\}\\\\&By={\frac {1}{k^{2}}}\left\{B^{2}\left(1-b^{2}\right)y'+BC(bc-a)z'+AB(ab-c)x'\right\}\\\\&Cz={\frac {1}{k^{2}}}\left\{C^{2}\left(1-c^{2}\right)z'+CA(ca-b)x'+BC(bc-a)y'\right\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f3067ab5e518bc829ab7eef95cb168644c8027f)
comparant ces dernières équations aux équations (23), on aura, à cause de l’identité qui doit évidemment exister entre leurs seconds membres,
![{\displaystyle \left.{\begin{array}{ll}A^{2}\left(1-a^{2}\right)=k^{2},&BC(bc-a)=a'k^{2},\\B^{2}\left(1-b^{2}\right)=k^{2},&CA(ca-b)=b'k^{2},\\C^{2}\left(1-c^{2}\right)=k^{2},&AB(ab-c)=c'k^{2}.\end{array}}\right\}\quad (25)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4464180f804020932247c4e8c01217cf43851797)
Il est manifeste que si l’on eût opéré d’abord sur les équations (23) pour comparer ensuite les résultats aux équations (24) ; en posant, pour abréger,
![{\displaystyle k^{'2}=1-a^{'2}-b^{'2}-c^{'2}+2a'b'c',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb6e5bd4249d06ba1871e663f40368462d1a3b17)
on aurait eu
![{\displaystyle \left.{\begin{array}{ll}A^{2}\left(1-a'^{2}\right)=k'^{2},&\qquad BC(b'c'-a')=ak^{2},\\B^{2}\left(1-b'^{2}\right)=k'^{2},&\qquad CA(c'a'-b')=bk^{2},\\C^{2}\left(1-c'^{2}\right)=k'^{2},&\qquad AB(a'b'-c')=ck^{2}.\end{array}}\right\}\quad (26)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62d0e51c3ee44fa10a83c0c31f18efa801594dab)
Équations dont le système équivaut évidemment à celui des premières.
Les axes des
sont les arêtes d’un angle trièdre dont les angles plans sont
et dont nous désignerons les angles dièdres respectivement opposés par
On peut supposer que les perpendiculaires élevées aux faces de cet angle trièdre, sont tellement dirigées que les angles qu’elles font avec les arêtes opposées n’excèdent pas l’angle droit ; alors les cosinus
de ces angles sont positifs, et les équations de gauche (25) et (26) donnent
![{\displaystyle {\begin{array}{ll}A{\sqrt {1-a^{2}}}=k,&\qquad A{\sqrt {1-a'^{2}}}=k',\\B{\sqrt {1-b^{2}}}=k,&\qquad B{\sqrt {1-b'^{2}}}=k',\\C{\sqrt {1-c^{2}}}=k,&\qquad C{\sqrt {1-c'^{2}}}=k'\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f61d5dc43d950049d13e6a7ad631291174faed4d)
d’où, par division
![{\displaystyle {\frac {k}{k'}}={\frac {\sqrt {1-a^{2}}}{\sqrt {1-a'^{2}}}}={\frac {\sqrt {1-b^{2}}}{\sqrt {1-b'^{2}}}}={\frac {\sqrt {1-c^{2}}}{\sqrt {1-c'^{2}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0287a856f754c6fcc0405e7813976bf467b79c5c)
Si l’on compare les produits deux à deux des trois premières, puis des trois dernières, avec les équations de droite (25) et (26), on aura
![{\displaystyle {\begin{array}{ll}bc-a={\sqrt {1-b^{2}}}.{\sqrt {1-c^{2}}}.a',&\qquad b'c'-a'={\sqrt {1-b'^{2}}}.{\sqrt {1-c'^{2}}}.a,\\ca-b={\sqrt {1-c^{2}}}.{\sqrt {1-a^{2}}}.b',&\qquad c'a'-b'={\sqrt {1-c'^{2}}}.{\sqrt {1-a'^{2}}}.b,\\ab-c={\sqrt {1-a^{2}}}.{\sqrt {1-b^{2}}}.c',&\qquad a'b'-c'={\sqrt {1-a'^{2}}}.{\sqrt {1-b'^{2}}}.c.\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8753ecec3d505c36216cff36e99ff16e113712)
Maintenant, les angles que font entre elles les perpendiculaires aux plans des faces de l’angle trièdre, et dont les cosinus sont
peuvent être égaux aux angles dièdres
ou bien en être les supplémens. La question se décide par l’examen d’un cas particulier. Quand les angles plans
sont droits, ce qui rend
et
nuls, l’angle
ne diffère pas de l’angle dièdre
et l’on a
mais nos formules donnent, en même temps
donc
d’où l’on conclut qu’en général
sont les cosinus des supplémens des angles dièdres
Quant à
ce sont visiblement les sinus des angles que font les arêtes avec les faces opposées, angles que, pour abréger, nous dénoterons simplement par
Désignant en outre, pour abréger,
respectivement, les angles
les formules ci-dessus deviendront
![{\displaystyle {\begin{aligned}&\operatorname {Sin} .x\operatorname {Sin} .\mathrm {X} '=\operatorname {Sin} .y\operatorname {Sin} .\mathrm {Y} '=\operatorname {Sin} .z\operatorname {Sin} .\mathrm {Z} '=k,\\&\operatorname {Sin} .\mathrm {X} \operatorname {Sin} .\mathrm {X} '=\operatorname {Sin} .\mathrm {Y} \operatorname {Sin} .\mathrm {Y} '=\operatorname {Sin} .\mathrm {Z} \operatorname {Sin} .\mathrm {Z} '=k'\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b51031c8773ac14607d9e2b1b693b818d9a147e0)
![{\displaystyle {\frac {\operatorname {Sin} .x}{\operatorname {Sin} .\mathrm {X} }}={\frac {\operatorname {Sin} .y}{\operatorname {Sin} .\mathrm {Y} }}={\frac {\operatorname {Sin} .z}{\operatorname {Sin} .\mathrm {Z} }}={\frac {k}{k'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0c69ac70c437cc74767b0d4d0c55a3f60a280db)
![{\displaystyle \operatorname {Sin} .y\operatorname {Sin} .z\operatorname {Cos} .\mathrm {X} =\operatorname {Cos} .x-\operatorname {Cos} .y\operatorname {Cos} .z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e562ffe8a6af11cd3428d9e9f72b0fa156cecfb)
![{\displaystyle \operatorname {Sin} .\mathrm {Y} \operatorname {Sin} .\mathrm {Z} \operatorname {Cos} .x=\operatorname {Cos} .\mathrm {X} +\operatorname {Cos} .\mathrm {Y} \operatorname {Cos} .\mathrm {Z} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27d83c4cd07c31a9bbead433f703b9e671cfd63a)
![{\displaystyle \operatorname {Sin} .z\operatorname {Sin} .x\operatorname {Cos} .\mathrm {Y} =\operatorname {Cos} .y-\operatorname {Cos} .z\operatorname {Cos} .x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e1851085b574f55f6581b569adeee8ef5bca7ea)
![{\displaystyle \operatorname {Sin} .\mathrm {Z} \operatorname {Sin} .\mathrm {X} \operatorname {Cos} .y=\operatorname {Cos} .\mathrm {Y} +\operatorname {Cos} .\mathrm {Z} \operatorname {Cos} .\mathrm {X} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61ee09f342e1eb890fda17d870be524160eecdd0)
![{\displaystyle \operatorname {Sin} .x\operatorname {Sin} .y\operatorname {Cos} .\mathrm {Z} =\operatorname {Cos} .z-\operatorname {Cos} .x\operatorname {Cos} .y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebc2f235a32581f0953770fd43bca946c69888f1)
![{\displaystyle \operatorname {Sin} .\mathrm {X} \operatorname {Sin} .\mathrm {Y} \operatorname {Cos} .z=\operatorname {Cos} .\mathrm {Z} +\operatorname {Cos} .\mathrm {X} \operatorname {Cos} .\mathrm {Y} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e0b13f47bf222e0571625e6941d8da51bd3013)
Nous retrouvons donc ainsi l’ensemble des formules de la trigonométrie sphérique.
Le volume
du parallélipipède construit sur les grandeurs et directions des coordonnées
est égal à l’aire de la face qui renferme les coordonnées
et
multipliée par la perpendiculaire abaissée sur le plan de cette face de l’extrémité de l’arête
qui lui est opposée. Or, l’aire de cette face est
et la perpendiculaire a pour expression
ou
donc
![{\displaystyle \mathrm {P} =xyz\operatorname {Sin} .(x,y)\operatorname {Sin} .\mathrm {Z} '\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48033224f78654abf51c19e7c02d50cdbaa81432)
mais nous avons trouvé
![{\displaystyle \operatorname {Sin} .(y,z)\operatorname {Sin} .\mathrm {Z} '=k=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a666c1df148a117822661bf1f7a72740f4ddfca7)
![{\displaystyle {\sqrt {1-\operatorname {Cos} .^{2}(x,y)-\operatorname {Cos} .^{2}(y,z)-\operatorname {Cos} .^{2}(z,x)+2\operatorname {Cos} .(x,y)\operatorname {Cos} .(y,z)\operatorname {Cos} .(z,x)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45214b6e8e058782e9b64dc90f30439801dd1cc8)
donc finalement
![{\displaystyle \mathrm {P} =xyz\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2453ced068240f64947c7fae18c25455a19d353)
![{\displaystyle {\sqrt {1-\operatorname {Cos} .^{2}(x,y)-\operatorname {Cos} .^{2}(y,z)-\operatorname {Cos} .^{2}(z,x)+2\operatorname {Cos} .(x,y)\operatorname {Cos} .(y,z)\operatorname {Cos} .(z,x)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365b2a5c6035e987cbd4c48cbf5464e8a3b31fc3)
§. VIII.
La formule (13) va nous conduire à l’équation du plan. En désignant, en effet, par
la perpendiculaire abaissée de l’origine des coordonnées sur un plan donné de position,
représentant un point quelconque de ce plan, et
la distance du même point à l’origine, on aura par l’équation (13)
![{\displaystyle r\operatorname {Cos} .(r,p)=x\operatorname {Cos} .(x,p)+y\operatorname {Cos} .(y,p)+z\operatorname {Cos} .(z,p).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cd3a5ddf76d789c34f76072392b8ac1ce7bcd69)
Or
n’est autre chose que la perpendiculaire
donc
![{\displaystyle x\operatorname {Cos} .(x,p)+y\operatorname {Cos} .(y,p)+z\operatorname {Cos} .(z,p)=p.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde7c11dff8afd49aa33844095b6c06b19a9458f)
(27)
Telle est donc sous une forme très-simple l’équation entre les trois coordonnées de l’un quelconque des points d’un plan donné. On doit remarquer, au surplus, que les trois coefficiens du premier membre sont liés entre eux par l’équation (15) qui, lorsque les axes sont rectangulaires, se réduit à
![{\displaystyle \operatorname {Cos} .^{2}(x,p)+\operatorname {Cos} .^{2}(y,p)+\operatorname {Cos} .^{2}(z,p)=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecc5fb27d6819a7e1e07642a4772be184e530555)
Dans la même hypothèse, si
![{\displaystyle Ax+By+Cz=D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c940d0a3d2ed920101dfe989030b5de8c1461b8)
représente l’équation d’un plan, on aura
![{\displaystyle \operatorname {Cos} .(x,p)={\frac {A}{\sqrt {A^{2}+B^{2}+C^{2}}}},\qquad \operatorname {Cos} .(y,p)={\frac {B}{\sqrt {A^{2}+B^{2}+C^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/079f43c47faae61adb916fe7592763f97eeebf5a)
![{\displaystyle \operatorname {Cos} .(z,p)={\frac {C}{\sqrt {A^{2}+B^{2}+C^{2}}}},\qquad \qquad \qquad p={\frac {D}{\sqrt {A^{2}+B^{2}+C^{2}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b113899f6c5a2ca843c66398c44149bb15a64421)
Soit
un point quelconque de l’espace, et soit
la perpendiculaire abaissée de ce point sur le plan (27) ; si, par le point
on conçoit un plan parallèle à celui-là, son équation sera de la forme
![{\displaystyle x\operatorname {Cos} .(x,p)+y\operatorname {Cos} .(y,p)+z\operatorname {Cos} .(z,p)=p'\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/64181ffe5c85e24cdf88a3b5d8223f279c58571b)
(28)
et conséquemment on devra avoir
![{\displaystyle x'\operatorname {Cos} .(x,p)+y'\operatorname {Cos} .(y,p)+z'\operatorname {Cos} .(z,p)=p\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/665881eed265c67114f832dac68ad4db930bb872)
or, la perpendiculaire
est visiblement égale à la différence des perpendiculaires abaissées de l’origine sur les deux plans parallèles (27) et (28) ; donc suivant que le plan (27) sera ou ne sera pas situé entre l’origine et le point
on aura
![{\displaystyle \pm \mathrm {P} =p'-p=x'\operatorname {Cos} .(x,p)+y'\operatorname {Cos} .(y,p)+z'\operatorname {Cos} .(z,p)-p.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d26519187872a63cbf03f9db9b002ed9a4176c50)
(29)
D’après les formules déterminées xi-dessus, on voit que, si l’équation proposée était de la forme
![{\displaystyle \mathrm {A} x+\mathrm {B} y+\mathrm {C} z=\mathrm {D} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95554796703fef340d941f9ad2117159552d14af)
on aurait alors
![{\displaystyle P=\pm {\frac {\mathrm {A} x'+\mathrm {B} y'+\mathrm {C} z'-\mathrm {D} }{\sqrt {\mathrm {A} ^{2}+\mathrm {B} ^{2}+\mathrm {C} ^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41e9a385373f63854a287946e850f4f73807d72d)
formule connue.
Soit un second plan
![{\displaystyle \mathrm {A} 'x+\mathrm {B} 'y+\mathrm {C} 'z=\mathrm {D} '\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dee9a73baa6abdd0c4ec75038806fee60853dbb5)
l’angle des deux plans sera égal à
étant ici la perpendiculaire abaissée de l’origine sur le second plan ; or, on a (§. VI)
![{\displaystyle \operatorname {Cos} .(p,p')=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b790e518f115c88e88e34f04cca0538dc95745e7)
![{\displaystyle \operatorname {Cos} .(x,p)\operatorname {Cos} .(x,p')+\operatorname {Cos} .(y,p)\operatorname {Cos} .(y,p')+\operatorname {Cos} .(z,p)\operatorname {Cos} .(z,p')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d4ee5d1560b8b2a699483a656825bd4217cc3e0)
donc
![{\displaystyle \operatorname {Cos} .(p,p')={\frac {\mathrm {AA'+BB'+CC} '}{\left(\mathrm {A^{2}+B^{2}+C^{2}} \right)\left(\mathrm {A'^{2}+B'^{2}+C'^{2}} \right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/685f798d6fa55bcc3f4a8466019c6f106d594e08)
formule également connue.
§. IX.
Nous terminerons par la recherche des relations entre les aires des faces d’un polyèdre et les angles dièdres qu’elles déterminant par leur rencontre.
Soient
les aires de ces faces. Rapportons le polyèdre à des axes rectangulaires ayant leur origine dans son intérieur ; et soient ![{\displaystyle p_{1},p_{2},p_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baa74f1b302485d081777988b0eb6579d144c853)
les perpendiculaires abaissées de cette origine sur les plans de ses faces, et allant conséquemment du dedans au dehors. Soient encore ![{\displaystyle \alpha _{1},\beta _{1},\gamma _{1}\,;\alpha _{2},\beta _{2},\gamma _{2}\,;\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a7236375e87312458c863da3f006afbebb8a122)
les angles que font ces mêmes perpendiculaires avec les trois faces.
Si l’on considère un autre point
prisdans l’intérieur du polyèdre, comme le sommet commun d’une suite de pyramides ayant ses faces pour bases, leurs hauteurs seront (29)
![{\displaystyle {\begin{aligned}&p_{1}-x\operatorname {Cos} .\alpha _{1}-y\operatorname {Cos} .\beta _{1}-z\operatorname {Cos} .\gamma _{1},\\&p_{2}-x\operatorname {Cos} .\alpha _{2}-y\operatorname {Cos} .\beta _{2}-z\operatorname {Cos} .\gamma _{2},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&p_{n}-x\operatorname {Cos} .\alpha _{n}-y\operatorname {Cos} .\beta _{n}-z\operatorname {Cos} .\gamma _{n}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1706f9b877496314ed164047bb1bbd521d14a2c)
de sorte qu’en désignant par
le volume de tout le polyèdre, égal à la somme des volumes de ces pyramides, on aura
![{\displaystyle 3\mathrm {P} =\left\{{\begin{aligned}&t_{1}\left(p_{1}-x\operatorname {Cos} .\alpha _{1}-y\operatorname {Cos} .\beta _{1}-z\operatorname {Cos} .\gamma _{1}\right)\\+&t_{2}\left(p_{2}-x\operatorname {Cos} .\alpha _{2}-y\operatorname {Cos} .\beta _{2}-z\operatorname {Cos} .\gamma _{2}\right)\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\+&t_{n}\left(p_{n}-x\operatorname {Cos} .\alpha _{n}-y\operatorname {Cos} .\beta _{n}-z\operatorname {Cos} .\gamma _{n}\right)\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc69bf87d8f17724acc884f56e23d5b0ed898769)
ou bien
![{\displaystyle 3\mathrm {P} =t_{1}p_{1}+t_{2}p_{2}+\ldots t_{n}p_{n}-\left\{{\begin{aligned}&x\left(t_{1}\operatorname {Cos} .\alpha _{1}+t_{2}\operatorname {Cos} .\alpha _{2}+\ldots t_{n}\operatorname {Cos} .\alpha _{n}\right)\\+&y\left(t_{1}\operatorname {Cos} .\beta _{1}+t_{2}\operatorname {Cos} .\beta _{2}+\ldots t_{n}\operatorname {Cos} .\beta _{n}\right)\\+&z\left(t_{1}\operatorname {Cos} .\gamma _{1}+t_{2}\operatorname {Cos} .\gamma _{2}+\ldots t_{n}\operatorname {Cos} .\gamma _{n}\right)\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/425044d0cfaec6c9929d3a0a34bc5e4de6d26f34)
et, comme on a aussi
![{\displaystyle 3\mathrm {P} =t_{1}p_{1}+t_{2}p_{2}+\ldots t_{n}p_{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/152d122feb14eb6df6e7c2f75f98f47d394794c8)
il s’ensuit qu’on doit avoir
![{\displaystyle \left\{{\begin{aligned}&x\left(t_{1}\operatorname {Cos} .\alpha _{1}+t_{2}\operatorname {Cos} .\alpha _{2}+\ldots t_{n}\operatorname {Cos} .\alpha _{n}\right)\\+&y\left(t_{1}\operatorname {Cos} .\beta _{1}+t_{2}\operatorname {Cos} .\beta _{2}+\ldots t_{n}\operatorname {Cos} .\beta _{n}\right)\\+&z\left(t_{1}\operatorname {Cos} .\gamma _{1}+t_{2}\operatorname {Cos} .\gamma _{2}+\ldots t_{n}\operatorname {Cos} .\gamma _{n}\right)\end{aligned}}\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbd1abc85c143c830d5c88bcd89984e5d971437b)
et, comme
sont tout à fait arbitraires et indépendans, cette équation équivaut aux trois suivantes
![{\displaystyle {\begin{aligned}&t_{1}\operatorname {Cos} .\alpha _{1}+t_{2}\operatorname {Cos} .\alpha _{2}+t_{3}\operatorname {Cos} .\alpha _{3}+\ldots t_{n}\operatorname {Cos} .\alpha _{n}=0,\\&t_{1}\operatorname {Cos} .\beta _{1}+t_{2}\operatorname {Cos} .\beta _{2}\,+t_{3}\operatorname {Cos} .\beta _{3}\,+\ldots t_{n}\operatorname {Cos} .\beta _{n}=0,\\&t_{1}\operatorname {Cos} .\gamma _{1}\,+t_{2}\operatorname {Cos} .\gamma _{2}\,+t_{3}\operatorname {Cos} .\gamma _{3}\,+\ldots t_{n}\operatorname {Cos} .\gamma _{n}=0\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83092069049044e8988da63ca711eec82ea34f21)
équations absolument de même forme que les équations (2), relatives aux polygones rectilignes fermés, plans ou gauches, de sorte que toutes les propositions que nous en avons déduites pour ces polygones s’appliquent sans restrictions aucunes, aux polyèdres, pourvu que l’on substitue les aires des faces aux longueurs des côtés et les directions des perpendiculaires à ces faces à celles de ces mêmes côtés ; et c’est assez dire que nous ne devons pas insister davantage sur ce sujet.