Cosine of Straight Angle

Theorem

 * $\cos 180^\circ = \cos \pi = - 1$

where $\cos$ denotes cosine.

Proof
A direct implementation of Cosine of Multiple of Pi:
 * $\forall n \in \Z: \cos n \pi = \paren {-1}^n$

In this case, $n = 1$ and so:
 * $\cos \pi = -1^1 = -1$

Also see

 * Sine of Straight Angle
 * Tangent of Straight Angle
 * Cotangent of Straight Angle
 * Secant of Straight Angle
 * Cosecant of Straight Angle