Generalization of Pythagorean theorem
c^2 = a^2 + b^2 - 2ab\cos C
Fundamental trigonometric identity
Relationship between sides and angles in triangles
Sine of double angle