ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Endomorphismes, projecteurs et symétries

Exercice 54

Démonstration

On pose F={(x,y,z)∈ℝ3∣x−y+3z=0}F = \{(x, y, z) \in \mathbb{R}^{3} \mid x - y + 3z = 0\} et G={(x,y,z)∈ℝ3∣x+y−z=0 et 2x+z=0}G = \{(x, y, z) \in \mathbb{R}^{3} \mid x + y - z = 0 \text{ et } 2x + z = 0\}.

1. Montrer que FF et GG sont supplémentaires dans ℝ3\mathbb{R}^{3}, et donner une base de chacun d'eux.

2. Soit pp le projecteur sur FF parallèlement à GG, et qq le projecteur sur GG parallèlement à FF. Expliciter p(x,y,z)p(x, y, z) et q(x,y,z)q(x, y, z).

Corrigé

1. Le plan FF a pour base ((1,1,0),(−3,0,1))\big((1, 1, 0), (-3, 0, 1)\big), obtenue en écrivant x=y−3zx = y - 3z. Le système qui définit GG donne z=−2xz = -2x et y=z−x=−3xy = z - x = -3x, d'où G=ℝwG = \mathbb{R} w avec w=(−1,3,2)w = (-1, 3, 2), obtenu pour x=−1x = -1. Avec φ(x,y,z)=x−y+3z\varphi(x, y, z) = x - y + 3z, on a F=Ker φF = \mathrm{Ker}\,\varphi et φ(w)=−1−3+6=2≠0\varphi(w) = -1 - 3 + 6 = 2 \neq 0. Le théorème 7 donne ℝ3=F⊕G\mathbb{R}^{3} = F \oplus G.

2. Comme à l'exercice précédent, v−λw∈Fv - \lambda w \in F si et seulement si λ=φ(v)φ(w)=x−y+3z2\lambda = \frac{\varphi(v)}{\varphi(w)} = \frac{x - y + 3z}{2}. q(x,y,z)=x−y+3z2(−1,3,2),p(x,y,z)=(x,y,z)−x−y+3z2(−1,3,2)\boxed{q(x, y, z) = \frac{x - y + 3z}{2}(-1, 3, 2), \qquad p(x, y, z) = (x, y, z) - \frac{x - y + 3z}{2}(-1, 3, 2)}

Ouvrir dans l'atlas interactif →