证1：
取函数f(x)=x/(1+x)=1-1/(1+x),显然f(x)在(-1,+∞)上是增函数.
当x＞0,y＞0时,有f(x)+f(y)＞f(x+y).证明如下：
f(x)+f(y)=(x+y+2xy)/(1+x+y+xy)
＞(x+y+xy)/(1+x+y+xy)
=f(x+y+xy)
＞f(x+y).
∴f(a)+f(b)>f(a+b)>f(c).
即原不等式成立.
证3：注意xy≤[(x+y)/2]^2＝1/4.
|x^2+2xy-y)|
=|x(x+2y)-y|
=|x(1+y)-y|
=|(x-y)+xy|
≤|x-y|+|xy|
≤|x|+|y|+xy
≤1+(1/4)
≤√2.