Pour nier une proposition, inverser les quantificateurs ($\forall \leftrightarrow \exists$) et nier la propriété.
Pour montrer une égalité, utiliser souvent l'équivalence ou le calcul direct.
Pour montrer une existence, construire l'élément ou utiliser le théorème des valeurs intermédiaires (si fonction continue).
Exemples corrigés
Négation : Nier $\forall x \in \mathbb{R}, x^2 > 0$.
Réponse : $\exists x \in \mathbb{R}, x^2 \leq 0$.
Absurde : Montrer que $\sqrt{2} \notin \mathbb{Q}$.
On suppose $\sqrt{2} = p/q$ irréductible, on élève au carré : $2 = p^2/q^2 \implies p^2 = 2q^2$. $p$ est pair, donc $p=2k$, $4k^2=2q^2 \implies q^2=2k^2$, $q$ est pair. Contradiction avec "irréductible".
Erreurs fréquentes
Oublier d'inverser le quantificateur lors de la négation.
Confondre l'implication $P \implies Q$ et sa réciproque $Q \implies P$.
Mal rédiger l'étape d'hérédité dans le raisonnement par récurrence (ne pas supposer la propriété vraie pour $n+1$ dès le début).
🌉 Jisr : les mots du chapitre FR ⇄ AR
Tu as appris les sciences en arabe ? Touche un mot pour voir sa traduction et une explication en darija.
Quelle est la négation de $\forall x \in \mathbb{R}, x^2 > 0$ ?
❓ Questions fréquentes
Est-ce que forall x, exists y est la même chose que exists y, forall x ?
Non, l'ordre des quantificateurs est crucial. $\forall x, \exists y, P(x,y)$ signifie que pour chaque $x$, on peut trouver un $y$ qui dépend de $x$. $\exists y, \forall x, P(x,y)$ signifie qu'il existe un seul $y$ qui marche pour tous les $x$.
💡 À retenir : On ne peut jamais permuter un $\forall$ et un $\exists$.
Utilise la contraposée quand la négation de la conclusion est plus facile à manipuler (ex: montrer $x \neq y \implies f(x) \neq f(y)$).
Utilise l'absurde quand tu n'as aucune piste directe et que la négation de l'hypothèse donne une contradiction immédiate (ex: montrer qu'un nombre est irrationnel).
💡 À retenir : La contraposée est une preuve directe de la forme inversée, l'absurde est une preuve par contradiction.
Chno hiya l'initialisation f récurrence ?
C'est la première étape où tu vérifies que la propriété est vraie pour le plus petit entier (souvent $n_0=0$ ou $n_0=1$). Sans cette étape, le raisonnement est faux.
💡 À retenir : L'initialisation est la base de l'édifice, sans elle, rien ne tient.
Comment nier une implication P implies Q ?
La négation de $P \implies Q$ est $P \text{ et non } Q$. C'est une erreur classique de croire que c'est $P \implies \text{non } Q$.
💡 À retenir : Pour qu'une implication soit fausse, il faut que l'hypothèse soit vraie et la conclusion fausse.
Kifach nbrhen bli wa7ed l'ensemble khawi ?
Tu peux utiliser un raisonnement par l'absurde : suppose qu'il existe un élément dans cet ensemble et montre que cela mène à une contradiction.
💡 À retenir : $\exists x, x \in A \implies \text{Contradiction}$.
Est-ce que le raisonnement par disjonction des cas est toujours utile ?
Il est très utile quand l'expression contient une valeur absolue $|x|$ ou quand on travaille sur des ensembles différents (ex: $x \in \mathbb{Q}$ et $x \notin \mathbb{Q}$).
💡 À retenir : Diviser pour mieux régner.
Est-ce que je dois toujours écrire "soit" au début d'une démonstration ?
Oui, pour introduire une variable arbitraire dans un raisonnement universel ($\forall x$). Cela montre que tu ne choisis pas un cas particulier.
💡 À retenir : "Soit" est le mot magique pour généraliser.
Est-ce que forall x in mathbb{R}, x^2 geq 0 est une proposition ?
Oui, c'est une proposition vraie. Une proposition est une phrase mathématique qui est soit vraie, soit fausse.
💡 À retenir : Une proposition ne peut pas être les deux à la fois.
Est-ce que la réciproque d'une proposition vraie est toujours vraie ?
Non, absolument pas. Exemple : $x=2 \implies x^2=4$ est vraie, mais $x^2=4 \implies x=2$ est fausse (car $x$ peut être $-2$).
💡 À retenir : L'implication n'est pas une équivalence.
Chno lfar9 bin "pour tout" o "il existe" ?
"Pour tout" ($\forall$) concerne tous les éléments sans exception. "Il existe" ($\exists$) concerne au moins un élément.
💡 À retenir : $\forall$ est exigeant, $\exists$ est tolérant.
Comment montrer que P iff Q ?
Il faut montrer deux choses : $P \implies Q$ et $Q \implies P$.
💡 À retenir : L'équivalence est un aller-retour.
Est-ce que je peux utiliser des exemples pour prouver une propriété ?
Non, un exemple ne prouve rien pour le cas général. Pour prouver une propriété universelle, il faut un raisonnement général. Par contre, un contre-exemple suffit pour prouver qu'une propriété est fausse.
💡 À retenir : Un exemple n'est pas une preuve, un contre-exemple est une réfutation.
✍️ Exercices type examen national
Exercice 1
Montrer par récurrence que pour tout $n \in \mathbb{N}^*$, $\sum_{k=1}^{n} k = \frac{n(n+1)}{2}$.
Pour nier une proposition, inverser les quantificateurs (∀↔∃) et nier la propriété.
Pour montrer une égalité, utiliser souvent l'équivalence ou le calcul direct.
Pour montrer une existence, construire l'élément ou utiliser le théorème des valeurs intermédiaires (si fonction continue).
Exemples corrigés
Négation : Nier ∀x∈R,x2>0.
Réponse : ∃x∈R,x2≤0.
Absurde : Montrer que 2∈/Q.
On suppose 2=p/q irréductible, on élève au carré : 2=p2/q2⟹p2=2q2. p est pair, donc p=2k, 4k2=2q2⟹q2=2k2, q est pair. Contradiction avec "irréductible".
Erreurs fréquentes
Oublier d'inverser le quantificateur lors de la négation.
Confondre l'implication P⟹Q et sa réciproque Q⟹P.
Mal rédiger l'étape d'hérédité dans le raisonnement par récurrence (ne pas supposer la propriété vraie pour n+1 dès le début).
Quelle est la négation de ∀x∈R,x2>0 ?
∀x∈R,x2≤0
∃x∈R,x2≤0
∃x∈R,x2<0
∀x∈R,x2≥0
Non, l'ordre des quantificateurs est crucial. ∀x,∃y,P(x,y) signifie que pour chaque x, on peut trouver un y qui dépend de x. ∃y,∀x,P(x,y) signifie qu'il existe un seul y qui marche pour tous les x.
💡 À retenir : On ne peut jamais permuter un ∀ et un ∃.
Utilise la contraposée quand la négation de la conclusion est plus facile à manipuler (ex: montrer x=y⟹f(x)=f(y)).
Utilise l'absurde quand tu n'as aucune piste directe et que la négation de l'hypothèse donne une contradiction immédiate (ex: montrer qu'un nombre est irrationnel).
💡 À retenir : La contraposée est une preuve directe de la forme inversée, l'absurde est une preuve par contradiction.
C'est la première étape où tu vérifies que la propriété est vraie pour le plus petit entier (souvent n0=0 ou n0=1). Sans cette étape, le raisonnement est faux.
💡 À retenir : L'initialisation est la base de l'édifice, sans elle, rien ne tient.
La négation de P⟹Q est P et non Q. C'est une erreur classique de croire que c'est P⟹non Q.
💡 À retenir : Pour qu'une implication soit fausse, il faut que l'hypothèse soit vraie et la conclusion fausse.
Tu peux utiliser un raisonnement par l'absurde : suppose qu'il existe un élément dans cet ensemble et montre que cela mène à une contradiction.
💡 À retenir : ∃x,x∈A⟹Contradiction.
Il est très utile quand l'expression contient une valeur absolue ∣x∣ ou quand on travaille sur des ensembles différents (ex: x∈Q et x∈/Q).
💡 À retenir : Diviser pour mieux régner.
Oui, pour introduire une variable arbitraire dans un raisonnement universel (∀x). Cela montre que tu ne choisis pas un cas particulier.
💡 À retenir : "Soit" est le mot magique pour généraliser.
Non, absolument pas. Exemple : x=2⟹x2=4 est vraie, mais x2=4⟹x=2 est fausse (car x peut être −2).
💡 À retenir : L'implication n'est pas une équivalence.
"Pour tout" (∀) concerne tous les éléments sans exception. "Il existe" (∃) concerne au moins un élément.
💡 À retenir : ∀ est exigeant, ∃ est tolérant.
Il faut montrer deux choses : P⟹Q et Q⟹P.
💡 À retenir : L'équivalence est un aller-retour.
Exercice 1
Montrer par récurrence que pour tout n∈N∗, ∑k=1nk=2n(n+1).
Exercice 2
Montrer par contraposée que si x2=y2, alors x=y ou x=−y. (à vérifier par le professeur)