由柯西不等式:
(a/(b+1)+b/(c+1)+c/(a+1))(b+1+c+1+a+1)>=(a+b+c)^2
即 (a/(b+1)+b/(c+1)+c/(a+1))*6>=3^2
所以原不等式成立,易得,等號當且僅當a=b=c時成立