In various applications of trigonometry, it is useful to rewrite the trigonometric functions (such as sine and cosine) in terms of rational functions of a new variable t. These identities are known collectively as the tangent halfangle formulae because of the definition of t. These identities can be useful in calculus for converting rational functions in sine and cosine to functions of t in order to find their antiderivatives.
Technically, the existence of the tangent halfangle formulae stems from the fact that the circle is an algebraic curve of genus 0. One then expects that the 'circular functions' should be reducible to rational functions.
Geometrically, the construction goes like this: for any point (cos φ, sin φ) on the unit circle, draw the line passing through it and the point (−1,0). This point crosses the yaxis at some point y = t. One can show using simple geometry that t = tan(φ/2). The equation for the drawn line is y = (1 + x)t. The equation for the intersection of the line and circle is then a quadratic equation involving t. The two solutions to this equation are (−1, 0) and (cos φ, sin φ). This allows us to write the latter as rational functions of t (solutions are given below).
Note also that the parameter t represents the stereographic projection of the point (cos φ, sin φ) onto the yaxis with the center of projection at (−1,0). Thus, the tangent halfangle formulae give conversions between the stereographic coordinate t on the unit circle and the standard angular coordinate φ.
Contents 
The tangent halfangle formulae are as follows. Let
Then we have
and
By eliminating phi between the directly above and the initial definition of t, one arrives at the following useful relationship for the arctangent in terms of the natural logarithm
In calculus, the tangent halfangle identities can be used in a trigonometric substitution to find antiderivatives of rational functions of sin(φ) and cos(φ). After setting
we have
This implies that
and therefore
One can play an entirely analogous game with the hyperbolic functions. A point on (the right branch of) a hyperbola is given by (cosh θ, sinh θ). Projecting this onto yaxis from the center (−1, 0) gives the following:
with the identities
and
Finding θ in terms of t leads to following relationship between the hyperbolic arctangent and the natural logarithm:
Comparing the hyperbolic identities to the circular ones, one notices that they involve the same functions of t, just permuted. If we identify the parameter t in both cases we arrive at a relationship between the circular functions and the hyperbolic ones. That is, if
then
The function gd(θ) is called the Gudermannian function. The Gudermannian function gives a direct relationship between the circular functions and the hyperbolic ones that does not involve complex numbers. The above descriptions of the tangent halfangle formulae (projection the unit circle and standard hyperbola onto the yaxis) give a geometric interpretation of this function.
Setting either α or β to 0 gives the usual tangent halfangle formulas.
