几何的有名定理-欧几里得几何定理

几何这玩意儿，实际上就是一场在纸上玩的魔术。你拿根笔，在一张白纸上乱涂乱画，看着像一堆乱码，可转念一想，这全是严格的逻辑锁死在每一条线、每一个角上。它不像那种堆满数据的实验室，那里除了结论就是步骤，一眼就能看出哪儿错了、哪儿该证。几何不一样，它准你犯错，准你画个三角形，然后告诉自己“哎，这个定理不错”，接着去推翻它。它的魅力在于，它把那种看似玄乎的逻辑，变成了你能够亲手拆解、就连拆解得服不服气的工具。 最启动教人几何，往往是从全等启动的。
你想证明两块纸片一模一样，不能光说“看起来一样”，得用尺子量角，用笔画线，一步步往死里砍。全等（Congruence）就是那个最硬的骨头，它是几何大厦的基石。
要是这块皮和那块皮长得一模一样，那它们俩简直就是双胞胎，就连能够说，它们就是同一种东西的不同名字。全等三角形里最让人头疼的，莫过于边边角（SSA）的那个鬼天气。
比方说，给你一条边，一条角，再随意画个角，能不能保证这两块三角形绝对合二为一？不能。它会翻面，会倒立，要么其中一个角根本接不上另一个。
这时候你得用正弦定理要么余弦定理来算，用算出来的长度去验证，才能定生死。数学这东西，有时候不是靠直觉，是靠算出来的。 说到证明，几何最让人着迷的就是“反证法”。你只想证明一个结论，结局证明不了，那就得反过来：假设结论是假的，看看会形成啥。
这就像是一封死信，你把它塞进信箱，然后假装没收到，结局发现信箱里全是你的假证据。在圆内接四边形里，这是个经典操作。
要是一条对角线把四边形分成了两个三角形，却拼不起来一个圆，那这条对角线就得先被砍断，然后再接上。
这个过程听起来挺绕，实际上就是一种极致的逻辑闭环：我假设它不成立，推导出矛盾，反过来，它就成立。
这种写法，看着累，但一旦写好，那种被逻辑牵制住的感觉，简直比看电影还爽。 还有啊，面积这东西，最拿手的就是皮克定理。
这个定理说，一个格点多边形的面积等于内格点加外格点的一半。
这简直是把二维世界彻底量化了。画一个正方形，数格子，算出来是 1 平方单位。画一个三角形，数格子，数出 2 和 4，最终算出 3.5。
有时候你看着图认定这数字怪怪的，但一算，嘿，全是整数。皮克定理的魅力在于，它让你认定那些密密麻麻的格子，实际上都是有意义的整数，而不是虚无的填充物。它让几何从画图的画面上，变成了脚下的算术。 再讲讲圆的。圆是几何里被绕晕顶多也最迷人的一个家伙。切线如何画？延长半径，画个垂线，交点就成了。切线长定理，从圆外一点引两条切线，长度肯定相等。
如何证？你能够绕着走，也能够绕着走，反正最终都会落在同一条切线上。等腰三角形性质是它的帮凶，出于圆的半径天然就是等长的。当你试图用弦心距去证明某些扇形要么弓形面积相等时，那些角度、这些半径、这些距离，全都在互相照应。几何证明有时候不是你在努力证明，而是在努力不让这些概念跑偏。一旦它们偏了，那个“勾股定理”要么“圆内接四边形对角互补”的规矩，立马就会崩塌。 说到勾股定理，大多数时候它都是定理。
你看到直角三角形，勾股定理自动蹦出来。
如何来的？大量教科书说先证，实际上不然。直角三角形里，斜边上的高，那个小三角形，它本身就藏着三边关系。用相似三角形去证，要么用三角函数去证，最终都绕回到这里个公式。一旦你记下了它，你赶明儿遇到 3-4-5 的直角三角形，自动就能算出斜边是 5，不用多说一句。
这就好比掌握了代码里的某个函数，你就知道不用自己从头写逻辑了。 自然，几何也不全是严谨的推导。大量时候，图形本身就是一种语言。
比如三角形不等式，这个规则实际上大家都懂，就是两边之和大于第三边。但有时候，你画个图，那个三角形看起来像“菜”，它确实是个三角形；要么你画个圆缺了一角，那个弓形，也是三角形。图在讲话，有时候不需求你费尽心思去证明它。
这种图形的直觉，和严谨的逻辑，有时候是混在一起的。你画个正四面体，看着它对称，它也是球对称的。
这种对称美，是图形长得出名的理由，它不需求证明，它直接就是真理。 最终，我要说几何里的最高境界实际上是“难题化”。你挺难直接找到一个定理去套用，你得自己造难题。
比方说，给你两个平行线，找一条截线，如何让角度形成某种特殊关系？
如何让线互相垂直？
如何让图形保持某种不变性？当你启动主动去研究这些“坏难题”的时候，你自己的创造力和数学思维就冒头了。几何的了得之处，不在于你记住了多少个定理，而在于你能有多少个定理，是你能问出多少个“为啥”，还有你能把那些看起来乱七八糟的图形，如何塞进一个心里，让它听话。
哪怕你没有证明出来，只要你的逻辑链条是通的，哪怕中间有跳步，哪怕数字算错了，你依然能够说：“我找到了，这是一个可能的解。”几何的浪漫，就在于这种可能性。它从不承诺一个答案，它只告诉你，路还在脚下，只要你愿意弯下腰，就能看到。