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