因为a*a/(b+c)>a*ab*b/(c+a)>b*bc*c/(a+b)>c*c所以a*a/(b+c)+b*b/(c+a)+c*c/(a+b)>a*a+b*b+c*c又因为a*a+b*b+c*c>(a+b+c)/2所以成立