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