CHAPITRE 1 : proposition de résumé

Calculs algébriques élémentaires dans R, logique et ensembles

1 CALCULS ALGEBRIQUES AVEC DES REELS

1. Savoir factoriser un trinôme.
2. Nouvelles identités remarquables :
(a + b)3 = a3 + 3a2 b + 3ab2 + b3 et a3 − b3 = (a − b)(a2 + ab + b2 )
3. [a2 = b2 ⇔ a = b] ne peut s'écrire que si a et b sont de même signe.
Sinon, on a : [a2 = b2 ⇔ a = b ou a = −b]
4. [a2 ≤ b2 ⇔ a ≤ b] ne peut s'écrire que si a et b sont positifs.
5. Plus généralement, étant donnée une fonction f , on a :
[a ≤ b ⇔ f (a) ≤ f (b)] si a et b sont dans un intervalle où la fonction f est strictement
croissante.
[a ≤ b ⇔ f (a) ≥ f (b)] si a et b sont dans un intervalle où la fonction f est strictement
décroissante. (
x si x ≥ 0
6. ∀x ∈ R, |x| =
−x si x ≤ 0
7. (a) ∀x ∈ R, ∀M ∈ R+ , |x| = M ⇔ x = M ou x = −M
(b) ∀x ∈ R, ∀M ∈ R+ , |x| ≤ M ⇔ −M ≤ x ≤ M
(c) ∀x ∈ R, ∀M ∈ R+ , |x| ≥ M ⇔ x ≤ −M ou x ≥ M
8. ∀x ∈ R, ∀y ∈ R, |x + y| ≤ |x| + |y| (inégalité triangulaire)

2 LOGIQUE
1. (a) Non (P ou Q) = (Non P ) et (Non Q)
(b) Non (P et Q) = (Non P ) ou (Non Q)
2. Implication : (P ⇒ Q) = (Q ou Non P )
Lorsque la proposition P ⇒ Q est vraie, on dit que P est une condition susante pour avoir
Q ou que Q est une condition nécessaire pour avoir P.
3. Contraposée de l'implication (P ⇒ Q) : c'est l'implication (Non Q ⇒ Non P ).
Une implication et sa contraposée sont équivalentes.
4. Réciproque de l'implication (P ⇒ Q) : c'est l'implication (Q ⇒ P ).
5. Equivalence : (P ⇔ Q) est vraie lorsque (P ⇒ Q et Q ⇒ P ) l'est.
6. Négation de propositions avec quanticateurs :
ˆ Non (∃x ∈ E / Px ) correspond à : ∀x ∈ E , Non Px
ˆ Non (∀x ∈ E, Px ) correspond à : ∃x ∈ E / Non Px

1
3 Ensembles
1. Pour montrer E ⊂ F , on montre l'implication : x ∈ E ⇒ x ∈ F
(
E⊂F
2. E = F ⇔
F ⊂E
3. Une partie d'un ensemble E est un ensemble inclus dans E . L'ensemble des parties de E est
noté P(E). On a donc : P(E) = {A/A ⊂ E}
Exple : Si E = {a; b; c} alors P(E) = {∅; {a}; {b}; {c}; {a; b}; {a; c}; {b, c}; E}.
(
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
4. Distributivité :
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
(
A ∪ B = Ā ∩ B̄
5. Lois de Morgan :
A ∩ B = Ā ∪ B̄
6. A\B = {x ∈ A/x ∈ / B} = A ∩ B̄ (on dit A moins B ou A privé de B).
7. Produit cartésien : E × F = {(x, y) / x ∈ E, y ∈ F }