sin(t) + cos(t) = 1を解く