ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 3 — Calcul algébrique · Exercices de synthèse

Exercice 43

Vrai ou fauxDémonstration

Vrai ou faux. Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse et justifier la réponse par une démonstration ou un contre-exemple. Les entiers nn sont supposés non nuls.

1. Pour tout n∈ℕn \in \mathbb{N}, ∑k=0n2=2n\displaystyle\sum_{k=0}^{n} 2 = 2n.

2. Pour tous réels a1a_{1}, …, ana_{n}, ∏k=1n(3ak)=3n∏k=1nak\displaystyle\prod_{k=1}^{n} (3a_{k}) = 3^{n} \prod_{k=1}^{n} a_{k}.

3. Pour tous réels a1a_{1}, …, ana_{n}, (∑k=1nak)2=∑k=1nak2\displaystyle\Big(\sum_{k=1}^{n} a_{k}\Big)^{2} = \sum_{k=1}^{n} a_{k}^{2}.

4. Pour toute suite (uk)(u_{k}), ∑k=1n(uk+1−uk)=un+1−u1\displaystyle\sum_{k=1}^{n} (u_{k+1} - u_{k}) = u_{n+1} - u_{1}.

5. Pour tout n∈ℕn \in \mathbb{N}, ∑k=0n(nk)2k=3n\displaystyle\sum_{k=0}^{n} \binom{n}{k} 2^{k} = 3^{n}.

6. Pour tout n⩾1n \geqslant 1, le coefficient (2nn)\dbinom{2n}{n} est pair.

7. Pour tout n⩾1n \geqslant 1, le nombre de couples (i,j)(i,j) d'entiers tels que 1⩽i<j⩽n1 \leqslant i < j \leqslant n est n(n−1)2\dfrac{n(n-1)}{2}.

8. Pour toute famille de réels, ∑i=1n∑j=1iai,j=∑j=1n∑i=1jai,j\displaystyle\sum_{i=1}^{n} \sum_{j=1}^{i} a_{i,j} = \sum_{j=1}^{n} \sum_{i=1}^{j} a_{i,j}.

9. L'opération L1←L1+L2L_{1} \leftarrow L_{1} + L_{2}, suivie de l'opération L2←L2−L1L_{2} \leftarrow L_{2} - L_{1}, transforme un système en un système équivalent.

10. Un système de trois équations linéaires à deux inconnues n'a jamais de solution.

Corrigé

1. Fausse La somme comporte n+1n + 1 termes égaux à 22 : elle vaut 2(n+1)2(n + 1).

2. Vraie Chacun des nn facteurs fournit un facteur 33.

3. Fausse Pour n=2n = 2 et a1=a2=1a_{1} = a_{2} = 1, on trouve 4≠24 \neq 2 : il manque les termes rectangles.

4. Vraie C'est une somme télescopique.

5. Vraie C'est la formule du binôme pour (1+2)n(1 + 2)^{n}.

6. Vraie Par la formule de Pascal et la symétrie, (2nn)=(2n−1n−1)+(2n−1n)=2(2n−1n−1).\binom{2n}{n} = \binom{2n-1}{n-1} + \binom{2n-1}{n} = 2\binom{2n-1}{n-1}.

7. Vraie Ces couples correspondent aux parties {i,j}\{i, j\} à deux éléments de [ ⁣[1 ;n] ⁣][\![1\,;n]\!], qui sont au nombre de (n2)\dbinom{n}{2}.

8. Fausse Pour n=2n = 2, avec a2,1=1a_{2,1} = 1 et les autres termes nuls, le membre de gauche contient le terme a2,1a_{2,1} et vaut 11, alors que le membre de droite ne porte que sur les couples i⩽ji \leqslant j et vaut 00. L'interversion correcte est ∑i=1n∑j=1iai,j=∑j=1n∑i=jnai,j.\sum_{i=1}^{n} \sum_{j=1}^{i} a_{i,j} = \sum_{j=1}^{n} \sum_{i=j}^{n} a_{i,j}.

9. Vraie Les deux opérations, effectuées l'une après l'autre, sont des opérations élémentaires : la seconde utilise la ligne L1L_{1}, déjà modifiée, mais distincte de L2L_{2}.

10. Fausse Le système x=0x = 0, y=0y = 0, x+y=0x + y = 0 a une solution. Un tel système est souvent incompatible, mais pas toujours.

Vraies : 2, 4, 5, 6, 7, 9. Fausses : 1, 3, 8, 10.\boxed{\text{Vraies : 2, 4, 5, 6, 7, 9. \quad Fausses : 1, 3, 8, 10.}} Piège : l'affirmation 9 est vraie. Ce sont les opérations simultanées L1←L1+L2L_{1} \leftarrow L_{1} + L_{2} et L2←L2−L1L_{2} \leftarrow L_{2} - L_{1} que dénonce le cours ; ce qui compte, c'est que chaque étape soit réversible.

Ouvrir dans l'atlas interactif →