||x|-|y||<=|x+y| <=>
(|x|-|y|)²<=|x+y|²
<=>
|x²+y²-2|xy||<=|x²+y²+2xy| <=>
x²+y²-2|xy|<=x²+y²+2xy ou -x²-y²-2|xy|<=x²+y²+2xy <=>
-2|xy|<=2xy ou 0<=2(x²+y²+|xy|+xy)
Or, -2|xy| est vrai(tu démofacile)
|xy|-xy=xy-xy ou |xy|-xy=-2xy. cad que |xy|=xy ou |xy|=-|xy|
Donc, dans les 2 cas la condition est toujours vraie.