ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Implication et équivalence

Exercice 7

Démonstration

Démontrer les équivalences suivantes en respectant le schéma de rédaction en deux temps du cours.

1. Soient xx et yy deux réels. Montrer que x2+y2=0⇔(x=0 et y=0)x^{2} + y^{2} = 0 \Leftrightarrow (x = 0 \text{ et } y = 0).

2. Soient aa et bb deux réels. Montrer que (a+b)2=a2+b2⇔ab=0(a+b)^{2} = a^{2} + b^{2} \Leftrightarrow ab = 0.

3. Soit xx un réel. Montrer que ∣x∣⩽3⇔−3⩽x⩽3|x| \leqslant 3 \Leftrightarrow -3 \leqslant x \leqslant 3.

Corrigé

1. Montrons que x2+y2=0⇒(x=0x^{2} + y^{2} = 0 \Rightarrow (x = 0 et y=0)y = 0). Supposons x2+y2=0x^{2} + y^{2} = 0. Alors x2=−y2x^{2} = -y^{2}. Or x2⩾0x^{2} \geqslant 0 et −y2⩽0-y^{2} \leqslant 0, donc x2=0x^{2} = 0, c'est-à-dire x=0x = 0. On en déduit y2=0y^{2} = 0, donc y=0y = 0.

Réciproquement, montrons que (x=0(x = 0 et y=0)⇒x2+y2=0y = 0) \Rightarrow x^{2} + y^{2} = 0. Si x=0x = 0 et y=0y = 0, alors x2+y2=0+0=0x^{2} + y^{2} = 0 + 0 = 0. x2+y2=0  ⟺  (x=0 et y=0)\boxed{x^{2} + y^{2} = 0 \;\Longleftrightarrow\; (x = 0 \text{ et } y = 0)}

2. Montrons le sens direct. Supposons (a+b)2=a2+b2(a+b)^{2} = a^{2} + b^{2}. En développant le membre de gauche : a2+2ab+b2=a2+b2donc2ab=0doncab=0a^{2} + 2ab + b^{2} = a^{2} + b^{2} \quad\text{donc}\quad 2ab = 0 \quad\text{donc}\quad ab = 0

Réciproquement, si ab=0ab = 0, alors (a+b)2=a2+2ab+b2=a2+b2(a+b)^{2} = a^{2} + 2ab + b^{2} = a^{2} + b^{2}. (a+b)2=a2+b2  ⟺  ab=0\boxed{(a+b)^{2} = a^{2} + b^{2} \;\Longleftrightarrow\; ab = 0}

3. Montrons que ∣x∣⩽3⇒−3⩽x⩽3|x| \leqslant 3 \Rightarrow -3 \leqslant x \leqslant 3. Supposons ∣x∣⩽3|x| \leqslant 3. Si x⩾0x \geqslant 0, alors x=∣x∣⩽3x = |x| \leqslant 3 et x⩾0>−3x \geqslant 0 > -3. Si x<0x < 0, alors −x=∣x∣⩽3-x = |x| \leqslant 3, donc x⩾−3x \geqslant -3, et x<0⩽3x < 0 \leqslant 3. Dans les deux cas, −3⩽x⩽3-3 \leqslant x \leqslant 3.

Réciproquement, supposons −3⩽x⩽3-3 \leqslant x \leqslant 3. Si x⩾0x \geqslant 0, alors ∣x∣=x⩽3|x| = x \leqslant 3. Sinon ∣x∣=−x⩽3|x| = -x \leqslant 3 puisque x⩾−3x \geqslant -3. ∣x∣⩽3  ⟺  −3⩽x⩽3\boxed{|x| \leqslant 3 \;\Longleftrightarrow\; -3 \leqslant x \leqslant 3}

Dans l'édifice

Thèmes

connecteurs et tables de vérité, équivalence

Notions

connecteur

Ouvrir dans l'atlas interactif →