分类：教育/科学-升学入学-高考
问题：高中竞赛不等式设a,b,c是三角形的三边长，求证:a^2/(a^ 
设a,b,c是三角形的三边长，求证: 
a^2/(a^2+b^2)+b^2/(b^2+c^2)+c^2/(c^2+a^2)>7/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)(1)式两边同乘以2减3得:2a^2/(a^2+b^2)+2b^2/(b^2+c^2)+2c^2/(c^2+a^2)-3>/5-3.<==> (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  <==>(a^2-b^)(b^2-c^2)(c^2-a^2)/(a^2+b^)(b^2+c^2)(c^2+a^2)>-1/5 <==>(a^2+b^)(b^2+c^2)(c^2+a^2)>-5(a^2-b^)(b^2-c^2)(c^2-a^2)  设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)  (2)设x，y，z为正实数，则令:a=y+z，b=z+x，c=x+y，因为a>b>c，则x<y<z。对(2)作置换得:[(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故不等式(1)得证，不等式(1)下界系数7/5为最佳。