Half-Angle Tangent Identities

$$\begin{array}{rclrcl} \mr {t\;\isdef \;\tan\left(\frac{\thet... ...1+t^2}}% \mrone {\tan(\theta)}{=}{\frac{2t}{1-t^2}} \end{array}$$