方程式 $x^n + a_{n-1}x^{n-1} + \dots + a_0 = 0$ の複素数解の個数が $n$ 個であるとする定理は。

三角形の3辺を $a, b, c$、面積を $S$ とするとき、$a^2+b^2+c^2 \ge 4\sqrt{3}S$ が成り立つ不等式は。