Exercice 5-1
Soit une base orthonormée d'un espace vectoriel euclidien . Soit l'endomorphisme dont la matrice dans la base est
- .
Montrer que est une projection orthogonale et préciser sa « base » .
L'ensemble des vecteurs fixes par est le plan d'équation et le vecteur normal appartient à . Donc est la projection orthogonale sur .
Exercice 5-2
Soit une base orthonormée d'un espace vectoriel euclidien . Soit l'hyperplan de d'équation dans la base .
Montrer que la projection orthogonale sur a pour matrice dans la base :
- .
L'endomorphisme de matrice dans fixe tous les vecteurs de et envoie le vecteur normal sur .
Exercice 5-3
On munit du produit scalaire . Soit un polynôme de degré , avec . Pour tout , on note le reste de la division euclidienne de par .
- Montrer que est un projecteur de . Déterminer son noyau et son image.
- On suppose que et que est une projection orthogonale. Montrer que pour tout et pour tout , on a . En déduire que et donc .
- On suppose que . Donner une condition nécessaire et suffisante pour que soit une projection orthogonale.
- , (l'ensemble des polynômes divisibles par et de degré ) et .
- Par hypothèse, , c.-à-d. donc , autrement dit . En particulier (si ) donc (ce qui est absurde puisque par hypothèse, est de degré ; donc dans le cas , n'est jamais une projection orthogonale).
- Si , les calculs précédent montrent que est une projection orthogonale si et seulement si .
Exercice 5-4
Soit muni du produit scalaire . Soient
- .
- Montrer que est une base orthonormale de .
- Déterminer la projection orthogonale de sur .
- En déduire la distance de à .
- est la matrice d'une permutation circulaire d'ordre donc pour tous , le réel vaut si et sinon.
- .
donc . - .
Exercice 5-5
On se place dans muni de son produit scalaire usuel. Pour quelles valeurs de la matrice
représente-t-elle (dans la base canonique de ) une symétrie orthogonale ?
est le plan d'équation et est la droite de vecteur directeur .
représente une symétrie orthogonale si et seulement si ces deux sous-espaces sont orthogonaux, c.-à-d. colinéaire à , ce qui équivaut à .