Can you prove 1cos2x=sinxcosxtanx?