Prouver que la somme de deux nombres pairs est paire

Prouve : Si $a$ et $b$ sont des entiers pairs, alors $a + b$ est pair.

Énoncer l'hypothèse: Supposons que $a$ et $b$ sont des entiers pairs = Donné : $a$ et $b$ sont pairs

Appliquer la définition de pair: Un entier pair peut s'écrire $2k$ pour un entier $k$ = $a = 2m$ et $b = 2n$ pour des entiers $m, n$

Additionner les deux nombres: $a + b = 2m + 2n$ = $a + b = 2m + 2n$

Factoriser le facteur commun: $a + b = 2(m + n)$ = $a + b = 2(m + n)$

Appliquer à nouveau la définition de pair: Puisque $m + n$ est un entier, $2(m + n)$ est pair par définition = $a + b$ est pair

Answer: Donc, la somme de deux entiers pairs est toujours paire. CQFD

Prouver que le carré d'un nombre impair est impair

Prouve : Si $n$ est un entier impair, alors $n^2$ est impair.

Énoncer l'hypothèse: Supposons que $n$ est un entier impair = Donné : $n$ est impair

Appliquer la définition d'impair: Un entier impair peut s'écrire $2k + 1$ pour un entier $k$ = $n = 2k + 1$ pour un entier $k$

Élever l'expression au carré: $n^2 = (2k + 1)^2$ = $n^2 = (2k + 1)^2$

Développer avec l'algèbre: $n^2 = 4k^2 + 4k + 1$ = $n^2 = 4k^2 + 4k + 1$

Factoriser pour montrer la forme impaire: $n^2 = 2(2k^2 + 2k) + 1$ = $n^2 = 2(2k^2 + 2k) + 1$

Conclure avec la définition: C'est $2m + 1$ où $m = 2k^2 + 2k$ est un entier = $n^2$ est impair

Answer: Donc, le carré d'un entier impair est toujours impair. CQFD

Prouver une propriété de divisibilité

Prouve : Si $n$ est un entier, alors $n^3 - n$ est divisible par 3.

Factoriser l'expression: $n^3 - n = n(n^2 - 1)$ = $n^3 - n = n(n^2 - 1)$

Factoriser encore avec la différence de carrés: $n(n^2 - 1) = n(n-1)(n+1)$ = $n^3 - n = (n-1) \cdot n \cdot (n+1)$

Reconnaître le motif: $(n-1)$, $n$, $(n+1)$ sont trois entiers consécutifs = Produit de 3 entiers consécutifs

Appliquer un fait de théorie des nombres: Parmi 3 entiers consécutifs, exactement un est divisible par 3 = Un facteur est divisible par 3

Conclure: Puisqu'un facteur est divisible par 3, le produit entier est divisible par 3 = $n^3 - n$ est divisible par 3

Answer: Donc, pour tout entier $n$, l'expression $n^3 - n$ est divisible par 3. CQFD

Mistake: Utiliser des exemples spécifiques au lieu d'une preuve générale

Why: Montrer que $2 + 4 = 6$ (pair) ne prouve rien sur TOUS les nombres pairs. Une preuve doit fonctionner pour tous les cas possibles.

Correct: Utilise des variables et des définitions. Écris 'Soit $a = 2m$ pour un entier $m$' pour représenter N'IMPORTE QUEL nombre pair.

Mistake: Supposer ce qu'on veut prouver

Why: Tu ne peux pas utiliser la conclusion dans ton raisonnement. C'est une logique circulaire.

Correct: Commence seulement par l'hypothèse et avance. N'écris jamais 'Puisque $a + b$ est pair...' tant que tu ne l'as pas prouvé.

Mistake: Sauter des étapes logiques

Why: Chaque étape doit suivre logiquement des étapes précédentes. Les lacunes dans le raisonnement peuvent cacher des erreurs.

Correct: Justifie chaque étape avec une définition, un axiome ou un théorème déjà prouvé.

Vérification de logiciel

Les programmeurs utilisent la logique de démonstration directe pour vérifier que leur code fonctionne correctement pour toutes les entrées.

Pour prouver qu'un algorithme de tri produit toujours une sortie triée, nous montrons : si l'entrée est une liste, la sortie a les mêmes éléments en ordre non décroissant.

Raisonnement juridique

Les avocats construisent des arguments qui mènent logiquement des preuves aux conclusions.

Si le contrat stipule que le paiement est dû à la livraison, et que la livraison a eu lieu le 1er mars, alors le paiement était dû le 1er mars.

Q: Comment savoir quand utiliser la démonstration directe plutôt que d'autres méthodes ?

A: Essaie d'abord la démonstration directe pour les énoncés positifs comme 'Si A, alors B.' Si tu es bloqué, considère la preuve par contradiction ou la contraposée. La démonstration directe fonctionne bien quand tu peux manipuler l'hypothèse algébriquement.

Q: Que signifie CQFD ?

A: CQFD signifie 'ce qu'il fallait démontrer'. Cela signale que la preuve est complète. Certains mathématiciens utilisent un symbole carré (pierre tombale) à la place.

Q: À quel point mes étapes doivent-elles être détaillées ?

A: Chaque étape devrait être justifiée par une définition, une propriété ou un théorème. Si tu sautes des étapes, tu risques de cacher des erreurs. En cas de doute, inclus plus de détails.