How do you use the double angle or half angle formulas to solve #2 sinx cosx=cos 2x#?