Ma réponse :
on prouve que |x+y| est inférieur ou = à sup (|x|,|y|) dans tout les cas possibles.
*AU CAS OU /x/>=/y/ (sup(/x/,/y/)=/x/) *au cas ou X>=0 et Y<=0 on a y<=0 alors x+y<=x
on a /x/>=/y/ et y<=0,x>=0 alors -x<=y <=> x+y>=0
on a trouvé que x+y<=x , x+y>0,x>=0 alors /x+y/<=/x/
c'est a dire /x+y/<=sup(/x/,/y/)
*au cas ou X<=0 et Y>=0 on a y>=0 <=> x+y>=x
on a /x/>=/Y/ et on a x<=0 et y>=0alors-y>=x <=> x+y<=0
on a trouvé que x+y>=x,x<=0,x+y<=0 alors/x+y/<=/x/
ce qui signifie que /x+y/<=sup(/x/,/y/)
*AU CAS OU /x/<=/y/ (sup(/x/,/y/)=/y/) *au cas ou x>=0,y<=0 on /x/<=/y/ et x>=0,y<=0 alors -x>=y <=> x+y<=0
on a x>=0 <=> x+y>=y puisque x+y<=0 et y<=0 => /x+y/<=/y/ c'est a dire /x+y/<=sup(/x/,/y/)
*au cas ou x<=0,y>=0 on a /x/<=/y/ et x<=0,y>=0 alors -y<=x <=> x+y>=0
on a x<=0 <=>x+y<=y puisque x+y>=0 et y>=0 => /x+y/<=/y/ c'est a dire /x+y/<=sup(/x/,/y/).
**********************************************
on deduit alors que dans tout les cas
:/x+y/<=sup(/x/,/y/)