Tangent half-angle formula
Tangent half-angle formula
Jump to navigation
Jump to search
This article does not cite any sources. (November 2011) (Learn how and when to remove this template message) |
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
- tan(η±θ2)=sinη±sinθcosη+cosθ=−cosη−cosθsinη∓sinθ,tan(±θ2)=±sinθ1+cosθ=±tanθsecθ+1=±1cscθ+cotθ,(η=0)tan(±θ2)=1−cosθ±sinθ=secθ−1±tanθ=±(cscθ−cotθ),(η=0)tan(12(θ±π2))=1±sinθcosθ=secθ±tanθ=cscθ±1cotθ,(η=π2)tan(12(θ±π2))=cosθ1∓sinθ=1secθ∓tanθ=cotθcscθ∓1,(η=π2)1−tan(θ/2)1+tan(θ/2)=±1−sinθ1+sinθtanθ2=±1−cosθ1+cosθ{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 {1pm 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 }{1mp 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:
- sinα=2tanα21+tan2α2cosα=1−tan2α21+tan2α2tanα=2tanα21−tan2α2{displaystyle {begin{aligned}sin alpha &={frac {2tan {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 {2tan {dfrac {alpha }{2}}}{1-tan ^{2}{dfrac {alpha }{2}}}}end{aligned}}}
Contents
1 Proofs
1.1 Algebraic proofs
1.2 Geometric proofs
2 The tangent half-angle substitution in integral calculus
3 Hyperbolic identities
4 The Gudermannian function
5 Pythagorean triples
6 See also
7 External links
Proofs[edit]
Algebraic proofs[edit]
Use double-angle formulae and sin2α + cos2α = 1,
- sinα=2sinα2cosα2=2sinα2cosα2cos2α2+sin2α2=2tanα21+tan2α2{displaystyle sin alpha =2sin {frac {alpha }{2}}cos {frac {alpha }{2}}={frac {2sin {frac {alpha }{2}}cos {frac {alpha }{2}}}{cos ^{2}{frac {alpha }{2}}+sin ^{2}{frac {alpha }{2}}}}={frac {2tan {frac {alpha }{2}}}{1+tan ^{2}{frac {alpha }{2}}}}}
- cosα=cos2α2−sin2α2=cos2α2−sin2α2cos2α2+sin2α2=cos2α2cos2α2−sin2α2cos2α2cos2α2cos2α2+sin2α2cos2α2=1−tan2α21+tan2α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
- tanα=2tanα21−tan2α2{displaystyle tan alpha ={frac {2tan {frac {alpha }{2}}}{1-tan ^{2}{frac {alpha }{2}}}}}
Combining the Pythagorean identity cos2α+sin2α=1{displaystyle cos ^{2}alpha +sin ^{2}alpha =1} with the double-angle formula for the cosine, cos2α=cos2α−sin2α=1−2sin2α=2cos2α−1{displaystyle cos 2alpha =cos ^{2}alpha -sin ^{2}alpha =1-2sin ^{2}alpha =2cos ^{2}alpha -1},
rearranging, and taking the square roots yields
|sinα|=1−cos2α2{displaystyle |sin alpha |={sqrt {frac {1-cos 2alpha }{2}}}} and |cosα|=1+cos2α2{displaystyle |cos alpha |={sqrt {frac {1+cos 2alpha }{2}}}}
which, upon division gives
|tanα|=1−cos2α1+cos2α{displaystyle |tan alpha |={frac {sqrt {1-cos 2alpha }}{sqrt {1+cos 2alpha }}}} = 1−cos2α1+cos2α1+cos2α{displaystyle {frac {{sqrt {1-cos 2alpha }}{sqrt {1+cos 2alpha }}}{1+cos 2alpha }}} = 1−cos22α1+cos2α{displaystyle {frac {sqrt {1-cos ^{2}2alpha }}{1+cos 2alpha }}} = |sin2α|1+cos2α{displaystyle {frac {|sin 2alpha |}{1+cos 2alpha }}}
or alternatively
|tanα|=1−cos2α1+cos2α{displaystyle |tan alpha |={frac {sqrt {1-cos 2alpha }}{sqrt {1+cos 2alpha }}}} = 1−cos2α1+cos2α1−cos2α{displaystyle {frac {1-cos 2alpha }{{sqrt {1+cos 2alpha }}{sqrt {1-cos 2alpha }}}}} = 1−cos2α1−cos22α{displaystyle {frac {1-cos 2alpha }{sqrt {1-cos ^{2}2alpha }}}} = 1−cos2α|sin2α|{displaystyle {frac {1-cos 2alpha }{|sin 2alpha |}}}.
Also, using the angle addition and subtraction formulae for both the sine and cosine one obtains:
- cos(a+b)=cosacosb−sinasinb{displaystyle cos(a+b)=cos acos b-sin asin b}
- cos(a−b)=cosacosb+sinasinb{displaystyle cos(a-b)=cos acos b+sin asin b}
- sin(a+b)=sinacosb+cosasinb{displaystyle sin(a+b)=sin acos b+cos asin b}
- sin(a−b)=sinacosb−cosasinb{displaystyle sin(a-b)=sin acos b-cos asin b}
Pairwise addition of the above four formulae yields:
- sin(a+b)+sin(a−b)=sinacosb+cosasinb+sinacosb−cosasinb=2sinacosbcos(a+b)+cos(a−b)=cosacosb−sinasinb+cosacosb+sinasinb=2cosacosb{displaystyle {begin{aligned}sin(a+b)+sin(a-b)&=sin acos b+cos asin b+sin acos b-cos asin b\&=2sin acos b\[3pt]cos(a+b)+cos(a-b)&=cos acos b-sin asin b+cos acos b+sin asin b\&=2cos acos bend{aligned}}}
Setting a=p+q2{displaystyle a={frac {p+q}{2}}} and b=p−q2{displaystyle b={frac {p-q}{2}}} and substituting yields:
- sin(p+q2+p−q2)+sin(p+q2−p−q2)=sin(p)+sin(q)=2sin(p+q2)cos(p−q2)cos(p+q2+p−q2)+cos(p+q2−p−q2)=cos(p)+cos(q)=2cos(p+q2)cos(p−q2){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)\&=2sin 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)\&=2cos 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:
- sin(p)+sin(q)cos(p)+cos(q)=2sin(p+q2)cos(p−q2)2cos(p+q2)cos(p−q2)=tan(p+q2){displaystyle {frac {sin(p)+sin(q)}{cos(p)+cos(q)}}={frac {2sin left({frac {p+q}{2}}right)cos left({frac {p-q}{2}}right)}{2cos left({frac {p+q}{2}}right)cos left({frac {p-q}{2}}right)}}=tan left({frac {p+q}{2}}right)}
Geometric proofs[edit]
Applying the formulae derived above to the rhombus figure on the right, it is readily shown that
- tana+b2=sina+b2cosa+b2=sina+sinbcosa+cosb.{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 t=tan(φ2){displaystyle t=tan left({frac {varphi }{2}}right)}. According to similar triangles,
tsinφ=11+cosφ{displaystyle {frac {t}{sin varphi }}={frac {1}{1+cos varphi }}}. It follows that t=sinφ1+cosφ=sinφ(1−cosφ)(1+cosφ)(1−cosφ)=1−cosφsinφ.{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[edit]
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 φ.
Then we have
- cosφ=1−t21+t2,sinφ=2t1+t2,tanφ=2t1−t2cotφ=1−t22t,secφ=1+t21−t2,cscφ=1+t22t,{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
- eiφ=1+it1−it,e−iφ=1−it1+it.{displaystyle e^{ivarphi }={frac {1+it}{1-it}},qquad e^{-ivarphi }={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
- arctant=12iln1+it1−it.{displaystyle 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=tan12φ.{displaystyle t=tan {tfrac {1}{2}}varphi .}
This implies that
- φ=2arctan(t)+2πn,{displaystyle varphi =2arctan(t)+2pi n,}
for some integer n, and therefore
- dφ=2dt1+t2.{displaystyle dvarphi ={{2,dt} over {1+t^{2}}}.}
Hyperbolic identities[edit]
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=tanh12θ=sinhθcoshθ+1=coshθ−1sinhθ{displaystyle t=tanh {tfrac {1}{2}}theta ={frac {sinh theta }{cosh theta +1}}={frac {cosh theta -1}{sinh theta }}}
with the identities
- coshθ=1+t21−t2,sinhθ=2t1−t2,tanhθ=2t1+t2,cothθ=1+t22t,sechθ=1−t21+t2,cschθ=1−t22t,{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
- eθ=1+t1−t,e−θ=1−t1+t.{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.[citation needed]
Finding θ in terms of t leads to following relationship between the hyperbolic arctangent and the natural logarithm:
- artanht=12ln1+t1−t.{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 measure along an arc a circle.)
The Gudermannian function[edit]
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=tan12φ=tanh12θ{displaystyle t=tan {tfrac {1}{2}}varphi =tanh {tfrac {1}{2}}theta }
then
- φ=2tan−1tanh12θ≡gdθ.{displaystyle varphi =2tan ^{-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[edit]
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[edit]
- List of trigonometric identities
- Half-side formula
External links[edit]
Tangent Of Halved Angle at Planetmath
Categories:
- Trigonometry
- Conic sections
- Mathematical identities
(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgPageParseReport":{"limitreport":{"cputime":"0.168","walltime":"0.344","ppvisitednodes":{"value":968,"limit":1000000},"ppgeneratednodes":{"value":0,"limit":1500000},"postexpandincludesize":{"value":8126,"limit":2097152},"templateargumentsize":{"value":885,"limit":2097152},"expansiondepth":{"value":11,"limit":40},"expensivefunctioncount":{"value":2,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":1512,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 168.998 1 -total"," 47.50% 80.271 1 Template:Unreferenced"," 34.75% 58.732 1 Template:Ambox"," 22.44% 37.918 1 Template:Citation_needed"," 14.79% 24.987 1 Template:Fix"," 13.49% 22.794 2 Template:Main"," 11.35% 19.176 37 Template:Math"," 6.37% 10.766 2 Template:Category_handler"," 5.66% 9.568 1 Template:Delink"," 2.67% 4.505 1 Template:Fix/category"]},"scribunto":{"limitreport-timeusage":{"value":"0.035","limit":"10.000"},"limitreport-memusage":{"value":1505539,"limit":52428800}},"cachereport":{"origin":"mw1258","timestamp":"20181129123103","ttl":1900800,"transientcontent":false}}});});{"@context":"https://schema.org","@type":"Article","name":"Tangent half-angle formula","url":"https://en.wikipedia.org/wiki/Tangent_half-angle_formula","sameAs":"http://www.wikidata.org/entity/Q2641564","mainEntity":"http://www.wikidata.org/entity/Q2641564","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https://www.wikimedia.org/static/images/wmf-hor-googpub.png"}},"datePublished":"2004-10-04T19:59:08Z","dateModified":"2018-11-12T18:05:17Z"}(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgBackendResponseTime":110,"wgHostname":"mw1319"});});