MathDB
(x^2-y^2)/ (2x^2+1) + (y^2-z^2)/(2y^2+1)+(z^2-x^2)/ (2z^2+1)<=0

Source: Greece JBMO TST 2005 p2

June 16, 2019
algebrainequalitiesthree variable inequality

Problem Statement

Prove that for each x,y,zRx,y,z \in R it holds that x2y22x2+1+y2z22y2+1+z2x22z2+10\frac{x^2-y^2}{2x^2+1} +\frac{y^2-z^2}{2y^2+1}+\frac{z^2-x^2}{2z^2+1}\le 0