# Mémoires extraits des recueils de l’Académie royale de Berlin/Solutions analytiques de quelques Problèmes sur les pyramides triangulaires
### SOLUTIONS ANALYTIQUES DE QUELQUES PROBLÈMES SUR LES PYRAMIDES TRIANGULAIRES.

Les pyramides triangulaires tiennent, par leur simplicité, parmi les corps solides le même rang que les triangles parmi les figures planes ; car de même que toute figure plane rectiligne peut être regardée comme composée de triangles, de même aussi tout corps solide terminé par des plans peut être supposé formé de pyramides triangulaires ; mais si les Géomètres se sont toujours beaucoup occupés de l’étude des triangles et n’ont cessé d’en approfondir les propriétés, ils n’ont fait, ce me semble, qu’effleurer celles des pyramides triangulaires ; et des principaux Problèmes qu’on peut proposer sur ces sortes de solides il n’y en a encore qu’un très-petit nombre qui ait été résolu. Ceux qui vont faire la matière de ce Mémoire concernent la manière de trouver la surface, la solidité, les sphères circonscrites et inscrites, le centre de gravité, etc., de toute pyramide triangulaire dont on connaît les six côtés ; et je me flatte que les solutions que j’en vais donner pourront intéresser les Géomètres tant par la méthode que par les résultats.
Ces solutions sont purement analytiques et peuvent même être entendues sans figures ; j’y emploie des coordonnées rectangles pour déterminer la position des différents points que j’ai à considérer dans la pyramide, et je n’ai pas même besoin de donner aux axes de ces coordonnées une position déterminée ; je suppose seulement qu’ils se coupent au sommet de la pyramide, en sorte que pour ce point les coordonnées soient nulles, ce qui sert à simplifier les formules sans rien ôter à leur généralité. Par ce moyen tout se réduit à une affaire de pur calcul, et il est trèsfacile de déterminer la valeur des lignes qu’on veut connaître, puisqu’il ne faut que prendre la somme des carrés des différences des coordonnées qui répondent aux deux extrémités de chaque ligne proposée. Il ne s’agit plus ensuite que de rendre les résultats indépendants de la position arbitraire des coordonnées, en introduisant à leur place d’autres lignes relatives uniquement à la figure de la pyramide, comme les côtés de la pyramide, les perpendiculaires sur ses faces, etc. ; c’est à quoi je parviens a l’aide de quelques réductions et transformations assez remarquables que j’expose au commencement de ce Mémoire, et qui pourront être aussi du plus grand usage dans beaucoup d’autres cas. Indépendamment de l’utilité directe que ces solutions pourront avoir dans plusieurs occasions, elles serviront principalement à montrer avec combien de facilité et de succès la méthode algébrique peut être employée dans les questions qui paraissent être le plus du ressort de la Géométrie proprement dite, et les moins propres à être traitées par le calcul.
1. Si l’on a neuf quantités quelconques
$x,y,z,x',y',z',x'',y'',z'',$
et qu’on en forme ces neuf autres-ci
${\begin{alignedat}{3}\xi \ \ =&y'z''-z'y'',\qquad &\eta \ \ =&z'x''-x'z'',\qquad &\zeta \ \ =&x'y''-y'x'',\\\xi '\ =&y''z\ -z''y,&\eta '\ =&z''x\ -x''z,&\zeta '\ =&x''y\ -y''x,\\\xi ''=&yz'\ \ -zy',&\eta ''=&zx'\ \ -xz',&\zeta ''=&xy'\ \ -yx',\end{alignedat}}$
je dis qu’en supposant entre les neuf quantités données les six équations suivantes
${\begin{alignedat}{2}x^{2}\ +y^{2}\ +z^{2}\ \ =&a,\qquad &x'x''+y'y''+z'z''=&b,\\x'^{2}\,+y'^{2}\,+z'^{2}\ =&a',&xx''\ +yy''\ +zz''\ =&b',\\x''^{2}+y''^{2}+z''^{2}=&a'',&xx'\,\ +yy'\ \,+zz'\,\ =&b'',\end{alignedat}}$
${\begin{alignedat}{2}\alpha \ \ =&a'a''-b^{2},&\beta \ \ =&b'b''-ab,\\\alpha '\ =&a\ a''-b'^{2},&\beta '\ =&b\ b''-a'b',\\\alpha ''=&a\ a'\ -b''^{2},\qquad &\beta ''=&b\ b'\ -a''b'',\end{alignedat}}$
on aura de même
${\begin{alignedat}{2}\xi ^{2}\ \,+\eta ^{2}\,\ +\zeta ^{2}\ \ =&\alpha ,&\xi '\xi ''+\eta '\eta ''+\zeta '\zeta ''=&\beta ,\\\xi '^{2}\ +\eta '^{2}\,+\zeta '^{2}\ =&\alpha ',&\xi \ \xi ''+\eta \ \eta ''+\zeta \ \zeta ''=&\beta ',\\\xi ''^{2}+\eta ''^{2}+\zeta ''^{2}=&\alpha '',&\qquad \xi \ \xi '\ +\eta \ \eta '\ +\zeta \,\zeta '\ =&\beta ''.\end{alignedat}}$
C’est ce qu’il est aisé de vérifier par la substitution des valeurs de $\xi ,\xi '\ldots ,$$\alpha ,\alpha '\ldots$ en $x,x',\ldots .$
2. Donc, si l’on fait pareillement
${\begin{alignedat}{3}\mathrm {X} \ \ =&\eta '\zeta ''-\zeta '\eta '',\qquad &\mathrm {Y} \ \ =&\zeta '\xi ''-\xi '\zeta '',\qquad &\mathrm {Z} \ \ =&\xi '\eta ''-\eta '\xi '',\\\mathrm {X} '\ =&\eta ''\zeta \,\ -\zeta ''\eta ,&\mathrm {Y} '\ =&\zeta ''\xi \ -\xi ''\zeta ,&\mathrm {Z} '\ =&\xi ''\eta \ -\eta ''\xi ,\\\mathrm {X} ''=&\eta \ \zeta '\ -\zeta \eta ',&\mathrm {Y} ''=&\zeta \ \xi '\ -\xi \zeta ',&\mathrm {Z} ''=&\xi \ \eta '\ -\eta \xi ',\end{alignedat}}$
et ensuite
${\begin{alignedat}{2}\mathrm {A} \ \ =&\alpha '\alpha ''-\beta ^{2},\qquad &\mathrm {B} \ \ =&\beta '\beta ''-\alpha \beta ,\\\mathrm {A} '\ =&\alpha \ \alpha ''-\beta '^{2},&\mathrm {B} '\ =&\beta \ \beta ''-\alpha '\beta ',\\\mathrm {A} ''=&\alpha \ \alpha '\ -\beta ''^{2},&\mathrm {B} ''=&\beta \ \beta '\ -\alpha ''\beta '',\end{alignedat}}$
on aura aussi
${\begin{alignedat}{2}\mathrm {X^{2}\ \,+Y^{2}\ +Z^{2}} \ \ =&\mathrm {A} ,\qquad &\mathrm {X'X''+Y'Y''+Z'Z''} =&\mathrm {B} ,\\\mathrm {X'^{2}\,+Y'^{2}\,+Z'^{2}} \ =&\mathrm {A} ',&\mathrm {X\,X''\ +YY''\ +ZZ''} \ =&\mathrm {B} ',\\\mathrm {X''^{2}+Y''^{2}+Z''^{2}} =&\mathrm {A} '',&\mathrm {X\,X'\,\ +YY'\ \,+ZZ'} \,\ =&\mathrm {B} '',\end{alignedat}}$
3. Or en substituant les valeurs de $\xi ,\xi ',\ldots$ en $x,x',\ldots$ et faisant, pour abréger,
$\Delta =xy'z''+yz'x''+zx'y''-xz'y''-yx'z''-zy'x'',$
on trouve
${\begin{alignedat}{3}\mathrm {X} \ \ =&\delta x,\qquad &\mathrm {Y} \ \ =&\delta y,\qquad &\mathrm {Z} \ \ =&\delta z,\\\mathrm {X} '\ =&\delta x',&\mathrm {Y} '\ =&\delta y',&\mathrm {Z} '\ =&\delta z',\\\mathrm {X} ''=&\delta x'',&\mathrm {Y} ''=&\delta y'',&\mathrm {Z} ''=&\delta z'',\\\end{alignedat}}$
${\begin{alignedat}{2}\mathrm {A} \ \ =&\Delta ^{2}a,&\mathrm {B} \ \ =&\Delta ^{2}b,\\\mathrm {A} '\ =&\Delta ^{2}a',&\mathrm {B} '\ =&\Delta ^{2}b',\\\mathrm {A} ''=&\Delta ^{2}a'',\qquad &\mathrm {B} ''=&\Delta ^{2}b'',\end{alignedat}}$
et de là il est facile de tirer la valeur de $\Delta ^{2}$ en $a,a',a'',b,\ldots \,;$ car on aura d’abord
$\Delta ^{2}={\frac {\mathrm {A} }{a}}={\frac {\alpha '\alpha ''-\beta ^{2}}{a}},$
et, substituant les valeurs de $\alpha ',\alpha '',\beta$ en $a,a',\ldots$ (1),
$\Delta ^{2}=aa'a''+2bb'b''-ab^{2}-a'b'^{2}-a''b''^{2}\,;$
on trouvera la même valeur de $\Delta ^{2}$ par les autres équations. Si l’on remet dans cette équation les quantités $x,y,z,x',\ldots ,$ on aura la même équation identique que nous avons donnée dans le Lemme ci-dessus.
4. Il est bon de remarquer que la valeur de $\Delta ^{2}$ peut aussi se mettre sous cette forme
$\Delta ^{2}={\frac {\alpha a+\alpha 'a'+\alpha ''a''+2\left(\beta b+\beta 'b'+\beta ''b''\right)}{3}}\,;$
or si l’on multiplie cette équation par $\Delta ^{2}$ et qu’on y substitue ensuite $\mathrm {A}$ à la place de $\Delta ^{2}a,$ $\mathrm {A} '$ à la place de $\Delta ^{2}a',$ et ainsi de suite (numéro précédent), on aura
$\Delta ^{4}=\mathrm {\frac {A\alpha +A'\alpha '+A''\alpha ''+2\left(B\beta +B'\beta '+B''\beta ''\right)}{3}} ,$
ou bien en mettant pour $\mathrm {A,A'} ,\ldots$ leurs valeurs en $\alpha ,\alpha ',\ldots$ (2)
$\Delta ^{4}=\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2}\,;$
d’où l’on voit que la quantité $\Delta ^{2}$ et son carré $\Delta ^{4}$ sont des fonctions semblables, l’une de $a,a',a'',b,b',b'',$ l’autre de $\alpha ,\alpha ',\alpha '',\beta ,\beta ',\beta ''.$
5. De plus, comme on a (3)
$xy'z''+yz'x''+zx'y''-xz'y''-yx'z''-zy'x''$
$={\sqrt {aa'a''+2bb'b''-ab^{2}-a'b'^{2}-a''b''^{2}}}=\Delta ,$
et qu’il y a entre les quantités $x,y,z,x',\ldots$ et $a,a',a'',b,\ldots$ les mêmes relations qu’entre les quantités $\xi ,\eta ,\zeta ,\xi ',\ldots$ et $\alpha ,\alpha ',\alpha '',\beta ',\ldots$ (1), on aura donc aussi
$\xi \eta '\zeta ''+\eta \zeta '\xi ''+\zeta \xi '\eta ''-\xi \zeta '\eta ''-\eta \xi '\zeta ''-\zeta \eta '\xi ''$
$={\sqrt {\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2}}}=\Delta ^{2}.$
Donc on aura cette équation identique et très-remarquable
$\xi \eta '\zeta ''+\eta \zeta '\xi ''+\zeta \xi '\eta ''-\xi \zeta '\eta ''-\eta \xi '\zeta ''-\zeta \eta '\xi ''$
$=\left(xy'z''+yz'x''+zx'y''-xz'y''-yx'z''-zy'x''\right)^{2}.$
6. Si les six quantités $\alpha ,\alpha ',\alpha '',\beta ,\beta ',\beta ''$ étaient données et qu’on voulût déterminer par leur moyen les six quantités $a,a',a'',b,b',b'',$ il serait peut-être très-difficile d’en venir à bout à l’aide des six équations du n$^o$ 1 entre ces quantités ; mais on y parviendrait aisément par les formules des numéros suivants.
On formera pour cela les six quantités $\mathrm {A,A',A'',B,B',B''}$ (2) ; ensuite on formera la quantité (4)
$\Delta ^{2}={\sqrt {\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2}}},$
et l’on aura sur-le-champ (3)
${\begin{alignedat}{3}a=&{\frac {\mathrm {A} }{\Delta ^{2}}},&\quad a'=&{\frac {\mathrm {A} '}{\Delta ^{2}}},&\quad a''=&{\frac {\mathrm {A} ''}{\Delta ^{2}}},\\b=&{\frac {\mathrm {B} }{\Delta ^{2}}},&b'=&{\frac {\mathrm {B} '}{\Delta ^{2}}},&b''=&{\frac {\mathrm {B} ''}{\Delta ^{2}}}.\end{alignedat}}$
7. Si l’on multiplie les neuf premières équations du n$^o$ 1 respectivement par $x,x',x'',y,y',y'',z,z',z'',$ et qu’on les ajoute ensemble trois à trois, on trouvera ces neuf-ci, en mettant $\Delta$ à la place de la quantité $xy'z''+yz'x''+\ldots$ (3)
${\begin{alignedat}{3}x\xi +x'\xi '+x''\xi ''=&\Delta ,\quad &y\xi +y'\xi '+y''\xi ''=&0,\quad &z\xi +z'\xi '+z''\xi ''=&0,\\x\eta +x'\eta '+x''\eta ''=&0,&y\eta +y'\eta '+y''\eta ''=&\Delta ,&z\eta +z'\eta '+z''\eta ''=&0,\\x\zeta +x'\zeta '+x''\zeta ''=&0,&y\zeta +y'\zeta '+y''\zeta ''=&0,&z\zeta +z'\zeta '+z''\zeta ''=&\Delta \,;\end{alignedat}}$
et l’on trouvera de même ces neuf autres-ci
${\begin{alignedat}{3}x\xi \ \ +y\eta \ \ +z\zeta \ \ =&\Delta ,\quad &x'\xi \ \ +y'\eta \ \ +z'\zeta \ \ =&0,\quad &x''\xi \ \ +y''\eta \ \ +z''\zeta \ \ =&0,\\x\xi '\ +y\eta '\,+z\zeta '\ =&0,&x'\xi '\ +y'\eta '\,+z'\zeta '\ =&\Delta ,&x''\xi '\ +y''\eta '\,+z''\zeta '\ =&0,\\x\xi ''+y\eta ''+z\zeta ''=&0,&x'\xi ''+y'\eta ''+z'\zeta ''=&0,&x''\xi ''+y''\eta ''+z''\zeta ''=&\Delta .\end{alignedat}}$
8. De plus, si l’on ajoute ensemble trois à trois les neuf premières équations du numéro précédent après les avoir multipliées respectivement par $\xi ,\eta ,\zeta ,$ ensuite par $\xi ',\eta ',\zeta ',$ et enfin par $\xi '',\eta '',\zeta '',$ on aura, en vertu des six dernières équations du n$^o$ 1,
${\begin{array}{lll}\xi \ \ ={\dfrac {\alpha x+\beta ''x'+\beta 'x''}{\Delta }},&\eta \ \ ={\dfrac {\alpha y+\beta ''y'+\beta 'y''}{\Delta }},&\zeta \ \ ={\dfrac {\alpha z+\beta ''z'+\beta 'z''}{\Delta }},\\\xi '\ ={\dfrac {\beta ''x+\alpha 'x'+\beta x''}{\Delta }},&\eta '\ ={\dfrac {\beta ''y+\alpha 'y'+\beta y''}{\Delta }},&\zeta '\ ={\dfrac {\beta ''z+\alpha 'z'+\beta z''}{\Delta }},\\\xi ''={\dfrac {\beta 'x+\beta x'+\alpha ''x''}{\Delta }},&\eta ''={\dfrac {\beta 'y+\beta y'+\alpha ''y''}{\Delta }},&\zeta ''={\dfrac {\beta 'z+\beta z'+\alpha ''z''}{\Delta }}.\end{array}}$
Et, si au lieu de multiplier les mêmes équations par $\xi ,\eta ,\zeta ,\xi ',\ldots ,$ on les multiplie respectivementpar $x,y,z,x',\ldots ,$ et qu’on les ajoute de même trois à trois, on aura ces neuf autres-ci
${\begin{array}{lll}x\ \ ={\dfrac {a\xi +b''\xi '+b'\xi ''}{\Delta }},&y\ \ ={\dfrac {a\eta +b''\eta '+b'\eta ''}{\Delta }},&z\ \ ={\dfrac {a\zeta +b''\zeta '+b'\zeta ''}{\Delta }},\\x'\ ={\dfrac {b''\xi +a'\xi '+b\xi ''}{\Delta }},&y'\ ={\dfrac {b''\eta +a'\eta '+b\eta ''}{\Delta }},&z'\ ={\dfrac {b''\zeta +a'\zeta '+b\zeta ''}{\Delta }},\\x''={\dfrac {b'\xi +b\xi '+a''\xi ''}{\Delta }},&y''={\dfrac {b'\eta +b\eta '+a''\eta ''}{\Delta }},&z''={\dfrac {b'\zeta +b\zeta '+a''\zeta ''}{\Delta }}.\end{array}}$
Ces relations entre les quantités $x,x',x'',y,\ldots$ et leurs correspondantes $\xi ,\xi ',\xi '',\eta ,\ldots$ sont très-remarquableset peuvent être utiles dans différentes occasions.
9. Regardons maintenant les trois quantités $x,y,z$ comme les coordonnées rectangles d’un point $\mathrm {M}$ rapporté à trois axes fixes et perpendiculaires entre eux, et pareillement les quantités $x',y',z'$ comme les coordonnées rectangles d’un autre point $\mathrm {M} '$ rapporté aux mêmes axes, et enfin les quantités $x'',y'',z''$ comme les coordonnées rectangles d’un troisième point $\mathrm {M} ''$ rapporté également à ces mêmes axes ; on aura, en joignant ces trois points par des lignes droites, un triangle $\mathrm {MM'M''}$ dont la figure et la position seront déterminées par les neuf coordonnées $x,y,z,x',\ldots .$ Qu’on mène de plus des trois points $\mathrm {M,M',M''}$ au point d’intersection des trois axes, point que nous désignerons par $\mathrm {L} ,$ trois autres droites, et l’on aura trois autres triangles $\mathrm {MLM',\ M'LM'',\ M''LM}$ qui, avec le triangle précédent $\mathrm {MM'M''} ,$ formeront une pyramide triangulaire dont les quatre angles seront aux points $\mathrm {L,M,M',M''} \,;$ ainsi la forme et la position de cette pyramide seront également déterminées par les mêmes coordonnées $x,x',x'',y,\ldots .$ C’est sur les propriétés de cette pyramide que doivent rouler les recherches qui composent ce Mémoire.
10. Et d’abord il est visible par les formules du n$^o$ 1 que les quantités $a,a',a''$ expriment les carrés des distances des points $\mathrm {M,M',M''}$ au point $\mathrm {L} ,$ et que les quantités
$a+a'-2b'',\quad a+a''-2b',\quad a'+a''-2b$
expriment les carrés des distances entre les points $\mathrm {M}$ et $\mathrm {M} ',$ entre les points $\mathrm {M}$ et $\mathrm {M} '',$ et entre les points $\mathrm {M} '$ et $\mathrm {M} ''\,;$ de sorte que si l’on désigne les carrés de ces distances par $c'',c',c,$ on aura
$b={\frac {a'+a''-c}{2}},\quad b'={\frac {a+a''-c'}{2}},\quad b''={\frac {a+a'-c''}{2}}.$
Ainsi les six côtés de la pyramide dont il s’agit seront
${\sqrt {a}},\quad {\sqrt {a'}},\quad {\sqrt {a''}},\quad {\sqrt {c''}},\quad {\sqrt {c'}},\quad {\sqrt {c}}\,;$
les trois premiers concourent au point $\mathrm {L} ,$ qu’on peut regarder comme le sommet de la pyramide, et les trois derniers en forment la base ; de ma-
${\sqrt {c''}}$
${\sqrt {a}},{\sqrt {a'}},$
${\sqrt {c'}}$
${\sqrt {a}},{\sqrt {a''}},$
${\sqrt {c}}$
${\sqrt {a}},{\sqrt {a''}}\,;$
${\sqrt {a}},{\sqrt {a'}},{\sqrt {c''}}$
$\mathrm {MLM'} \,;$
${\sqrt {a}},{\sqrt {a''}},$
${\sqrt {c'}}$
$\mathrm {MLM''} \,;$
${\sqrt {a'}},{\sqrt {a''}},{\sqrt {c}}$
$\mathrm {M'LM''} ,$
${\sqrt {c}},{\sqrt {c'}},{\sqrt {c''}}$
$\mathrm {MM'M''} .$
11. Si l’on voulait, à la place des côtés $c,c',c''$ de la base, introduire les angles $\gamma ,\gamma ',\gamma ''$ qui leur sont opposés au sommet de la pyramide, il n’y aurait qu’à remarquer que dans le triangle $\mathrm {M'LM''} ,$ dont les côtés sont ${\sqrt {a'}},{\sqrt {a''}},{\sqrt {c}},$ on a
$c=a'+a''-2{\sqrt {a'a''}}\cos \gamma \,;$
donc substituant cette valeur dans l’expression de $b,$ on aura
$b={\sqrt {a'a''}}\cos \gamma \,;$
on trouvera de même les valeurs de $b',b''$ exprimées en $\cos \gamma '$ et $\cos \gamma ''\,;$ et l’on aura de cette manière
$b={\sqrt {a'a''}}\cos \gamma ,\quad b'={\sqrt {aa''}}\cos \gamma ',\quad b''={\sqrt {aa'}}\cos \gamma ''.$
12. On sait que si $f,g,h$ sont les trois côtés d’un triangle rectiligne, son aire est exprimée par la formule
${\frac {1}{4}}{\sqrt {2f^{2}g^{2}+2f^{2}h^{2}+2g^{2}h^{2}-f^{4}-g^{4}-h^{4}}}={\frac {1}{4}}{\sqrt {4f^{2}g^{2}-\left(f^{2}+g^{2}-h^{2}\right)^{2}}}.$
Ainsi pour le triangle $\mathrm {MLM'} ,$ dont les côtés sont ${\sqrt {a}},{\sqrt {a'}},{\sqrt {c''}},$ on aura l’aire
${\frac {1}{2}}{\sqrt {aa'-b''^{2}}}={\frac {\sqrt {\alpha ''}}{2}}.$
Pour le triangle $\mathrm {MLM''} ,$ dont les côtés sont ${\sqrt {a}},{\sqrt {a''}},{\sqrt {c'}},$ on aura l’aire
${\frac {1}{2}}{\sqrt {aa''-b'^{2}}}={\frac {\sqrt {\alpha '}}{2}}\,;$
$\mathrm {M'LM''} ,$
${\sqrt {a'}},{\sqrt {a''}},{\sqrt {c}},$
${\frac {1}{2}}{\sqrt {a'a''-b^{2}}}={\frac {\sqrt {\alpha }}{2}}.$
Reste encore à considérer le triangle $\mathrm {MM'M''} ,$ dont les côtés sont ${\sqrt {c}},$${\sqrt {c'}},{\sqrt {c''}}\,;$ nommant $\mathrm {E}$ l’aire de ce triangle, on aura par la formule ci-dessus
$16\mathrm {E} ^{2}=4cc'-(c+c'-c'')^{2}\,;$
mettons pour $c,c',c''$ leurs valeurs
$a'+a''-2b,\quad a+a''-2b',\quad a+a'-2b'',$
on aura
${\begin{aligned}4\mathrm {E} ^{2}=&(a'+a''-2b)(a+a''-2b')-(a''-b-b'+b'')^{2}\\=&aa'+aa''+a'a''-2ab-2a'b'-2a''b''+2bb'+2bb''+2b'b''\\&\qquad -b^{2}-b'^{2}-b''^{2}\\=&\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''\,;\end{aligned}}$
donc
$\mathrm {E} ={\frac {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}{2}}.$
Ainsi les aires des quatre faces de la pyramide s’expriment d’une manière fort simple par les quantités $\alpha ,\alpha ',\alpha '',\beta ,\beta ',\beta '',$ (1) ; on a pour celles des trois faces latérales les quantités
${\frac {\sqrt {\alpha ''}}{2}},\quad {\frac {\sqrt {\alpha '}}{2}},\quad {\frac {\sqrt {\alpha }}{2}},$
et pour l’aire de la base la quantité
${\frac {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}{2}}.$
13. Voyons maintenant comment doit être exprimée la solidité de la pyramide. On sait que toute pyramide est égale au tiers du produit de sa base par sa hauteur ; or nous avons déjà trouvé la valeur de la base $\mathrm {E} \,;$ ainsi, nommant $h$ la hauteur de notre pyramide, c’est-à-dire la valeur de la perpendiculaire menée du sommet $\mathrm {L}$ sur le plan du triangle opposé $\mathrm {MM'M''} ,$ on aura ${\frac {\mathrm {E} h}{3}}$ pour la solidité cherchée ; mais la difficulté consiste à trouver la quantité $h.$ Soient $s,t,u$ les trois coordonnées rectangles qui déterminent la position d’un point quelconque $\mathrm {N}$ du plan dont nous venons de parler, on aura, comme on sait, l’équation
$u=l+ms+nt,$
les quantités $l,m,n$ étant des constantes qui dépendent de la position du plan ; et comme ce plan est supposé passer par les trois points $\mathrm {M,M',M''} ,$ pour lesquels les coordonnées sont (9)
$x,\ \ y,\ \ z,\ \ x',\ \ y',\ \ z',\ \ x'',\ \ y'',\ \ z'',$
on aura, en substituant successivement ces valeurs à la place de $s,t,u,$ les équations suivantes
${\begin{aligned}z\ \ =&l+mx\,\ +ny,\\z'\ =&l+mx'\,+ny',\\z''=&l+mx''+ny'',\end{aligned}}$
par lesquelles on pourra déterminer les trois constantes $l,m,n.$
Retranchant d’abord ces équations l’une de l’autre, on a ces deux-ci
${\begin{aligned}z'\ -z=&m(x'\,-x)+n(y'\ -y),\\z''-z=&m(x''-x)+n(y''-y),\end{aligned}}$
d’où l’on tire sur-le-champ
${\begin{aligned}m=&{\frac {(z'-z)(y''-y)-(z''-z)(y'-y)}{(x'-x)(y''-y)-(x''-x)(y'-y)}},\\n=&{\frac {(z'-z)(x''-x)-(z''-z)(x'-x)}{(x''-x)(y'-y)-(x'-x)(y''-y)}},\end{aligned}}$
c’est-à-dire en développant les termes et substituant les quantités $\xi ,\xi ',\ldots$ du n$^o$ 1,
$m=-{\frac {\xi +\xi '+\xi ''}{\zeta +\zeta '+\zeta ''}},\quad n=-{\frac {\eta +\eta '+\eta ''}{\zeta +\zeta '+\zeta ''}}.$
$l=z-mn-ny={\frac {z(\zeta +\zeta '+\zeta '')+x(\xi +\xi '+\xi '')+y(\eta +\eta '+\eta '')}{\zeta +\zeta '+\zeta ''}},$
ce qui, en vertu des équations du n$^o$ 7, se réduit à cette expression fort simple
$l={\frac {\Delta }{\zeta +\zeta '+\zeta ''}}.$
On a donc ainsi l’équation du plan de la base de la pyramide ; nous l’avons cherchée d’autant plus volontiers qu’elle nous sera fort utile encore dans la suite.
14. Or la ligne menée du sommet $\mathrm {L}$ à un point quelconque $\mathrm {N}$ de ce plan, c’est-à-dire la distance des points $\mathrm {L}$ et $\mathrm {N} ,$ est exprimée par
${\sqrt {s^{2}+t^{2}+u^{2}}},$
et il est clair que la plus courte de toutes ces lignes sera la quantité cherchée $h\,;$ ainsi il n’y aura qu’à faire égale à zéro la différentielle de ${\sqrt {s^{2}+t^{2}+u^{2}}},$ ce qui donne
$sds+tdt+udu=0\,;$
mais l’équation
$u=l+ms+nt$
donne
$du=mds+ndt\,;$
donc substituant cette valeur et égalant séparément à zéro les coefficients de $ds$ et de $dt,$ on aura
$s+mu=0,\quad t+nu=0,$
donc
$s=-mu,\quad t=-nu\,;$
ce qui, étant substitué dans l’équation
$u=l+ms+nt$
donne
$u=l-m^{2}u-n^{2}u,$
$u={\frac {l}{1+m^{2}+n^{2}}},\quad t=-{\frac {nl}{1+m^{2}+n^{2}}},\quad s=-{\frac {ml}{1+m^{2}+n^{2}}},$
et, substituant ces valeurs dans l’expression ${\sqrt {s^{2}+t^{2}+u^{2}}},$ on aura la valeur cherchée de $h,$ qui sera donc
${\frac {l}{\sqrt {1+m^{2}+n^{2}}}}.$
Substituons à présent à la place de $l,m,n$ leurs valeurs trouvées ci-dessus, on aura
$h={\frac {\Delta }{\sqrt {(\xi +\xi '+\xi '')^{2}+(\eta +\eta '+\eta '')^{2}+(\zeta +\zeta '+\zeta '')^{2}}}},$
c’est-à-dire, en développant les termes qui sont sous le signe et faisant les substitutions du n$^o$ 1,
$h={\frac {\Delta }{\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}}.$
Mais on a trouvé (12)
$\mathrm {E} ={\frac {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}{2}}\,;$
donc on aura pour la solidité ${\frac {\mathrm {E} h}{3}}$ de notre pyramide la quantité ${\frac {\Delta }{6}}.$ C’est ce que nous avons déjà démontré d’une autre manière ci-dessus, où nous avons nommé la même quantité que nous désignons ici par $\Delta$.
15. Il est bien remarquable que la quantité $\Delta$ exprime la solidité de la pyramide prise six fois ; si donc on veut exprimer cette solidité par les six côtés ${\sqrt {a}},{\sqrt {a'}},{\sqrt {a''}},{\sqrt {c}},{\sqrt {c'}},{\sqrt {c''}},$ il n’y aura qu’à mettre dans la valeur de $\Delta ,$ à la place de $b,b',b'',$ les expressions du n$^o$ 10 ; mais il sera plus simple de conserver les quantités mêmes $b,b',b'',$ et l’on aura (3) la solidité cherchée égale à
${\frac {\sqrt {aa'a''+2bb'b''-ab^{2}-a'b'^{2}-a''b''^{2}}}{6}}.$
$\alpha ,\alpha ',\ldots ,$
${\frac {\sqrt[{4}]{\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2}}}{6}}.$
16. Comme il faut six éléments pour la détermination d’une pyramide triangulaire, il est clair que si l’on ne connaissait que la valeur de l’aire de chacune de ses quatre faces, avec celle de sa solidité, on n’aurait que cinq équations, et que par conséquent le Problème de trouver la pyramide qui satisferait à ces données serait indéterminé. En effet les aires des trois faces latérales donneraient les valeurs des trois quantités $\alpha ,\alpha ',\alpha '',$ et celle de la base donnerait la valeur de $\beta +\beta '+\beta ''$ (12) ; ensuite la considération de la solidité donnerait (numéro précédent) la valeur de la quantité
$\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2},$
de sorte qu’on n’aurait que deux équations entre les trois inconnues $\beta ,\beta ',\beta ''.$ On pourrait donc prendre une de ces inconnues à volonté, et alors la solution du Problème se trouverait réduite à la résolution d’une équation du second degré.
17. Mais s’il n’y avait de donné que les quatre faces de la pyramide, et qu’il s’agît de trouver les dimensions de la pyramide dont la solidité serait la plus grande, on pourrait résoudre cette question par nos formules avec beaucoup de facilité.
Car il est d’abord clair que les trois quantités $\alpha ,\alpha ',\alpha ''$ seraient données ainsi que la quantité $\beta +\beta '+\beta ''\,;$ ainsi il ne faudrait que rendre un maximum la quantité
$\alpha \alpha '\alpha ''+2\beta \beta '\beta ''-\alpha \beta ^{2}-\alpha '\beta '^{2}-\alpha ''\beta ''^{2},$
en y regardant $\alpha ,\alpha ',\alpha ''$ comme constantes, et $\beta ,\beta ',\beta ''$ comme variables,
$(\beta '\beta ''-\alpha \beta )d\beta +(\beta \beta ''-\alpha '\beta ')d\beta '+(\beta \beta '-\alpha ''\beta '')d\beta ''=0,$
$d\beta +d\beta '+d\beta ''=0,$
d’où chassant $d\beta '',$ et égalant à zéro les coefficients de $d\beta$ et $d\beta ',$ on tire ces deux équations de condition
$\beta '\beta ''-\alpha \beta =\beta \beta ''-\alpha '\beta '=\beta \beta '-\alpha ''\beta '',$
qui renferment la solution du Problème. Ces deux équations se réduisent par les formules du n$^o$ 2 à
$\mathrm {B=B'=B''} ,$
et par celles du n$^o$ 3 à
$b=b'=b''\,;$
d’où l’on voit que les trois quantités $b,b',b''$ doivent être égales entre elles. Ainsi, comme les quantités $\alpha ,\alpha ',\alpha ''$ sont supposées données ainsi que la somme $\beta +\beta '+\beta '',$ on aura ces quatre équations
$a'a''-b^{2}=\alpha ,\quad aa''-b^{2}=\alpha ',\quad aa'-b^{2}=\alpha '',$
$3b^{2}-(a+a'+a'')b=\beta +\beta '+\beta '',$
d’où il faudra tirer $a,a',a''$ et $b.$
Si l’on fàit pour plus de simplicité
$\beta +\beta '+\beta ''=\varepsilon ,$
on a, en divisant la dernière équation par $b,$
$a+a'+a''=3b-{\frac {\varepsilon }{b}},$
et prenant les carrés
$a^{2}+a'^{2}+a''^{2}+2(aa'+aa''+a'a'')=9b^{2}-6\varepsilon +{\frac {\varepsilon ^{2}}{b^{2}}}\,;$
or les trois premières équations donnent
$aa'=\alpha ''+b^{2},\quad aa''=\alpha '+b^{2},\quad a'a''=\alpha +b^{2},$
${\begin{aligned}a^{2}\ \ =&{\frac {\left(\alpha '+b^{2}\right)\left(\alpha ''+b^{2}\right)}{\alpha +b^{2}}},\\a'^{2}\ =&{\frac {\left(\alpha \ +b^{2}\right)\left(\alpha ''+b^{2}\right)}{\alpha '+b^{2}}},\\a''^{2}=&{\frac {\left(\alpha \ +b^{2}\right)\left(\alpha '+b^{2}\right)}{\alpha ''\ +b^{2}}}.\end{aligned}}$
Donc substituant ces valeurs et faisant pour simplifier encore
$2(\alpha +\alpha '+\alpha '')+6\varepsilon =\delta \quad {\text{et}}\quad b^{2}=u,$
on aura, après avoir ôté les fractions,
${\begin{aligned}u(\alpha '+u)^{2}(\alpha ''+u)^{2}&+u(\alpha +u)^{2}(\alpha ''+u)^{2}+u(\alpha +u)^{2}(\alpha '+u)^{2}\\&-\left(3u^{2}-\delta u+\varepsilon ^{2}\right)(\alpha +u)(\alpha '+u)(\alpha ''+u)=0,\end{aligned}}$
équation qui, étant développée, ne montera qu’au quatrième degré par la destruction des termes qui contiendraient $u^{5}\,;$ et l’on trouvera que le premier terme de cette équation sera
$(\alpha +\alpha '+\alpha ''+\delta )u^{4},$
c’est-à-dire (en remettant la valeur de $\delta$ et de $\varepsilon$)
$3(\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta '')u^{4},$
et que le dernier sera $-\varepsilon ^{2}\alpha \alpha '\alpha ''\,;$ de sorte que comme les quantités $\alpha ,\alpha ',\alpha ''$ sont nécessairement positives (12) ainsi que la quantité
$\alpha +\alpha '+\alpha ''+2(\beta +\beta '+\beta ''),$
ces deux termes seront de signes différents ; par conséquent l’équation aura toujours au moins une racine réelle et positive.
Ayant trouvé une valeur positive de $u,$ on aura $b={\sqrt {u}},$ et de là on aura $a,a',a''$ par les formules ci-dessus ; ainsi l’on connaîtra les six côtés de la pyramide, à cause de $b'=b''=b.$
18. Considérons un autre point $\mathrm {P}$ placé où l’on voudra, au dedans ou au dehors de la pyramide, pour lequel les coordonnées rectangles soient $p,q,r,$ et supposons que le carré de la distance de ce point au sommet $\mathrm {L}$ de la pyramide soit $f,$ que les carrés des distances du même point aux points $\mathrm {M,M',M''}$ de la base de la pyramide soient $g,g',g''\,;$ il est facile de concevoir qu’on aura
${\begin{aligned}&p^{2}+q^{2}+r^{2}=f,\\&(p-x\ \ )^{2}+(q-y\ \ )^{2}+(r-z\ \,)^{2}=g,\\&(p-x'\ )^{2}+(q-y'\,)^{2}+(r-z'\,)^{2}=g',\\&(p-x'')^{2}+(q-y'')^{2}+(r-z'')^{2}=g'',\end{aligned}}$
d’où, en faisant, pour abréger,
$k={\frac {a+f-g}{2}},\quad k'={\frac {a'+f-g'}{2}},\quad k''={\frac {a''+f-g''}{2}},$
on tire (1) ces trois équations
${\begin{aligned}&px\ \,+qy\ \,+rz\ \,=k,\\&px'\,+qy'\,+rz'\,=k',\\&px''+qy''+rz''=k'',\end{aligned}}$
par lesquelles on pourra déterminer les valeurs des coordonnées $p,q,r\,;$ et l’on trouvera par les règles connues de l’élimination, en mettant les quantités $\xi ,\xi ',\ldots$ à la place de $y'z''-z'y'',\ zy''-yz'',\ldots$ (1) et la quantité $\Delta$ à la place de $xy'z''+yz'x''+\ldots$ (3),
${\begin{aligned}p=&{\frac {k\xi +k'\xi '+k''\xi ''}{\Delta }},\\q=&{\frac {k\eta +k'\eta '+k''\eta ''}{\Delta }},\\r=&{\frac {k\zeta +k'\zeta '+k''\zeta ''}{\Delta }}.\end{aligned}}$
19. Or il faut que ces valeurs de $p,q,r$ satisfassent à la première équation
$p^{2}+q^{2}+r^{2}=f\,;$
$\Delta ^{2},$
$\Delta ^{2}f=\alpha k^{2}+\alpha 'k'^{2}+\alpha ''k''^{2}+2\left(\beta kk'+\beta 'kk''+\beta k'k''\right),$
équation qui servira à déterminer, si l’on veut, la quantité $f$ par les quantités $g,g',g'',a,a',a'',b,b',b''.$
Ainsi l’on pourra par le moyen de cette équation résoudre le Problème suivant, qui paraît d’ailleurs assez difficile.
20. Étant donné un solide formé par deux pyramides triangulaires adossées l’une contre l’autre par leurs bases supposées égales ; trouver la valeur de la diagonale, c’est-à-dire de la ligne droite qui joindrait les sommets opposés des deux pyramides, en supposant qu’on connaisse les neuf côtés de ce solide.
Il est visible que si l’on imagine que le point $\mathrm {P}$ soit le sommet de la seconde pyramide, dont la base soit le même triangle $\mathrm {MM'M''}$ qui sert de base à la première pyramide, on aura $f$ pour le carré de la diagonale cherchée, et $a,a',a'',c,c',c'',g,g',g''$ pour les carrés des neuf côtés donnés des deux pyramides ; ainsi il n’y aura qu’à mettre dans l’équation du numéro précédent à la place de $k,k',k''$ leurs valeurs, et l’on aura
${\begin{aligned}4\Delta ^{2}f=&\alpha (a+f-g)^{2}\alpha '(a'+f-g')^{2}\alpha ''(a''+f-g'')^{2}\\&+2\beta ''(a+f-g)(a'+f-g')+2\beta '(a+f-g)(a''+f-g'')\\&+2\beta (a'+f-g')(a''+f-g'').\end{aligned}}$
Cette équation étant ordonnée par rapport à $f$ montera au second degré et aura par conséquent deux racines qui seront nécessairement toutes deux réelles ; en effet il est visible que le Problème ad met deux solutions, parce que l’on peut concevoir que les deux pyramides qui ont leur base commune soient, ou des deux côtés opposés de cette base, ou bien du même côté ; la plus grande des deux valeurs de $f$ appartiendra au premier cas, et la moindre au second.
21. Supposons maintenant que le point $\mathrm {P}$ soit pris en sorte qu’il soit également distant des quatre angles $\mathrm {L,M,M',M''}$ de la pyramide du n$^o$ 9 ; il est clair que ce point deviendra le centre de la sphère qui serait circonscrite à cette pyramide. On aura donc dans ce cas
$f=g=g'=g'',$
et l’équation du numéro précédent deviendra
$4\Delta ^{2}f=\alpha a^{2}+\alpha 'a'^{2}+\alpha ''a''^{2}+2\left(\beta ''aa'+\beta 'aa''+\beta a'a''\right),$
d’où l’on tire
$f={\frac {\alpha a^{2}+\alpha 'a'^{2}+\alpha ''a''^{2}+2\left(\beta ''aa'+\beta 'aa''+\beta a'a''\right)}{4\Delta ^{2}}}\,;$
et cette quantité $f$ sera le carré du rayon de la sphère circonscrite à la pyramide.
Quant à la position du centre de cette sphère, elle sera déterminée par les coordonnées $p,q,r,$ lesquelles, à cause de
$k={\frac {a}{2}},\quad k'={\frac {a'}{2}},\quad k''={\frac {a''}{2}},$
auront les valeurs suivantes (18)
${\begin{aligned}p=&{\frac {a\xi +a'\xi '+a''\xi ''}{2\Delta }},\\q=&{\frac {a\eta +a'\eta '+a''\eta ''}{2\Delta }},\\r=&{\frac {a\zeta +a'\zeta '+a''\zeta ''}{2\Delta }},\end{aligned}}$
ou bien en substituant pour $\xi ,\xi ',\xi '',\eta ,\ldots$ leurs valeurs en $x,x',\ldots$ (8),
${\begin{aligned}p=&{\frac {(a\alpha +a'\beta ''+a''\beta ')x+(a\beta ''+a'\alpha '+a''\beta )x'+(a\beta '+a'\beta +a''\alpha '')x''}{2\Delta ^{2}}},\\q=&{\frac {(a\alpha +a'\beta ''+a''\beta ')y+(a\beta ''+a'\alpha '+a''\beta )y'+(a\beta '+a'\beta +a''\alpha '')y''}{2\Delta ^{2}}},\\r=&{\frac {(a\alpha +a'\beta ''+a''\beta ')z+(a\beta ''+a'\alpha '+a''\beta )z'+(a\beta '+a'\beta +a''\alpha '')z''}{2\Delta ^{2}}}.\end{aligned}}$
22. Considérons encore le même point $\mathrm {P}$ déterminé par les coordonnées $p,q,r$ du n$^o$ 18, sans supposer que ce point soit le centre de la sphère circonscrite, et voyons comment on peut déterminer la distance de ce point à la base $\mathrm {MM'M''}$ de la pyramide, c’est-à-dire la ligne perpendiculaire menée du même point sur le plan de cette base.
Pour cela on suivra une méthode analogue à celle du n$^o$ 14, en remarquant seulement que la distance du point $\mathrm {P}$ au point quelconque $\mathrm {N}$ du plan $\mathrm {MM'M''}$ sera exprimée par
${\sqrt {(s-p)^{2}+(t-q)^{2}+(u-r)^{2}}},$
de sorte qu’on aura, en égalant la différentielle de cette quantité à zéro, l’équation
$(s-p)ds+(t-q)dt+(u-r)du=0,$
laquelle, en substituant pour $du$ sa valeur $mds+ndt$ (numéro cité) et faisant séparément égaux à zéro les coefficients de $ds$ et de $dt,$ donnera ces deux-ci
$s-p+m(u-r)=0,\quad t-q+n(u-r)=0\,;$
d’où
$s=p+mr-mu,\quad t=q+nr-nu,$
ce qui étant substitué dans l’équation
$u=l+ms+nt,$
on aura
$u=l+mp+m^{2}r-m^{2}u+nq+n^{2}r-n^{2}u,$
et de là
$u={\frac {l+mp+nq+\left(m^{2}+n^{2}\right)r}{1+m^{2}+n^{2}}}\,;$
donc
$u-r={\frac {l+mp+nq-r}{1+m^{2}+n^{2}}}\,;$
mais en substituant, dans la quantité
${\sqrt {(s-p)^{2}+(t-q)^{2}+(u-r)^{2}}},$
pour $s-p$ et $t-q,$ leurs valeurs ci-dessus $-m(u-r),\ -n(u-r),$
$(u-r){\sqrt {1+m^{2}+n^{2}}}\,;$
et mettant encore pour $u-r$ la valeur qu’on vient de trouver, elle se changera en celle-ci
${\frac {l+mp+nq-r}{\sqrt {1+m^{2}+n^{2}}}}.$
Substituant enfin à la place des quantités $l,m,n$ leurs valeurs du n$^o$ 13, on aura la quantité
${\frac {\Delta -(\xi +\xi '+\xi '')p-(\eta +\eta '+\eta '')q-(\zeta +\zeta '+\zeta '')r}{\sqrt {(\xi +\xi '+\xi '')^{2}+(\eta +\eta '+\eta '')^{2}+(\zeta +\zeta '+\zeta '')^{2}}}},$
ou bien, par les formules du n$^o$ 1,
${\frac {\Delta -(\xi +\xi '+\xi '')p-(\eta +\eta '+\eta '')q-(\zeta +\zeta '+\zeta '')r}{\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}},$
qui sera donc la valeur de la perpendiculaire menée du point $\mathrm {P}$ sur la base $\mathrm {MM'M''}$ de la pyramide.
23. On peut déduire de cette même formule la valeur des trois autres perpendiculaires qu’on pourrait mener du même point $\mathrm {P}$ sur les trois faces latérales $\mathrm {MLM',MLM'',M'LM''}$ de la pyramide. Pour cela il suffit de considérer qu’en faisant coïncider successivement les points $\mathrm {M'',M',M}$ avec le point $\mathrm {L} ,$ le triangle $\mathrm {MM'M''}$ prendra successivement la place des triangles $\mathrm {MLM',MLM'',M'LM''} \,;$ or il est clair que cela n’exige autre chose que de faire évanouir les coordonnées $x'',y'',z'',$ ou $x',y',z',$ ou $x,y,z\,;$ ainsi il n’y aura qu’à faire pour le premier cas $\xi ,\xi ',\eta ,\eta ',\zeta ,\zeta '$ nulles et par conséquent aussi $\alpha ,\alpha ',\beta ,\beta ',\beta ''$ et $\Delta$ égales à zéro, pour le second cas, $\xi ,\xi '',\eta ,\eta '',\zeta ,\zeta ''$ nulles et par conséquent $\alpha ,\alpha '',\beta ,\beta ',\beta ''$ et $\Delta$ égales à zéro, pour le troisième cas $\xi ',\xi '',\eta ',\eta '',\zeta ',\zeta ''$ et par conséquent $\alpha ',\alpha '',\beta ,\beta ',\beta ''$ et $\Delta$ égales à zéro (1 et 4) ; mais il faut observer que tandis que le triangle $\mathrm {MM'M''}$ prend la place des triangles $\mathrm {MLM',MLM'',M'LM''} ,$ le point $\mathrm {P}$ supposé au dedans de la pyramide traverse le plan de ce triangle et passe de l’autre côté de ce plan, ce qui doit faire changer de signe à l’expression de la perpendiculaire menée du point $\mathrm {P}$ sur ce même plan ; donc les trois perpendiculaires menées de ce point $\mathrm {P}$ sur les trois faces latérales $\mathrm {MLM',MLM'',M'LM''}$ seront exprimées par les quantités suivantes
${\begin{aligned}&{\frac {\xi ''p+\eta ''q+\zeta ''r}{\sqrt {\alpha ''}}},\\&{\frac {\xi '\ p+\eta '\ q+\zeta '\ r}{\sqrt {\alpha '}}},\\&{\frac {\xi \ \ p+\eta \ \ q+\zeta \ \ r}{\sqrt {\alpha }}}.\end{aligned}}$
24. Désignons par $\varpi$ la perpendiculaire menée du point $\mathrm {P} ,$ dont les coordonnées sont $p,q,r,$ sur la base $\mathrm {MM'M''}$ de la pyramide, et par $\rho ,\rho ',\rho ''$ les perpendiculaires menées du même point $\mathrm {P}$ sur les faces latérales $\mathrm {M'LM''} ,$$\mathrm {MLM'',MLM'} \,;$ on aura par les deux numéros précédents les équations
${\frac {\Delta -(\xi +\xi '+\xi '')p-(\eta +\eta '+\eta '')q-(\zeta +\zeta '+\zeta '')r}{\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}}=\varpi ,$
${\begin{aligned}&{\frac {\xi \ \,p+\eta \ \,q+\zeta \ \,r}{\sqrt {\alpha }}}=wr,\\&{\frac {\xi '\ p+\eta '\ q+\zeta '\ r}{\sqrt {\alpha '}}}=wr',\\&{\frac {\xi ''p+\eta ''q+\zeta ''r}{\sqrt {\alpha ''}}}=wr'',\end{aligned}}$
lesquelles donnent d’abord celle-ci
$\Delta =\varpi {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}+\rho {\sqrt {\alpha }}+\rho '{\sqrt {\alpha '}}+\rho ''{\sqrt {\alpha ''}},$
qu’on aurait pu trouver immédiatementpar cette considération que, si du point $\mathrm {P}$ on mène aux quatre coins $\mathrm {L,M,M',M''}$ de la pyramide des droites, elles formeront quatre nouvelles pyramides, ayant toutes leurs sommets au point $\mathrm {P} ,$ et ayant pour bases les quatre faces de la pyramide donnée, en sorte que celle-ci se trouvera par là partagée en quatre autres pyramides et par conséquent sa solidité sera égale à la somme des solidités des pyramides partielles qui la composent. Or les aires des faces de la
${\frac {\sqrt {\alpha }}{2}},\quad {\frac {\sqrt {\alpha '}}{2}},\quad {\frac {\sqrt {\alpha ''}}{2}},\quad {\frac {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}{2}}\,;$
donc, multipliant ces aires par le tiers des perpendiculaires $\rho ,\rho ',\rho ''$ et $\varpi ,$ abaissées du point $\mathrm {P}$ sur ces mêmes faces, on aura les quantités
${\frac {\rho {\sqrt {\alpha }}}{6}},\quad {\frac {\rho '{\sqrt {\alpha '}}}{6}},\quad {\frac {\rho ''{\sqrt {\alpha ''}}}{6}},\quad {\frac {\varpi {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}}{6}},$
qui exprimeront les solidités des quatre pyramides partielles qui ont le point $\mathrm {P}$ pour sommet commun et les triangles $\mathrm {M'LM'',MLM'',MLM',MM'M} ,$ pour bases ; mais la somme de ces solidités doit être égale à la solidité totale de la pyramide donnée, laquelle étant exprimée (14) par ${\frac {\Delta }{6}},$ on aura par conséquent l’équation ci-dessus ; ce qui pourrait servir, s’il était nécessaire, à prouver la bonté de nos calculs.
25. Si les trois perpendiculaires $\rho ,\rho ',\rho ''$ étaient supposées données et qu’on voulût connaître la position du point $\mathrm {P}$ d’où elles sont menées, il n’y aurait qu’à tirer les valeurs des coordonnées $p,q,r$ de ces trois équations
${\begin{aligned}\xi \ \ p+\eta \ \ q+\zeta \ \ r=&\rho \ \ {\sqrt {\alpha }},\\\xi '\ p+\eta '\ q+\zeta '\ r=&\rho '\ {\sqrt {\alpha '}},\\\xi ''p+\eta ''q+\zeta ''r=&\rho ''{\sqrt {\alpha ''}},\end{aligned}}$
et l’on trouvera pour $p,q,r$ des expressions analogues à celles du n$^o$ 18 en y changeants $k,k',k''$ en $\rho {\sqrt {\alpha }},\rho '{\sqrt {\alpha '}},\rho ''{\sqrt {\alpha ''}}$ et $x,y,z,x',y',\ldots$ en $\xi ,\eta ,\zeta ,$$\xi ',\eta ',\ldots ,$ ce qui change ces dernières en $\mathrm {X,Y,Z,X',Y'} ,\ldots$ (1 et 2), c’est-à-dire en $\Delta x,\Delta y,\Delta z,\Delta x',\Delta y',\ldots$ (3), et la quantité $\Delta$ en $\Delta ^{2}$ (5).
De sorte qu’on aura
${\begin{aligned}p=&{\frac {\rho {\sqrt {\alpha }}x+\rho '{\sqrt {\alpha '}}x'+\rho ''{\sqrt {\alpha ''}}x''}{\Delta }},\\q=&{\frac {\rho {\sqrt {\alpha }}y+\rho '{\sqrt {\alpha '}}y'+\rho ''{\sqrt {\alpha ''}}y''}{\Delta }},\\r=&{\frac {\rho {\sqrt {\alpha }}z+\rho '{\sqrt {\alpha '}}z'+\rho ''{\sqrt {\alpha ''}}z''}{\Delta }}.\end{aligned}}$
26. Par là on pourra connaître si l’on veut les distances de ce même point $\mathrm {P}$ aux angles $\mathrm {L,M,M',M''}$ de la pyramide donnée ; car conservant les mêmes dénominations du n$^o$ 18, on aura par la substitution des valeurs précédentes de $p,q,r,$ et d’après les formules du n$^o$ 1,
$f={\frac {a\rho ^{2}\alpha +a'\rho '^{2}\alpha '+a''\rho ''^{2}\alpha ''+2b''\rho \rho '{\sqrt {\alpha \alpha '}}+2b'\rho \rho ''{\sqrt {\alpha \alpha ''}}+2b'\rho '\rho ''{\sqrt {\alpha '\alpha ''}}}{\Delta ^{2}}},$
${\begin{aligned}k\ \,=&{\frac {a\rho {\sqrt {\alpha }}+b''\rho '{\sqrt {\alpha '}}+b'\rho ''{\sqrt {\alpha ''}}}{\Delta }},\\k'\ =&{\frac {b''\rho {\sqrt {\alpha }}+a'\rho '{\sqrt {\alpha '}}+b\rho ''{\sqrt {\alpha ''}}}{\Delta }},\\k''=&{\frac {b'\rho {\sqrt {\alpha }}+b\rho '{\sqrt {\alpha '}}+a''\rho ''{\sqrt {\alpha ''}}}{\Delta }},\end{aligned}}$
où
${\begin{aligned}k\ \ =&{\frac {a\ \ +f-g}{2}},\\k'\ =&{\frac {a'\ +f-g'}{2}},\\k''=&{\frac {a''+f-g''}{2}},\end{aligned}}$
$f,g,g',g''$ étant les carrés des distances cherchées.
27. Réciproquement, si ces distances étant données on voulait connaître les perpendiculaires $\rho ,\rho ',\rho '',$ il n’y aurait qu’à les tirer, par l’élimination, des trois dernières équations ci-dessus ; et pour cela on remarquera que, si dans les trois équations du n$^o$ 18 on change $p,q,r$ en ${\frac {\rho {\sqrt {\alpha }}}{\Delta }},{\frac {\rho '{\sqrt {\alpha '}}}{\Delta }},{\frac {\rho ''{\sqrt {\alpha ''}}}{\Delta }},$ et $x,y,z,$$x',y',z',x'',y'',z''$ en $a,b'',b',b'',a',b,b',b,a'',$ elles deviennent les précédentes ; d’où il s’ensuit qu’on aura pour ${\frac {\rho {\sqrt {\alpha }}}{\Delta }},{\frac {\rho '{\sqrt {\alpha '}}}{\Delta }},{\frac {\rho ''{\sqrt {\alpha ''}}}{\Delta }}$ les mêmes expressions qu’on a trouvées dans le numéro cité pour $p,q,r,$ en y échangeant seulement $x,y,z,x',\ldots$ en $a,b'',b',b'',\ldots .$ Or par ces échanges les quantités $\xi ,\xi ',\xi '',\eta ,\eta ',\eta '',\zeta ,\zeta ',$ $\zeta ''$ deviennent (1) $\alpha ,\beta '',\beta ',\beta '',\alpha ',\beta ,\beta ',\beta ,\alpha '',$ et la quantité
$\Delta =xy'z''+yz'x''+\ldots$
devient
$aa'a''+2bb'b''-ab^{2}-a'b'^{2}-a''b''^{2}=\Delta ^{2}\,;$
c’est pourquoi on aura, après avoir multiplié par $\Delta ,$
${\begin{aligned}\rho \,\ \ {\sqrt {\alpha }}\ \ =&{\frac {\alpha k+\beta ''k'+\beta 'k''}{\Delta }},\\\rho '\ {\sqrt {\alpha '}}\ =&{\frac {\beta ''k+\alpha 'k'+\beta k''}{\Delta }},\\\rho ''{\sqrt {\alpha ''}}=&{\frac {\beta 'k+\beta k'+\alpha ''k''}{\Delta }}.\end{aligned}}$
28. Les formules qu’on vient de trouver dans les numéros précédents peuvent servir à résoudre avec beaucoup de facilité le Problème, où il s’agirait de trouver dans l’intérieur d’une pyramide donnée un point tel, que menant de ce point aux quatre angles de la pyramide des lignes droites qui la partageassent en quatre autres pyramides ayant ce point pour sommet et les faces de la pyramide donnée pour bases, ces pyramides partielles fussent entre elles dans des rapports donnés.
Soient les rapports de ces quatre pyramides partielles à la pyramide totale donnée exprimés par les quantités $\mu ,\mu ',\mu ''$ et $\nu ,$ en sorte que l’on ait
$\mu +\mu '+\mu ''+\nu =1\,;$
donc, par ce que l’on a dit dans le n$^o$ 24, on aura
$\rho {\sqrt {\alpha }}=\mu \Delta ,\quad \rho '{\sqrt {\alpha '}}=\mu '\Delta ,\quad \rho ''{\sqrt {\alpha ''}}=\mu ''\Delta ,$
$\varpi {\sqrt {\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''}}=\nu \Delta \,;$
donc, substituant ces valeurs dans les expressions des quantités $p,q,r$ du n$^o$ 25, on aura sur-le-champ, pour la détermination du point cherché, ces trois coordonnées rectangles
${\begin{aligned}p=&\mu x+\mu 'x'+\mu ''x'',\\q=&\mu y+\mu 'y'+\mu ''y'',\\r=&\mu z+\mu 'z'+\mu ''z''.\end{aligned}}$
${\sqrt {f}},{\sqrt {g}},{\sqrt {g'}},{\sqrt {g''}}$
$f=a\mu ^{2}+a'\mu '^{2}+a''\mu ''^{2}+2b''\mu \mu '+2b'\mu \mu ''+2b\mu '\mu '',$
${\begin{aligned}{\frac {a\ \ +f-g\ \ }{2}}=&a\mu +b''\mu '+b'\mu '',\\{\frac {a'\ +f-g'\ }{2}}=&b''\mu +a'\mu '+b\mu '',\\{\frac {a''+f-g''}{2}}=&b'\mu +b\mu '+a''\mu ''.\end{aligned}}$
29. Si maintenant on suppose dans les formules du n$^o$ 24
$\varpi =\rho =\rho '=\rho '',$
il est clair que le point $\mathrm {P}$ deviendra le centre de la sphère inscrite à la pyramide, et que $\varpi$ en sera le rayon ; ainsi l’équation de ce même numéro donnera sur-le-champ
$\varpi ={\frac {\Delta }{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}},$
en faisant, pour abréger,
$\omega =\alpha +\alpha '+\alpha ''+2\beta +2\beta '+2\beta ''.$
Ensuite on aura (25) pour la détermination du centre de la sphère les coordonnées
${\begin{aligned}p=&{\frac {x{\sqrt {\alpha }}+x'{\sqrt {\alpha '}}+x''{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}},\\q=&{\frac {y{\sqrt {\alpha }}+y'{\sqrt {\alpha '}}+y''{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}},\\r=&{\frac {z{\sqrt {\alpha }}+z'{\sqrt {\alpha '}}+z''{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}}.\end{aligned}}$
Et, si l’on veut déterminer ce point par les distances ${\sqrt {f}},{\sqrt {g}},{\sqrt {g'}},{\sqrt {g''}}$
$f={\frac {a\alpha +a'\alpha '+a''\alpha ''+2b''{\sqrt {\alpha \alpha '}}+2b'{\sqrt {\alpha \alpha ''}}+2b{\sqrt {\alpha '\alpha ''}}}{\left({\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}\right)^{2}}},$
${\begin{aligned}{\frac {a\ \ +f-g\ \ }{2}}=&{\frac {a{\sqrt {\alpha }}+b''{\sqrt {\alpha '}}+b'{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}},\\{\frac {a'\ +f-g'\ }{2}}=&{\frac {b''{\sqrt {\alpha }}+a'{\sqrt {\alpha '}}+b{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}},\\{\frac {a''+f-g''}{2}}=&{\frac {b'{\sqrt {\alpha }}+b{\sqrt {\alpha '}}+a''{\sqrt {\alpha ''}}}{{\sqrt {\omega }}+{\sqrt {\alpha }}+{\sqrt {\alpha '}}+{\sqrt {\alpha ''}}}}.\end{aligned}}$
30. Dans toutes ces formules il faut prendre les radicaux ${\sqrt {\omega }},{\sqrt {\alpha }},{\sqrt {\alpha '}},$${\sqrt {\alpha ''}}$ positifs, pour avoir véritablement le cas d’une sphère inscrite dans la pyramide ; mais il est remarquable qu’en prenant l’un de ces mêmes radicaux négatif on aura le cas où la sphère tomberait hors de la pyramides, et toucherait en même temps une de ses faces en dehors, et les plans des trois autres faces prolongés ; et en particulier la face touchée en dehors par la sphère sera celle dont l’aire sera représentée par la moitié du radical auquel on donnera le signe négatif (12). C’est de quoi on peut se convaincre en réfléchissant sur la nature de nos formules et de notre Analyse, sans qu’il soit nécessaire que nous entrions là-dessus dans aucun détail.
31. Venons maintenant à la considération du centre de gravité de notre pyramide, et pour en trouver la position nous remarquerons que si l’on fait passer par un quelconque des côtés de la pyramide un plan qui coupe le côté opposé en deux également, le centre de gravité de la pyramide se trouvera nécessairement dans ce plan ; c’est ce qui se démontre facilement par les principes de Mécanique. Or comme trois plans différents ne peuvent se couper qu’en un seul point, il suffira donc de considérer trois des plans dont nous venons de parler et de chercher le point qui leur sera commun. Nous imaginerons pour cela qu’on mène par les trois côtés de la base de la pyramide trois plans qui coupent les côtés opposés des faces latérales par le milieu ; nous chercherons l’équation de chacun de ces plans et nous en déduirons ensuite aisément la position du point commun, qui sera par conséquent le centre de gravité cherché.
32. Considérons d’abord le plan qui passerait par le côté $\mathrm {M'M''}$ de la hase et qui couperait par le milieu le côté $\mathrm {LM}$ qui va du sommet $\mathrm {L}$ à l’autre angle $\mathrm {M}$ de la base ; et, nommant, comme dans le n$^o$ 13, $s,t,u$ les coordonnées rectangles des points de ce plan, on aura une équation de la forme
$u=\lambda +\mu s+\nu t,$
$\lambda ,\mu ,\nu$ étant des constantes dépendantes de la position du plan.
Pour déterminer ces constantes on remarquera que, comme le plan est supposé passer par les points $\mathrm {M',M''}$ de la base de la pyramide, pour lesquels les coordonnées rectangles sont $x',y',z',x'',y'',z''$ (9), on aura d’abord ces deux équations
${\begin{aligned}z'\ =&\lambda +\mu x'\ +\nu y',\\z''=&\lambda +\mu x''+\nu y''.\end{aligned}}$
Ensuite, comme on veut que ce plan passe aussi par le milieu de la ligne $\mathrm {LM}$ menée du point $\mathrm {L} ,$ qui est l’origine des coordonnées, au point $\mathrm {M} ,$ pour lequel les coordonnées rectangles sont $x,y,z,$ on considérera que ce point du milieu de la ligne $\mathrm {LM}$ sera nécessairement déterminé par les coordonnées rectangles ${\frac {x}{2}},{\frac {y}{2}},{\frac {z}{2}}\,;$ de sorte qu’on aura cette troisième équation
${\frac {z}{2}}=\lambda +{\frac {\mu x}{2}}+{\frac {\nu y}{2}},$
ou bien, en multipliant par $2,$
$z=2\lambda +\mu x+\nu y.$
Cette équation étant retranchée des deux précédentes multipliées par $2,$ on aura
${\begin{aligned}2z'\ -z=&\mu (2x'\ -x)+\nu (2y'\ -y),\\2z''-z=&\mu (2x''-x)+\nu (2y''-y),\end{aligned}}$
${\begin{aligned}\mu =&{\frac {(2z'-z)(2y''-y)-(2z''-z)(2y'-y)}{(2x'-x)(2y''-y)-(2x''-x)(2y'-y)}},\\\nu =&{\frac {(2z'-z)(2x''-x)-(2z''-z)(2x'-x)}{(2x''-x)(2y'-y)-(2x'-x)(2y''-y)}},\end{aligned}}$
et développant les termes (1)
$\mu =-{\frac {2\xi +\xi '+\xi ''}{2\zeta +\zeta '+\zeta ''}},\quad \nu =-{\frac {2\eta +\eta '+\eta ''}{2\zeta +\zeta '+\zeta ''}}.$
Ensuite on aura (7)
${\begin{aligned}2\lambda =&z-\mu x-\nu y\\=&{\frac {z(2\zeta +\zeta '+\zeta '')+x(2\xi +\xi '+\xi '')+y(2\eta +\eta '+\eta '')}{2\zeta +\zeta '+\zeta ''}}={\frac {2\Delta }{2\zeta +\zeta '+\zeta ''}},\end{aligned}}$
et par conséquent
$\lambda ={\frac {\Delta }{2\zeta +\zeta '+\zeta ''}}.$
De sorte que l’équation du plan dont il s’agit sera, en multipliant par $2\zeta +\zeta '+\zeta '',$ et transposant les termes,
$\Delta =(2\xi +\xi '+\xi '')s+(2\eta +\eta '+\eta '')t+(2\zeta +\zeta '+\zeta '')u.$
33. On trouvera de la même manière l’équation du plan qui passerait par le côté $\mathrm {MM} ''$ de la base et qui couperait le côté opposé $\mathrm {LM} ',$ ainsi que celle du plan qui, passant par le côté $\mathrm {MM'}$ de la base, couperait le côté $\mathrm {LM} ''\,;$ mais sans faire pour cela un nouveau calcul il suffira de changer dans l’équation ci-dessus les coordonnées $x,y,z$ en $x',y',z'$ et vice versâ pour le premier cas, et en $x'',y'',z''$ et vice versâ pour le second cas. Or par le premier de ces changements les quantités $\xi ,\xi ',\xi ''$ se changent en $-\xi ',-\xi ,-\xi ''\,;$ de même les quantités $\eta ,\eta ',\eta '',\zeta ,\zeta ',\zeta ''$ se changent en $-\eta ',-\eta ,-\eta '',-\zeta ',-\zeta ,-\zeta '',$ et la quantité $\Delta$ se change en $-\Delta .$ Et par le second de ces changements les quantités $\xi ,\xi ',\xi '',\eta ,\eta ',\eta '',\zeta ,\zeta ',\zeta '',\Delta$ se changent en $-\xi '',-\xi ',-\xi ,$$-\eta '',-\eta ',-\eta ,-\zeta '',-\zeta ',-\zeta ,-\Delta .$ C’est ce qu’on peut voir aisément par les formules des n$^{os}$ 1 et 3.
Ainsi l’on aura pour les équations des deux plans dont nous venons de parler, après y avoir changé les signes,
${\begin{aligned}\Delta =&(\xi +2\xi '+\xi '')s+(\eta +2\eta '+\eta '')t+(\zeta +2\zeta '+\zeta '')u,\\\Delta =&(\xi +\xi '+2\xi '')s+(\eta +\eta '+2\eta '')t+(\zeta +\zeta '+2\zeta '')u.\end{aligned}}$
34. Or, dans le point commun aux trois plans, les coordonnées $s,t,u$ doivent être les mêmes ; c’est pourquoi il n’y aura qu’à tirer les valeurs de ces trois quantités des trois équations que nous venons de trouver, et l’on aura les coordonnées qui déterminent le point d’intersection des trois plans en question. Pour cela je retranche d’abord des deux équations du numéro précédent celle du n$^o$ 32, et j’ai ces deux-ci
${\begin{aligned}&(\xi '\,-\xi )s+(\eta '\ -\eta )t+(\zeta '\,-\zeta )u=0,\\&(\xi ''-\xi )s+(\eta ''-\eta )t+(\zeta ''-\zeta )u=0,\end{aligned}}$
d’où je tire facilement
${\begin{aligned}{\frac {s}{u}}=&-{\frac {(\zeta '-\zeta )(\eta ''-\eta )-(\zeta ''-\zeta )(\eta '-\eta )}{(\xi '-\xi )(\eta ''-\eta )-(\xi ''-\xi )(\eta '-\eta )}},\\{\frac {t}{u}}=&-{\frac {(\zeta '-\zeta )(\xi ''-\xi )-(\zeta ''-\zeta )(\xi '-\xi )}{(\xi ''-\xi )(\eta '-\eta )-(\xi '-\xi )(\eta ''-\eta )}},\end{aligned}}$
c’est-à-dire, en développant les termes et employant les substitutions du n$^o$ 2,
${\frac {s}{u}}=\mathrm {\frac {X+X'+X''}{Z+Z'+Z''}} ,\quad {\frac {t}{u}}=\mathrm {\frac {Y+Y'+Y''}{Z+Z'+Z''}} ,$
ou bien (3)
${\frac {s}{u}}={\frac {x+x'+x''}{z+z'+z''}},\quad {\frac {t}{u}}={\frac {y+y'+y''}{z+z'+z''}}.$
Substituant les valeurs de $s$ et de $t$ tirées de ces équations dans celle du n$^o$ 32, on en déduira la valeur de $u,$ laquelle sera
$u={\frac {\Delta (z+z'+z'')}{\begin{aligned}(2\xi +\xi '+\xi '')(x+x'+x'')&+(2\eta +\eta '+\eta '')(y+y'+y'')\\&+(2\zeta +\zeta '+\zeta '')(z+z'+z'')\end{aligned}}},$
mais le dénominateurde cette formule se réduit par les équations du n$^o$ 7 à $4\Delta \,;$ de sorte qu’on aura, pour les coordonnées $s,t,u$ qui répondent au
$s={\frac {x+x'+x''}{4}},\quad t={\frac {y+y'+y''}{4}},\quad u={\frac {z+z'+z''}{4}}.$
35. Si l’on imagine qu’il y ait aux quatre coins de la pyramide des corps de masses quelconques égales entre elles, il est visible que le moment de ces corps, que je suppose égaux à $\mathrm {Q} ,$ par rapport à un plan passant par le sommet de la pyramide et perpendiculaire à l’axe des $x,$ sera
$\mathrm {Q} (x+x'+x''),$
ce qui, étant divisé par la somme des masses $4\mathrm {Q} ,$ donnera
${\frac {x+x'+x''}{4}}$
pour la distance du centre de gravité de ces quatre corps au même plan. On trouvera de même que la distance du même centre au plan passant par le sommet et perpendiculaire à l’axe des $y$ sera exprimée par
${\frac {y+y'+y''}{4}},$
et qu’enfin la distance de ce même centre au plan passant par le sommet et perpendiculaire à l’axe de $z$ sera
${\frac {z+z'+z''}{4}}.$
Or ces distances ne sont autre chose que les coordonnées rectangles qui déterminent la position du centre dont il s’agit par rapport aux mêmes axes ; donc les coordonnées du centre de gravité des quatre corps $\mathrm {Q}$ placés aux quatre coins de la pyramide sont (numéro précédent) les mêmes que celles du centre de gravité de toute la pyramide ; par conséquent ces deux centres coïncident, ce qui fournit ce Théorème de Statique assez remarquable par sa simplicité : Le centre de gravité de toute pyramide triangulaire est le même que celui de quatre corps égaux qu’on imaginerait placés aux quatre angles de la pyramide.
36. Si l’on veut déterminer la position du centre de gravité par ses distances aux quatre coins de la pyramide, nommant $\phi$ le carré de la distance de ce centre au sommet, et $\psi ,\psi ',\psi ''$ les carrés de ses distances aux trois angles $\mathrm {M,M',M''}$ de la base, on aura
${\begin{aligned}\phi \ \ =&s^{2}+t^{2}+u^{2},\\\psi \ \ =&(x\ \ -s)^{2}+(y\ \ -t)^{2}+(z\,\ -u)^{2},\\\psi '\ =&(x'\,-s)^{2}+(y'\ -t)^{2}+(z'\,-u)^{2},\\\psi ''=&(x''-s)^{2}+(y''-t)^{2}+(z''-u)^{2}\,;\end{aligned}}$
donc, substituant pour $s,t,u$ les valeurs ci-dessus, développant les termes et faisant les substitutions du n$^o$ 1, on aura
${\begin{aligned}\phi \ \ =&{\frac {a+a'+a''+2(b+b'+b'')}{16}},\\\psi \ \ =&{\frac {9a+a'+a''+2(b-3b'-3b'')}{16}},\\\psi '\ =&{\frac {a+9a'+a''+2(-3b+b'-3b'')}{16}},\\\psi ''=&{\frac {a+a'+9a''+2(-3b-3b'+b'')}{16}}.\end{aligned}}$
37. On pourrait chercher maintenant à déterminer la position mutuelle des trois points que nous venons de considérer dans la pyramide, c’est-à-dire le centre de la sphère circonscrite, le centre de la sphère inscrite et le centre de gravité de la pyramide même, et il est clair que si, pour distinguer les coordonnées des centres des deux sphères, on désigne par $l,m,n$ celles du centre de la sphère circonscrite que nous avons désignées par $p,q,r$ (21), et que l’on conserve ces dernières lettres pour marquer les coordonnées du centre de la sphère inscrite ainsi qu’on en a usé (29), il est clair, dis-je, qu’on aura
$(l-p)^{2}+(m-q)^{2}+(n-r)^{2}$
pour le carré de la distance entre les centres des deux sphères, l’une inscrite, l’autre circonscrite,
$(l-s)^{2}+(m-t)^{2}+(n-u)^{2}$
$(p-s)^{2}+(q-t)^{2}+(r-u)^{2}$
pour le carré de la distance entre le centre de la sphère incrite et le même centre de gravité. Or faisant dans ces expressions les substitutions des valeurs de $l,m,n,p,q,\ldots$ (21, 29, 34), et développant ensuite les termes on trouvera, à l’aide des formules du n$^o$ 1, des quantités indépendantes des coordonnées $x,y,z,x',y',\ldots$ et qui seront uniquement des fonctions de $a,a',a'',b,b',b'',$ c’est-à-dire des côtés de la pyramide. Par le moyen de ces formules et de celles que nous avons trouvées précédemment on pourra résoudre différents Problèmes curieux et nouveaux sur les pyramides triangulaires ; mais en voilà assez sur un sujet que je n’ai presque traité que pour donner un exemple de l’application de l’Analyse à ces sortes de recherches.
* ↑ Je nomme côtés les lignes formées par la rencontre des plans sous lesquels la pyramides est comprise, et je nommerai ces plans faces de la pyramide.
* ↑ Ce Lemme est la première des propositions du Mémoire relatif au mouvement de rotation d’un corps solide. Voir à la page 580 de ce volume. (Note de l’Éditeur.)
* ↑ Œuvres de Lagrange, t. III, p. 585.