\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\begin{document}
\section*{Exercice 2}
En utilisant le raisonnement par contraposé, montrer que :
\begin{enumerate}
\item \((\forall x > 1)(\forall y > 1) : \left( x \neq y \Rightarrow
x^2 - 2x \neq y^2 - 2y \right)\)
\item Soient \( z, y, x \) trois réels. Montrer que :
\[
(x+y > 2z) \Rightarrow (x > z \quad ou \quad y> z)
\]
\item \( b, a \) deux réels tels que \( b \neq 2a \) montrer que :
\[
b \neq \frac{1}{4}a \Rightarrow \frac{a+2b}{2a - b} \neq \frac{6}{7}
\]
\item \([(\forall x \in \mathbb{R}) : (a < x \Rightarrow b < x)] \
Rightarrow (b \leq a)\)
\item Montrer que tout \( y, x\quad de\quad \mathbb{R} \) on a :
\[
(x \neq \frac{1}{\sqrt{2}} \quad \text{et} \quad y \neq \frac{1}{\
sqrt{2}}) \Rightarrow ( xy\sqrt{2}-x-y+\sqrt{2} \neq \frac{1}{\sqrt{2}})
\]
\end{enumerate}
\section*{Exercice 2 - Résolutions}
\textbf{En utilisant le raisonnement par contraposé, résoudre les questions
suivantes :}
\begin{enumerate}
\item \((\forall x > 1)(\forall y > 1) : (x \neq y \Rightarrow x^2 - 2x
\neq y^2 - 2y)\)
\textbf{Résolution :}
La contraposée de cette implication est :
\[
x^2 - 2x = y^2 - 2y \Rightarrow x = y.
\]
On a:
\[
x^2 - y^2 = 2x - 2y \Rightarrow x^2 - y^2 - 2x + 2y =0
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad\
Rightarrow (x - y)(x + y) - 2(x - y) =0
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \ \Rightarrow (x - y)
(x + y-2)=0
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \ \
Rightarrow x - y=0 \quad ou \quad x + y-2=0.
\]
Puisque $$x > 1 \quad y > 1$$
Donc $$x+y>2 $$
Alors $$ x+y-2>0$$
ce qui donne :
\[
x^2 - 2x = y^2 - 2y \Rightarrow x - y=0. .
\]
\[
\quad \quad \quad \quad \quad \quad \ \Rightarrow x = y
\]
Donc: \((\forall x > 1)(\forall y > 1) : (x \neq y \Rightarrow x^2 - 2x
\neq y^2 - 2y)\)
\item Soient \( z, y, x \) trois réels. Montrer que :
\[
(x + y > 2z) \Rightarrow (x > z \quad \text{ou} \quad y > z).
\]
\textbf{Résolution :}
La contraposée de cette implication est :
\[
(x \leq z \quad \text{et} \quad y \leq z) \Rightarrow (x + y \leq 2z).
\]
Supposons que \(x \leq z\) et \(y \leq z\). Alors :
\[
x + y \leq z + z = 2z.
\]
Donc, l'implication contraposée est vraie, ce qui prouve l'énoncé
initial.
\item \(b, a\) deux réels tels que \(b \neq 2a\). Montrer que :
\[
b \neq \frac{1}{4}a \Rightarrow \frac{a + 2b}{2a - b} \neq \frac{6}{7}.
\]
\textbf{Résolution :}
La contraposée de cette implication est :
\[
\frac{a + 2b}{2a - b} = \frac{6}{7} \Rightarrow b = \frac{1}{4}a.
\]
On a :
\[
\frac{a + 2b}{2a - b} = \frac{6}{7} \Rightarrow 7(a + 2b) = 6(2a - b).
\]
\[
\quad \quad \quad \quad \quad \Rightarrow 7a + 14b = 12a - 6b.
\]
\[
\quad \quad \quad \quad \quad \Rightarrow 14b+6b=12a-7a .
\]
\[
\Rightarrow20b=5a.
\]
\[
\Rightarrow b = \frac{5}{20}a.
\]
\[
\Rightarrow b = \frac{1}{4}a.
\]
La contraposée est donc vraie, ce qui prouve l'énoncé initial.
\item \([(\forall x \in \mathbb{R}) : (a < x \Rightarrow b < x)] \
Rightarrow (b \leq a)\)
\textbf{Résolution :}
La contraposée de cette implication est :
\[
b > a \Rightarrow (\exists x \in \mathbb{R}) : (a < x \quad \text{et} \
quad b \geq x).
\]
Supposons que \(b > a\). Prenons \(x = b\). Alors :
\[
a < b \quad \text{et} \quad b = x.
\]
Alors:
\[
(\exists x \in \mathbb{R}) : (a < x \quad \text{et} \quad b \geq x).
\]
Cette condition satisfait bien l'implication contraposée, ce qui prouve
l'énoncé initial.
\item Montrer que tout \(x, y \in \mathbb{R}\) on a :
\[
(x \neq \frac{1}{\sqrt{2}} \quad \text{et} \quad y \neq \frac{1}{\
sqrt{2}}) \Rightarrow \left( xy\sqrt{2} - x - y + \sqrt{2} \neq \frac{1}{\
sqrt{2}} \right).
\]
\textbf{Résolution :}
La contraposée de cette implication est :
\[
xy\sqrt{2} - x - y + \sqrt{2} = \frac{1}{\sqrt{2}} \Rightarrow x = \
frac{1}{\sqrt{2}} \quad \text{ou} \quad y = \frac{1}{\sqrt{2}}.
\]
On a:
\[
xy\sqrt{2} - x - y + \sqrt{2}= \frac{1}{\sqrt{2}} \Rightarrow xy\
sqrt{2} - x - y + \sqrt{2} - \frac{1}{\sqrt{2}} =0.
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \
quad\Rightarrow xy\sqrt{2} - x - y + \sqrt{2} - \frac{\sqrt{2}}{2} =0.
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad\Rightarrow
xy\sqrt{2} - x - y + \frac{\sqrt{2}}{2} =0.
\]
\[
\quad \quad \quad \quad\quad \quad \quad \quad \quad \quad \quad \quad\
Rightarrow x\sqrt{2}( y - \frac{\sqrt{2}}{2}) - ( y - \frac{\sqrt{2}}{2} ) =0.
\]
\[
\quad \quad\quad \quad \quad \quad \quad \quad \quad \quad\Rightarrow (
y - \frac{\sqrt{2}}{2}) (x\sqrt{2}-1) =0.
\]
\[
\quad \quad\quad \quad\quad \quad \quad \quad \quad \quad \quad \quad \
quad\Rightarrow y - \frac{\sqrt{2}}{2}=0 \quad ou \quad x\sqrt{2}-1 =0.
\]
\[
\quad \quad \quad \quad \quad \quad \quad \quad \quad\Rightarrow y = \
frac{\sqrt{2}}{2} \quad ou \quad x = \frac{\sqrt{2}}{2}.
\]
Donc:
\(x, y \in \mathbb{R}\) on a :
\[
(x \neq \frac{1}{\sqrt{2}} \quad \text{et} \quad y \neq \frac{1}{\
sqrt{2}}) \Rightarrow \left( xy\sqrt{2} - x - y + \sqrt{2} \neq \frac{1}{\
sqrt{2}} \right).
\]
\end{enumerate}
\end{document}
