AVEC transformation de ravie on suppose que a=X+Y et b=Y+Z et c=Z+X ainsi:
on doit demontrer que rac(X+Y)+rac(Y+Z)+rac(Z+X)>=rac(2Y)+rac(2Z)+rac(2X)
AM GM => x+y>=2rac(xy)
2(x+y)>=(racx +racy)²
(x+y)/2>=(racx+racy)²/4
rac ((x+y)/2)>= (racx+racy) /2
de la meme maniere rac ((z+y)/2)>= (racz+racy) /2 et rac ((x+z)/2)>= (racx+racz) /2
on conclu que rac(X+Y)+rac(Y+Z)+rac(Z+X)>=rac(2Y)+rac(2Z)+rac(2X)
donc rac(a+b-c) + rac(b+c-a) + rac(a+c-b)=< rac a + rac b +rac c
le cas d eggalité est trivial est a=b=c