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