How do you prove # 1 + 1/(tan^2x) = 1/(sin^2x)#?