If cos(2x)=1/2, why does x=pi/6?