数理问题渐进计算机对驴桥定理的证明...

数理问题渐进计算机对驴桥定理的证明，另人类汗颜。

20年前，计算机证明欧氏几何的“驴桥定理”，即等腰三角形的两个底角相等，证明方法非常简洁，而且人类从来没有想到过这种证明方法。

已知：三角形ABC，AB=AC，要求证明：角B等于角C.

计算机的证明：根据边角边定理以及条件AB=AC，得知三角形ABC全等于三角形ACB，所以，角B等于角C。

上述证明人类从未想到过，而且是最简洁的证明。

这个计算机证明的创新性在于，人类受到图形迷惑，逻辑思维受到抑制，忘了可以把同一个等腰三角形看做两个全等的三角形。

欧几里得《几何原本》上的证明就比较长了。因为很多人读《几何原本》，读到这个定理的证明，就读不下去了，“像驴一样笨”，而且等腰三角形像一座桥，所以这个定理也叫驴桥定理。

有人说欧几里得《几何原本》对驴桥定理的证明，没用三角形全等(边角边)，而计算机证明用了。不对。 欧氏用了边角边定理，看下面的截图。想给欧氏繁琐的辅助线证法辩护，可以说他是为了同时证明两个命题。但这辩护很勉强。其实证明出两个底角相等后，补角自然相等。