hl定理的推导过程-HL 定理推导过程

关于两角和的正弦公式，有些时候得先把“和”拆开想想 在三角函数那套公式的字典里，`sin(A+B)` 这个标签实际上就藏着一个藏拙的解法。大量人一看到它，脑子里立马蹦出"cos15 度算一下”，要么“查表推导一遍”，结局发现这玩意儿算得比翻书还费劲，还得磨蹭半天。
实际上啊，这公式早就被“发明”出来，就是为了让人别死磕那个复杂的展开式。 咱们来看看，`sin(A+B)` 到底是个啥意思。在几何里，这代表两个向量夹角相加后的正弦值。
那咋推导呢？别硬凑那些死记硬背的公式，换个思路看看最直观的办法——利用三角形。 画个直角三角形，设角 `A` 和角 `B` 都是锐角。
要是我们在顶点处把这两个角拼成一个平角，那就是 180 度，也就是 $pi/2$。
这时候，三角形的斜边就是直角边，而 `A` 和 `B` 夹的那条边，就是斜边上的高。根据正弦定义，斜边乘以 `sin(A+B)` 等于斜边上的高。而斜边又等于 `A` 的对边乘以 `B` 的对边再除以它们夹的那个角，也就是 `asin(A)` 和 `bsin(B)` 的乘积。一算下来，`sin(A+B)` 就等于 `asin(A)bsin(B)` 除以 `ab`。消掉两边的 `a` 和 `b`，剩下的就是 `sin(A)sin(B)`。 什么的，这仿佛把难题搞复杂了。
实际上啊，这也不是唯一的解法，就连也不是最撇脱解法。有一种方式叫“补角法”，专门对付那些厌恶的钝角。 假设 `A+B` 是个钝角，那它的补角就是 $180^circ - (A+B)$。
这时候，三角形的斜边还是那个斜边，`sin(A+B)` 就等于这个斜边上高的绝对值。但斜边也是 `sin(A)` 乘以 `sin(B)` 再除以它们的夹角余弦值 $cos(A+B)$。便，公式就变成了：`sin(A+B) = sin(A)sin(B)/cos(A+B)`。 但这还不够，出于分母里出现了 `cos(A+B)`，这又回到了关于 `A` 和 `B` 的求和。
难道就如此算下去要变成无穷级数？自然不是。
这就引出了另一条路：正切法。 要是 `A+B` 是锐角呢？那就把分母 $cos(A+B)$ 分子分母与此同时乘上它的补角余弦 $cos(180^circ - (A+B))$。根据诱导公式，余弦要变负转正，故此分子分母要结合成一个整体：$-(1 - tan(A+B))$。
这步操作挺关键，它直接把角度关系转化到了正切函数上。 目前，`sin(A+B)` 在分子上变成了 `sin(A)sin(B)(1 - tan(A+B))` 这一大块。接下来就要展开：`sin(A)sin(B)` 加上 `tan(A)sin(B)` 再减去 `tan(A)tan(B)` 加上 `sin(A)tan(B)`。乍一看这步有点繁琐，好办出错。
实际上啊，这只是个过程，关键是最终能不能把 `tan(A+B)` 合并掉。 `tan(A+B)` 展开就是 `(sinAcosB + cosAsinB)`。
别忘了，前面还有个 `-sinAcosB`。
这两项一加一减，正好抵消了！剩下的是 `sinB` 和 `cosA` 的乘积，也就是 `sinBcosA`。
这一刀下去，公式就从复杂的乘积变回了最简洁的形式：`sin(A+B) = sinAcosB + cosAsinB`。 自然，还有种不用展开、不用正切的方式。
那就是构造一个含 `A+B` 的式子，然后令它等于 0。
比方说，设 `sinAcosB + cosAsinB = 0`。
这时候 `sin(A+B)` 就变成了 `(sinAcosB + cosA sinB)/(sinAcosB + cosA sinB)`。
这看起来是个分数，但分子分母都是 `sin(A+B)` 的形式。
只要不为零，这个式子的值就是 1。
反过来，要是把 `sin(A+B)` 设为 1，结局也是一样的。
这说明啊，这个等式是一个恒等式，它本身就是对的。 你看，这过程看似绕弯子，实际上每一步都在绕着同一个核心打转。三角函数那类命题，大量时候不是靠复杂的公式推导，而是靠几何直觉和代数变形之间的跳跃。 还有两个例子能说明难题。一个是求 `sin(30)cos(60) + cos(30)sin(60)` 的值。
不用硬算，直接套用公式就是 `0.5 + (√3/2)(0.5)`。另一个是求 `sin(10)cos(20) + cos(10)sin(20)`。
这跟上面那个彻底一样，但数值不同。
要是硬要展开成 `sin(10+20)`，那得算 `sin(30)`，再乘上 `cos(10)`，最终 `sin(30)cos(10)` 是 `0.5`，`cos(30)sin(10)` 得算出 `√3/4`，加起来是 `0.5 + 0.433 = 0.933`。而用公式直接算就是 `sin(30) = 0.5`。
这两种方式结局不一样？不对啊！显然 `sin(30)` 等于 `sin(30)`。
什么的，我是不是搞混了？哦对啊，那个例子里，`sin(30)cos(10)` 和 `cos(30)sin(10)` 别看数值一样，但位置不同，不能随意换。 总而言之啊，三角函数的公式推导，特别是这种两角和的形式，不能死记硬背。得有人给一个几何支点，要么一个代数路径，顺着它把那些复杂的项消掉、变形、合并。当公式变成 `sinAcosB + cosAsinB` 这种样子的时候，实际上就已经暗示了啥：它可能是 `sin(A+B)` 的展开，也可能是 `sin(A-B)` 的展开。
这时候再回头看一眼公式，它自己就说了“我是哪位”。 故此啊，不要认定自己是个笨蛋，出于你在下面用了几十种方式都算不出来。真正的本事在于知道啥时候该用补角法，啥时候该用正切法，啥时候直接构造恒等式。
毕竟，数学这东西，有时候你得学会换个角度，才能看到真正的东西。