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