[0, 4pi) で cos(x/2) = 1/2 を解け。