§. 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)