老了之后玩点情怀而已，一点用都没有。

我给一个更简单的证明：

证明：显然三角形内角和为180度，完毕。

【 在 dormouseBHU 的大作中提到: 】
: 李永乐这个方法也不是他发明的。这个是数学的一个分支：几何定理的机器证明。
: 这方面数学所的吴文俊院士应该是最有名的。还有电子科技大学的张景中院士。
:
--
FROM 210.39.1.*