Why is cos(4pi/3) = - cos(pi/3)?