Disjonction des cas : Utile pour les valeurs absolues ou les parités.
Exemples corrigés
Négation : La négation de $\forall x \in \mathbb{R}, x^2 \geq 0$ est $\exists x \in \mathbb{R}, x^2 < 0$.
Récurrence : Pour montrer $1+2+...+n = \frac{n(n+1)}{2}$, on vérifie pour $n=1$, puis on suppose la formule vraie pour $n$ et on ajoute $(n+1)$ aux deux côtés.
Erreurs fréquentes
Confondre $\implies$ et $\iff$.
Oublier d'inverser les quantificateurs lors d'une négation ($\forall$ devient $\exists$).
Dans une récurrence, oublier l'étape d'initialisation.
🌉 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.
La négation de la proposition $\forall x \in \mathbb{R}, x^2 > 0$ est :
❓ Questions fréquentes
Est-ce que P implies Q est la même chose que Q implies P ?
Non, ce n'est pas la même chose. $Q \implies P$ est la réciproque de $P \implies Q$. Elles n'ont pas la même valeur de vérité. Par 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 commutative.
Kifach n-bino b-t-taraju3 (récurrence) ?
Initialisation : Vérifie que la propriété est vraie pour le premier terme (souvent $n=0$ ou $n=1$).
Hérédité : Suppose que la propriété est vraie pour un rang $n$ quelconque.
Conclusion : Utilise cette supposition pour démontrer que la propriété est vraie pour le rang $n+1$.
💡 À retenir : N'oublie jamais de mentionner "Soit $n \in \mathbb{N}$" au début de l'hérédité.
Quelle est la différence entre forall et exists ?
$\forall$ (pour tout) signifie que la propriété est vraie pour tous les éléments de l'ensemble.
$\exists$ (il existe) signifie qu'il y a au moins un élément dans l'ensemble qui vérifie la propriété.
💡 À retenir : $\forall$ est très exigeant, $\exists$ est plus souple.
Chno hiya l-farq bin l-istidlal b-l-khalf w-l-muqabil ?
Par l'absurde : Tu supposes que ce que tu veux démontrer est faux, et tu arrives à une absurdité (ex: $1=0$).
Par contraposée : Tu transformes l'implication $P \implies Q$ en $\neg Q \implies \neg P$. C'est une méthode directe, pas une contradiction.
💡 À retenir : Utilise la contraposée quand l'implication est difficile à prouver directement.
Est-ce que la négation de "pour tout x, P(x)" est "pour tout x, non P(x)" ?
Non, c'est une erreur grave. La négation de $\forall x, P(x)$ est $\exists x, \neg P(x)$.
💡 À retenir : Le quantificateur change toujours lors de la négation.
Kifach n-bino b-l-fasl dyal l-halat ?
Quand tu as une expression avec une valeur absolue ou une parité, tu divises le problème en deux cas :
Cas 1 : $x \geq 0$.
Cas 2 : $x < 0$.
Tu résous chaque cas séparément, puis tu fais la réunion des résultats.
💡 À retenir : Sois exhaustif, aucun cas ne doit manquer.
Pourquoi on utilise le raisonnement par récurrence ?
On l'utilise exclusivement pour démontrer des propriétés qui dépendent d'un entier naturel $n$ (ex: sommes, divisibilité, inégalités).
💡 À retenir : Si la propriété ne dépend pas de $n$, la récurrence ne s'applique pas.
Est-ce que P lor Q est vraie si P est vraie et Q est fausse ?
Oui, le "ou" logique est inclusif. Il suffit qu'une seule des deux propositions soit vraie pour que l'ensemble soit vrai.
💡 À retenir : $V \lor F = V$.
Comment nier une implication P implies Q ?
La négation de $P \implies Q$ est $P \land \neg Q$.
💡 À retenir : Pour prouver qu'une implication est fausse, il suffit de trouver un cas où $P$ est vraie et $Q$ est fausse.
Est-ce que le raisonnement par l'absurde est toujours nécessaire ?
Non, il ne doit être utilisé que si les autres méthodes (directe, contraposée, récurrence) échouent. C'est souvent le dernier recours.
💡 À retenir : Si tu peux prouver directement, fais-le, c'est plus élégant.
Est-ce que exists x in mathbb{R}, x^2 = -1 est une proposition ?
Oui, c'est une proposition. Dans ce cas, elle est fausse car le carré d'un nombre réel est toujours positif.
💡 À retenir : Une proposition peut être fausse, elle reste une proposition.
Est-ce qu'on peut utiliser le raisonnement par contraposée pour une équivalence ?
Non, la contraposée s'applique à une implication. Pour une équivalence $P \iff Q$, il faut démontrer $P \implies Q$ et $Q \implies P$.
💡 À retenir : L'équivalence est un double sens.
✍️ Exercices type examen national
Exercice 1
Montrer par récurrence que pour tout $n \in \mathbb{N}^*$, $1+3+5+...+(2n-1) = n^2$.
Quantificateurs : ∀ (pour tout) et ∃ (il existe). La négation de ∀x,P(x) est ∃x,¬P(x).
Méthodes à maîtriser
Contraposée : Pour montrer P⟹Q, on montre ¬Q⟹¬P.
Absurde : Pour montrer P, on suppose ¬P et on cherche une contradiction.
Récurrence :
Initialisation : Vérifier pour n0.
Hérédité : Supposer P(n) vraie, montrer P(n+1).
Disjonction des cas : Utile pour les valeurs absolues ou les parités.
Exemples corrigés
Négation : La négation de ∀x∈R,x2≥0 est ∃x∈R,x2<0.
Récurrence : Pour montrer 1+2+...+n=2n(n+1), on vérifie pour n=1, puis on suppose la formule vraie pour n et on ajoute (n+1) aux deux côtés.
Erreurs fréquentes
Confondre ⟹ et ⟺.
Oublier d'inverser les quantificateurs lors d'une négation (∀ devient ∃).
Dans une récurrence, oublier l'étape d'initialisation.
La négation de la proposition ∀x∈R,x2>0 est :
∀x∈R,x2≤0
∃x∈R,x2≤0
∃x∈R,x2<0
∀x∈R,x2<0
Non, ce n'est pas la même chose. Q⟹P est la réciproque de P⟹Q. Elles n'ont pas la même valeur de vérité. Par 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 commutative.
Initialisation : Vérifie que la propriété est vraie pour le premier terme (souvent n=0 ou n=1).
Hérédité : Suppose que la propriété est vraie pour un rang n quelconque.
Conclusion : Utilise cette supposition pour démontrer que la propriété est vraie pour le rang n+1.
💡 À retenir : N'oublie jamais de mentionner "Soit n∈N" au début de l'hérédité.
∀ (pour tout) signifie que la propriété est vraie pour tous les éléments de l'ensemble.
∃ (il existe) signifie qu'il y a au moins un élément dans l'ensemble qui vérifie la propriété.
💡 À retenir : ∀ est très exigeant, ∃ est plus souple.
Par l'absurde : Tu supposes que ce que tu veux démontrer est faux, et tu arrives à une absurdité (ex: 1=0).
Par contraposée : Tu transformes l'implication P⟹Q en ¬Q⟹¬P. C'est une méthode directe, pas une contradiction.
💡 À retenir : Utilise la contraposée quand l'implication est difficile à prouver directement.
Non, c'est une erreur grave. La négation de ∀x,P(x) est ∃x,¬P(x).
💡 À retenir : Le quantificateur change toujours lors de la négation.
Quand tu as une expression avec une valeur absolue ou une parité, tu divises le problème en deux cas :
Cas 1 : x≥0.
Cas 2 : x<0.
Tu résous chaque cas séparément, puis tu fais la réunion des résultats.
💡 À retenir : Sois exhaustif, aucun cas ne doit manquer.
On l'utilise exclusivement pour démontrer des propriétés qui dépendent d'un entier naturel n (ex: sommes, divisibilité, inégalités).
💡 À retenir : Si la propriété ne dépend pas de n, la récurrence ne s'applique pas.
Oui, le "ou" logique est inclusif. Il suffit qu'une seule des deux propositions soit vraie pour que l'ensemble soit vrai.
💡 À retenir : V∨F=V.
La négation de P⟹Q est P∧¬Q.
💡 À retenir : Pour prouver qu'une implication est fausse, il suffit de trouver un cas où P est vraie et Q est fausse.
Non, la contraposée s'applique à une implication. Pour une équivalence P⟺Q, il faut démontrer P⟹Q et Q⟹P.
💡 À retenir : L'équivalence est un double sens.
Exercice 1
Montrer par récurrence que pour tout n∈N∗, 1+3+5+...+(2n−1)=n2.
Exercice 2
Montrer par contraposée que : si x=1 et y=1, alors x+y−xy=1.