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