Exercices divers

Exercice 802. La proposition suivante est-elle vraie ? \[ \forall x \in \R, \sqrt{x^2}=x \]
Exercice 803. Soit $x \in \R$. Montrer que : $x \notin \Q \implies x+1 \notin \Q$.
Exercice 804. Montrer que $\forall a,b \in \R_{*}^{+}, \; \sqrt{a+b} < \sqrt{a}+\sqrt{b}$.
Exercice 805. Soient $a,b \in \R$. Montrer que $(\forall n \in \N,\; a2^{n}+b3^n=a) \iff a=b=0$.
Exercice 806. \\
  1. Montrer que pour tout $a,b,c,d \in \R$ : $(a\leqslant b \;\; et \;\; c\leqslant d) \implies a+c \leqslant b+d$. \\
  2. L'implication réciproque est-elle également valable pour tous réels $a$, $b$, $c$, $d$? \\
  3. Que penser de l'affirmation suivante : $\forall a,b,c,d \in \R$, $\parenthese{a+c \leqslant b+d \implies (a \leqslant b \;\; ou \;\; c \leqslant d)}$.
Exercice 807. Soit $a \in \R^{+}$. Montrer que $(\forall \varepsilon > 0,\; a \leqslant \varepsilon) \iff a = 0$.
Exercice 808. Soit $x$ un réel. Montrer que si $\forall \varepsilon > 0, \abs{x} \leqslant \varepsilon$, alors $x=0$.
Exercice 809. En considérant le nombre $\left( \sqrt{2}^{\sqrt{2}} \right)^{\sqrt{2}}$, montrer qu’il existe deux nombres irrationnels $a>0$ et $b>0$ tels que $a^b$ soit rationnel.
Exercice 810. \\
  1. Justifier que pour tout $x \in \R$, $x(1-x) \leqslant \Frac{1}{4}$. \\
  2. Soient $a,b,c$ trois réels dans $[0;1]$. \\ Prouver que l'un au moins des nombres suivants est inférieur ou égal à $\Frac{1}{4}$ : $a(1-b), \quad b(1-c) \; \; et \; \; c(1-a)$. \\
  3. Soient $a,b,c$ trois réels strictement positifs. \\ En adaptant le raisonnement précédent, justifier que parmi les trois nombres $a+\Frac{1}{b}$, $b+\Frac{1}{c}$ et $c+\Frac{1}{a}$, il existe au moins un nombre supérieur à $2$.
Exercice 811. Soient $x$ et $y$ deux réels positifs tels que $y \leqslant x^2$. Montrer que \[ \sqrt{x+\sqrt{y}} = \sqrt{\Frac{x+\sqrt{x^2-y}}{2}}+\sqrt{\Frac{x-\sqrt{x^2-y}}{2}} \]
Exercice 812. Simplifier $\sqrt[3]{5\sqrt{2}+7}-\sqrt[3]{5\sqrt{2}-7}$.
Exercice 813. \\
  1. Soit $p \in \N$. \\ Montrer que pour tout $n \in \llbracket 0,(p+1)!-1\rrbracket$, il existe un $(p+1)$-uplet $(n_0,\hdots,n_p)\in \N^{p+1}$ tel que \[ \forall k \in \llbracket 0,p \rrbracket,\; 0 \leqslant n_k \leqslant k\;\; et \;\; n = \Sum_{k=0}^{p}n_k k!\]
  2. Justifier l'unicité d'une telle suite.