> [!NOTE] Definiton (The tangent) > The tangent function is defined by $\begin{align} [0,\pi/2 )&\to \mathbb{R} \\ x &\mapsto \tan x = \frac{\sin x}{\cos x} \end{align}$