[定理] Weitzenberk不等式

定理內容：
在△ABC中
a^2+b^2+c^2≧4√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為正三角形時等號成立

得證