ATLAS Ouvrir dans l'atlas →

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

Exercice 39

Calcul

Calculer les déterminants d'ordre n⩾2n \geqslant 2 suivants, où aa, xx, yy, zz sont des réels : ∣1nn⋯nn2n⋯nnn3⋯n⋮⋮⋮⋱⋮nnn⋯n∣,∣axx⋯xyz0⋯0y0z⋯0⋮⋮⋮⋱⋮y00⋯z∣,det⁡(∣i−j∣)1⩽i,j⩽n.\begin{vmatrix} 1 & n & n & \cdots & n \\ n & 2 & n & \cdots & n \\ n & n & 3 & \cdots & n \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ n & n & n & \cdots & n \end{vmatrix}, \qquad \begin{vmatrix} a & x & x & \cdots & x \\ y & z & 0 & \cdots & 0 \\ y & 0 & z & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ y & 0 & 0 & \cdots & z \end{vmatrix}, \qquad \det\big(|i - j|\big)_{1 \leqslant i, j \leqslant n}.

Corrigé

Premier déterminant. On effectue Li←Li−LnL_{i} \leftarrow L_{i} - L_{n} pour i⩽n−1i \leqslant n - 1. La ligne ii devient (i−n)(i - n) fois le ii-ième vecteur de la base canonique, puisque ses autres coefficients valent n−n=0n - n = 0 ; la dernière ligne reste (n,…,n)(n, \dots, n). La matrice est triangulaire inférieure, de diagonale (1−n,2−n,…,−1,n)(1 - n, 2 - n, \dots, -1, n). det⁡=(−1)n−1(n−1)!×n=(−1)n−1n!\boxed{\det = (-1)^{n - 1}(n - 1)! \times n = (-1)^{n - 1}n!}

Deuxième déterminant. Si z≠0z \neq 0, l'opération C1←C1−yz(C2+⋯+Cn)C_{1} \leftarrow C_{1} - \frac{y}{z}(C_{2} + \cdots + C_{n}) annule les coefficients 22 à nn de la première colonne et remplace le premier par a−(n−1)xyza - (n - 1)\frac{xy}{z}. La matrice devient triangulaire supérieure, de diagonale (a−(n−1)xyz,z,…,z)\big(a - (n - 1)\frac{xy}{z}, z, \dots, z\big), et le déterminant vaut (a−(n−1)xyz)zn−1\big(a - (n - 1)\frac{xy}{z}\big)z^{n - 1}. Si z=0z = 0 et n⩾3n \geqslant 3, les colonnes C2C_{2} et C3C_{3} sont égales à (x,0,…,0)(x, 0, \dots, 0), et le déterminant est nul ; si z=0z = 0 et n=2n = 2, il vaut −xy-xy. Dans tous les cas, det⁡=zn−2(az−(n−1)xy)\boxed{\det = z^{n - 2}\big(az - (n - 1)xy\big)} avec la convention z0=1z^{0} = 1.

Troisième déterminant. On effectue Li←Li−Li+1L_{i} \leftarrow L_{i} - L_{i + 1} pour i=1,…,n−1i = 1, \dots, n - 1, dans cet ordre. Le coefficient (i,j)(i, j) devient ∣i−j∣−∣i+1−j∣|i - j| - |i + 1 - j|, qui vaut −1-1 si j⩽ij \leqslant i et +1+1 si j⩾i+1j \geqslant i + 1 ; la dernière ligne reste (n−1,n−2,…,1,0)(n - 1, n - 2, \dots, 1, 0). On effectue ensuite Cj←Cj+C1C_{j} \leftarrow C_{j} + C_{1} pour j⩾2j \geqslant 2 : pour i⩽n−1i \leqslant n - 1, la ligne ii devient (−1,−2,…,−2,0,…,0)(-1, -2, \dots, -2, 0, \dots, 0), avec i−1i - 1 coefficients égaux à −2-2, et le dernier coefficient de la dernière ligne devient 0+(n−1)0 + (n - 1). La matrice est triangulaire inférieure, de diagonale (−1,−2,…,−2,n−1)(-1, -2, \dots, -2, n - 1). det⁡(∣i−j∣)=(−1)(−2)n−2(n−1)=(−1)n−1(n−1)2n−2\boxed{\det\big(|i - j|\big) = (-1)(-2)^{n - 2}(n - 1) = (-1)^{n - 1}(n - 1)2^{n - 2}} Pour n=2n = 2, on retrouve ∣0110∣=−1\begin{vmatrix} 0 & 1 \\ 1 & 0 \end{vmatrix} = -1, et pour n=3n = 3, la règle de Sarrus donne 0+2+2−0−0−0=40 + 2 + 2 - 0 - 0 - 0 = 4. ✓

Dans l'édifice

Thèmes

calcul des déterminants, déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →