逻辑通路/三角恒等式

经由重心公式的推导，可以得到下面的三角恒等式：

$8\Delta ^{2}=abc\left(a\cos A+b\cos B+c\cos C\right)$