law of sines: $\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}$
law of cosines: $c^2=a^2+b^2-2ab\cos C$