ATLAS Ouvrir dans l'atlas →

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

Exercice 38

Calcul

1. Soit s1s_{1}, …, sns_{n} des réels. Calculer le déterminant de la matrice (smin⁡(i,j))1⩽i,j⩽n\big(s_{\min(i, j)}\big)_{1 \leqslant i, j \leqslant n}, c'est-à-dire ∣s1s1s1⋯s1s1s2s2⋯s2s1s2s3⋯s3⋮⋮⋮⋮s1s2s3⋯sn∣.\begin{vmatrix} s_{1} & s_{1} & s_{1} & \cdots & s_{1} \\ s_{1} & s_{2} & s_{2} & \cdots & s_{2} \\ s_{1} & s_{2} & s_{3} & \cdots & s_{3} \\ \vdots & \vdots & \vdots & & \vdots \\ s_{1} & s_{2} & s_{3} & \cdots & s_{n} \end{vmatrix}.

2. En déduire les déterminants des matrices (min⁡(i,j))1⩽i,j⩽net(Smin⁡(i,j))1⩽i,j⩽n,ouˋ Sk=1+2+⋯+k.\big(\min(i, j)\big)_{1 \leqslant i, j \leqslant n} \qquad\text{et}\qquad \big(S_{\min(i, j)}\big)_{1 \leqslant i, j \leqslant n}, \qquad\text{où } S_{k} = 1 + 2 + \cdots + k.

3. Calculer le déterminant de la matrice (max⁡(i,j))1⩽i,j⩽n\big(\max(i, j)\big)_{1 \leqslant i, j \leqslant n}, puis celui de (amax⁡(i,j))1⩽i,j⩽n\big(a^{\max(i, j)}\big)_{1 \leqslant i, j \leqslant n}, où aa est un réel.

Corrigé

1. On effectue Li←Li−Li−1L_{i} \leftarrow L_{i} - L_{i - 1} pour i=ni = n, puis n−1n - 1, …, jusqu'à 22 : en commençant par le bas, chaque opération utilise une ligne qui n'a pas encore été modifiée. Le coefficient (i,j)(i, j) devient smin⁡(i,j)−smin⁡(i−1,j)s_{\min(i, j)} - s_{\min(i - 1, j)}, qui vaut sj−sj=0s_{j} - s_{j} = 0 si j⩽i−1j \leqslant i - 1, et si−si−1s_{i} - s_{i - 1} si j⩾ij \geqslant i. La matrice obtenue est triangulaire supérieure. det⁡(smin⁡(i,j))=s1(s2−s1)(s3−s2)⋯(sn−sn−1)\boxed{\det\big(s_{\min(i, j)}\big) = s_{1}(s_{2} - s_{1})(s_{3} - s_{2})\cdots(s_{n} - s_{n - 1})}

2. Avec sk=ks_{k} = k, tous les facteurs valent 11 ; avec sk=Sks_{k} = S_{k}, on a Sk−Sk−1=kS_{k} - S_{k - 1} = k. det⁡(min⁡(i,j))=1,det⁡(Smin⁡(i,j))=1×2×⋯×n=n!\boxed{\det\big(\min(i, j)\big) = 1, \qquad \det\big(S_{\min(i, j)}\big) = 1 \times 2 \times \cdots \times n = n!}

3. On effectue cette fois Li←Li−Li+1L_{i} \leftarrow L_{i} - L_{i + 1} pour i=1i = 1, puis 22, …, jusqu'à n−1n - 1, en commençant par le haut. Le coefficient (i,j)(i, j) devient max⁡(i,j)−max⁡(i+1,j)\max(i, j) - \max(i + 1, j), qui vaut i−(i+1)=−1i - (i + 1) = -1 si j⩽ij \leqslant i, et j−j=0j - j = 0 si j⩾i+1j \geqslant i + 1. La dernière ligne, inchangée, est (n,n,…,n)(n, n, \dots, n). La matrice obtenue est triangulaire inférieure, de diagonale (−1,…,−1,n)(-1, \dots, -1, n). det⁡(max⁡(i,j))=(−1)n−1n\boxed{\det\big(\max(i, j)\big) = (-1)^{n - 1}n} Les mêmes opérations sur (amax⁡(i,j))\big(a^{\max(i, j)}\big) donnent, pour i⩽n−1i \leqslant n - 1, les coefficients ai−ai+1=ai(1−a)a^{i} - a^{i + 1} = a^{i}(1 - a) si j⩽ij \leqslant i, et aj−aj=0a^{j} - a^{j} = 0 si j>ij > i ; la dernière ligne est (an,…,an)(a^{n}, \dots, a^{n}). Le produit des coefficients diagonaux vaut a1+2+⋯+(n−1)(1−a)n−1ana^{1 + 2 + \cdots + (n - 1)}(1 - a)^{n - 1}a^{n}. det⁡(amax⁡(i,j))=an(n+1)2(1−a)n−1\boxed{\det\big(a^{\max(i, j)}\big) = a^{\frac{n(n + 1)}{2}}(1 - a)^{n - 1}} Piège. L'ordre des opérations compte : si l'on effectuait L2←L2−L1L_{2} \leftarrow L_{2} - L_{1} avant L3←L3−L2L_{3} \leftarrow L_{3} - L_{2} dans la question 1, la seconde opération utiliserait la ligne L2L_{2} déjà modifiée, et le résultat ne serait plus triangulaire. Une suite d'opérations élémentaires ne change jamais le déterminant, mais seul le bon ordre produit la matrice annoncée.

Dans l'édifice

Thèmes

calcul des déterminants, déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →