Preuve directe : Somme de deux nombres pairs

Prouvez que la somme de deux nombres pairs est paire.

Définir ce que signifie pair: Un nombre $n$ est pair si $n = 2k$ pour un entier $k$ = Définition établie

Soient $a$ et $b$ deux nombres pairs: Par définition : $a = 2m$ et $b = 2n$ où $m, n$ sont des entiers = Expression selon la définition

Additionner les deux nombres: $a + b = 2m + 2n = 2(m + n)$ = Factoriser par 2

Identifier la forme: $2(m + n)$ est $2 \times (\text{entier})$, ce qui est la définition de pair = Correspond à la définition

Énoncer la conclusion: Donc $a + b$ est pair = CQFD

Answer: La somme de deux nombres pairs est toujours paire car $2m + 2n = 2(m+n)$, qui est 2 fois un entier.

Preuve par l'absurde : La racine carrée de 2 est irrationnelle

Prouvez que $\sqrt{2}$ est irrationnel.

Supposer le contraire: Supposons que $\sqrt{2}$ est rationnel, donc $\sqrt{2} = \frac{a}{b}$ où $a, b$ sont des entiers sans facteurs communs = Commencer par l'hypothèse de contradiction

Élever au carré les deux côtés: $2 = \frac{a^2}{b^2}$, donc $a^2 = 2b^2$ = $a^2$ est pair

Déduire que $a$ est pair: Si $a^2$ est pair, alors $a$ doit être pair (si $a$ était impair, $a^2$ serait impair) = $a = 2k$ pour un entier $k$

Substituer: $(2k)^2 = 2b^2$, donc $4k^2 = 2b^2$, ainsi $b^2 = 2k^2$ = $b^2$ est pair

Déduire que $b$ est pair: Par le même raisonnement, $b$ doit être pair = $a$ et $b$ sont tous deux pairs

Identifier la contradiction: Mais nous avons dit que $a$ et $b$ n'ont pas de facteurs communs. S'ils sont tous deux pairs, ils partagent le facteur 2 ! = CONTRADICTION

Conclure: Notre hypothèse était fausse, donc $\sqrt{2}$ est irrationnel = CQFD

Answer: $\sqrt{2}$ est irrationnel car supposer qu'il est rationnel mène à une contradiction logique.

Preuve directe : Produit de nombres impairs

Prouvez que le produit de deux nombres impairs est impair.

Définir ce que signifie impair: Un nombre $n$ est impair si $n = 2k + 1$ pour un entier $k$ = Définition établie

Soient $a$ et $b$ deux nombres impairs: $a = 2m + 1$ et $b = 2n + 1$ où $m, n$ sont des entiers = Expression selon la définition

Multiplier les nombres: $a \times b = (2m + 1)(2n + 1)$ = Poser la multiplication

Développer: $= 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1$ = Factoriser par 2

Identifier la forme: $2(2mn + m + n) + 1$ est $2 \times (\text{entier}) + 1$, ce qui est impair = Correspond à la définition

Énoncer la conclusion: Donc $a \times b$ est impair = CQFD

Answer: Le produit de deux nombres impairs est toujours impair car $(2m+1)(2n+1) = 2(2mn+m+n) + 1$.

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

Why: Montrer que $2 + 4 = 6$ est pair prouve seulement UN cas, pas TOUS les cas.

Correct: Utilisez des variables ($2m + 2n$) pour représenter N'IMPORTE QUELS deux nombres pairs.

Mistake: Supposer ce qu'on veut prouver

Why: Vous ne pouvez pas utiliser la conclusion dans votre raisonnement - c'est un raisonnement circulaire.

Correct: Commencez seulement par les informations données et les définitions, puis dérivez la conclusion.

Mistake: Justification manquante pour les étapes

Why: Chaque étape doit être justifiée par une définition, un axiome ou un théorème déjà prouvé.

Correct: Indiquez toujours POURQUOI chaque étape découle de la précédente.

Mistake: Confondre la direction de l'implication

Why: Si $P \Rightarrow Q$, savoir $Q$ ne nous dit PAS que $P$ est vrai.

Correct: Attention : la réciproque et la contraposée d'un énoncé vrai peuvent être fausses.

Informatique : Correction des algorithmes

Les ingénieurs logiciels utilisent des preuves pour vérifier que les programmes fonctionnent correctement pour toutes les entrées.

Prouver qu'un algorithme de tri produit toujours une liste triée nécessite une induction mathématique.

Cryptographie : Preuves de sécurité

Le chiffrement moderne repose sur des preuves mathématiques pour garantir la sécurité.

La sécurité du chiffrement RSA est basée sur la difficulté prouvée de factoriser de grands nombres.

Raisonnement juridique : Construction d'arguments

Les avocats construisent des arguments logiques similaires aux preuves mathématiques.

Le raisonnement juridique suit 'Si les preuves montrent X, et X implique la culpabilité, alors le défendeur est coupable.'

Q: Quelle est la différence entre un théorème et un axiome ?

A: Un axiome est un énoncé accepté comme vrai sans preuve. Un théorème est un énoncé qui a été prouvé en utilisant des axiomes et d'autres théorèmes.

Q: Pourquoi avons-nous besoin de preuves si nous pouvons tester des exemples ?

A: Tester des exemples montre seulement que des cas spécifiques fonctionnent. Une preuve garantit que TOUS les cas fonctionnent. Par exemple, nous ne pouvons pas tester une infinité de nombres, mais une preuve les couvre tous.

Q: Que signifie CQFD ?

A: CQFD signifie 'ce qu'il fallait démontrer'. En latin, c'est QED pour 'quod erat demonstrandum'. Cela marque la fin d'une preuve.