ATLAS Ouvrir dans l'atlas →

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

Exercice 41

Calcul

Calculer les déterminants suivants, où (kℓ)\binom{k}{\ell} désigne un coefficient binomial, nul lorsque ℓ>k\ell > k :

1. det⁡((m+ij))0⩽i,j⩽p\det\Big(\binom{m + i}{j}\Big)_{0 \leqslant i, j \leqslant p}, où m⩾1m \geqslant 1 et p⩾0p \geqslant 0 sont des entiers ; on pourra effectuer les opérations Li←Li−Li−1L_{i} \leftarrow L_{i} - L_{i - 1} en commençant par la dernière ligne ;

2. det⁡((ij−1))1⩽i,j⩽n\det\Big(\binom{i}{j - 1}\Big)_{1 \leqslant i, j \leqslant n} et det⁡((i+j−2i−1))1⩽i,j⩽n\det\Big(\binom{i + j - 2}{i - 1}\Big)_{1 \leqslant i, j \leqslant n} ;

3. det⁡(P(i+j−1))1⩽i,j⩽n\det\big(P(i + j - 1)\big)_{1 \leqslant i, j \leqslant n}, où n⩾2n \geqslant 2 et P∈ℝn−2[X]P \in \mathbb{R}_{n - 2}[X].

Corrigé

On utilise la formule de Pascal (kℓ)=(k−1ℓ)+(k−1ℓ−1)\binom{k}{\ell} = \binom{k - 1}{\ell} + \binom{k - 1}{\ell - 1}, valable pour k⩾1k \geqslant 1 et tout entier ℓ\ell, avec la convention (kℓ)=0\binom{k}{\ell} = 0 si ℓ<0\ell < 0 ou ℓ>k\ell > k (chapitre 3) ; on l'emploie sous la forme d'une différence, en isolant l'un ou l'autre des deux termes de droite.

1. On note Dp(m)D_{p}(m) ce déterminant, dont les indices vont de 00 à pp. On effectue les opérations Li←Li−Li−1L_{i} \leftarrow L_{i} - L_{i - 1} pour ii allant de pp à 11, en commençant par la dernière ligne. Pour i⩾1i \geqslant 1, le coefficient (i,j)(i, j) devient (m+ij)−(m+i−1j)=(m+i−1j−1),\binom{m + i}{j} - \binom{m + i - 1}{j} = \binom{m + i - 1}{j - 1}, nul pour j=0j = 0. La première colonne devient (1,0,…,0)(1, 0, \dots, 0), et le développement par rapport à elle laisse le déterminant des coefficients (m+i−1j−1)\binom{m + i - 1}{j - 1}, pour ii et jj compris entre 11 et pp. En posant i′=i−1i' = i - 1 et j′=j−1j' = j - 1, c'est Dp−1(m)D_{p - 1}(m). Ainsi Dp(m)=Dp−1(m)=⋯=D0(m)=(m0)D_{p}(m) = D_{p - 1}(m) = \cdots = D_{0}(m) = \binom{m}{0}. det⁡((m+ij))0⩽i,j⩽p=1\boxed{\det\Big(\binom{m + i}{j}\Big)_{0 \leqslant i, j \leqslant p} = 1}

2. En posant i′=i−1i' = i - 1 et j′=j−1j' = j - 1, le premier déterminant est det⁡((1+i′j′))0⩽i′,j′⩽n−1=Dn−1(1)\det\big(\binom{1 + i'}{j'}\big)_{0 \leqslant i', j' \leqslant n - 1} = D_{n - 1}(1).

Pour le second, noté PnP_{n}, on effectue Li←Li−Li−1L_{i} \leftarrow L_{i} - L_{i - 1} pour i=n,…,2i = n, \dots, 2 : pour i⩾2i \geqslant 2, le coefficient devient (i+j−2i−1)−(i+j−3i−2)=(i+j−3i−1)\binom{i + j - 2}{i - 1} - \binom{i + j - 3}{i - 2} = \binom{i + j - 3}{i - 1}, nul pour j=1j = 1. On effectue ensuite Cj←Cj−Cj−1C_{j} \leftarrow C_{j} - C_{j - 1} pour j=n,…,2j = n, \dots, 2 : la première ligne (1,1,…,1)(1, 1, \dots, 1) devient (1,0,…,0)(1, 0, \dots, 0), et, pour i,j⩾2i, j \geqslant 2, le coefficient devient (i+j−3i−1)−(i+j−4i−1)=(i+j−4i−2),\binom{i + j - 3}{i - 1} - \binom{i + j - 4}{i - 1} = \binom{i + j - 4}{i - 2}, qui est le coefficient d'indice (i−1,j−1)(i - 1, j - 1) de la matrice d'ordre n−1n - 1 de même forme. La matrice est diagonale par blocs, de blocs (1)(1) et la matrice de Pn−1P_{n - 1}, et Pn=Pn−1=⋯=P1=1P_{n} = P_{n - 1} = \cdots = P_{1} = 1. det⁡((ij−1))=1,det⁡((i+j−2i−1))=1\boxed{\det\Big(\binom{i}{j - 1}\Big) = 1, \qquad \det\Big(\binom{i + j - 2}{i - 1}\Big) = 1}

3. L'application Φ:Q↦(Q(1),…,Q(n))\Phi : Q \mapsto \big(Q(1), \dots, Q(n)\big), de ℝn−2[X]\mathbb{R}_{n - 2}[X] dans ℝn\mathbb{R}^{n}, est linéaire. La jj-ième colonne de la matrice est Φ(Qj)\Phi(Q_{j}), avec Qj=P(X+j−1)∈ℝn−2[X]Q_{j} = P(X + j - 1) \in \mathbb{R}_{n - 2}[X]. Les nn polynômes Q1Q_{1}, …, QnQ_{n} appartiennent à un espace de dimension n−1n - 1 : ils sont liés (chapitre 15), et leurs images par Φ\Phi le sont aussi. La famille des colonnes est liée. det⁡(P(i+j−1))=0\boxed{\det\big(P(i + j - 1)\big) = 0} Piège. Il ne suffit pas de remarquer que les coefficients sont des valeurs de PP : avec P∈ℝn−1[X]P \in \mathbb{R}_{n - 1}[X], le résultat est faux, puisque P=Xn−1P = X^{n - 1} donne pour n=2n = 2 la matrice (1223)\begin{pmatrix} 1 & 2 \\ 2 & 3 \end{pmatrix}, de déterminant −1-1. C'est la comparaison entre nn colonnes et la dimension n−1n - 1 qui fait tout.

Ouvrir dans l'atlas interactif →