Sinus polaire

En géométrie, le sinus polaire (noté psin) généralise le sinus d'un angle à certains angles solides.

Définition

Familles de n vecteurs de l'espace à n dimensions

Interprétations de Ω et Π dans le cas 3D : à gauche, un parallélépipède (de volume Ω)  ; à droite, le parallélépipède rectangle correspondant (de volume Π).

Soit v₁, ..., v_n (pour n ≥ 2) une famille de vecteurs non nuls de l'espace euclidien à n dimensions ℝⁿ . On définit le sinus polaire de cette famille (ou, géométriquement, de l'angle solide formé par ces vecteurs si on les interprète comme les arêtes d'un parallélotope issues d'un même sommet) par la formule :

$\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)=\frac{\mathrm{\Omega }}{\mathrm{\Pi }},$

où le numérateur est le déterminant

$\begin{array}{cc}\mathrm{\Omega }& =\det \left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]=\left|\begin{array}{cccc}{v}_{11}& v_{21}& \cdots & v_{n1}\\ v_{12}& v_{22}& \cdots & v_{n2}\\ ⋮& ⋮& \ddots & ⋮\\ v_{1n}& v_{2n}& \cdots & v_{nn}\end{array}\right|\end{array}$

égal à l'hypervolume (signé) du parallélotope ayant pour arêtes

$\begin{array}{cc}{𝐯}_1& =(v_{11},v_{12},\cdots v_{1n}{)}^T\\ {𝐯}_2& =(v_{21},v_{22},\cdots v_{2n}{)}^T\\ & ⋮\\ {𝐯}_n& =(v_{n1},v_{n2},\cdots v_{nn}{)}^T\\ \end{array}$ (l'exposant T indiquant la transposition de matrice).

et le dénominateur $\mathrm{\Pi }=\prod _{i=1}^n\Vert {𝐯}_i\Vert$, le produit des normes des vecteurs, et donc l'hypervolume d'un parallélotope rectangle de côtés de mêmes longueurs que les vecteurs ; cette définition correspond à celle du sinus ordinaire pour une famille de deux vecteurs. On voit facilement que le premier hypervolume est inférieur au second, et donc que $-1\le \mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)\le 1,$

comme pour le sinus ordinaire ; les bornes ne sont atteintes que si les vecteurs sont orthogonaux deux à deux.

Généralisation

Une version non signée du sinus polaire existe pour des familles de Modèle:Math vecteurs d'un espace de dimension Modèle:Math ; elle coïncide avec la valeur absolue de la définition précédente dans le cas Modèle:Math. Comme précédemment, on pose $\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)=\frac{\mathrm{\Omega }}{\mathrm{\Pi }},$ mais en prenant

$\mathrm{\Omega }=\sqrt{\det \left({\left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]}^T\left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]\right)}$.

Propriétés

Échange de vecteurs

Le déterminant étant une forme antisymétrique, on a :

$\begin{array}{cc}\mathrm{\Omega }& =\det \left[\begin{array}{cccccccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_i& \cdots & {𝐯}_j& \cdots & {𝐯}_n\end{array}\right]\\ & =-\det \left[\begin{array}{cccccccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_j& \cdots & {𝐯}_i& \cdots & {𝐯}_n\end{array}\right]\\ & =-\mathrm{\Omega }\end{array}$

Indépendance de la norme

Le sinus polaire ne change pas si les vecteurs sont multipliés par des constantes positives (et change de signe pour des constantes négatives), car :

$\begin{array}{cc}\mathrm{psin}(c_1{𝐯}_1,\dots ,c_n{𝐯}_n)& =\frac{\det \left[\begin{array}{cccc}{c}_1{𝐯}_1& c_2{𝐯}_2& \cdots & c_n{𝐯}_n\end{array}\right]}{\prod _{i=1}^n\Vert c_i{𝐯}_i\Vert }\\ & =\frac{\prod _{i=1}^n{c}_i}{\prod _{i=1}^n|c_i|}\cdot \frac{\det \left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right]}{\prod _{i=1}^n\Vert {𝐯}_i\Vert }\\ & =\mathrm{psin}({𝐯}_1,\dots ,{𝐯}_n)\end{array}$

Annulation

Le sinus polaire est nul si et seulement si la famille des ${𝐯}_i$ est liée.

Historique

Le sinus polaire fut défini et étudié par Euler en 1781.

Voir aussi

• Fonction trigonométrique
• Angle solide

Liens externes

• Modèle:MathWorld