How do you prove sin x/(1-sin^2 x)=sec x tan x ?