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