>>604

[0, π/2) ∪ (π, 2*π) には、

a = cos(t)
b = sin(t)

となるような t が存在しないことを言わないと
いけないですが、そのチェックをしていません。