李永乐这个方法也不是他发明的。这个是数学的一个分支：几何定理的机器证明。
这方面数学所的吴文俊院士应该是最有名的。还有电子科技大学的张景中院士。

【 在 kobe24Hero 的大作中提到: 】
: 虽然结论我开始接受不了，但是看了李永乐的证明方式，我好像又挑不出毛病。
: 大家觉得他的证明方式对不对？以及结论“只要等腰直角三角形内角和是180度，那么所有的三角形内角和都是180度”正确与否？
: 视频在这：
: ...................
--
FROM 36.5.243.*