ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Calcul des déterminants

Exercice 42

DémonstrationCalcul

1. Calculer det⁡(ij)1⩽i,j⩽n\det\big(i^{j}\big)_{1 \leqslant i, j \leqslant n}.

2. Soit x1x_{1}, …, xnx_{n} des réels et P0P_{0}, …, Pn−1P_{n - 1} des polynômes tels que PkP_{k} soit de degré kk et de coefficient dominant ckc_{k}. Calculer det⁡(Pj−1(xi))1⩽i,j⩽n\det\big(P_{j - 1}(x_{i})\big)_{1 \leqslant i, j \leqslant n} à l'aide du déterminant de Vandermonde V(x1,…,xn)V(x_{1}, \dots, x_{n}).

3. Montrer que, pour tout k∈ℕk \in \mathbb{N}, il existe un polynôme TkT_{k} tel que cos⁡(kθ)=Tk(cos⁡θ)\cos(k\theta) = T_{k}(\cos\theta) pour tout réel θ\theta, de degré kk et de coefficient dominant 2k−12^{k - 1} si k⩾1k \geqslant 1. On pourra établir que Tk+2=2XTk+1−TkT_{k + 2} = 2XT_{k + 1} - T_{k}.

4. En déduire, pour des réels θ1\theta_{1}, …, θn\theta_{n}, la valeur de ∣1cos⁡θ1cos⁡2θ1⋯cos⁡((n−1)θ1)1cos⁡θ2cos⁡2θ2⋯cos⁡((n−1)θ2)⋮⋮⋮⋮1cos⁡θncos⁡2θn⋯cos⁡((n−1)θn)∣,\begin{vmatrix} 1 & \cos\theta_{1} & \cos 2\theta_{1} & \cdots & \cos\big((n - 1)\theta_{1}\big) \\ 1 & \cos\theta_{2} & \cos 2\theta_{2} & \cdots & \cos\big((n - 1)\theta_{2}\big) \\ \vdots & \vdots & \vdots & & \vdots \\ 1 & \cos\theta_{n} & \cos 2\theta_{n} & \cdots & \cos\big((n - 1)\theta_{n}\big) \end{vmatrix}, et l'écrire sous forme factorisée pour n=3n = 3.

Corrigé

1. On factorise ii dans la ligne ii (proposition 10 (ii)) : il reste la matrice de Vandermonde (ij−1)\big(i^{j - 1}\big), et la proposition 12 donne det⁡(ij)=n!∏1⩽i<j⩽n(j−i)=n!∏j=2n∏i=1j−1(j−i)=n!∏j=2n(j−1)!.\det\big(i^{j}\big) = n! \prod_{1 \leqslant i < j \leqslant n}(j - i) = n! \prod_{j = 2}^{n}\prod_{i = 1}^{j - 1}(j - i) = n! \prod_{j = 2}^{n}(j - 1)!.

det⁡(ij)1⩽i,j⩽n=1!×2!×⋯×n!\boxed{\det\big(i^{j}\big)_{1 \leqslant i, j \leqslant n} = 1! \times 2! \times \cdots \times n!} Les premières valeurs sont 11, 22, 1212, 288288, 34 56034\,560.

2. On écrit Pj−1=∑k=1jtkjXk−1P_{j - 1} = \sum_{k = 1}^{j}t_{kj}X^{k - 1}, avec tjj=cj−1t_{jj} = c_{j - 1}, et l'on pose tkj=0t_{kj} = 0 pour k>jk > j. La matrice T=(tkj)T = (t_{kj}) est triangulaire supérieure de diagonale (c0,…,cn−1)(c_{0}, \dots, c_{n - 1}), et, si VV est la matrice de Vandermonde (xik−1)\big(x_{i}^{k - 1}\big), (VT)ij=∑k=1nxik−1tkj=Pj−1(xi).(VT)_{ij} = \sum_{k = 1}^{n}x_{i}^{k - 1}t_{kj} = P_{j - 1}(x_{i}). Par le théorème 6 (i) et la proposition 11 (i), det⁡(Pj−1(xi))=c0c1⋯cn−1 V(x1,…,xn)\boxed{\det\big(P_{j - 1}(x_{i})\big) = c_{0}c_{1}\cdots c_{n - 1}\,V(x_{1}, \dots, x_{n})} Autrement dit, on peut remplacer chaque colonne par la colonne des valeurs de cj−1Xj−1c_{j - 1}X^{j - 1}, par des opérations Cj←Cj−λCkC_{j} \leftarrow C_{j} - \lambda C_{k} avec k<jk < j.

3. On définit les polynômes TkT_{k} par T0=1,T1=X,Tk+2=2XTk+1−Tk(k∈ℕ).T_{0} = 1, \qquad T_{1} = X, \qquad T_{k + 2} = 2XT_{k + 1} - T_{k} \quad (k \in \mathbb{N}). La formule cos⁡((k+2)θ)+cos⁡(kθ)=2cos⁡θcos⁡((k+1)θ)\cos\big((k + 2)\theta\big) + \cos(k\theta) = 2\cos\theta\cos\big((k + 1)\theta\big) (chapitre 4) montre, par récurrence double, que cos⁡(kθ)=Tk(cos⁡θ)\cos(k\theta) = T_{k}(\cos\theta) pour tout kk. On a T1=XT_{1} = X, de coefficient dominant 1=201 = 2^{0}, et T2=2X2−1T_{2} = 2X^{2} - 1. Si Tk+1T_{k + 1} est de degré k+1k + 1 et de coefficient dominant 2k2^{k}, et TkT_{k} de degré kk, alors 2XTk+12XT_{k + 1} est de degré k+2k + 2 et de coefficient dominant 2k+12^{k + 1}, et la soustraction de TkT_{k} ne le modifie pas. cos⁡(kθ)=Tk(cos⁡θ),deg⁡Tk=k,coefficient dominant 2k−1 (k⩾1)\boxed{\cos(k\theta) = T_{k}(\cos\theta), \qquad \deg T_{k} = k, \qquad \text{coefficient dominant } 2^{k - 1} \ (k \geqslant 1)} Ces polynômes sont les polynômes de Tchebychev.

4. Le coefficient (i,j)(i, j) est Tj−1(cos⁡θi)T_{j - 1}(\cos\theta_{i}), et l'on applique la question 2 avec c0=1c_{0} = 1 et ck=2k−1c_{k} = 2^{k - 1} : le produit des ckc_{k} vaut 20+1+⋯+(n−2)2^{0 + 1 + \cdots + (n - 2)}. det⁡(cos⁡((j−1)θi))=2(n−1)(n−2)2∏1⩽i<j⩽n(cos⁡θj−cos⁡θi)\boxed{\det\big(\cos((j - 1)\theta_{i})\big) = 2^{\frac{(n - 1)(n - 2)}{2}}\prod_{1 \leqslant i < j \leqslant n}(\cos\theta_{j} - \cos\theta_{i})} Pour n=3n = 3, ∣1cos⁡θ1cos⁡2θ11cos⁡θ2cos⁡2θ21cos⁡θ3cos⁡2θ3∣=2(cos⁡θ2−cos⁡θ1)(cos⁡θ3−cos⁡θ1)(cos⁡θ3−cos⁡θ2)\boxed{\begin{vmatrix} 1 & \cos\theta_{1} & \cos 2\theta_{1} \\ 1 & \cos\theta_{2} & \cos 2\theta_{2} \\ 1 & \cos\theta_{3} & \cos 2\theta_{3} \end{vmatrix} = 2(\cos\theta_{2} - \cos\theta_{1})(\cos\theta_{3} - \cos\theta_{1})(\cos\theta_{3} - \cos\theta_{2})} Le déterminant est nul si et seulement si deux des cos⁡θi\cos\theta_{i} sont égaux.

Dans l'édifice

Thèmes

calcul des déterminants, déterminants, déterminant de vandermonde, polynômes et déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →