Déterminant de Cayley-Menger

En algèbre linéaire et en géométrie, le déterminant de Cayley-Menger donne une expression de l'hypervolume d'un simplexe en fonction des carrés des distances entre ses sommets. Ce déterminant porte le nom d'Arthur Cayley et de Karl Menger.

Expression du déterminant

Soient $A_0,A_1,\dots ,A_n$ $n+1$ points d'un espace euclidien de dimension $m$ avec $m⩾n$. Ces points sont les sommets d'un simplexe de dimension Modèle:Mvar (triangle pour $n=2$ , tétraèdre pour $n=3$, pentachore pour $n=4$). Notant $d_{ij}$ la distance du sommet $A_i$ au sommet $A_j$, le volume $V_n$ n-dimensionnel de ce simplexe s'exprime par les déterminants suivants  :

$$\begin{array}{cc}{V}_n^2& =\frac{1}{(n!{)}^2{2}^n}\left|\begin{array}{cccc}2d_{01}^2& d_{01}^2+d_{02}^2-d_{12}^2& \cdots & d_{01}^2+d_{0n}^2-d_{1n}^2\\ d_{01}^2+d_{02}^2-d_{12}^2& 2d_{02}^2& \cdots & d_{02}^2+d_{0n}^2-d_{2n}^2\\ ⋮& ⋮& \ddots & ⋮\\ d_{01}^2+d_{0n}^2-d_{1n}^2& d_{02}^2+d_{0n}^2-d_{2n}^2& \cdots & 2d_{0n}^2\end{array}\right|\\ & =\frac{(-1{)}^{n+1}}{(n!{)}^2{2}^n}\left|\begin{array}{cccccc}0& d_{01}^2& d_{02}^2& \cdots & d_{0n}^2& 1\\ d_{01}^2& 0& d_{12}^2& \cdots & d_{1n}^2& 1\\ d_{02}^2& d_{12}^2& 0& \cdots & d_{2n}^2& 1\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ d_{0n}^2& d_{1n}^2& d_{2n}^2& \cdots & 0& 1\\ 1& 1& 1& \cdots & 1& 0\end{array}\right|.\end{array}$$

Le déterminant de Cayley-Menger $D_n$ est celui de la deuxième formule. La matrice dont $D_n$ est le déterminant est la matrice d'ordre $n+1$ de terme général $d_{ij}^2,\text{pour }0⩽i,j⩽n$ , bordée par des 1 à droite et en dessous, complétée par un 0. On peut aussi mettre les 1 à gauche et en haut.

Exemples

Pour $n=2$ , notant Modèle:Mvar les longueurs des côtés du triangle, on a les développements et factorisations :

$\begin{array}{cc}-D_2=-\left|\begin{array}{cccc}0& 1& 1& 1\\ 1& 0& a^2& b^2\\ 1& a^2& 0& c^2\\ 1& b^2& c^2& 0\end{array}\right|& =\left|\begin{array}{cc}2a^2& a^2+b^2-c^2\\ a^2+b^2-c^2& 2b^2\end{array}\right|\\ & =4a^2{b}^2-(a^2+b^2-c^2{)}^2\\ & =(a^2+b^2+c^2{)}^2-2(a^4+b^4+c^4)\\ & =(a+b+c)(a+b-c)(a-b+c)(-a+b+c)\end{array}$

Le carré de l'aire du triangle est $V_2^2=-\frac{D_2}{16}$, et l'on retrouve la formule de Héron.

C'est une expression polynomiale symétrique en les longueurs des côtés. Pour $n>2$, elle n'est plus symétrique en les $n(n-1)/2$ variables $d_{ij}$, mais seulement invariante par les $n!$ permutations sur les indices des sommets ; elle n'est plus non plus factorisable .

Pour $n=3$ , renommant $A_1,A_2,A_3,A_4$ les sommets du tétraèdre, on a $D_3=\left|\begin{array}{ccccc}0& 1& 1& 1& 1\\ 1& 0& d_{12}^2& d_{13}^2& d_{14}^2\\ 1& d_{12}^2& 0& d_{23}^2& d_{24}^2\\ 1& d_{13}^2& d_{32}^2& 0& d_{34}^2\\ 1& d_{14}^2& d_{24}^2& d_{34}^2& 0\end{array}\right|$ et $V_3^2=\frac{D_3}{288}$.

Cette dernière formule avait été obtenue (sous une forme développée) par Piero della Francesca ; elle est aussi connue sous le nom de « formule de Tartaglia »Modèle:,.

Cette formule est valable pour des points coplanaires, auquel cas $D_3$ est nul, et fournit donc une relation entre les 6 distances mutuelles de quatre points dans un plan.

Démonstration

Si les vecteurs colonnes $A_0,A_1,\dots ,A_n$ sont les coordonnées de $n+1$ points d'un espace euclidien de dimension $n$, on a la formule du volume :

$V_n=\frac{1}{n!}|\det M|$ où $M=\left(\begin{array}{cccc}{A}_0& A_1& \cdots & A_n\\ 1& 1& \cdots & 1\end{array}\right)$.

Le déterminant de $M$ reste inchangé par ajout d'une ligne et d'une colonne supplémentaires comme suit :

$P=\left(\begin{array}{ccccc}{A}_0& A_1& \cdots & A_n& 0\\ 1& 1& \cdots & 1& 0\\ \Vert A_0{\Vert }^2& \Vert A_1{\Vert }^2& \cdots & \Vert A_n{\Vert }^2& 1\end{array}\right),$

où $\Vert A_j{\Vert }^2$ est le carré de la norme du vecteur $A_j$ . De plus la matrice d'ordre $n+2$

$Q=\left(\begin{array}{cccccc}-2& 0& \cdots & 0& 0& 0\\ 0& -2& \cdots & 0& 0& 0\\ ⋮& ⋮& \ddots & ⋮& ⋮& ⋮\\ 0& 0& \cdots & -2& 0& 0\\ 0& 0& \cdots & 0& 0& 1\\ 0& 0& \cdots & 0& 1& 0\end{array}\right)$

a pour déterminant $(-2{)}^n(-1)=(-1{)}^{n+1}{2}^n$ . Ainsi,

$\det \left(\begin{array}{cccccc}0& d_{01}^2& d_{02}^2& \cdots & d_{0n}^2& 1\\ d_{01}^2& 0& d_{12}^2& \cdots & d_{1n}^2& 1\\ d_{02}^2& d_{12}^2& 0& \cdots & d_{2n}^2& 1\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ d_{0n}^2& d_{1n}^2& d_{2n}^2& \cdots & 0& 1\\ 1& 1& 1& \cdots & 1& 0\end{array}\right)=\det (P^{T}QP)=\det (Q)\det (P{)}^2=(-1{)}^{n+1}{2}^n(n!{)}^2{V}_n^2$ .

Le premier déterminant est obtenu par combinaisons et développements sur les lignes et colonnes.

Voir une autre démonstration dans .

Généralisation aux géométries hyperbolique et sphérique

Il existe des généralisations sphériques et hyperboliques Modèle:,. Une démonstration peut en être trouvée ici .

Dans un espace sphérique de dimension $n-1$ et de courbure constante $1/R^2$, $n+1$ points satisfont à

$\left|\begin{array}{cccccc}0& f(d_{01})& f(d_{02})& \cdots & f(d_{0n})& 1\\ f(d_{01})& 0& f(d_{12})& \cdots & f(d_{1n})& 1\\ f(d_{02})& f(d_{12})& 0& \cdots & f(d_{2n})& 1\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ f(d_{0n})& f(d_{1n})& f(d_{2n})& \cdots & 0& 1\\ 1& 1& 1& \cdots & 1& \frac{1}{2R^2}\end{array}\right|=0$

où $f(d)=2R^2(1-\cos \frac{d}{R})$, et $d_{ij}$ est la distance sphérique entre les points numérotés $i,j$ .

Dans un espace hyperbolique de dimension $n-1$ et de courbure constante $-1/R^2$, $n+1$ points satisfont à

$\left|\begin{array}{cccccc}0& f(d_{01})& f(d_{02})& \cdots & f(d_{0n})& 1\\ f(d_{01})& 0& f(d_{12})& \cdots & f(d_{1n})& 1\\ f(d_{02})& f(d_{12})& 0& \cdots & f(d_{2n})& 1\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ f(d_{0n})& f(d_{1n})& f(d_{2n})& \cdots & 0& 1\\ 1& 1& 1& \cdots & 1& -\frac{1}{2R^2}\end{array}\right|=0$

où $f(d)=2R^2(\cosh \frac{d}{R}-1)$, et $d_{ij}$ est la distance hyperbolique entre les points numérotés $i,j$ .

Applications

Le déterminant pour $n=3$ peut être utilisé pour démontrer le théorème de Descartes, ainsi que le théorème de Stewart.

Rayon de la sphère circonscrite d'un simplexe

Un n-simplexe non dégénéré, possède une n -sphère circonscrite, de rayon $R$ . Le n + 1-simplexe composé des sommets du n -simplexe et du centre de la n-sphère est alors dégénéré. Ainsi, nous avons la nullité du déterminant d'ordre n + 3:

$\left|\begin{array}{ccccccc}0& R^2& R^2& R^2& \cdots & R^2& 1\\ R^2& 0& d_{01}^2& d_{02}^2& \cdots & d_{0n}^2& 1\\ R^2& d_{01}^2& 0& d_{12}^2& \cdots & d_{1n}^2& 1\\ R^2& d_{02}^2& d_{12}^2& 0& \cdots & d_{2n}^2& 1\\ ⋮& ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ R^2& d_{0n}^2& d_{1n}^2& d_{2n}^2& \cdots & 0& 1\\ 1& 1& 1& 1& \cdots & 1& 0\end{array}\right|=0$

En particulier, lorsque $n=2$, cela permet d'obtenir le rayon du cercle circonscrit à un triangle en fonction des longueurs de ses côtés.

Voir aussi

Trigonométrie du tétraèdre