OA.BCD — OB.CDA -^ OC. DAB — OD. ABC
c'est-à-dire que la surface de révolution est coupée par un plan passant par un de ses foyers, suivant une ligne du second degré dont ce point est un foyer (Môbius, /. c. ),
12. La relation entre les distances mutuelles de cinq points dans Tespace a été donnée pour la première fois par Lagrange sous une forme trop peu développée 5 puis elle a
232 SECONDE PARTIE, §XVfn.
été traitée i plusieurs reprises par Carnot, .saos que l'on parvint à un résultat présenté avec clarté (3). La relation la plus simple entre cinq points de l'espace A^ B, C, D, E^ dout les coordonnées par rapport à trois axes quelconques sont
(^1 ^Jfi > ^1 ) ï {^t ? y» 1 ^« ) > • • • » s'obtient en développant d'après le § in, 6, ridenlilé (§ H, 4)
I i x^ jr, s,
et interprétant, au moyen du § XVI, 6, les déterminants du quatrième degré auxquels on parvient, ce qui donne
( I ) BCDE -t- CDEA -f- DEAB -h EABC 4- ABCD = o,
équation qui coïncide avec l'équation connue que Ton rencontre au § XVI, 7. En exprimant les volumes de chacun des tétraèdres en fonction de leurs arêtes (§ XVII, 14, corollaire I), on obtient une équation irrationnelle, dont le second membre est zéro, et dont le premier membre est la somme des racines carrées de cinq déterminants du cinquième degré. Pour rendre cette équation rationnelle, il n'est pas nécessaire de faire le produit des différentes valeurs que peut prendre le premier membre, en vertu de l'ambiguïté des radicaux carrés. Il suffit, ce qui est préférable, de multiplier l'équation (I) par un de ses termes, parce que le produit de deux tétraèdres est une fonction rationnelle des carrés des droites qui joignent les sommets de F un des tétraèdres avec les sommets de l'autre (§ XVII, 14). L'équation cherchée a été développée pour la première fois sous une forme plus simple par Cayley {Cambr, Math, /., Il, p. 268). Par analogie avec la méthode donnée
ÂPPLIGATIOlfS DBS DÉTERMIIVANTS. 233
au n^^ 9, Cayley a multiplié le déterminant plus général
ï> •^* -+-rî + ZÎ -f-«î, J^i> y y, zi> «I
par
*î H-rî -f-«î-+-«N «» — 2J^., —2X1, —2^1, —2//,
^î H-J^I -^^î-f- "î, '> — 2.rj, —2/5, — 3t7i, — ?.tt5
On trouve ainsi (§ VI, ,'{)
/IflA . . . /£
flfeii . . • /#
ftft
OÙ l'on a Aa,/ = '»*,! (S ^I» -^)9 ^^ ^® p'^**
A,, = A„ = . . . = //jj =r o ,
^12 = ^j -hJÎ H- z\ -i- al -h xj H- j^î H- zj -1- aj -. 2x, x, — 2j, j,
— (*i — J?2)'-H(ri — r2)'-+-(«t --22)^ H- {«1 — aa)',
Si les quantités indéterminées u^y i/,,..., u^ sont nulles, R s'annule pareillement (§ III, 2). Si Ton considère en même temps X\y y^y z^ comme les coordonnées rectangulaires du point A, etc. . . . , on a ^i, = A6', etc. . . . En désignant les carrés des distances du i®* point au a*", au 3'', ... , comme ci-dessus, par rftj, ^13. . . , on a l'é-
quatioQ cherchée,
dn
du
rf.s
du
du
rf»
1 rf,4
du
rf.s
I du
On peut développer ce déterminant d*après le § V, 2^ ou simplement d'après le § III, 1 . Dans ce dernier cas on trouve
^•i 4- ^oî H- ^w 4- ^t4 4" ^05 = o,
en désignant par ^oi» ^os» • • • les coefficients qui multiplient dans le déterminant les éléments de la première ligne horizontale. Mais on a, dans le cas d^une notation analogue
