http://imgur.com/ErjSXXc.jpg

↑は、Serge Lang著『Undergraduate Analysis』です。

赤い線を引いたところを見てください。

証明していることは、

π/2 ≦ t ≦ π

の範囲内に一意的に、 a = cos(t), b = sin(t) となる t が存在するということです。

他の範囲には、 a = cos(t), b = sin(t) となる t が存在しないということはチェックしていません。

いい加減ですね。