共角定理推导过程-共角定理推导过程

共角定理的随手记：不是公式，是几条线的生死攸关 古往今来，几何里最让人头秃的，往往不是如何算，而是为啥得如此算。共角定理，听起来就是个名词，背了个公式就能解决所有方向难题。但在实际画图要么面对一堆没画出来的图时，它时常是个让人抓狂的“拦路虎”。咱们就把手头的纸铺开，把那些印在书本上的教科书式废话先扔一边，看看它到底是个啥鬼东西，又如何跟生活里的勾股定理、相似三角形讲上话。 说到共角定理，它最早见于欧几里得，但真正被咱们现代几何人“吃”进肚子里的，实际上是梅涅劳斯定理和塞瓦定理那种“共点线”的变体。别管它叫啥名字，到了脑子里，它就是个好办的观察：当三条线在一个点上“打架”，要么几个点共线时，它们之间凑出的那个角，跟整个图形里别的角，往往能扯出一等比关系来。 先说个最直观的例子。画一个三角形 $ABC$，然后在三角形外面接个三角形 $ADE$，让 $A$ 点重合，且 $D$ 在 $AB$ 上，$E$ 在 $AC$ 上。
这时候，要是 $D, E$ 再往外面延长交于点 $F$，这就构成了一个经典的“飞镖”模型。
这时候，$angle BDC$ 和 $angle AEC$ 这两个角，时常被拿来聊聊。大量初学者会跳着公式去算，结局一算就把自己绕晕。
实际上不管角度多大，只要共角，比例关系就在那摆着。
比如 $1/D + 1/E = 1/F$ 这种形式，在共角模型里简直都会变如此个样。 有人可能会说，这忒抽象了，拿个图算了不就完了？行，那咱们拿个具体的数据来“吵吵”。 假设我们画一个三角形，边长都是 10。
然后我们在右上角接一个等腰三角形，底边拼在原来三角形的边上，腰长设为 14，顶角是 $30^circ$。
这时候，我们来算一下那个“耳朵”里的角。 按照标准的解法，用正弦定理去分得整个大三角形的边，最终算出那个小耳朵的角，结局往往是个无理数，约等于 $114.09^circ$。
这数字一出来，哪位敢信？ 可是，要是咱们换个角度，用共角定理的思路，要么说是利用梅涅劳斯定理的变体，直接看线段比例。 在这个构型里，$D$ 点把 $AB$ 分成了 $1:3$（假设按比例），$E$ 点把 $AC$ 分成了 $1:3$。当我们把 $DE$ 延长交 $BC$ 的延长线于 $F$ 点时，根据梅涅劳斯定理，$frac{BD}{DA} times frac{AE}{EC} times frac{CF}{FB} = 1$。 代入数字：$3 times 3 times frac{CF}{FB} = 1$，故此 $CF/FB = 1/9$。 这就意味着 $FB$ 是 $CF$ 的 9 倍。 目前，要是我们回头去算那个大三角形 $ABC$ 内部那个小三角形的面积比，要么外角 $angle BDC$ 的余弦值，你会发现，不管你的计算技巧有多花哨，只要遵循这个比例链，最终算出的那个角，确实就是那个 $114.09^circ$。它不依赖复杂的三角函数变换，而是一条线一头扎进另一个线里，它们之间的角度，全靠这个比例撑起来的。 大量人认定共角定理就是串公式。
实际上不然，它更像是一种“直觉的惯性”。 想象一下，你手里拿着一根棍子，一端顶着墙角，另一端扫过地面。刚启动扫，角度是锐角，仿佛跟棍子打一个折。
后来转那会儿，角度变成钝角了，棍子那边看起来像是在“进”你的地盘。
这时候，你不用背那个正弦公式，你只需求看一眼棍子扫过的范围，就知道目前的角比刚刚大了多少。
这就是共角定理在起功能。它把复杂的角度关系，压缩成了一种“当点共线或有角固定时，比例不变”的好办逻辑。 再往深处想，共角定理实际上是三角函数求值过程中的一个“小魔术”。 要是你遇到一个三角形，只知道两边及其夹角，想求第三边，用余弦定理是正道。但要是题目给了三边，让你求某个角的正切值，直接算 $tan = sin/cos$ 又有点繁琐。
这时候，要是这个三角形是“共角”的——比如两个三角形共用一个角，要么两个三角形夹在一条线上——那么你会发现，它们的三角函数值之间存有着带着“共角”属性的关系。 举个例子，在正方形 $ABCD$ 中，连接 $AC$。
要是在 $AC$ 上任取一点 $P$，连接 $PB, PD$。你会发现 $angle APB + angle CPD$ 有个恒定的关系（别看这个关系比较复杂，但不论如何算，角度和的余弦值总能化简出个常数）。
这个常数，就是共角定理的“指纹”。它告诉你，甭管你如何在角上动，只要不破坏共角关系，那个角度的归一化常数就不会变。
这种“不变量”的感觉，就是共角定理最迷人的地方。 自然，应用到实际解题时，它也有局限。 有些时候，图形忒特殊，要么角度数据给得忒烂，凑不出完美的共角关系，这时候就得老老实实硬算。
这时候，共角定理就像个偷懒的借口，你越赖，心里越虚。大数据时代，算法已经能算出所有未知角了，硬凑共角定理反而显得迟钝。 但反过来，当图形出现分公底边要么共点线这种构图时，共角定理就是救星。它能帮你把“未知角”瞬间转化为“已知比例”。 最终，咱们还是得回到那个数据。 刚刚那个飞镖模型，要是 $AB=AC=10$，$angle A=30^circ$，$AD=AE=14$，$F$ 是 $BC$ 延长线上的点。 计算过程实际上能够简化大量。用余弦定理算 $angle BAC$ 附近的角，要么用正弦定理算三角形 $ABD$ 的各边，结合梅涅劳斯定理得出的 $CF:FB=9:1$。 你会发现，最终那个角 $angle BDC$ 的余弦值，经过约分时，竟然跟 $angle A$ 的余弦值有着某种呼应。 这真不是巧合。
这就是共角定理在作祟。它揭示了在共点构型下，局部的几何变化如何影响整体的角度平衡。 故此，下次当你面对一堆没有标出角的三角形，要么看到三个线相交时，千万别急着找正弦定理。先问问自己：它们有没有共角？
有没有共点？ 有，那就大胆地用共角定理的直觉，要么用梅涅劳斯定理去串联线段。 没有，那就老老实实去背余弦公式。 记住，几何不讲究繁文缛节，只讲究点线之间的张力。共角定理，就是那根看不见的线，拉着这些角一起跳舞。