计算确实不是问题。问题是证明这个是最大面积的正三角形。