How do you prove # tan^2xcos^2x=(-cos2x+1)/2 #?