In trigonometry, tangent half-angle formulas relate the tangent of half of an angle to trigonometric functions of the entire angle. Among these are the following
\( {\displaystyle {\begin{aligned}\tan \left({\frac {\eta \pm \theta }{2}}\right)&={\frac {\sin \eta \pm \sin \theta }{\cos \eta +\cos \theta }}=-{\frac {\cos \eta -\cos \theta }{\sin \eta \mp \sin \theta }},\\[10pt]\tan \left(\pm {\frac {\theta }{2}}\right)&={\frac {\pm \sin \theta }{1+\cos \theta }}={\frac {\pm \tan \theta }{\sec \theta +1}}={\frac {\pm 1}{\csc \theta +\cot \theta }},&&(\eta =0)\\[10pt]\tan \left(\pm {\frac {\theta }{2}}\right)&={\frac {1-\cos \theta }{\pm \sin \theta }}={\frac {\sec \theta -1}{\pm \tan \theta }}=\pm (\csc \theta -\cot \theta ),&&(\eta =0)\\[10pt]\tan \left({\frac {1}{2}}(\theta \pm {\frac {\pi }{2}})\right)&={\frac {1\pm \sin \theta }{\cos \theta }}=\sec \theta \pm \tan \theta ={\frac {\csc \theta \pm 1}{\cot \theta }},&&(\eta ={\frac {\pi }{2}})\\[10pt]\tan \left({\frac {1}{2}}(\theta \pm {\frac {\pi }{2}})\right)&={\frac {\cos \theta }{1\mp \sin \theta }}={\frac {1}{\sec \theta \mp \tan \theta }}={\frac {\cot \theta }{\csc \theta \mp 1}},&&(\eta ={\frac {\pi }{2}})\\[10pt]{\frac {1-\tan(\theta /2)}{1+\tan(\theta /2)}}&=\pm {\sqrt {\frac {1-\sin \theta }{1+\sin \theta }}}\\[10pt]\tan {\frac {\theta }{2}}&=\pm {\sqrt {\frac {1-\cos \theta }{1+\cos \theta }}}\end{aligned}}} \)
From these one can derive identities expressing the sine, cosine, and tangent as functions of tangents of half-angles:
\( {\displaystyle {\begin{aligned}\sin \alpha &={\frac {2\tan {\dfrac {\alpha }{2}}}{1+\tan ^{2}{\dfrac {\alpha }{2}}}}\\[7pt]\cos \alpha &={\frac {1-\tan ^{2}{\dfrac {\alpha }{2}}}{1+\tan ^{2}{\dfrac {\alpha }{2}}}}\\[7pt]\tan \alpha &={\frac {2\tan {\dfrac {\alpha }{2}}}{1-\tan ^{2}{\dfrac {\alpha }{2}}}}\end{aligned}}}
Proofs
Algebraic proofs
Use double-angle formulae and sin2 α + cos2 α = 1,
\( {\displaystyle \sin \alpha =2\sin {\frac {\alpha }{2}}\cos {\frac {\alpha }{2}}={\frac {2\sin {\frac {\alpha }{2}}\cos {\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}+\sin ^{2}{\frac {\alpha }{2}}}}={\frac {2{\frac {\sin {\frac {\alpha }{2}}}{\cos {\frac {\alpha }{2}}}}{\frac {\cos {\frac {\alpha }{2}}}{\cos {\frac {\alpha }{2}}}}}{{\frac {\cos ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}+{\frac {\sin ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}}}={\frac {2\tan {\frac {\alpha }{2}}}{1+\tan ^{2}{\frac {\alpha }{2}}}}}\)
\( {\displaystyle \cos \alpha =\cos ^{2}{\frac {\alpha }{2}}-\sin ^{2}{\frac {\alpha }{2}}={\frac {\cos ^{2}{\frac {\alpha }{2}}-\sin ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}+\sin ^{2}{\frac {\alpha }{2}}}}={\frac {{\frac {\cos ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}-{\frac {\sin ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}}{{\frac {\cos ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}+{\frac {\sin ^{2}{\frac {\alpha }{2}}}{\cos ^{2}{\frac {\alpha }{2}}}}}}={\frac {1-\tan ^{2}{\frac {\alpha }{2}}}{1+\tan ^{2}{\frac {\alpha }{2}}}}}\)
taking the quotient of the formulae for sine and cosine yields
\( {\displaystyle \tan \alpha ={\frac {2\tan {\frac {\alpha }{2}}}{1-\tan ^{2}{\frac {\alpha }{2}}}}}\)
Combining the Pythagorean identity \( {\displaystyle \cos ^{2}\alpha +\sin ^{2}\alpha =1} \) with the double-angle formula for the cosine, \( {\displaystyle \cos 2\alpha =\cos ^{2}\alpha -\sin ^{2}\alpha =1-2\sin ^{2}\alpha =2\cos ^{2}\alpha -1} \),
rearranging, and taking the square roots yields
\( {\displaystyle |\sin \alpha |={\sqrt {\frac {1-\cos 2\alpha }{2}}}} \) and \( {\displaystyle |\cos \alpha |={\sqrt {\frac {1+\cos 2\alpha }{2}}}}\)
which, upon division gives
\( {\displaystyle |\tan \alpha |={\frac {\sqrt {1-\cos 2\alpha }}{\sqrt {1+\cos 2\alpha }}}} \) = \( {\displaystyle {\frac {{\sqrt {1-\cos 2\alpha }}{\sqrt {1+\cos 2\alpha }}}{1+\cos 2\alpha }}} \) = \( {\displaystyle {\frac {\sqrt {1-\cos ^{2}2\alpha }}{1+\cos 2\alpha }}} \) = \( {\displaystyle {\frac {|\sin 2\alpha |}{1+\cos 2\alpha }}} \)
or alternatively
\( {\displaystyle |\tan \alpha |={\frac {\sqrt {1-\cos 2\alpha }}{\sqrt {1+\cos 2\alpha }}}}\) = \( {\displaystyle {\frac {1-\cos 2\alpha }{{\sqrt {1+\cos 2\alpha }}{\sqrt {1-\cos 2\alpha }}}}} \) = \( {\displaystyle {\frac {1-\cos 2\alpha }{\sqrt {1-\cos ^{2}2\alpha }}}} \) =\( {\displaystyle {\frac {1-\cos 2\alpha }{|\sin 2\alpha |}}}.\)
Also, using the angle addition and subtraction formulae for both the sine and cosine one obtains:
\( {\displaystyle \cos(a+b)=\cos a\cos b-\sin a\sin b} \)
\( {\displaystyle \cos(a-b)=\cos a\cos b+\sin a\sin b} \)
\( {\displaystyle \sin(a+b)=\sin a\cos b+\cos a\sin b} \)
\( {\displaystyle \sin(a-b)=\sin a\cos b-\cos a\sin b}
Pairwise addition of the above four formulae yields:
\( {\displaystyle {\begin{aligned}\sin(a+b)+\sin(a-b)&=\sin a\cos b+\cos a\sin b+\sin a\cos b-\cos a\sin b\\&=2\sin a\cos b\\[3pt]\cos(a+b)+\cos(a-b)&=\cos a\cos b-\sin a\sin b+\cos a\cos b+\sin a\sin b\\&=2\cos a\cos b\end{aligned}}} \)
Setting \( {\displaystyle a={\frac {p+q}{2}}} \) and \( {\displaystyle b={\frac {p-q}{2}}} \) and substituting yields:
\( {\displaystyle {\begin{aligned}\sin \left({\frac {p+q}{2}}+{\frac {p-q}{2}}\right)+\sin \left({\frac {p+q}{2}}-{\frac {p-q}{2}}\right)&=\sin(p)+\sin(q)\\&=2\sin \left({\frac {p+q}{2}}\right)\cos \left({\frac {p-q}{2}}\right)\\[6pt]\cos \left({\frac {p+q}{2}}+{\frac {p-q}{2}}\right)+\cos \left({\frac {p+q}{2}}-{\frac {p-q}{2}}\right)&=\cos(p)+\cos(q)\\&=2\cos \left({\frac {p+q}{2}}\right)\cos \left({\frac {p-q}{2}}\right)\end{aligned}}} \)
Dividing the sum of sines by the sum of cosines one arrives at:
\( {\displaystyle {\frac {\sin(p)+\sin(q)}{\cos(p)+\cos(q)}}={\frac {2\sin \left({\frac {p+q}{2}}\right)\cos \left({\frac {p-q}{2}}\right)}{2\cos \left({\frac {p+q}{2}}\right)\cos \left({\frac {p-q}{2}}\right)}}=\tan \left({\frac {p+q}{2}}\right)} \)
Geometric proofs
Applying the formulae derived above to the rhombus figure on the right, it is readily shown that
The sides of this rhombus have length 1. The angle between the horizontal line and the shown diagonal is (a + b)/2. This is a geometric way to prove a tangent half-angle formula. The formulae sin((a + b)/2) and cos((a + b)/2) just show their relation to the diagonal, not the real value.
\( {\displaystyle \tan {\frac {a+b}{2}}={\frac {\sin {\frac {a+b}{2}}}{\cos {\frac {a+b}{2}}}}={\frac {\sin a+\sin b}{\cos a+\cos b}}.} \)
In the unit circle, application of the above shows that \( {\displaystyle t=\tan \left({\frac {\varphi }{2}}\right)} \). According to similar triangles,
A geometric proof of the tangent half-angle formula
\( {\displaystyle t={\frac {\sin \varphi }{1+\cos \varphi }}={\frac {\sin \varphi (1-\cos \varphi )}{(1+\cos \varphi )(1-\cos \varphi )}}={\frac {1-\cos \varphi }{\sin \varphi }}.} {\displaystyle t={\frac {\sin \varphi }{1+\cos \varphi }}={\frac {\sin \varphi (1-\cos \varphi )}{(1+\cos \varphi )(1-\cos \varphi )}}={\frac {1-\cos \varphi }{\sin \varphi }}.} \)
The tangent half-angle substitution in integral calculus
Main article: Weierstrass substitution
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).
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 φ.
Then we have
\( {\displaystyle {\begin{aligned}&\cos \varphi ={\frac {1-t^{2}}{1+t^{2}}},&&\sin \varphi ={\frac {2t}{1+t^{2}}},\\[8pt]&\tan \varphi ={\frac {2t}{1-t^{2}}}&&\cot \varphi ={\frac {1-t^{2}}{2t}},\\[8pt]&\sec \varphi ={\frac {1+t^{2}}{1-t^{2}}},&&\csc \varphi ={\frac {1+t^{2}}{2t}},\end{aligned}}} \)
and
\( {\displaystyle e^{i\varphi }={\frac {1+it}{1-it}},\qquad e^{-i\varphi }={\frac {1-it}{1+it}}.} \)
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
\( \arctan t = \frac{1}{2i}\ln\frac{1+it}{1-it}. \)
In calculus, the Weierstrass substitution is used to find antiderivatives of rational functions of sin φ and cos φ. After setting
\( t=\tan\tfrac{1}{2}\varphi. \)
This implies that
\( {\displaystyle \varphi =2\arctan(t)+2\pi n,} \)
for some integer n, and therefore
\( d\varphi = {{2\,dt} \over {1 + t^2}}.
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 (cosh θ, sinh θ). Projecting this onto y-axis from the center (−1, 0) gives the following:
\( t = \tanh\tfrac{1}{2}\theta = \frac{\sinh\theta}{\cosh\theta+1} = \frac{\cosh\theta-1}{\sinh\theta} \)
with the identities
\( {\displaystyle {\begin{aligned}&\cosh \theta ={\frac {1+t^{2}}{1-t^{2}}},&&\sinh \theta ={\frac {2t}{1-t^{2}}},\\[8pt]&\tanh \theta ={\frac {2t}{1+t^{2}}},&&\coth \theta ={\frac {1+t^{2}}{2t}},\\[8pt]&\operatorname {sech} \,\theta ={\frac {1-t^{2}}{1+t^{2}}},&&\operatorname {csch} \,\theta ={\frac {1-t^{2}}{2t}},\end{aligned}}} \)
and
\( {\displaystyle e^{\theta }={\frac {1+t}{1-t}},\qquad e^{-\theta }={\frac {1-t}{1+t}}.} \)
The use of this substitution for finding antiderivatives was introduced by Karl Weierstrass.
Finding θ in terms of t leads to following relationship between the hyperbolic arctangent and the natural logarithm:
\( {\displaystyle \operatorname {artanh} t={\frac {1}{2}}\ln {\frac {1+t}{1-t}}.} \)
("ar-" is used rather than "arc-" because "arc" is about arc length and "ar" abbreviates "area". It is the area between two rays and a hyperbola, rather than the arc length between two rays measured along an arc of a circle.)
The Gudermannian function
Main article: 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
\( {\displaystyle t=\tan {\tfrac {1}{2}}\varphi =\tanh {\tfrac {1}{2}}\theta } \)
then
\( {\displaystyle \varphi =2\tan ^{-1}\tanh {\tfrac {1}{2}}\theta \equiv \operatorname {gd} \theta .} \)
where gd(θ) 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 y-axis) give a geometric interpretation of this function.
Pythagorean triples
Main article: Pythagorean triple
The tangent of half of an acute angle of a right triangle whose sides are a Pythagorean triple will necessarily be a rational number in the interval (0, 1). Vice versa, when a half-angle tangent is a rational number in the interval (0, 1), there is a right triangle that has the full angle and that has side lengths that are a Pythagorean triple.
See also
List of trigonometric identities
Half-side formula
External links
Tangent Of Halved Angle at Planetmath
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
