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