Hi,
For the proof, a faster way is to express cot and tan in
terms of sin and cos, i.e.
(cos A/2) / (sin A/2) - (sin A/2) / (cos A/2)
= [ cos^2 A/2 - sin^2 A/2 ] / [ sin A/2 cos A/2 ]
= cos A / [ 1/2 sin A ]
= 2 cot A (shown)
Let A = 15 deg, since we know that tan 30 deg =
1/sqrt(3). Then we obtain
cot 15 - tan 15 = 2 cot 30
1 / (tan 15) - tan 15 = 2 sqrt(3)
Multiplying both sides by tan 15, we obtain
1 - tan^2 15 = 2 sqrt(3) (tan 15)
Rearranging, we have tan^2 15 + (2 sqrt(3)) (tan 15) - 1
= 0, of which we see that t = tan 15 is a root to the said
quadratic equation.
Thanks!
Cheers,
Wen Shih