$$\cos A=\frac{b^2+c^2-a^2}{2bc}\qquad\qquad\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R$$
- 全化边:把 sinA/sinB/sinC 用 $\dfrac{a}{2R}$ 等换掉,再乘 $2R$ 清分母,得到纯边关系。
- 全化角:用 $A+B+C=\pi$ 消元,把三元角关系消到二元。
$$\sin C=\sin(A+B),\quad \cos C=-\cos(A+B),\quad \sin\frac C2=\cos\frac{A+B}2,\quad \cos\frac C2=\sin\frac{A+B}2$$