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