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