设a,b,c是△ABC的三边长，求证:
a^2/(a^2+b^2)+b^2/(b^2+c^2)+c^2/(c^2+a^2)<8/5.

设a,b,c是三角形的三边长，求证:
a^2/(a^2+b^2)+b^2/(b^2+c^2)+c^2/(c^2+a^2)>7/5. (1)
a^2/(a^2+b^2)+b^2/(b^2+c^2)+c^2/(c^2+a^2)<8/5. (2)

下面我们一起来证明不等式(1),(2)。即
8/5>a^2/(a^2+b^2)+b^2/(b^2+c^2)+c^2/(c^2+a^2)>7/5. (3)

(3)式两边同乘以2减3得:
16/5-3>2a^2/(a^2+b^2)+2b^2/(b^2+c^2)+2c^2/(c^2+a^2)-3>14/5-3.
<==>
1/5>(a^2-b^2)/(a^2+b^2)+(b^2-c^2)/(b^2+c^2)+(c^2-a^2)/(c^2+a^2)>-1/5

上式化简整理得:
1/5>(a^2-b^)(b^2-c^2)(c^2-a^2)/(a^2+b^)(b^2+c^2)(c^2+a^2)>-1/5 (4)

(4)式可写成:
(a^2+b^)(b^2+c^2)(c^2+a^2)>5︱(a^2-b^)(b^2-c^2)(c^2-a^2)︱ (5)

(5)式绝对符号内为负那么显然成立，不失一般性，设a>b>c，则只需证
(a^2+b^)(b^2+c^2)(c^2+a^2)>5(a^2-b^)(b^2-c^2)(a^2-c^2) (6)

设x，y，z为正实数，则三角形三边长可表示为:a=y+z，b=z+x，c=x+y，
因为a>b>c，则x<y<z。对(6)作置换得:
[(y+z)^2+(z+x)^2]*[(z+x)^2+(x+y)^2]*[(x+y)^2+(y+z)^2]>5*[(y+z)^2-(z+x)^2]*[(z+x)^2-(x+y)^2]*[(y+z)^2-(x+y)^2]

上式展开化简整理为:
2x[x^5+x^4*(8y-2z)+x^3*(18y^2+12yz-7z^2)+x^2*(6y^3+30y^2*z+10z^2*y+6z^3)+x*(-7y^4+10y^3*z+28y^2*z^2+30z^3*y+18z^4)-2y^5+12y^4*z+30y^3*z^2+10y^2*z^3+12z^4*y+8z^5]+2(z^6-2y*z^5-7y^2*z^4+6y^3*z^3+18y^4*z^2+8y^5*z+y^6)>0

在x<y<z条件下，上式中括号内易证大于零。所以只需证
z^6-2y*z^5-7y^2*z^4+6y^3*z^3+18y^4*z^2+8y^5*z+y^6≥0
<==> (z^3-yz^2-4zy^2-y^3)^2≥0
故不等式链(3)得证，
不等式链(3)上界系数8/5与下界系数7/5为最佳。