ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Modes de raisonnement

Exercice 13

Calcul

Voici des extraits de démonstrations portant sur des notions qui ne seront étudiées que plus tard. Sans chercher à comprendre de quoi il est question, identifier le mode de raisonnement employé dans chacun d'eux, en citant les mots qui le signalent.

1. « Supposons que l'ensemble des nombres premiers congrus à 33 modulo 44 soit fini, et notons p1p_{1}, …, prp_{r} ses éléments. L'entier N=4p1⋯pr−1N = 4p_{1} \cdots p_{r} - 1 possède alors un facteur premier congru à 33 modulo 44, qui ne peut être aucun des pip_{i}. C'est impossible. »

2. « Si la suite (un)(u_{n}) ne tend pas vers 00, les sommes partielles u0+⋯+unu_{0} + \dots + u_{n} ne forment pas une suite de Cauchy ; la série ∑un\sum u_{n} diverge donc. Ainsi, la convergence de la série entraîne que un→0u_{n} \to 0. »

3. « Si p=2p = 2, le résultat se vérifie directement sur les quatre éléments de ℤ/4ℤ\mathbb{Z}/4\mathbb{Z}. On peut donc supposer pp impair, et alors… »

4. « Supposons que f=g+hf = g + h, avec gg paire et hh impaire. Alors f(−x)=g(x)−h(x)f(-x) = g(x) - h(x), d'où nécessairement g(x)=f(x)+f(−x)2g(x) = \frac{f(x) + f(-x)}{2} et h(x)=f(x)−f(−x)2h(x) = \frac{f(x) - f(-x)}{2}. Réciproquement, les fonctions ainsi définies conviennent. »

5. « On raisonne sur la dimension nn de l'espace. Pour n=1n = 1, toute matrice est diagonale. Supposons le résultat établi pour les espaces de dimension n−1n - 1, et soit uu un endomorphisme d'un espace de dimension nn… »

6. « Si AA est inversible, alors det⁡(A)det⁡(A−1)=det⁡(In)=1\det(A)\det(A^{-1}) = \det(I_{n}) = 1, donc det⁡(A)≠0\det(A) \neq 0. Inversement, si det⁡(A)≠0\det(A) \neq 0, la comatrice fournit un inverse de AA. »

Corrigé

1. Raisonnement par l’absurde\boxed{\text{Raisonnement par l'absurde}} : on suppose le contraire de ce que l'on veut établir (« supposons que l'ensemble… soit fini ») et l'on aboutit à « c'est impossible ». C'est la structure de la démonstration d'Euclide de l'infinitude des nombres premiers.

2. Raisonnement par contraposeˊe\boxed{\text{Raisonnement par contraposée}} : pour montrer « la série converge ⇒un→0\Rightarrow u_{n} \to 0 », on montre « un↛0⇒u_{n} \not\to 0 \Rightarrow la série diverge ». Le mot « Ainsi » final reformule le résultat sous sa forme directe.

3. Disjonction de cas\boxed{\text{Disjonction de cas}} : le cas p=2p = 2 est traité à part, puis « on peut donc supposer » annonce le cas restant, pp impair.

4. Analyse-syntheˋse\boxed{\text{Analyse-synthèse}} : on suppose l'objet trouvé, on en déduit sa seule forme possible (« nécessairement »), puis « Réciproquement » ouvre la synthèse. L'analyse établit l'unicité de la décomposition, la synthèse son existence.

5. Raisonnement par reˊcurrence\boxed{\text{Raisonnement par récurrence}} sur la dimension : initialisation pour n=1n = 1, puis « supposons le résultat établi » au rang n−1n - 1 pour l'établir au rang nn.

6. Double implication\boxed{\text{Double implication}} : une équivalence est démontrée en deux sens, signalés par « Si… alors » puis « Inversement ».

À retenir : une démonstration bien rédigée annonce son mode de raisonnement dès sa première phrase. Le lecteur sait alors ce qui est supposé, ce qui est visé, et peut suivre sans se perdre : c'est cette discipline qu'il faut adopter dans les copies.

Ouvrir dans l'atlas interactif →