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

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

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

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

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

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

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

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

活在澳洲 美味的冬季饮料，让你度过节日和寒冷的天气 蔓越莓橙子鸡尾酒
酸酸的蔓越莓和橙子结合在这款饮料中是另一种美味和营养的鸡尾酒选择。
蔓越莓富含花青素，这种化合物有助于保持胶原蛋白的完整性，有助于保持皮肤光滑和年轻。橙子是维生素C的极佳来源，有助于增强免疫系统，并可能缩短感冒症状的持续时间，这是一个受欢迎的冬季益处。
图片来自网络

2023年2月10日，接好运！C2科目二，接好运，抽好车好道，一把过，不下雨。一把过，“姜”就过，“币”过，稳过，倒车入库之神！侧方位停车之神！曲线行驶之神！直角转弯之神！倒车入库，不压线，不扫线，侧方停车，不压线不扫线。S弯，直角转弯，不压线。不压线！位置准！不停车！不粗心！恭喜您，考试成绩合格，请回考试中心打印成绩单一定要过过过过过！！！100分