Soit
Monter que
Soit
La dimension de
Est inversible. C’est le cas, puisqu’elle est de déterminant
Autre méthode : vu la dimension de
Ainsi,
On en déduit
Préciser les vecteurs,
Puisque
Ainsi,
Préciser
Les coordonnées de
Ainsi,
Préciser les matrices de passage entre les bases
La matrice de passage de la base
La matrice de passage de la base
Ainsi
On obtient en le résolvant comme un système linéaire à coefficients réels :
On a :
Montrer que les sous-espaces vectoriels
Comme
Quelle est la matrice de projection vectorielle
Par définition de la projection
D’autre part :
Il en résulte :
On pourrait aussi utiliser les matrices de passage pour déduire cette matrice de la matrice de
