[定理] Weitzenberk不等式


定理內容:
在△ABC中
a^2+b^2+c^24√3*S
S表△ABC面積
其等號成立時△ABC為正三角形

定理證明:
a^2+b^2+c^2-4√3*S
=a^2+b^2+c^2-4√3*1/2*bc*sinA
=b^2+c^2-2bc*cosA+b^2+c^2-2√3*bc*sinA
=2(b^2+c^2-2bc*sin(A+30°))
≧2(b^2+c^2-2bc)
=2(b-c)^2
≧0
△ABC為正三角形時等號成立

得證