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