ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Exercices de synthèse

Exercice 61

Démonstration

Soit AA, B∈ℳn(ℝ)B \in \mathcal{M}_{n}(\mathbb{R}). On suppose qu'il existe P∈GLn(ℂ)P \in \mathrm{GL}_{n}(\mathbb{C}) telle que B=PAP−1B = PAP^{-1}. On veut montrer qu'il existe Q∈GLn(ℝ)Q \in \mathrm{GL}_{n}(\mathbb{R}) telle que B=QAQ−1B = QAQ^{-1} : deux matrices réelles semblables dans ℳn(ℂ)\mathcal{M}_{n}(\mathbb{C}) le sont dans ℳn(ℝ)\mathcal{M}_{n}(\mathbb{R}).

1. On écrit P=R+iSP = R + \mathrm{i} S, avec RR, S∈ℳn(ℝ)S \in \mathcal{M}_{n}(\mathbb{R}). Montrer que BR=RABR = RA et BS=SABS = SA.

2. Montrer que t↦det⁡(R+tS)t \mapsto \det(R + tS) est une fonction polynomiale, et qu'elle n'est pas identiquement nulle sur ℂ\mathbb{C}.

3. Conclure.

Les quatre derniers exercices sont des problèmes à traiter en autonomie : l'énoncé fixe le but, et c'est à vous de trouver le chemin.

Corrigé

1. L'égalité B=PAP−1B = PAP^{-1} équivaut à BP=PABP = PA, soit BR+iBS=RA+iSABR + \mathrm{i} BS = RA + \mathrm{i} SA. Les matrices AA, BB, RR, SS étant réelles, les matrices BRBR, BSBS, RARA, SASA le sont aussi, et l'on identifie parties réelles et parties imaginaires, coefficient par coefficient. BR=RAetBS=SA\boxed{BR = RA \qquad \text{et} \qquad BS = SA}

2. Les coefficients de R+tSR + tS sont des polynômes de degré au plus 11 en tt. Par la formule qui définit le déterminant, det⁡(R+tS)\det(R + tS) est une somme de produits de tels coefficients : c'est une fonction polynomiale de tt, de degré au plus nn, associée à un polynôme Π∈ℂ[X]\Pi \in \mathbb{C}[X]. Pour t=it = \mathrm{i}, on trouve Π(i)=det⁡(R+iS)=det⁡P≠0\Pi(\mathrm{i}) = \det(R + \mathrm{i} S) = \det P \neq 0, puisque PP est inversible. t↦det⁡(R+tS) est polynomiale, et Π(i)=det⁡P≠0\boxed{t \mapsto \det(R + tS) \text{ est polynomiale, et } \Pi(\mathrm{i}) = \det P \neq 0}

3. Le polynôme Π\Pi n'est pas nul : il a au plus nn racines (théorème 3 du chapitre 13). Comme ℝ\mathbb{R} est infini, il existe un réel t0t_{0} qui n'en est pas une. La matrice Q=R+t0SQ = R + t_{0}S est réelle et det⁡Q≠0\det Q \neq 0 : Q∈GLn(ℝ)Q \in \mathrm{GL}_{n}(\mathbb{R}). Par la question 1, BQ=BR+t0BS=RA+t0SA=QABQ = BR + t_{0}BS = RA + t_{0}SA = QA, et donc B=QAQ−1B = QAQ^{-1}. Q=R+t0S∈GLn(ℝ),B=QAQ−1\boxed{Q = R + t_{0}S \in \mathrm{GL}_{n}(\mathbb{R}), \quad B = QAQ^{-1}} Piège. Ni RR ni SS ne sont inversibles en général, de sorte que les égalités BR=RABR = RA et BS=SABS = SA ne permettent pas de conclure directement. Par exemple, pour A=B=I2A = B = I_{2} et P=iI2P = \mathrm{i} I_{2}, on a R=0R = 0. C'est le passage par le polynôme det⁡(R+tS)\det(R + tS), non nul car il ne s'annule pas en i\mathrm{i}, qui fournit une combinaison réelle inversible.

Les quatre derniers exercices sont des problèmes en autonomie ; le corrigé commence par l'idée directrice.

Dans l'édifice

Thèmes

déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →