Tangent half-angle formula

Tangent half-angle formula

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 half-angle 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 half-angle 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 "y"-axis 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 "y"-axis with the center of projection at (−1,0). Thus, the tangent half-angle formulae give conversions between the stereographic coordinate "t" on the unit circle and the standard angular coordinate φ.


The tangent half-angle formulae are as follows. Let

:t = anleft(frac{varphi}{2} ight) = frac{sin(varphi)}{1 + cos(varphi)} = frac{1-cos(varphi)}{sin(varphi)}.

Then we haveand

Finding θ in terms of "t" leads to following relationship between the hyperbolic arctangent and the natural logarithm:

: anh^{-1}t = frac{1}{2}lnfrac{1+t}{1-t}.

The Gudermannian function

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

:t = anfrac{varphi}{2} = anhfrac{ heta}{2}


:varphi = 2 an^{-1} anhfrac{ heta}{2} equiv mbox{gd}( heta).

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 half-angle formulae (projection the unit circle and standard hyperbola onto the "y"-axis) give a geometric interpretation of this function.

Tangent of an average

: anleft( frac{alpha+eta}{2} ight)= frac{sinalpha + sineta}{cosalpha + coseta}= -,frac{cosalpha - coseta}{sinalpha - sineta}

Setting either "α" or "β" to 0 gives the usual tangent half-angle formulas.

ee also

*List of trigonometric identities
*Trigonometric rational functions
*Stereographic projection
*Gudermannian function

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Angle — This article is about angles in geometry. For other uses, see Angle (disambiguation). Oblique angle redirects here. For the cinematographic technique, see Dutch angle. ∠, the angle symbol In geometry, an angle is the figure formed by two rays… …   Wikipedia

  • Angle of view — In photography, angle of view describes the angular extent of a given scene that is imaged by a camera. It parallels, and may be used interchangeably with, the more general visual term field of view.It is important to distinguish the angle of… …   Wikipedia

  • List of trigonometric identities — Cosines and sines around the unit circle …   Wikipedia

  • Inverse trigonometric functions — Trigonometry History Usage Functions Generalized Inverse functions Further reading …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Pythagorean triple — A Pythagorean triple consists of three positive integers a , b , and c , such that a 2 + b 2 = c 2. Such a triple is commonly written ( a , b , c ), and a well known example is (3, 4, 5). If ( a , b , c ) is a Pythagorean triple, then so is ( ka …   Wikipedia

  • Argument (complex analysis) — Arg (mathematics) redirects here. For argument of a function, see Argument of a function. Figure 1. This Argand diagram represents the complex numbers lying on a plane. For each point on the plane, arg is the function which returns the angle φ.… …   Wikipedia

  • List of trigonometry topics — This is a list of trigonometry topics, by Wikipedia page.*Angle *Angle excess *Brahmagupta interpolation formula *Chebyshev polynomials *Conway triangle notation *De Moivre s formula *Dirichlet kernel *Euler s formula *Exact trigonometric… …   Wikipedia

  • Trigonometric substitution — In mathematics, trigonometric substitution is the substitution of trigonometric functions for other expressions. One may use the trigonometric identities to simplify certain integrals containing radical expressions:: ext{For } sqrt{a^2 x^2} ext{… …   Wikipedia

  • Law of tangents — In trigonometry, the law of tangents is a statement about the relationship between the lengths of the three sides of a triangle and the tangents of the angles.In Figure 1, a , b , and c are the lengths of the three sides of the triangle, and α,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.