令x=2b²+2c²-a²>=(b+c)^2-a^2>0 (a,b,c是三角形三条边) 同理设y=2c²+2a²-b² z=2a²+2b²-c²
则x,y,z>0 解出a^2=(2y+2z-x)/9 b^2=(2x+2z-y)/9 c^2=(2x+2y-z)/9 带入 左式=2/9（y/x+x/y+z/x+x/z+y/z+z/y)-1/3>=12/9-1/3=1