ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Inclusion et égalité

Exercice 20

Démonstration

Démontrer les égalités d'ensembles suivantes par double inclusion, en respectant le schéma de rédaction du cours.

1. {x∈ℝ∣∣x−1∣⩽2}=[−1  ;3]\{x \in \mathbb{R} \mid |x - 1| \leqslant 2\} = [-1\;;3]

2. {n∈ℤ∣n2⩽4}={−2  ;  −1  ;  0  ;  1  ;  2}\{n \in \mathbb{Z} \mid n^{2} \leqslant 4\} = \{-2 \;;\; -1 \;;\; 0 \;;\; 1 \;;\; 2\}

3. {x∈ℝ∣x2−3x+2⩽0}=[1  ;2]\{x \in \mathbb{R} \mid x^{2} - 3x + 2 \leqslant 0\} = [1\;;2]

Corrigé

1. Soit x∈ℝx \in \mathbb{R} tel que ∣x−1∣⩽2|x-1| \leqslant 2. Alors −2⩽x−1⩽2-2 \leqslant x - 1 \leqslant 2, d'où −1⩽x⩽3-1 \leqslant x \leqslant 3 : donc x∈[−1  ;3]x \in [-1\;;3].

Réciproquement, soit x∈[−1  ;3]x \in [-1\;;3]. Alors −1⩽x⩽3-1 \leqslant x \leqslant 3, d'où −2⩽x−1⩽2-2 \leqslant x-1 \leqslant 2, c'est-à-dire ∣x−1∣⩽2|x-1| \leqslant 2. {x∈ℝ∣∣x−1∣⩽2}=[−1  ;3]\boxed{\{x \in \mathbb{R} \mid |x-1| \leqslant 2\} = [-1\;;3]}

2. Soit n∈ℤn \in \mathbb{Z} tel que n2⩽4n^{2} \leqslant 4. Si ∣n∣⩾3|n| \geqslant 3, alors n2⩾9>4n^{2} \geqslant 9 > 4 : on a donc ∣n∣⩽2|n| \leqslant 2, c'est-à-dire n∈{−2  ;  −1  ;  0  ;  1  ;  2}n \in \{-2 \;;\; -1 \;;\; 0 \;;\; 1 \;;\; 2\}.

Réciproquement, chacun de ces cinq entiers vérifie n2⩽4n^{2} \leqslant 4, les carrés valant respectivement 44, 11, 00, 11 et 44. {n∈ℤ∣n2⩽4}={−2  ;  −1  ;  0  ;  1  ;  2}\boxed{\{n \in \mathbb{Z} \mid n^{2} \leqslant 4\} = \{-2 \;;\; -1 \;;\; 0 \;;\; 1 \;;\; 2\}}

3. On factorise : x2−3x+2=(x−1)(x−2)x^{2} - 3x + 2 = (x-1)(x-2).

Soit x∈ℝx \in \mathbb{R} tel que (x−1)(x−2)⩽0(x-1)(x-2) \leqslant 0. Si x<1x < 1, alors x−1<0x - 1 < 0 et x−2<0x - 2 < 0, donc le produit est strictement positif. Si x>2x > 2, les deux facteurs sont strictement positifs et le produit l'est aussi. Ces deux cas étant exclus, on a 1⩽x⩽21 \leqslant x \leqslant 2.

Réciproquement, si 1⩽x⩽21 \leqslant x \leqslant 2, alors x−1⩾0x - 1 \geqslant 0 et x−2⩽0x - 2 \leqslant 0, donc le produit est négatif. {x∈ℝ∣x2−3x+2⩽0}=[1  ;2]\boxed{\{x \in \mathbb{R} \mid x^{2} - 3x + 2 \leqslant 0\} = [1\;;2]}

Dans l'édifice

Thèmes

inclusion et égalité

Notions

ensemble

Ouvrir dans l'atlas interactif →