Tangent of 105 Degrees

From ProofWiki
Jump to navigation Jump to search

Theorem

$\tan 105^\circ = \tan \dfrac {7 \pi} {12} = - \left({2 + \sqrt 3}\right)$

where $\tan$ denotes tangent.


Proof

\(\ds \tan 105^\circ\) \(=\) \(\ds \tan \left({90^\circ + 15^\circ}\right)\)
\(\ds \) \(=\) \(\ds - \cot 15^\circ\) Tangent of Angle plus Right Angle
\(\ds \) \(=\) \(\ds - \left({2 + \sqrt 3}\right)\) Cotangent of 15 Degrees

$\blacksquare$


Sources