sin x + cos x = 1 を解く