ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Modes de raisonnement

Exercice 10

Démonstration

Chacune des propositions suivantes est fausse. Le démontrer en exhibant un contre-exemple.

1. Tout entier naturel est la somme des carrés de deux entiers naturels.

2. Pour tous réels xx et yy, x2+y2=x+y\sqrt{x^{2} + y^{2}} = x + y.

3. Pour tout réel xx, x2>xx^{2} > x.

4. Si un entier est divisible par 22 et par 44, alors il est divisible par 88.

5. Pour tous réels aa et bb, ∣a+b∣=∣a∣+∣b∣|a + b| = |a| + |b|.

6. Tout nombre premier est impair.

7. Pour tout entier naturel nn, n2+n+41n^{2} + n + 41 est un nombre premier.

Corrigé

1. Les carrés d'entiers naturels inférieurs à 33 sont 00 et 11, et les sommes possibles sont 00, 11 et 22. Prenons n=3n = 3 : n=3 n’est pas somme de deux carreˊs d’entiers naturels.\boxed{n = 3 \text{ n'est pas somme de deux carrés d'entiers naturels.}}

2. Prenons x=y=1x = y = 1 : 12+12=2≈1,414et1+1=2\sqrt{1^{2} + 1^{2}} = \sqrt{2} \approx 1{,}414 \qquad\text{et}\qquad 1 + 1 = 2

x=y=1 convient.\boxed{x = y = 1 \text{ convient.}}

3. Prenons x=1x = 1 : on a x2=1x^{2} = 1, qui n'est pas strictement supérieur à 11. x=1 convient (ou tout x de [0  ;1]).\boxed{x = 1 \text{ convient (ou tout } x \text{ de } [0\;;1]).}

4. Prenons n=4n = 4 : il est divisible par 22 et par 44, mais 4=8×0,54 = 8 \times 0{,}5 n'est pas un multiple de 88. n=4 convient.\boxed{n = 4 \text{ convient.}}

5. Prenons a=1a = 1 et b=−1b = -1 : ∣a+b∣=∣0∣=0et∣a∣+∣b∣=1+1=2|a + b| = |0| = 0 \qquad\text{et}\qquad |a| + |b| = 1 + 1 = 2

a=1 et b=−1 conviennent.\boxed{a = 1 \text{ et } b = -1 \text{ conviennent.}}

6. Le plus petit nombre premier est pair : 2 est premier et pair.\boxed{2 \text{ est premier et pair.}}

7. Prenons n=41n = 41 : 412+41+41=41×(41+1+1)=41×43=1 76341^{2} + 41 + 41 = 41 \times (41 + 1 + 1) = 41 \times 43 = 1\,763

n=41 convient : 1 763 n’est pas premier.\boxed{n = 41 \text{ convient : } 1\,763 \text{ n'est pas premier.}} Cet exemple mérite d'être médité : n2+n+41n^{2} + n + 41 est premier pour toutes les valeurs de nn de 00 à 4040. Quarante-et-un exemples successifs ne démontrent rien, alors qu'un seul contre-exemple suffit à conclure — c'est exactement l'asymétrie signalée par le cours.

Dans l'édifice

Thèmes

propositions, contre-exemple

Ouvrir dans l'atlas interactif →