Ipest La Marsa

XPC
2021-2022

DM 2

Problème : Sur les Hyperplans d’un espace Euclidien

E désigne un Euclidien de dimension n 2.

NB : Aucune connaissance préalable sur les hyperplans n’est

demandée içi, à part la simple dé…nition qui suit !

Un sev H de E est dit un hyperplan de E si

dim H = n 1 (= dim E 1) .

Les parties B- et C- sont largement indépendantes mais utilisent tous

des notions de la partie A-.

Partie A : Généralités

1- Distance d’un vecteur à un hyperplan :

Soit H un hyperplan de E.

a- Que vaut dim H ? ?

b- Justi…er l’existence d’un vecteur unitaire (de norme 1) a

tel que
H ? = vect (a) .
Est-il unique ?

1
c- Soit x0 2 E. Montrer que

d (x0 ; H) = jhx0 ; aij .

2- Caractérisation avec les formes linéaire :

Soit H un hyperplan de E et a un vecteur unitaire engendrant H ? .

a- Montrer que l’application fa : E ! R dé…nie par

fa (x) = ha; xi , 8x 2 E

est une forme linéaire sur E (i.e, une application linéaire de E dans R)

non nulle.

b- Prouver que
H = ker fa .

c- Réciproquement, soit g : E ! R une forme linéaire non nulle.

Montrer que ker g est un hyperplan de E.

Un sev de E est donc un hyperplan de E ssi il’est le noyau d’une

certaine forme linéaire sur E non nulle.

3- Un exemple :

On se place dans R3 munit de son ps canonique et on se donne un

triplet de réels ( ; ; ) 6= (0; 0; 0). Posons :

H = (x; y; z) 2 R3 : x + y + z = 0 .

a- Justi…er que H est un hyperplan de R3 .

b- Soit w = (x0 ; y0 ; z0 ) 2 R3 . Calculer d (w; H).

4- Ré‡exions :

2
Soit H un hyperplan de E. On rappelle que la symétrie orthogonale par

rapport à H i.e,
M
sH : E = H H? ! E
x = xH + xH ? ! xH xH ?

est dite la ré‡exion par rapport à H.

On se place dans R3 munit de son ps canonique et posons

H = (x; y; z) 2 R3 : x y+z =0 .

a- Trouver une BON de R3 dans laquelle la matrice de sH est diagonale.

b- En déduire la matrice de sH dans 3 la base canonique de R3 .

c- Déduire de cette matrice (b-) celle de pH dans 3.

Partie B : Hyperplan de matrices

On se place dans cette partie dans l’Euclidien Mn (R) (n 3) munit de

X
n X
n
t
hA; Bi := tr A:B = aji bji .
i=1 j=1

On considère la matrice suivante F 2 Mn (R) dé…nie par

fii = 1 , 8i 2 f1::ng
fi1 = 1 , 8i 2 f1::ng
fin = 1 , 8i 2 f1::ng
0 ailleurs

i.e, 2 3
1 0 0
1
6 .. .. .. 7
6. 1 . 17
.
6. . .. 7
F =6
6 .. 0 .. 0 .7 7:
6 .. . . .. .7
.
41 . . . .5
1 0 0 1

3
On pose :
H = fS 2 Mn (R) : hF; Si = 0g .
1- Que vaut jjF jj ?

2- Justi…er que H est un hyperplan de Mn (R).

3- Trouver un matrice engendrant H? .

4- Soit M 2 Mn (R). Calculer d (M; H).

5- Dans cette question on va réduire la matrice F .

a- Posons B = F In . Que vaut rg(B) ?

b- En déduire ainsi une valeur propre de F .

c- Exhiber aussi que

0 2 sp (F ) et que 2 2 sp (F ) .

d- En déduire que la matrice F est diagonalisable et donner sa réduite

diagonale D.

6- On se donne un polynôme

P = a0 + a1 X + :: + aq X q , q = deg P 1

et considèrons la matrice
t 2 q
P F := a0 In + a1 : t F + a2 t F + ::: + aq t F .

Établir que

t j(n 2) P (1) + 2P (2)j

d P F ;H = p
3n 2

On va maintenant donner une description des hyperplans de matrices

en général.

4
On se place désormais dans l’Euclidien Mn (R) (n 2) munit de

hA; Bi := tr t A:B .

Soit : Mn (R) ! R une forme linéaire non nulle.

7- Justi…er l’existence d’une matrice unique A 2 Mn (R) tel que

(M ) = hA; M i , 8M 2 Mn (R) :

8- Donner alors une telle description.

Partie C : Une réduction par rapport à un hyperplan :

On rappelle içi que le déterminant d’un endomorphisme est par dé…nition

le déterminant de sa matrice écrite dans une base quelconque.

On se donne un endomorphisme f 2 SO (R3 ) i.e, f est orthogonal et

det (f ) = 1.

1- Que vaut deg f ?

2- Prouver que f admet une valeur propre réelle qu’on note .

3- Prouver que
= 1 ou = 1.
Fixons u1 2 E (f ) un vecteur unitaire.

4- Montrer qu’on peut compléter (u1 ) en une BON = (u1 ; u2 ; u3 ) de

R3 .

Posons
H = vect (u2 ; u3 ) hyperplan de R3 :
5- Montrer que H est stable par f .

On note g la restriction de f à H ; g = f=H . g dé…nit donc un

5
endomrphisme de H dans lui même.

6- Montrer que g est également orthogonal.

7- Prouver que la matrice de f dans est de l’une des formes suivantes

2 3
1 0 0
40 cos sin 5 , 2 [0; 2 [ .
0 sin cos
ou 2 3
1 0 0
4 0 cos sin 5 , 2 [0; 2 [ .
0 sin cos
8- Application : Posons
2 3
2 1 2
1
A= 4 2 2 15 2 M3 (R)
3
1 2 2

et soit uA 2 L (R3 ) l’endomorphisme canoniquement associé à A.

a- Justi…er que uA 2 SO (R3 ) .

b- Montrer que A est orthogonalement semblable à une matrice de l’une

de ces deux formes.

c- Soit 2 [0; 2 [ l’angle qui apparaît dans cette réduite. Justi…er que
1
cos = .
2