The formulae
may be solved for sinα and cosα, respectively. One gets the equations
|
sinα=±√1-cos2α2,cosα=±√1+cos2α2, |
|
where the signs have to be chosen according to the quadrant where the angle α is. Changing α to x2 and dividing these equations gives us the formula
|
tanx2=±√1-cosx1+cosx. |
|
(1) |
Also here one must chose the sign according to the quadrant of x2.
We obtain two alternative forms of (1) when we multiply both the numerator and
the denominator of the radicand the first time by 1-cosx and the
second time by 1+cosx; note that 1-cos2x=sin2x:
Here, sinx determines the sign of the hand sides;
it can be justified that it has always the same sign as tanx2.