Trigonométrie du tétraèdre

En géométrie, la trigonométrie du tétraèdre^[1] est l'ensemble des relations existant entre les longueurs des arêtes et les divers angles d'un tétraèdre (quelconque).

Quantités trigonométriques[modifier | modifier le code]

Définitions et notations[modifier | modifier le code]

Soit $X={\overline {P_{1}P_{2}P_{3}P_{4}}}$ un tétraèdre quelconque, où $P_{1},P_{2},P_{3}$ et $P_{4}$ sont des points arbitraires (mais non coplanaires) de l'espace à trois dimensions. Les quantités trigonométriques associés sont les longueurs des six arêtes et les aires des quatre faces, les douze angles des quatre faces, les six angles dièdres entre les faces, et les quatre angles solides aux sommets. Plus précisément, si on note $e_{ij}$ l'arête joignant $P_{i}$ et $P_{j}$ , et $F_{i}$ la face opposée à $P_{i}$ (et donc $F_{i}={\overline {P_{j}P_{k}P_{l}}}$ ), avec $i,j,k,l\in \{1,2,3,4\}$ et $i\neq j\neq k\neq l$ , on pose

$d_{ij}$ = la longueur de l'arête $e_{ij}$ ;
$\alpha _{i,j}$ = l'angle au sommet $P_{i}$ sur la face $F_{j}$ (autrement dit, l'angle ${\widehat {P_{i}P_{k},P_{i}P_{l}}}$ ) ;
$\theta _{ij}$ = l'angle dièdre entre les deux faces adjacentes à l'arête $e_{ij}$ ;
$\Omega _{i}$ = l'angle solide au sommet $P_{i}$ .
$\Delta _{i}$ = l'aire de la face $F_{i}$ .

Aires et volume[modifier | modifier le code]

Soit $\Delta _{i}$ l'aire de la face $F_{i}$ . Connaissant les trois longueurs des arêtes, on a (formule de Héron)

\Delta _{i}={\sqrt {\frac {(d_{jk}+d_{jl}+d_{kl})(-d_{jk}+d_{jl}+d_{kl})(d_{jk}-d_{jl}+d_{kl})(d_{jk}+d_{jl}-d_{kl})}{16}}}

(ou plus simplement, connaissant l'un des angles, $\Delta _{i}={\frac {1}{2}}d_{jk}d_{jl}\sin \alpha _{j,i}$ ).

Soit $h_{i}$ la hauteur menée de $P_{i}$ , c'est-à-dire la distance du sommet $P_{i}$ à la face $F_{i}$ . Le volume du tétraèdre est donné par $V={\frac {1}{3}}\Delta _{i}h_{i}$ ; il peut s'exprimer directement à l'aide des carrés des longueurs des arêtes par le déterminant de Cayley-Menger^[2] :

288V^{2}={\begin{vmatrix}2d_{12}^{2}&d_{12}^{2}+d_{13}^{2}-d_{23}^{2}&d_{12}^{2}+d_{14}^{2}-d_{24}^{2}\\d_{12}^{2}+d_{13}^{2}-d_{23}^{2}&2d_{13}^{2}&d_{13}^{2}+d_{14}^{2}-d_{34}^{2}\\d_{12}^{2}+d_{14}^{2}-d_{24}^{2}&d_{13}^{2}+d_{14}^{2}-d_{34}^{2}&2d_{14}^{2}\end{vmatrix}}

.

Résultats préliminaires[modifier | modifier le code]

Triangles affines[modifier | modifier le code]

La face $F_{i}$ est un triangle dont les côtés ont pour longueurs $d_{jk},d_{jl},d_{kl}$ et les angles respectifs opposés à ces côtés sont $\alpha _{l,i},\alpha _{k,i},\alpha _{j,i}$ . Les relations classiques de la trigonométrie du triangle s'appliquent, par exemple on a (loi des cosinus) $d_{kl}^{2}=d_{jk}^{2}+d_{jl}^{2}-2d_{jk}d_{jl}\cos \alpha _{j,i}.$

Triangles projectifs[modifier | modifier le code]

Le drapeau au sommet $P_{i}$ (c'est-à-dire l'ensemble des arêtes et des faces passant par lui) peut être interprété par projection centrale à partir du sommet comme un triangle sphérique, dont les sommets sont les trois arêtes, les côtés sont les trois faces ayant pour longueur (sur la sphère unité) $\alpha _{i,j},\alpha _{i,k},\alpha _{i,l}$ , et les angles sont respectivement les angles dièdres $\theta _{ij},\theta _{ik},\theta _{il}$ . Les relations classiques de la trigonométrie sphérique s'appliquent, et on a par exemple (formule des cosinus) $\cos \alpha _{i,j}=\cos \alpha _{i,k}\,\cos \alpha _{j,k}+\sin \alpha _{i,k}\,\sin \alpha _{j,k}\,\cos \theta _{i,j}~.$

Relations trigonométriques dans le tétraèdre[modifier | modifier le code]

Théorème des sinus alternés[modifier | modifier le code]

Parmi les neuf angles des trois faces concourantes au sommet $P_{i}$ , les six n'ayant pas $P_{i}$ comme sommet sont liés par l'identité suivante (correspondant à des rotations autour de $P_{i}$ dans les deux sens possibles) : $\sin \alpha _{j,l}\sin \alpha _{k,j}\sin \alpha _{l,k}=\sin \alpha _{j,k}\sin \alpha _{k,l}\sin \alpha _{l,j}$ .

Espace des formes[modifier | modifier le code]

Les quatre identités ainsi obtenues ne sont pas indépendantes : en multipliant membre à membre trois d'entre elles et en simplifiant, on obtient la quatrième. Partant d'un ensemble de douze angles arbitraires, ces trois identités et les quatre contraintes sur la somme des trois angles de chaque face (devant être égale à π) impliquent que l'espace des formes des tétraèdres doit être de dimension 5, ce que confirme le fait que les 6 longueurs des arêtes déterminent un tétraèdre unique, et donc tous les tétraèdres de même forme lui étant homothétiques, la donnée de cinq nombres suffit pour caractériser la forme^[3].

Loi des sinus[modifier | modifier le code]

La valeur absolue du sinus polaire (psin) des vecteurs normaux aux trois faces ayant un sommet en commun^[4], divisée par l'aire de la quatrième face, ne dépend pas du choix de ce sommet :

{\begin{aligned}&{\frac {{\bigl |}\operatorname {psin} (\mathbf {n_{2}} ,\mathbf {n_{3}} ,\mathbf {n_{4}} ){\bigr |}}{\Delta _{1}}}={\frac {{\bigl |}\operatorname {psin} (\mathbf {n_{1}} ,\mathbf {n_{3}} ,\mathbf {n_{4}} ){\bigr |}}{\Delta _{2}}}={\frac {{\bigl |}\operatorname {psin} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{4}} ){\bigr |}}{\Delta _{3}}}={\frac {{\bigl |}\operatorname {psin} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{3}} ){\bigr |}}{\Delta _{4}}}\\[4pt]={}&{\frac {(3\operatorname {Volume} _{\mathrm {tetraedre} })^{2}}{2\Delta _{1}\Delta _{2}\Delta _{3}\Delta _{4}}}\,.\end{aligned}}

(plus généralement, pour un n-simplexe (par exemple un triangle ( $n = 2$ ), où cette formule correspond à la loi des sinus, ou un pentachore ( $n = 4$ ), etc.) d'un espace euclidien de dimension n, on a la même relation, la valeur commune étant ${\frac {(nV)^{n-1}}{(n-1)!P}}$ , où V est le volume du simplexe, et P le produit des aires de ses faces).

Loi des cosinus[modifier | modifier le code]

Un analogue de la loi des cosinus relie les aires des faces aux angles dièdres^[5] : $\Delta _{i}^{2}=\Delta _{j}^{2}+\Delta _{k}^{2}+\Delta _{l}^{2}-2(\Delta _{j}\Delta _{k}\cos \theta _{il}+\Delta _{j}\Delta _{l}\cos \theta _{ik}+\Delta _{k}\Delta _{l}\cos \theta _{ij})$ .

Relation entre les angles dièdres[modifier | modifier le code]

En projetant (orthogonalement) les trois faces $F_{i},F_{j},F_{k}$ sur le plan de la face $F_{l}$ , et en posant $c_{ij}=\cos \theta _{ij}$ , on voit facilement que l'aire de la face $F_{l}$ est la somme (algébrique) des aires projetées, c'est-à-dire que $\Delta _{l}=\Delta _{i}c_{jk}+\Delta _{j}c_{ik}+\Delta _{k}c_{ij}$ ; on en déduit le système linéaire homogène ${\begin{cases}-\Delta _{1}+\Delta _{2}c_{34}+\Delta _{3}c_{24}+\Delta _{4}c_{23}=0\\\Delta _{1}c_{34}-\Delta _{2}+\Delta _{3}c_{14}+\Delta _{4}c_{13}=0\\\Delta _{1}c_{24}+\Delta _{2}c_{14}-\Delta _{3}+\Delta _{4}c_{12}=0\\\Delta _{1}c_{23}+\Delta _{2}c_{13}+\Delta _{3}c_{12}-\Delta _{4}=0\end{cases}}$ . Puisque ce système a la solution non triviale correspondant au tétraèdre, c'est que le déterminant ${\begin{vmatrix}-1&c_{34}&c_{24}&c_{23}\\c_{34}&-1&c_{14}&c_{13}\\c_{24}&c_{14}&-1&c_{12}\\c_{23}&c_{13}&c_{12}&-1\end{vmatrix}}$ est nul.

Développant ce déterminant, on obtient une relation entre les angles dièdres^[1] : $1-\sum _{1\leq i<j\leq 4}c_{ij}^{2}+\sum _{j=2 \atop k\neq l\neq j}^{4}c_{1j}^{2}c_{kl}^{2}=2\left(\sum _{i=1 \atop j\neq k\neq l\neq i}^{4}c_{ij}c_{ik}c_{il}+\sum _{2\leq j<k\leq 4 \atop l\neq j,k}c_{1j}c_{1k}c_{jl}c_{kl}\right)$ .

Distances entre les arêtes[modifier | modifier le code]

Par hypothèses, les deux arêtes $e_{ij}$ et $e_{kl}$ sont non coplanaires ; notant $P_{ij}$ (sur $e_{ij}$ ) et $P_{kl}$ (sur $e_{kl}$ ) les pieds de leur perpendiculaire commune (c'est-à-dire que la droite $(P_{ij}P_{kl})$ est orthogonale aux deux arêtes), la distance entre les deux arêtes, $R_{ij}$ , est par définition la longueur du segment $[P_{ij},P_{kl}]$ (c'est la plus courte distance entre deux points quelconques des arêtes).

Des calculs trigonométriques élémentaires, mais assez pénibles, aboutissent à la formule suivante^[1] :

$R_{ij}={\frac {12V}{\sqrt {4d_{ij}^{2}d_{kl}^{2}-(d_{ik}^{2}+d_{jl}^{2}-d_{il}^{2}-d_{jk}^{2})^{2}}}}$ ,

où le dénominateur est une variante de la formule de Bretschneider pour les quadrilatères.

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Trigonometry of a tetrahedron » (voir la liste des auteurs).

↑ ^{a b et c} (en) G. Richardson, « The Trigonometry of the Tetrahedron », The Mathematical Gazette, vol. 2, n^o 32,‎ 1^er mars 1902, p. 149–158 (DOI 10.2307/3603090, JSTOR 3603090, lire en ligne)
↑ (en) 100 Great Problems of Elementary Mathematics, New York, Dover Publications, 1^er juin 1965 (ISBN 9780486613482)
↑ (en) André Rassat et Patrick W. Fowler, « Is There a "Most Chiral Tetrahedron"? », Chemistry: A European Journal, vol. 10, n^o 24,‎ 2004, p. 6575–6580 (PMID 15558830, DOI 10.1002/chem.200400869)
↑ Le sinus polaire est défini comme mesure de l'angle solide formé par le trièdre des trois vecteurs : on a $\operatorname {psin} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{3}} )={\frac {\operatorname {det} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{3}} )}{\|\mathbf {n_{1}} \|.\|\mathbf {n_{2}} \|.\|\mathbf {n_{3}} \|}}$ .
↑ (en) Jung Rye Lee, « The law of cosines in a tetrahedron », J. Korea. Soc. Math. Educ. Ser. B: Pure Appl. Math., vol. 4, n^o 1,‎ juin 1997, p. 1–6 (ISSN 1226-0657)

Portail de la géométrie

[:0-1] {a b et c} (en) G. Richardson, « The Trigonometry of the Tetrahedron », The Mathematical Gazette, vol. 2, n^o 32,‎ 1^er mars 1902, p. 149–158 (DOI 10.2307/3603090, JSTOR 3603090, lire en ligne)

[2] (en) 100 Great Problems of Elementary Mathematics, New York, Dover Publications, 1^er juin 1965 (ISBN 9780486613482)

[3] (en) André Rassat et Patrick W. Fowler, « Is There a "Most Chiral Tetrahedron"? », Chemistry: A European Journal, vol. 10, n^o 24,‎ 2004, p. 6575–6580 (PMID 15558830, DOI 10.1002/chem.200400869)

[4] Le sinus polaire est défini comme mesure de l'angle solide formé par le trièdre des trois vecteurs : on a $\operatorname {psin} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{3}} )={\frac {\operatorname {det} (\mathbf {n_{1}} ,\mathbf {n_{2}} ,\mathbf {n_{3}} )}{\|\mathbf {n_{1}} \|.\|\mathbf {n_{2}} \|.\|\mathbf {n_{3}} \|}}$ .

[5] (en) Jung Rye Lee, « The law of cosines in a tetrahedron », J. Korea. Soc. Math. Educ. Ser. B: Pure Appl. Math., vol. 4, n^o 1,‎ juin 1997, p. 1–6 (ISSN 1226-0657)

[1]

[2]

[3]

[4]

[5]