How do you prove sec(2x)= ((secx)^2)/(2-(secx)^2)?