Tangent half-angle formula on arvau

Wikipedia / Tangent half-angle formula

In trigonometry, tangent half-angle formulas relate the tangent of half of an angle to trigonometric functions of the entire angle.

Formulae

The tangent of half an angle is the stereographic projection radians with simpler formulae when is known to be , , , or because and can be replaced by simple constants.

Proofs

Algebraic proofs

Furthermore, using double-angle formulae

Geometric proofs

. By similarity of triangles

The tangent half-angle substitution in integral calculus

In various applications of trigonometry, it is useful to rewrite the trigonometric functions (such as sine and cosine) in terms of rational functions. These identities are known collectively as the tangent half-angle formulae. These identities can be useful in calculus for converting rational functions in sine and cosine to functions of in order to find their antiderivatives.

Geometrically, the construction goes like this: for any point on the unit circle, draw the line passing through it and the point . This point crosses the -axis at some point . One can show using simple geometry that . The equation for the drawn line is . The equation for the intersection of the line and circle is then a quadratic equation involving . The two solutions to this equation are and . This allows us to write the latter as rational functions of (solutions are given below).

The parameter represents the stereographic projection of the point onto the -axis with the center of projection at . Thus, the tangent half-angle formulae give conversions between the stereographic coordinate on the unit circle and the standard angular coordinate .

. Equating these gives the arctangent in terms of the natural logarithm

In calculus, the tangent half-angle substitution is used to find antiderivatives of rational functions of and

Hyperbolic identities

One can play an entirely analogous game with the hyperbolic functions. A point on (the right branch of) a hyperbola is given by. Projecting this onto -axis from the center

Finding in terms of leads to following relationship between the inverse hyperbolic tangent

The Gudermannian function

Comparing the hyperbolic identities to the circular ones, one notices that they involve the same functions of , just permuted. If we identify the parameter where is 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 half-angle formulae (projection the unit circle and standard hyperbola onto the -axis) give a geometric interpretation of this function.

Rational values and Pythagorean triples

Starting with a Pythagorean triangle with side lengths , , and that are positive integers and satisfy , it follows immediately that each interior angle of the triangle has rational values for sine and cosine, because these are just ratios of side lengths. Thus each of these angles has a rational value for its half-angle tangent, using .

The reverse is also true. If there are two positive angles that sum to 90°, each with a rational half-angle tangent, and the third angle is a right angle then a triangle with these interior angles can be scaled to a Pythagorean triangle. If the third angle is not required to be a right angle, but is the angle that makes the three positive angles sum to 180° then the third angle will necessarily have a rational number for its half-angle tangent when the first two do (using angle addition and subtraction formulas for tangents) and the triangle can be scaled to a Heronian triangle.

Generally, if is a subfield of the complex numbers then implies that .