正余弦定理公式推导全解：从几何直观到代数严谨

方法一：几何法（面积法/外接圆法）

这是最直观的推导方式。考虑任意△ABC，设其外接圆半径为R。

1. 作外接圆，连接圆心O与顶点B、C。
2. 若∠A为锐角，则圆心角∠BOC = 2A。在等腰△BOC中，作高线可得边长 a = 2R·sinA。
3. 同理，b = 2R·sinB，c = 2R·sinC。
4. 由此可得：a/sinA = b/sinB = c/sinC = 2R。
5. 若∠A为钝角，利用sin(180°-A) = sinA，结论依然成立。

方法二：向量法（代数严谨性）

利用向量的数量积性质，可以给出更简洁的证明。设向量 AB 与 AC 的夹角为 A。

虽然向量法通常用于余弦定理，但对于正弦定理，我们可以利用向量叉积的模长等于平行四边形面积的性质。在二维平面中，向量 a × b 的模长等于 |a||b|sinθ。通过构建向量方程并取模，可以推导出边长与正弦值的比例关系，这种方法在处理三维空间三角形问题时尤为有效。

方法三：解析几何法（坐标法）

将△ABC置于直角坐标系中，设顶点A为原点(0,0)，边AC落在x轴上，长度为b。则顶点C坐标为(b, 0)，顶点B坐标为(c·cosA, c·sinA)。

利用两点间距离公式计算边长a（即BC的距离）：

展开并化简后可得余弦定理形式，进而结合正弦定义推导正弦定理。这种方法展示了坐标变换在几何证明中的强大威力。

💡 拓展：三角形面积公式的统一定义

结合正弦定理，三角形面积不仅可以表示为 S = 1/2·底·高，还可以表示为：

此外，利用海伦公式（Heron's Formula）也可由三边直接求面积：

海伦公式的证明往往需要用到余弦定理进行代换，是两者结合的经典案例。