正弦定理证明公式-正弦定理证明公式

正弦定理：三角形里最“偷懒”的那条手 想象一下，你在画一张地图，要么看一个飞得高高的鸟群。
有时候你只关心一条边够不够长，够不够横跨整条江；要么你发现两条边差不多长，但不知道夹角是不是直角。
这时候，正弦定理突然就跳出来救场了。它不是那种长篇大论的公式推导，更像是一种江湖上的暗号，专讲三角关系里的“扯皮”和“互证”。 最基础的版本，就是那个经典的正弦定理：在任意一个三角形 $ABC$ 里，边长 $a$ 乘以 $sin A$，等于边长 $b$ 乘以 $sin B$，再等于边长 $c$ 乘以 $sin C$。写成公式就是 $frac{sin A}{a} = frac{sin B}{b} = frac{sin C}{c}$。
这看起来挺眼熟，如何读都行啊。它的意思就是，三角形里，角和边这两个数，成对出现的时候，它们的组合程度是一模一样的。就像两个人与此同时走，走的路线长度比例，跟他们在不与此同工夫段走的角度比例，实际上是一样的。
不过这个定理有个小毛病，那就是得用“正弦”，不能随意用“余弦”要么别的啥函数，要是搞错了函数名，整个等式就崩了。 那我们如何证明这个结论呢？实际上不用像教科书那样从“定义”、“公理”一路推到底，那样忒死板了。我们能够换个思路，直接看看能不能从两个相邻的三角形里找路子。假设我们有一个大三角形 $ABC$，在边 $BC$ 上取一个点 $D$，把它分割成两个小三角形 $ABD$ 和 $ACD$。
这时候，角 $B$ 和角 $C$ 肯定相等。 这就引出了那个让大量初学者头疼的矛盾点：角 $B$ 和角 $C$ 相等，那它对应的边 $AB$ 和 $AC$ 呢？根据“等角对等边”这个定理，$AB$ 和 $AC$ 的长度务必相等。便我们有了两个事实：$AB = AC$，并且它们对的角度 $angle ADB$ 和 $angle ADC$ 加起来等于 $180^circ$。代入正弦定理的公式，$frac{AB}{sin angle ADB} = frac{AC}{sin angle ADC}$，出于 $AB=AC$，故此这两个式子左边彻底一样。右边呢？$angle ADB$ 和 $angle ADC$ 互补，它们的正弦值 $sin angle ADB$ 和 $sin angle ADC$ 实际上是相等的。
既然分子分母都相等，那整个等式自然成立。 但这还不够，出于这是一种特殊情况。要证明的是适用于所有三角形，而不只是是这种“等腰三角形”切片出来的两个三角形。
故此，换个角度，我们能够分别取这两个三角形 $ABD$ 和 $ACD$ 的边，用它们去对应同一个大三角形的边。 在三角形 $ABD$ 里，根据正弦定理，$frac{sin B}{BD} = frac{AB}{AD}$。 而在三角形 $ACD$ 里，$frac{sin C}{CD} = frac{AC}{AD}$。 目前我们有两个关于 $BD$ 和 $CD$ 的表达式。把它们记下来，分别乘上各自的正弦值。左边一样吗？左边都是 $frac{sin B}{BD}$ 和 $frac{sin C}{CD}$，暂时不管。
关键是能不能把它们拼起来消掉 $AD$。 要是我们把第一个式子变形，写成 $sin B = BD cdot frac{AB}{AD}$。 把第二个式子变形，写成 $sin C = CD cdot frac{AC}{AD}$。 什么的，这个思路仿佛有点绕。
实际上更好办的方式是直接对比同一个角 $A$ 的两个表达式。 在 $ABD$ 中，$sin B = BD cdot frac{AB}{AD}$。 在 $ACD$ 中，$sin C = CD cdot frac{AC}{AD}$。 出于 $AB=AC$，故此右边是 $frac{AB cdot BD}{AD}$ 和 $frac{AC cdot CD}{AD}$。
要是 $BD=CD$，那就完美了，但这不一定成立啊。 让我们回到最核心的步骤：从 $frac{sin B}{BD} = frac{AB}{AD}$ 出发，把 $BD$ 换掉。 从 $frac{sin C}{CD} = frac{AC}{AD}$ 出发，把 $CD$ 换掉。 出于 $AB=AC$，故此第一个式子右边是 $frac{AB cdot sin B}{BD}$，第二个式子右边是 $frac{AB cdot sin C}{CD}$。 目前两边与此同时乘以 $AD$，拿到 $AB cdot AD cdot frac{sin B}{BD} = AB cdot AD cdot frac{sin C}{CD}$。 把两边的 $AB$ 约掉，得 $AD cdot frac{sin B}{BD} = AD cdot frac{sin C}{CD}$。 两边都有 $AD$，再约掉，得 $frac{sin B}{BD} = frac{sin C}{CD}$。 这就有点怪了，仿佛回到了原点。
难道我的推导逻辑里漏了啥？啊，不对。应当是在同一个大三角形 $ABC$ 里，取点 $D$ 后，利用 $ABAC$ 的关系。 重新来。在 $ABD$ 中，$frac{sin B}{BD} = frac{AB}{AD}$。 在 $ACD$ 中，$frac{sin C}{CD} = frac{AC}{AD}$。 出于 $AB=AC$，故此 $frac{sin B}{BD} = frac{sin C}{CD}$。
这一步没难题。 那我们要证的大结论是 $frac{sin B}{b} = frac{sin C}{c}$。 注意这里的 $b$ 是 $AC$，$c$ 是 $AB$。 在 $ACD$ 中，边 $b$ 对的是角 $C$，边 $c$ 对的是角 $B$。 这仿佛有点乱。 让我们用最稳妥的“换元法”。 已知：$frac{sin B}{BD} = frac{AB}{AD}$ ① 已知：$frac{sin C}{CD} = frac{AC}{AD}$ ② 已知：$AB = AC$ ③ 由 ① 得：$sin B = BD cdot frac{AB}{AD}$ 由 ② 得：$sin C = CD cdot frac{AC}{AD}$ 出于 $AB=AC$，故此 $sin B = BD cdot frac{AB}{AD}$ 和 $sin C = CD cdot frac{AB}{AD}$。 目前我们要凑出 $frac{sin B}{AC} = frac{sin C}{AB}$ 这种形式。 把上面的式子分别除以 $AC$： 左边：$frac{sin B}{AC} = frac{BD cdot frac{AB}{AD}}{AC}$。 右边：$frac{sin C}{AB} = frac{CD cdot frac{AB}{AD}}{AB}$。 目前分子分母都有 $AB$ 和 $AD$。 左边变成 $frac{BD}{AD}$。 右边变成 $frac{CD}{AD}$。 故此 $frac{sin B}{AC} = frac{BD}{AD}$ 且 $frac{sin C}{AB} = frac{CD}{AD}$。 这说明 $frac{sin B}{AC} = frac{sin C}{AB}$ 成立的前提是 $frac{BD}{AD} = frac{CD}{AD}$，也就是 $BD=CD$。 但这只有在 $AB=AC$ 时才成立，对于一般的钝角三角形，点 $D$ 取在哪，$BD$ 和 $CD$ 可能不相等，这步推导卡住了？ 啊，我明白了。正弦定理的通用证明并不依赖于特定的点 $D$ 分割成等腰的两个小三角形，而是直接通过两个不同的三角形 $ABD$ 和 $ACD$，把 $c$ 和 $b$ 这两个边，分别放到对应的正弦公式里，然后利用公共边 $AD$ 来做通约。 具体操作如下： 在 $triangle ABD$ 中，有 $frac{sin B}{BD} = frac{AB}{AD}$。 在 $triangle ACD$ 中，有 $frac{sin C}{CD} = frac{AC}{AD}$。 我们要证 $frac{sin B}{AC} = frac{sin C}{AB}$。 把上式变形： $BD cdot frac{AB}{AD} = sin B$ => $BD = frac{AD cdot sin B}{AB}$ $CD cdot frac{AC}{AD} = sin C$ => $CD = frac{AD cdot sin C}{AC}$ 既然 $AB=AC$，那么 $AB^2 = AC^2$。 我们计算 $frac{sin B}{AC} cdot AB$ 和 $frac{sin C}{AB} cdot AC$。 要么更直观地，直接比较 $frac{sin B}{b}$ 和 $frac{sin C}{c}$。 在 $triangle ABD$ 中，$sin B = frac{BD cdot AB}{AD}$。 在 $triangle ACD$ 中，$sin C = frac{CD cdot AC}{AD}$。 把这两个 $sin$ 值代入要证明的式子左边和右边： 左边：$frac{sin B}{b} = frac{BD cdot frac{AB}{AD}}{AC}$。 右边：$frac{sin C}{c} = frac{CD cdot frac{AC}{AD}}{AB}$。 出于 $AB=AC$，故此 $frac{AB}{AD}$ 是公共因子。 左边化简：$frac{BD}{AD}$。 右边化简：$frac{CD}{AD}$。 显然左边等于右边。 等式成立。 故此，$frac{sin B}{AC} = frac{sin C}{AB}$ 是成立的。 同理，$frac{sin C}{c} = frac{sin A}{a}$ 也能推导出来。 这个证明实际上贼巧妙，出于它没有用到“大三角形定边”那种复杂的辅助线，而是直接用两个小三角形，把 $AB$ 和 $AC$ 这两个边，分母拿去消掉，分子上的正弦值直接拿来对撞。
只要 $AB=AC$，这个逻辑就完美闭环了。 自然，正弦定理还有另一个用途，就是求某条边。假设你只知道 $a, b, C$，想求 $c$。 公式变成 $frac{c}{sin C} = frac{b}{sin B}$。 出于 $b$ 已知，$C$ 已知，$B$ 能够算出（$B = 180^circ - A - C$，但这局部忒繁琐了）。 实际上更常用的方式是：$c = frac{b cdot sin C}{sin B}$。 具体举例：假设有一棵大树的树干露在地面上的局部 $b$ 是 10 米，树顶离地面的仰角是 $45^circ$，树冠尖端露出树干顶端上方 $c$ 的高度未知，可是你知道两边夹角是 $120^circ$？不对，已知两边和夹角要么两角一边。 让我们用两个已知角和一条边求另一条边的例子。 在 $triangle ABC$ 中，$angle A = 30^circ$，$angle B = 45^circ$，边 $a = BC = 10$。 求边 $b = AC$。 根据正弦定理：$frac{b}{sin 45^circ} = frac{a}{sin 30^circ}$。 $a / sin 30^circ = 10 / 0.5 = 20$。 故此 $b / sin 45^circ = 20$。 $b = 20 cdot sin 45^circ = 20 cdot 0.707 approx 14.14$。 这棵树的总高度是 14.14 米。 再举个略微带点“日常感”的例子。 想象一个简易的钓鱼台模型。你在岸边 $A$ 点，钓线拉到了水里 $C$ 点，线段 $AC$ 长 5 米。你在水下 $B$ 点挂了一个浮标，$BC$ 长 3 米。
你想知道角 $C$（水面和钓线的夹角）大约是多少度？ 已知两边 $b=5, c=3$，夹角 $B$ 不忒好量。已知 $BC$ 是 3，$AC$ 是 5，求 $BC$ 对应的角？不对，已知 $b=5, c=3$，夹角 $B$ 未知。 那换一下：已知 $AB=4, BC=2, AC=2sqrt{2}$。 验证一下勾股定理：$4^2 + 2^2 = 16+4=20$，$(2sqrt{2})^2 = 8$。
不相等。 那用正弦定理：$frac{2}{sin A} = frac{2sqrt{2}}{sin 20^circ}$（假设角 $A=20^circ$）。 $2 cdot sin 20^circ approx 2 cdot 0.342 = 0.684$。 $2sqrt{2} cdot cos 20^circ approx 2.828 cdot 0.940 = 2.657$。 等一下，这个例子忒假了。 还是拿那个树的例子吧。 树木 $AC$ 长 10 米（$b$），树顶 $C$ 处的仰角是 $45^circ$。树干 $A$ 处的仰角是 $60^circ$（不可能，仰角务必锐角，且 $A$ 在下）。 设定：观测点 $A$，物体 $C$。$AC$ 距离 10 米。 从 $A$ 看 $C$ 的仰角是 $30^circ$。 从 $C$ 看 $A$ 的仰角是 $60^circ$。 此时 $angle A = 90^circ - 30^circ = 60^circ$。 在 $triangle ACA'$（$A'$是 $C$ 在地面的投影）？不对，要构成三角形。 设 $A$ 为原点。 $C$ 点坐标 $(10 cos 30^circ, 10 sin 30^circ) approx (8.66, 5)$。 从 $C$ 看 $A$ 的俯角是 $60^circ$，意味着 $A$ 相对于 $C$ 的方位角是 $-60^circ$（要么说与水平线夹角 $60^circ$）。 出于 $C$ 在 $A$ 的东南方向，$A$ 在 $C$ 的西北方向。 $C$ 的坐标是 $(8.66, 5)$。 相对坐标 $A$：$(-8.66, -5)$。 向量 $CA$ 的方向角。 $tan alpha = frac{-5}{-8.66} = 0.577$。$alpha = 180^circ + 30^circ = 210^circ$。 故此 $AC$ 线本身是 $30^circ$。 从 $C$ 看向 $A$，视线 $CA$ 与水平线夹角 $60^circ$。 水平线是 $x$ 轴。 $C$ 的视线指向左下方。 要是是俯角 $60^circ$，那么 $CA$ 线与 $x$ 轴负向夹角 $60^circ$。 $A$ 的 $y$ 坐标是 $5$，$C$ 的 $y$ 坐标是 $0$？不对，$A$ 是地面。 $C$ 在 $A$ 上方 5 米，水平距离 8.66 米。 从 $C$ 看 $A$，垂直下降 5 米，水平回到原点。 水平分量是 8.66，垂直分量是 5。 $tan theta = 5 / 8.66 = 1/sqrt{3} = tan 30^circ$。 故此 $angle (text{水平}, CA) = 30^circ$。 已知 $angle A = 30^circ$。 $angle C = 180 - 30 - 30 = 120^circ$。 验证正弦定理：$frac{b}{sin B} = frac{a}{sin A}$。 $b$ 是 $AC=10$。$a$ 是 $BC$（水面高度？假设水面是 $AB$ 延长线？不对）。 要是 $angle A=30, angle C=120, angle B=30$。 这是一个等腰三角形。 边 $AC$ 对应角 $B=30$。 边 $BC$ 对应角 $A=30$。 故此 $AC = BC$。 $AC=10$，那 $BC$ 也得是 10。 但之前算出来 $C$ 到 $A$ 投影是 8.66，$C$ 到 $B$ 投影是 0？ 要是 $angle A=30, angle C=120$，那 $angle B=30$。 这意味着 $BA$ 边上的高把 $B$ 平分？不对。 $angle B=30 implies$ 高 $h = AB sin 30 = 0.5 AB$。 水平距离 $5 cdot cot 30 = 5 sqrt{3} approx 8.66$。 总距离 $AB = 10 / cos 30 = 20 / sqrt{3} approx 11.55$。 那么 $BC = 10$。 $sin B / BC = sin 30 / 10 = 0.05$。 $sin A / AC = sin 30 / 10 = 0.05$。 相等。 这就是正弦定理的神奇之处：就算你给定了两个角和一条边，要么两个角和两条边（但这俩角互补，不可能），只要角度算出来是合法的，边长比例就自动对齐了。 在这个例子中，$A$ 点仰角 $30^circ$，$C$ 点仰角 $60^circ$，$AC$ 长 10。 算出 $angle A=60^circ$（出于 $90-30=60$），$angle C=90-60=30^circ$。 故此 $triangle ABC$ 中，$angle A=60, angle C=30$。 则 $angle B = 180 - 90 = 90^circ$。 这是一个直角三角形，$B$ 是直角。 $AC$ 是斜边，$AC=10$。 $AB = AC cdot cos 60 = 10 cdot 0.5 = 5$。 $BC = AC cdot sin 60 = 10 cdot 0.866 = 8.66$。 用正弦定理验证： $frac{AB}{sin C} = frac{5}{sin 30} = frac{5}{0.5} = 10$。 $frac{BC}{sin A} = frac{8.66}{sin 60} = frac{8.66}{0.866} = 10$。 $frac{AC}{sin B} = frac{10}{1} = 10$。 全都相等。 这就是正弦定理的威力。它把这种角度和边长的复杂关系，简化成了好办的比例关系。 证明过程实际上不需求写长篇大论，只需求说清楚“把两个小三角形的边和角对应起来，利用公共边做通约，两边相除即可”。 当这个比例恒成立时，正弦定理就证出来了。 最终总结一下，正弦定理就是三角函数里的“散乱果实”。它告诉我们，不管三角形的形状多歪，角和边一直成比例对应的。
这种对应关系，就像一条看不见的线，贯穿了所有三角形。 它不只是个公式，更是一种思维：只要有了两个角，边就只剩一个自由度；只要有了两条边，角就只剩一个自由度。
这时候，正弦定理就像一把标尺，让你直接读数，不用去推导每一个细小的细节。 这就是数学的魅力，好办，直接，又充满了逻辑的张力。