1.6 Exercices résolus

Exercice 1.1

Utiliser la convention de sommation pour écrire les expressions qui suivent ; préciser la valeur de $n$ dans chaque cas ainsi que les indices muets et libres.

1.
$b_{j1}\,x_{1}+b_{j2}\,x_{2}+b_{j3}\,x_{3}=6$
2.
$b_{11}\,d_{11}+b_{12}\,d_{12}+b_{13}\,d_{13}+b_{14}\,d_{14}=C$

Solutions

1.
L’indice $j$ est un indice libre ; notons $k$ l’indice muet, il vient :

\begin{equation*} b_{jk}\,x_{k}=6 \,\,\,\,;\,\,\,\, n=3  
\tag{1.6.1} \end{equation*}

2.
Les premiers indices, notés 1 des quantités $b$ et $d$ sont libres ; notons $j$ l’indice de sommation, il vient :

\begin{equation*} b_{1j}\,d_{1j}=C \,\,\,\,;\,\,\,\, n=4  
\tag{1.6.2} \end{equation*}

Exercice 1.2

Pour $n=3$, écrire explicitementl’expression $M_{ijk}\,B^{ij}$.

Solutions

L’indice $k$ est un indice libre ; on a deux indices de sommation $i$ et $j$ et le nombre de termes obtenus doit être égal à $3^{2}=9$.

\[\begin {array}[b]{lclr} M_{ijk}^{ij}&=&M_{1jk}\,B^{1j}+M_{2jk}\,B^{2j}+M_{3jk}\,B^{3j}\\ &=&M_{11k}\,B^{11}+M_{12k}\,B^{12}+M_{13k}\,B^{13}+M_{21k}\,B^{21}+M_{22k}\,B^{22}+M_{23k}\,B^{23}\\ &+&M_{31k}\,B^{31}+M_{32k}\,B^{32}+M_{33k}\,B^{33} \end {array}\]

Exercice 1.3

Démontrer les identités suivantes :

1.
$a_{ij}\,x_{i}\,x_{j}=a_{ji}\,x_{i}\,x_{j}$
2.
$(a_{ik}-a_{ki})\,x_{i}\,x_{k}=0$

Solutions

1.
Effectuons un changement des indices muets en changeant $i$ en $j$ et $j$ en $i$, il vient :

\begin{equation*} a_{ij}\,x_{i}\,x_{j}=a_{ji}\,x_{j}\,x_{i}=a_{ji}\,x_{i}\,x_{j}  
\tag{1.6.3} \end{equation*}

2.

\begin{equation*} (a_{ik}-a_{ki})\,x_{i}\,x_{k}=a_{ik}\,x_{i}\,x_{k}-a_{ki}\,x_{i}\,x_{k}  
\tag{1.6.4} \end{equation*}

Utilisant le résultat précédent $a_{ij}\,x_{i}\,x_{j}=a_{ji}\,x_{i}\,x_{j}$, il vient :

\begin{equation*} a_{ik}\,x_{i}\,x_{k}=a_{ki}\,x_{i}\,x_{k}  
\tag{1.6.5} \end{equation*}

d’où $(a_{ik}-a_{ki})\,x_{i}\,x_{k}=0$

Exercice 1.4

Démontrer qu’un déterminant d’ordre trois peut s’écrire sous la forme :

\begin{equation*} \text{det}\,[a_{ijk}]=\epsilon^{ijk}\,a_{1i}\,a_{2j}\,a_{3k}  
\tag{1.6.6} \end{equation*}

Solutions

Développons l’expression, il vient :

\[\begin {array}[b]{lclr} \epsilon ^{ijk}\,a_{1i}\,a_{2j}\,a_{3k}&=&\epsilon ^{1jk}\,a_{11}\,a_{2j}\,a_{3k}+\epsilon ^{2jk}\,a_{12}\,a_{2j}\,a_{3k}+\epsilon ^{3jk}\,a_{13}\,a_{2j}\,a_{3k}\\ &=&a_{11}\,(\epsilon ^{1jk}\,a_{2j}\,a_{3k})+a_{12}\,(\epsilon ^{2jk}\,a_{2j}\,a_{3k})+a_{13}\,(\epsilon ^{3jk}\,a_{2j}\,a_{3k})\\ \end {array}\]

Les termes entre parenthèses sont les déterminants d’ordre deux. Le symbole d’antisymétrie $\epsilon ^{1jk}$ a pour valeur :

\begin{equation*} \epsilon^{111}=\epsilon^{112}=\epsilon^{113}=\epsilon^{121}=\epsilon^{122}=\epsilon^{131}=\epsilon^{133}=0\,\,\,\,;  
\,\,\,\,\epsilon^{123}=1\,\,\,;\,\,\,\,\epsilon^{132}=-1  
\tag{1.6.7} \end{equation*}

d’òu :

\begin{equation*} \epsilon^{1jk}\,a_{2j}\,a_{3k}=a_{22}\,a_{33}-a_{23}\,a_{32}=\left| \begin{array}{cc}  
         a_{22}  & a_{23}  \\  
  \\  
 a_{32}  & a_{33} \\  
     \end{array} \right |  
\tag{1.6.8} \end{equation*}

On obtient de même :

\begin{equation*} \epsilon^{2jk}\,a_{2j}\,a_{3k}=a_{23}\,a_{31}-a_{21}\,a_{33}\,\,\,\,;\,\,\,\,\epsilon^{3jk}\,a_{2j}\,a_{3k}=a_{21}\,a_{32}-a_{22}\,a_{31}  
\tag{1.6.9} \end{equation*}

Regroupons avec le développement du début, on obtient :

\begin{equation*} \epsilon^{ijk}\,a_{1i}\,a_{2j}\,a_{3k}=a_{11}\,\left| \begin{array}{cc}  
         a_{22}  & a_{23}  \\  
  \\  
 a_{32}  & a_{33} \\  
     \end{array} \right | - a_{12}\,\,\left| \begin{array}{cc}  
         a_{21}  & a_{23}  \\  
  \\  
 a_{31}  & a_{33} \\  
     \end{array} \right | + a_{13}\,\,\left| \begin{array}{cc}  
         a_{21}  & a_{22}  \\  
  \\  
 a_{31}  & a_{32} \\  
     \end{array} \right |  
\tag{1.6.10} \end{equation*}

C’est l’expression du développement selon sa première ligne d’un déterminant d’ordre trois.

Exercice 1.5

Considérons les vecteurs de base de $E_{3}$ :

\begin{equation*} \beq{e_{1}}=(a,0,0)\,\,\,\,;\,\,\,\,\beq{e_{2}}=(b,c,0)\,\,\,\,;\,\,\,\,\beq{e_{3}}=(0,0,d)  
\tag{1.6.11} \end{equation*}

1.
Démontrer que ces vecteurs sont linéairement indépendants.
2.
Calculer la décomposition d’un vecteur donné : $\beq {X}=(A,B,C)$ sur la base {$\beq {e_{1}},\beq {e_{2}},\beq {e_{3}}$}.

Solutions

1.
Écrivons une combinaison linéaire des vecteurs $\mathbf {e_{1}}$, $\mathbf {e_{2}}$, $\mathbf {e_{3}}$ égale au vecteur nul, soit :

\begin{equation*} \lambda_{1}\,\beq{e_{1}}+\lambda_{2}\,\beq{e_{2}}+\lambda_{3}\,\beq{e_{3}}=\lambda_{1}\,(a,0,0)+\lambda_{2}\,(b,c,0)+\lambda_{3}\,(0,0,d)=(0,0,0)  
\tag{1.6.12} \end{equation*}

On en déduit : $\lambda _{2}=\lambda _{3}=0$, d’où $\lambda _{1}=0$

Ces trois vecteurs sont linéairement indépendants et forment une base de $E_{3}$.

2.
Cherchons une décomposition du vecteur $\beq {X}=(A,B,C)$ sous la forme :

\begin{equation*} \beq{X}=x^{1}\,\beq{e_{1}}+x^{2}\,\beq{e_{2}}+x^{3}\,\beq{e_{3}}  
\tag{1.6.13} \end{equation*}

Écrivons cette décomposition sous la forme suivante :

\begin{equation*} \beq{X}=x^{1}\,(a,0,0)+x^{2}\,(b,c,0)+x^{3}\,(0,0,d)=(A,B,C)  
\tag{1.6.14} \end{equation*}

Identifiant les nombres correspondants entre eux, il vient :

\begin{equation*} x^{1}\,a+x^{2}\,b=A\,\,\,;\,\,\,x^{2}\,c=B\,\,\,;\,\,\,x^{3}\,d=C  
\tag{1.6.15} \end{equation*}

d’où les valeurs des composantes :

\begin{equation*} x^{1}=\dfrac{cA-bB}{ac}\,\,\,;\,\,\,x^{2}=\dfrac{B}{c}\,\,\,;\,\,\,x^{3}=\dfrac{C}{d}  
\tag{1.6.16} \end{equation*}

Exercice 1.6

On considère trois vecteurs de $E_{3}$ :

\begin{equation*} \beq{A}=(1,1,1)\,\,\,;\,\,\,\beq{B}=(0,1,1)\,\,\,;\,\,\,\beq{C}=(0,0,1)  
\tag{1.6.17} \end{equation*}

1.
Montrer que ces trois vecteurs sont linéairement indépendants.
2.
Déterminer une base orthogonale de $E_{3}$ en utilisant le procédé d’orthogonalisation de Schmidt.

Solutions

1.
Les vecteurs $\mathbf {A}$, $\mathbf {B}$, $\mathbf {C}$ sont linéairement indépendants si le déterminant ayant pour éléments les composantes des vecteurs est différent de zéro. Le déterminant étant égal à un, $\mathbf {A}$, $\mathbf {B}$, $\mathbf {C}$ sont des vecteurs indépendants.
2.
Cherchons trois vecteurs $\mathbf {e_{1}}$, $\mathbf {e_{2}}$, $\mathbf {e_{3}}$ pour construire une base orthogonale de $E_{3}$. Posons : $\beq {e_{1}}=\beq {A}$ et cherchons $\mathbf {e_{2}}$ sous la forme : $\beq {e_{2}}=\alpha \,\beq {e_{1}}+\beq {B}$. Le coefficient $\alpha $ se calcule en écrivant la relation d’orthogonalité :

\begin{equation*} \beq{e_{1}}\,\cdot\,\beq{e_{2}}=\beq{A}\,\cdot\,(\alpha\,\beq{A}+\beq{B})=0  
\tag{1.6.18} \end{equation*}

On obtient :

\begin{equation*} \alpha=-\dfrac{\beq{A}\,\cdot\,\beq{B}}{\beq{A}\,\cdot\,\beq{A}}=-\dfrac{2}{3}  
\tag{1.6.19} \end{equation*}

Le vecteur $\mathbf {e_{2}}$ est égal à : $\beq {e_{2}}=-\dfrac {2}{3}\,\beq {A}+\beq {B}=(-\dfrac {2}{3},\dfrac {1}{3},\dfrac {1}{3})$

Le vecteur $\mathbf {e_{3}}$ est cherché sous la forme : $\beq {e_{3}}=\beta \,\beq {e_{1}}+\gamma \,\beq {e_{2}}+\beq {C}$. Écrivons les deux relations d’orthogonalité :

\begin{equation*} \beq{e_{1}}\,\cdot\,\beq{e_{3}}=\beq{e_{1}}\,\cdot\,(\beta\,\beq{e_{1}}+\gamma\,\beq{e_{2}}+\beq{C})=0\,\,\,;\,\,\,\beq{e_{2}}\,\cdot\,\beq{e_{3}}=\beq{e_{2}}\,\cdot\,(\beta\,\beq{e_{1}}+\gamma\,\beq{e_{2}}+\beq{C})=0  
\tag{1.6.20} \end{equation*}

On obtient :

\begin{equation*} \beq{e_{3}}=-\dfrac{1}{3}\,\beq{e_{1}}-\dfrac{1}{2}\,\beq{e_{2}}+\beq{C}=(0,-\dfrac{1}{2},\dfrac{1}{2})  
\tag{1.6.21} \end{equation*}

Exercice 1.7

Soient deux vecteurs de $E_{3}$ :

\begin{equation*} \beq{A}=(a_{1},a_{2},a_{3})\,\,\,\,;\,\,\,\,\beq{B}=(b_{1},b_{2},b_{3})  
\tag{1.6.22} \end{equation*}

et une base de $E_{3}$ définie par : {$\beq {e_{1}}=(1,1,1),\beq {e_{2}}=(0,1,1),\beq {e_{3}}=(0,0,1)$}

1.
Déterminer les composantes contravariantes de $\mathbf {A}$ et $\mathbf {B}$.
2.
Déterminer les composantes covariantes de $\mathbf {A}$ et $\mathbf {B}$ à l’aide de deux manières différentes.
3.
On considère les deux vecteurs particuliers : $\beq {A}=(4,1,2)$ ; $\beq {B}=(1,3,5)$

Calculer les valeurs numériques des composantes contravariantes et covariantes des vecteurs $\mathbf {A}$ et $\mathbf {B}$.

4.
Calculer le produit scalaire des vecteurs $\mathbf {A}$ et $\mathbf {B}$ à l’aide des composantes contravariantes et covariantes.

Solutions

1.
Les vecteurs $\mathbf {A}$ et $\mathbf {B}$ se décomposent sur la base donnée selon la méthode de l’exercice 1.5 ; on obtient :

\begin{equation*} \beq{A}=a_{1}\,\beq{e_{1}}+(a_{2}-a_{1})\,\beq{e_{2}}+(a_{3}-a_{2})\,\beq{e_{3}}\\  
\tag{1.6.23} \end{equation*} \begin{equation*} =x^{1}\,\beq{e_{1}}+x^{2}\,\beq{e_{2}}+x^{3}\,\beq{e_{3}}\\  
\tag{1.6.24} \end{equation*}

\begin{equation*} \beq{B}=b_{1}\,\beq{e_{1}}+(b_{2}-b_{1})\,\beq{e_{2}}+(b_{3}-b_{2})\,\beq{e_{3}}\\  
\tag{1.6.25} \end{equation*} \begin{equation*} =y^{1}\,\beq{e_{1}}+y^{2}\,\beq{e_{2}}+y^{3}\,\beq{e_{3}}  
\tag{1.6.26} \end{equation*}

Par définition, les composantes contravariantes sont les nombres que multiplient les vecteurs de base. On a :

\begin{equation*} x^{1}=a_{1}\,\,\,;\,\,\,x^{2}=a_{2}-a_{1}\,\,\,;\,\,\,x^{3}=a_{3}-a_{2}  
\tag{1.6.27} \end{equation*}

\begin{equation*} y^{1}=b_{1}\,\,\,;\,\,\,y^{2}=b_{2}-b_{1}\,\,\,;\,\,\,y^{3}=b_{3}-b_{2}  
\tag{1.6.28} \end{equation*}

2.
Les composantes covariantes $x_{j}$ d’un vecteur $\mathbf {A}$ sont, par définition, les produits scalaires de $\mathbf {A}$ par chacun des vecteurs de base, soit :

\begin{equation*} x_{j}=A\,\cdot\,\beq{e_{j}}=(x^{1}\,\beq{e_{1}}+x^{2}\,\beq{e_{2}}+x^{3}\,\beq{e_{3}})\,\cdot\,\beq{e_{j}}\\  
\tag{1.6.29} \end{equation*}

\begin{equation*} =x^{1}\,(\beq{e_{1}}\,\cdot\,\beq{e_{j}})+x^{2}\,(\beq{e_{2}}\,\cdot\,\beq{e_{j}})+x^{3}\,(\beq{e_{3}}\,\cdot\,\beq{e_{j}})\\  
\tag{1.6.30} \end{equation*}

\begin{equation*} =x^{1}\,g_{1j}+x^{2}\,g_{2j}+x^{3}\,g_{3j}  
\tag{1.6.31} \end{equation*}

Les quantités $g_{ij}$ sont égales à $g_{ij}=\beq {e_{i}}\,\cdot \,\beq {e_{j}}$, soit :

\begin{equation*} g_{11}=3\,\,\,;\,\,\,g_{12}=g_{21}=2\,\,\,;\,\,\,g_{13}=g_{31}=1  
\tag{1.6.32} \end{equation*}

\begin{equation*} g_{22}=2\,\,\,;\,\,\,g_{23}=g_{32}=1\,\,\,;\,\,\,g_{33}=1  
\tag{1.6.33} \end{equation*}

Les composantes covariantes sont donc :

Vecteur $\mathbf {A}$ :

\begin{align*}   x_{1} &= a_{1}\,g_{11}+(a_{2}-a_{1})\,g_{21}+(a_{3}-a_{2})\,g_{31} = a_{1}+a_{2}+a_{3}\\  
  x_{2} &= a_{1}\,g_{12}+(a_{2}-a_{1})\,g_{22}+(a_{3}-a_{2})\,g_{32} = a_{2}+a_{3}\\  
\tag{1.6.34} \end{align*}

Vecteur $\mathbf {B}$ :

\begin{align*}   y_{1} &= b_{1}\,g_{11}+(b_{2}-b_{1})\,g_{21}+(b_{3}-b_{2})\,g_{31} = b_{1}+b_{2}+b_{3}\\  
  y_{2} &= b_{1}\,g_{12}+(b_{2}-b_{1})\,g_{22}+(b_{3}-b_{2})\,g_{32} = b_{2}+b_{3}\\  
\tag{1.6.35} \end{align*}

On peut également utiliser les expressions de définition des vecteurs pour calculer les composantes covariantes. On a :

Vecteur $\mathbf {A}$ :

\begin{align*}   x_{1} &= \beq{A}\,\cdot\,\beq{e_{1}} = (a_{1},a_{2},a_{3})\,\cdot\,(1,1,1) = a_{1}+a_{2}+a_{3}\\  
  x_{2} &= \beq{A}\,\cdot\,\beq{e_{2}} = (a_{1},a_{2},a_{3})\,\cdot\,(0,1,1) = a_{2}+a_{3}\\  
  x_{3} &= \beq{A}\,\cdot\,\beq{e_{3}} = a_{3}\\  
\tag{1.6.36} \end{align*}

Vecteur $\mathbf {B}$ :

\begin{align*}   y_{1} &= \beq{B}\,\cdot\,\beq{e_{1}} = (b_{1},b_{2},b_{3})\,\cdot\,(1,1,1) = b_{1}+b_{2}+b_{3}\\  
  y_{2} &= \beq{B}\,\cdot\,\beq{e_{2}} = (b_{1},b_{2},b_{3})\,\cdot\,(0,1,1) = b_{2}+b_{3}\\  
  y_{3} &= \beq{B}\,\cdot\,\beq{e_{3}} = b_{3}\\  
\tag{1.6.37} \end{align*}

3.
$\beq {A}=(4,1,2)\,\,\,;\,\,\,\beq {B}=(1,3,5)$.

Composantes contravariantes :

Vecteur $\mathbf {A}$ : $x^{1}=4\,\,;\,\,x^{2}=-3\,\,;\,\,x^{3}=1\,\,$

Vecteur $\mathbf {B}$ : $y^{1}=1\,\,;\,\,y^{2}=2\,\,;\,\,y^{3}=2\,\,$

Composantes covariantes :

Vecteur $\mathbf {A}$ : $x_{1}=7\,\,;\,\,x_{2}=3\,\,;\,\,x_{3}=1\,\,$

Vecteur $\mathbf {B}$ : $y_{1}=9\,\,;\,\,y_{2}=8\,\,;\,\,y_{3}=5\,\,$

4.
La formule (1.5.18) donne l’expression du produit scalaire sous la forme :

\begin{equation*} \beq{A}\,\cdot\,\beq{B}=x^{1}\,y_{1}+x^{2}\,y_{2}+x^{3}\,y_{3}=17  
\tag{1.6.38} \end{equation*}

Exercice 1.8

Soient deux systèmes de vecteurs réciproques, notés {$\beq {e_{1}},\beq {e_{2}},\beq {e_{3}}$} et {$\beq {e^{1}},\beq {e^{2}},\beq {e^{3}}$}. Partant de la définition des vecteurs réciproques : $\beq {e_{i}}\,\cdot \,\beq {e^{j}}=\delta _{ij}$,

1.
Démontrer qu’on a :

\begin{equation*} \beq{e^{1}}=\dfrac{\beq{e_{2}}\,\times\,\beq{e_{3}}}{V}\,\,\,;\,\,\,\beq{e^{2}}=\dfrac{\beq{e_{3}}\,\times\,\beq{e_{1}}}{V}\,\,\,;\,\,\,\beq{e^{3}}=\dfrac{\beq{e_{1}}\,\times\,\beq{e_{2}}}{V}\,\,\,\text{avec}\,\,\,V=\beq{e_{1}}\,\cdot\,(\beq{e_{2}}\,\times\,\beq{e_{3}})  
\tag{1.6.39} \end{equation*}

2.
Démontrer qu’on a inversement :

\begin{equation*} \beq{e_{1}}=\dfrac{\beq{e^{2}}\,\times\,\beq{e^{3}}}{V}\,\,\,;\,\,\,\beq{e_{2}}=\dfrac{\beq{e^{3}}\,\times\,\beq{e^{1}}}{V}\,\,\,;\,\,\,\beq{e_{3}}=\dfrac{\beq{e^{1}}\,\times\,\beq{e^{2}}}{V}\,\,\,\text{avec}\,\,\,V’=\beq{e^{1}}\,\cdot\,(\beq{e^{2}}\,\times\,\beq{e^{3}})  
\tag{1.6.40} \end{equation*}

Solutions

1.
Des vecteurs réciproques sont tels que : $\beq {e_{i}}\,\cdot \,\beq {e^{j}}=\delta _{ij}$. En particulier, $\beq {e^{1}}$ est orthogonal à $\mathbf {e_{2}}$ et $\mathbf {e_{3}}$ et par suite on peut écrire : $\beq {e^{1}}=\lambda \,(\beq {e_{2}}\,\times \,\beq {e_{3}})$

D’autre part : $\beq {e_{1}}\,\cdot \,\beq {e^{1}}=\lambda \,\beq {e_{1}}\,\cdot \,\,(\beq {e_{2}}\,\times \,\beq {e_{3}})=1$

d’où : $\lambda =\dfrac {1}{\beq {e_{1}}\,\cdot \,(\beq {e_{2}}\,\times \,\beq {e_{3}})}$  ; $\beq {e^{1}}=\dfrac {(\beq {e_{2}}\,\times \,\beq {e_{3}})}{\beq {e_{1}}\,\cdot \,(\beq {e_{2}}\,\times \,\beq {e_{3}})}$

On obtient de même :

$\beq {e^{2}}=\dfrac {(\beq {e_{3}}\,\times \,\beq {e_{1}})}{\beq {e_{1}}\,\cdot \,(\beq {e_{2}}\,\times \,\beq {e_{3}})}\,\,\,\,;\,\,\,\,\beq {e^{3}}=\dfrac {(\beq {e_{1}}\,\times \,\beq {e_{2}})}{\beq {e_{1}}\,\cdot \,(\beq {e_{2}}\,\times \,\beq {e_{3}})}$

2.
La démonstration de l’expression des vecteurs $\mathbf {e_{i}}$ en fonction des vecteurs réciproques $\mathbf {e^{j}}$ est identique à la démonstration précédente en intervertissant le rôle des vecteurs $\mathbf {e_{i}}$ et $\mathbf {e^{j}}$. Les bases réciproques ont des rôles symétriques l’une par rapport à l’autre.

Exercice 1.9

On considère trois vecteurs formant une base orthogonale de $E_{3}$ :

\begin{equation*} \beq{e_{1}}=(a,0,0)\,\,\,;\,\,\beq{e_{2}}=(0,b,0)\,\,;\,\,\beq{e_{3}}=(0,0,c)  
\tag{1.6.41} \end{equation*}

1.
Déterminer la base réciproque, notée {$\beq {e^{1}},\beq {e^{2}},\beq {e^{3}}$}, de la base précédente.
2.
Comparer les normes des vecteurs de chaque base
3.
Considérons une base orthonormée : $\beq {e_{1}}=(1,0,0)$  ; $\beq {e_{2}}=(0,1,0)$  ;
$\beq {e_{3}}=(0,0,1)$

Déterminer la base réciproque.

Solutions

1.
Les vecteurs $\mathbf {e^{j}}$ de la base réciproque sont tels que :

\begin{equation*} \beq{e_{i}}\,\cdot\,\beq{e^{j}}=\delta_{ij}  
\tag{1.6.42} \end{equation*}

Cherchons les vecteurs $\mathbf {e^{j}}$ sous la forme : $\beq {e^{j}}=(x_{j},y_{j},z_{j})$ ; la relation précédente nous donne :

\begin{equation*} \beq{e_{1}}\,\cdot\,\beq{e^{1}}=(a,0,0)\,\cdot\,(x_{1},y_{1},z_{1})=a\,x_{1}=1 ;\\  
\tag{1.6.43} \end{equation*}

\begin{equation*} \beq{e_{1}}\,\cdot\,\beq{e^{2}}=(a,0,0)\,\cdot\,(x_{2},y_{2},z_{2})=a\,x_{2}=0 ; \,\,\,\text{etc} \\  
\tag{1.6.44} \end{equation*}

Les vecteurs $\mathbf {e^{j}}$ de la base réciproque sont :

\begin{equation*} \beq{e^{1}}=(\dfrac{1}{a},0,0)\,\,\,;\,\,\,\beq{e^{2}}=(0,\dfrac{1}{b},0)\,\,\,;\,\,\,\beq{e^{3}}=(0,0,\dfrac{1}{c})  
\tag{1.6.45} \end{equation*}

2.
Les vecteurs de la base {$\mathbf {e_{i}}$} ont pour norme :

\begin{equation*} ||\beq{e_{1}}||=a\,\,\,;\,\,\,||\beq{e_{2}}||=b\,\,\,;\,\,\,||\beq{e_{3}}||=c  
\tag{1.6.46} \end{equation*}

Ceux de la base réciproque ont pour norme les inverses des grandeurs précédentes :

\begin{equation*} ||\beq{e^{1}}||=\dfrac{1}{a}=\dfrac{1}{||\beq{e_{1}}||}\,\,\,;\,\,\,||\beq{e^{2}}||=\dfrac{1}{b}=\dfrac{1}{||\beq{e_{2}}||}\,\,\,;\,\,\,||\beq{e^{3}}||=\dfrac{1}{c}=\dfrac{1}{||\beq{e_{3}}||}  
\tag{1.6.47} \end{equation*}

3.
Pour une base orthonormée, les vecteurs de la base réciproque sont égaux aux vecteurs de la base.

Exercice 1.10

On considère dans un plan , un sytème d’axes orthogonaux portant les vecteurs $\mathbf {e_{1}}$ et $\mathbf {e_{2}}$ de longueur unité (Fig.1.3). Une rotation des axes dans le plan d’un angle $\alpha $, transforme ces vecteurs respectivement en $\mathbf {e'_{1}}$ et $\mathbf {e'_{2}}$.


PIC

figure 1.3:

1.
Déterminer les expressions de $\mathbf {e'_{1}}$ et $\mathbf {e'_{3}}$ sur la base {$\mathbf {e_{1}}$,$\mathbf {e_{2}}$} et écrire les expressions des $A^{i}_{k}$.
2.
Faire de même pour $\mathbf {e_{1}}$ et $\mathbf {e_{2}}$ sur la base {$\mathbf {e'_{1}}$,$\mathbf {e'_{2}}$} et déterminer les $A'^{i}_{k}$.
3.
Soient $x^{1}$ et $x^{2}$ les composantes du vecteur $\mathbf {OM}$ sur la base {$\mathbf {e_{1}}$,$\mathbf {e_{2}}$} et $x'^{1}$,$x'^{2}$ sur la base {$\mathbf {e'_{1}}$,$\mathbf {e'_{2}}$}. Déterminer $x^{1}$ et $x^{2}$ en fonction de $x'^{1}$,$x'^{2}$ et inversement.

Solutions

1.
Les composants de $\mathbf {e'_{1}}$ sont égales à ses projections sur les axes portant $\mathbf {e_{1}}$ et $\mathbf {e_{2}}$ ; de même pour $\mathbf {e'_{2}}$ (Fig.1.3). On a donc :

\begin{equation*} \beq{e’_{1}}=\text{cos}\,\alpha\,\beq{e_{1}}+\text{sin}\,\alpha\,\beq{e_{2}}  
\tag{1.6.49} \end{equation*}

\begin{equation*} \beq{e’_{2}}=-\text{sin}\,\alpha\,\beq{e_{1}}+\text{cos}\,\alpha\,\beq{e_{2}}  
\tag{1.6.50} \end{equation*}

On obtient :

\begin{equation*} A^{1}_{1}=\text{cos}\,\alpha\,\,\,;\,\,\,A^{2}_{1}=\text{sin}\,\alpha\,\,\,;\,\,\,A^{1}_{2}=-\text{sin}\,\alpha\,\,\,;\,\,\,A^{2}_{2}=\text{cos}\,\alpha  
\tag{1.6.51} \end{equation*}

2.
Un raisonnement géométrique direct (ou l’inversion des relations précédentes) nous donne :

\begin{equation*} \beq{e_{1}}=\text{cos}\,\alpha\,\beq{e’_{1}}-\text{sin}\,\alpha\,\beq{e’_{2}}  
\tag{1.6.52} \end{equation*}

\begin{equation*} \beq{e_{2}}=\text{sin}\,\alpha\,\beq{e’_{1}}+\text{cos}\,\alpha\,\beq{e’_{2}}  
\tag{1.6.53} \end{equation*}

On obtient :

\begin{equation*} A’^{1}_{1}=\text{cos}\,\alpha\,\,\,;\,\,\,A’^{2}_{1}=-\text{sin}\,\alpha\,\,\,;\,\,\,A^{’1}_{2}=\text{sin}\,\alpha\,\,\,;\,\,\,A’^{2}_{2}=\text{cos}\,\alpha  
\tag{1.6.54} \end{equation*}

3.
On peut utiliser les formules de changement de base (1.3.16) et (1.3.17) mais nous allons les établir directement. Le vecteur $\mathbf {OM}$ s’écrit :

\begin{equation*} \beq{OM}=x^{1}\,\beq{e_{1}}+x^{2}\,\beq{e_{2}}=(x^{1}\,\text{cos}\,\alpha+x^{2}\,\text{sin}\,\alpha)\,\beq{e’_{1}}+(-x^{1}\,\text{sin}\,\alpha+x^{2}\,\text{cos}\,\alpha)\,\beq{e’_{2}}  
\tag{1.6.55} \end{equation*}

\begin{equation*} =x’^{1}\,\beq{e’_{1}}+x’^{2}\,\beq{e’_{2}}  
\tag{1.6.56} \end{equation*}

Identifiant les composantes entre elles, il vient :

\begin{equation*} x’^{1}=x^{1}\,\text{cos}\,\alpha+x^{2}\,\text{sin}\,\alpha\,\,\,;\,\,\,;x’^{2}=-x^{1}\,\text{sin}\,\alpha+x^{2}\,\text{cos}\,\alpha  
\tag{1.6.57} \end{equation*}

Un calcul similaire nous donne :

\begin{equation*} x^{1}=x’^{1}\,\text{cos}\,\alpha-x’^{2}\,\text{sin}\,\alpha\,\,\,;\,\,\,;x^{2}=x’^{1}\,\text{sin}\,\alpha+x’^{2}\,\text{cos}\,\alpha  
\tag{1.6.58} \end{equation*}

Vérifions la formule (1.3.16), par exemple, on a : $x'^{k}=A'^{k}_{i}\,x^{i}$ soit :

\begin{equation*} x’^{1}=x^{1}\,A’^{1}_{1}+x^{2}\,A’^{1}_{2}=x^{1}\,\text{cos}\,\alpha+x^{2}\,\text{sin}\,\alpha  
\tag{1.6.59} \end{equation*}

\begin{equation*} x’^{2}=x^{1}\,A’^{2}_{1}+x^{2}\,A’^{2}_{2}=-x^{1}\,\text{sin}\,\alpha+x^{2}\,\text{cos}\,\alpha  
\tag{1.6.60} \end{equation*}