How do you verify 1 + cos 2a = 2/(1+ tan^2a)?