J'ai essayé avec le carré, mais je n'arrive pas au résultat !
voilà ce que j'ai fait.
D'une part on a $$
\begin{array}{rcl}
\frac{x+y}{1+xy}+1 & = & \frac{x+y+1+xy}{1+xy}\\
& = & \frac{(x+1)(y+1)}{1+xy}>0
\end{array}
$$ Car, on a $-1<x<1$ et $-1<y<1$, donc $-1<xy<1$ et par suite $0<y+1<2$, $0<x+1<2$ et $0<xy+1<2$. D'autre part on a $$
\begin{array}{rcl}
\frac{x+y}{1+xy}-1 & = & \frac{x+y-1-xy}{1+xy}\\
& = & \frac{(x-1)(1-y)}{1+xy}<0
\end{array}
$$ Car, on a $-1<x<1$ et $-1<-y<1$, donc $-1<xy<1$ et par suite $0<1-y<2$, $-2<x-1<0$ et $0<xy+1<2$. D'où le résultat.
Si tu élèves au carré, il faut utiliser la même factorisation que dans ta démonstration :
\[|x+y|\leq |1+xy|\quad\Leftrightarrow\quad 0\leq 1-x^2-y^2+x^2y^2\quad\Leftrightarrow\quad 0\leq (1-x^2)(1-y^2).\]
Réponses
voilà ce que j'ai fait.
D'une part on a $$
\begin{array}{rcl}
\frac{x+y}{1+xy}+1 & = & \frac{x+y+1+xy}{1+xy}\\
& = & \frac{(x+1)(y+1)}{1+xy}>0
\end{array}
$$ Car, on a $-1<x<1$ et $-1<y<1$, donc $-1<xy<1$ et par suite $0<y+1<2$, $0<x+1<2$ et $0<xy+1<2$. D'autre part on a $$
\begin{array}{rcl}
\frac{x+y}{1+xy}-1 & = & \frac{x+y-1-xy}{1+xy}\\
& = & \frac{(x-1)(1-y)}{1+xy}<0
\end{array}
$$ Car, on a $-1<x<1$ et $-1<-y<1$, donc $-1<xy<1$ et par suite $0<1-y<2$, $-2<x-1<0$ et $0<xy+1<2$. D'où le résultat.
\[|x+y|\leq |1+xy|\quad\Leftrightarrow\quad 0\leq 1-x^2-y^2+x^2y^2\quad\Leftrightarrow\quad 0\leq (1-x^2)(1-y^2).\]
Étudier sur le bon ensemble $x\mapsto \dfrac{x+y}{1+xy}$ de paramètre $y$.
Une dérivation suffit.
Éventuellement on distingue le cas $y=0$.
Il existe $a,b$ réels tels que $x=\tanh(a),y=\tanh(b)$
$\frac{ \tanh(a)+\tanh(b)}{1+\tanh(a)\tanh(b)}=\tanh(a+b)$
puis $|\tanh(u)|<1$