A way to prove tg(2x)=(2tg(x))/(1-tg^2x)