How do you verify the identity 1/tanbeta+tanbeta=sec^2beta/tanbeta?