ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Exercices de synthèse

Exercice 61

DémonstrationCalcul

Soit n⩾2n \geqslant 2 et A∈ℳn(𝕂)A \in \mathcal{M}_{n}(\mathbb{K}). On note [M]ij[M]_{ij} le coefficient d'indice (i,j)(i, j) d'une matrice MM.

1. Montrer que si AA n'est pas une matrice scalaire, il existe x∈𝕂nx \in \mathbb{K}^{n} tel que la famille (x,Ax)(x, Ax) soit libre.

2. Déterminer les matrices AA telles que [M]11=0[M]_{11} = 0 pour toute matrice MM semblable à AA.

3. Déterminer les matrices AA telles que [M]12=0[M]_{12} = 0 pour toute matrice MM semblable à AA.

Corrigé

1. Supposons que (x,Ax)(x, Ax) soit liée pour tout xx. Pour tout x≠0x \neq 0, il existe alors λx\lambda_{x} tel que Ax=λxxAx = \lambda_{x}x. Si xx et yy sont libres, A(x+y)=λx+y(x+y)=λxx+λyyA(x + y) = \lambda_{x + y}(x + y) = \lambda_{x}x + \lambda_{y}y, et la liberté de (x,y)(x, y) donne λx=λx+y=λy\lambda_{x} = \lambda_{x + y} = \lambda_{y}. Si xx et yy sont colinéaires non nuls, λx=λy\lambda_{x} = \lambda_{y} directement. Ainsi A=λInA = \lambda I_{n} est scalaire. Par contraposée, si AA n'est pas scalaire, il existe xx tel que (x,Ax)(x, Ax) soit libre.

2. La matrice nulle convient. Si A=λInA = \lambda I_{n} avec λ≠0\lambda \neq 0, les matrices semblables à AA sont réduites à AA, et [A]11=λ≠0[A]_{11} = \lambda \neq 0. Si AA n'est pas scalaire, on choisit xx comme à la question 1 et l'on complète (x,x+Ax)(x, x + Ax), qui est libre, en une base (v1,…,vn)(v_{1}, \dots, v_{n}) avec v1=xv_{1} = x et v2=x+Axv_{2} = x + Ax. Alors Av1=v2−v1Av_{1} = v_{2} - v_{1}, et la matrice MM dans cette base vérifie [M]11=−1[M]_{11} = -1. (∀M∼A, [M]11=0)  ⟺  A=0\boxed{\big(\forall M \sim A, \ [M]_{11} = 0\big) \iff A = 0}

3. Les matrices scalaires conviennent, puisqu'elles ne sont semblables qu'à elles-mêmes. Si AA n'est pas scalaire, on choisit xx comme à la question 1 et l'on complète (Ax,x)(Ax, x) en une base (v1,…,vn)(v_{1}, \dots, v_{n}), avec v1=Axv_{1} = Ax et v2=xv_{2} = x. Alors Av2=v1Av_{2} = v_{1}, et la matrice dans cette base a un coefficient [M]12=1[M]_{12} = 1. (∀M∼A, [M]12=0)  ⟺  A est scalaire\boxed{\big(\forall M \sim A, \ [M]_{12} = 0\big) \iff A \text{ est scalaire}} À retenir. Une matrice non scalaire a toujours un vecteur qu'elle « fait tourner » hors de sa droite ; on construit alors une base sur mesure pour placer un coefficient non nul où l'on veut.

Dans l'édifice

Thèmes

matrices semblables

Notions

matrices semblables

Ouvrir dans l'atlas interactif →