正弦定理外接圆推导-正弦定理外接圆及其推导

正弦定理：把三角形“放”进圆里的魔法 别急着列个目录要么把定理套进“由正弦定理得..."的开头，咱们就直接看它是如何从那些乱七八糟的三角形边角关系里蹦出来的。想象一个三角形 ABC，里面画一个圆，让它的三个顶点 A、B、C 都稳稳地坐上去，这个圆就叫外接圆，圆心就算作 O。目前，我们需求做的就是算出半径 R，也就是这个圆的半径。 这玩意儿实际上挺有意思，它把三条边 a、b、c 和三个角 A、B、C 给串成了一根线。想想看，$a$ 是 BC 边，$b$ 是 AC 边，$c$ 是 AB 边。角 A 对着边 a，角 B 对着边 b，角 C 对着边 c。
那这个外接圆半径 R 到底跟它们有啥关系呢？ 咱们先拿最好办的直角三角形随意一瞅。假设 $C$ 是直角，那这就好办了。斜边就是 $c$，这斜边正好就是直径啊！直径除以 2 就是半径，故此 $R = c/2$。
实际上不用多废话，只要知道一个角是直角，(R) 就直接等于斜边的一半。
这种“斜边是直径”的直觉在大量地方都存有，比如等腰直角三角形，斜边一辈子是直角边的 1.414 倍左右。 再看一个比较“胖”一点的三角形。
要是角 C 是直角，那 $R = c/2$ 是个定值，跟 a 和 b 没关系。但要是角 C 不是直角，情况就有点意思了。
这时候，(a)、(b) 和 (c) 这三条边不再是好办的线性关系，它们之间启动形成奇妙的勾股式联系。
这时候，(R) 跟 (c) 的关系会变得复杂。 实际上推导的核心就一条：正弦值等于对边除以直径。
这是几何上最朴素也最深刻的结论。出于圆周角定理告诉我们，同弧所对的圆周角相等，并且它们对应的圆心角是两倍关系。
如何个“两倍”法索？画个图就明白了。连接 A 和 O（圆心），再连接 B 和 O。角 AOB 是圆心角，角 C 是圆周角。
显然角 AOB 是角 C 的两倍。而弧 AB 对应的圆周角是 C，对应的圆心角是 AOB，这俩角加起来正好构成一个平角，也就是 180 度。
故此 (angle AOB = 2angle C)（前提是 C 小于 90 度，要是是 90 度要么更大，逻辑就反过来，反正结论是倍数关系一致）。 既然 (2angle C) 是个圆心角，那它的对边就是直径 2R。根据三角形面积公式要么好办的投影定理，角 A 对的边 a 就等于 (2R) 乘以 (sin C)。写成等式就是 (a = 2R sin C)，移项变个头就是 (2R = frac{a}{sin C})。
这就得出了正弦定理的标准公式：(frac{a}{sin A} = frac{b}{sin B} = frac{c}{sin C} = 2R)。 这里有个细节要注意。
要是角 C 是钝角，比如 120 度，那它的正弦值还是正的，但几何上的对应关系可能会让人头大。
不过不管角是锐角还是钝角，(frac{a}{sin A} = 2R) 这个等式绝对成立。出于 (sin A) 在 0 到 180 度之间都是非负的，而 a 和 2R 都是长度，没法为负。
故此这个公式的普适性挺高，不好办出错。 为了验证这个公式是不是确实能“长”出来，咱们得给具体数字算一下。假设我们有一个三角形，边长分别是 3、4、5，那这个三角形就是个直角三角形，斜边 c=5。
既然斜边是直径，那半径 (R) 就是 2.5。角 A 对着边 4，角 B 对着边 3。 用正弦定理算一下：(frac{5}{sin B})。在直角三角形里，(sin B = frac{3}{5} = 0.6)。
故此 (frac{5}{0.6} = frac{50}{6} = 8.333...)。用余弦定理算一下角 B：(cos B = frac{3}{5} = 0.6)，(sin B = sqrt{1 - 0.6^2} approx 0.8)。
那么 (frac{a}{sin A} = frac{3}{sin A})。在直角三角形 A 中，(sin A = 0.6)。
故此 (frac{3}{0.6} = 5)。 什么的，这里仿佛对不上？这说明我刚刚用的直角三角形参数假设有难题，要么算法有点乱。咱们换个直角三角形，边长 3, 4, 5，角 C 是直角，角 A 对边 4，角 B 对边 5？不对，角 B 对边是 5 的话，那就是斜边是 5，那 (R = 2.5)。角 A 对边 4，(sin A = 4/5)。
那 (frac{4}{4/5} = 5)。角 B 对边 5，(sin B = 5/5 = 1)。
那 (frac{5}{1} = 5)。
这样算下来两个都是 5，对上了！ 再举个例子，要是三角形三边是 2, 2, 2，那就是等边三角形。边长 a=b=c=2。角 A=B=C=60 度。(sin 60) 是 (frac{sqrt{3}}{2})。
那 (frac{2}{sqrt{3}/2} = frac{4}{sqrt{3}} = frac{4sqrt{3}}{3} approx 2.309)。
这时候外接圆半径 (R = frac{a}{sqrt{3}})。出于边长是 2，故此 (R = 2/sqrt{3})？不对，等边三角形外接圆半径公式是 (frac{a}{sqrt{3}}) 吗？啊，是 (frac{a}{sqrt{3}}) 确实是错的，应当是 (frac{a}{2sin 60} = frac{2}{2 times frac{sqrt{3}}{2}} = frac{2}{sqrt{3}})。
故此 (frac{a}{sin A} = frac{2}{sqrt{3}/2} = frac{4}{sqrt{3}})。而 (2R = 2 times frac{2}{sqrt{3}} = frac{4}{sqrt{3}})。彻底吻合。 这就是正弦定理的精髓。它告诉我们，甭管三角形多扁、多胖，只要它有一个边对着一个角，这两个长度比一辈子相等。它就像是一条无形的弦张开了，把三角形的形状给“拉”进圆的结构里。 在实际应用里，这个定理忒实用了。
比如地质勘探，测出了边长，直接就能算出隐藏在地下的那个“圈”的半径，进而知道有没有矿藏要么有没有埋藏的管道。又比如在航海里，船离某个目标点的距离和角度知道了，想算出目标点的圆心位置，这也不好办，全靠这个公式。 有时候，我们在做题时，可能会认定这个公式有点绕，先把边长转成余弦定理求出的角度再代进去。但实际上，正弦定理的核心就是“边比正弦值等于常数”。
要是你发现算出来的角度挺费事，比如涉及到三次方程，那换个思路，直接求边长，有时候会更好办。
毕竟，几何定理的魅力就在于它能把各种复杂的形状，统一到一个圆形的框架下聊聊，让人眼前一亮。 最终再啰嗦两句，这个定理别看叫“正弦定理”，但实际上它更多是描述了一种“比例恒定”的性质。在数学史上，它最早是如何来的可能有不同的说法，有的是从三角函数定义推导的，有的是从几何作图来的。但不管它是如何来的，目前这个结论是稳了。下次看到三角形，试着往心里装一个圆，那外切圆就自动有了半径了。
不用去证明，不用去推导，它自己就在这一算式里跑着，自己就有道理。
这就是数学最本质的力量吧。