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
From these one can derive identities expressing the sine, cosine, and tangent as functions of tangents of half-angles:
Use double-angle formulae and sin2α + cos2α = 1,
then
Q.E.D.
Also, using the angle addition and subtraction formulae for both the sine and cosine one obtains:
Pairwise addition of the above four formulae yields:
Setting and and substituting yields:
Dividing the sum of sines by the sum of cosines one arrives at:
Applying the formulae derived above to the rhombus figure on the right, it is readily shown that
In the unit circle, application of the above shows that . According to similar triangles,