sin^2x/tan^2x= cos^2x proved