Cosine of Right Angle

From ProofWiki
Jump to navigation Jump to search

Theorem

$\cos 90 \degrees = \cos \dfrac \pi 2 = 0$

where $\cos$ denotes cosine.


Proof

A direct implementation of Cosine of Half-Integer Multiple of Pi:

$\forall n \in \Z: \map \cos {n + \dfrac 1 2} \pi = 0$

In this case, $n = 0$ and so:

$\cos \dfrac 1 2 \pi = 0$

$\blacksquare$


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Cosine_of_Right_Angle&oldid=625383"