ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Modes de raisonnement
Exercice 13
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 à modulo soit fini, et notons , …, ses éléments. L'entier possède alors un facteur premier congru à modulo , qui ne peut être aucun des . C'est impossible. »
2. « Si la suite ne tend pas vers , les sommes partielles ne forment pas une suite de Cauchy ; la série diverge donc. Ainsi, la convergence de la série entraîne que . »
3. « Si , le résultat se vérifie directement sur les quatre éléments de . On peut donc supposer impair, et alors… »
4. « Supposons que , avec paire et impaire. Alors , d'où nécessairement et . Réciproquement, les fonctions ainsi définies conviennent. »
5. « On raisonne sur la dimension de l'espace. Pour , toute matrice est diagonale. Supposons le résultat établi pour les espaces de dimension , et soit un endomorphisme d'un espace de dimension … »
6. « Si est inversible, alors , donc . Inversement, si , la comatrice fournit un inverse de . »
Corrigé
1. : 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. : pour montrer « la série converge », on montre « la série diverge ». Le mot « Ainsi » final reformule le résultat sous sa forme directe.
3. : le cas est traité à part, puis « on peut donc supposer » annonce le cas restant, impair.
4. : 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. sur la dimension : initialisation pour , puis « supposons le résultat établi » au rang pour l'établir au rang .
6. : 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.