How do you solve #cos(x/2)=sqrt2/2# and find all exact general solutions?