>>432
なんて無駄なことしてたんかね。
arccosの定義域の話まであったのに、全く馬鹿だね。

(x,y) ∈ ∂D ⇔ r = 1
y = sinθ ≧ 0 ⇔ 0 ≦ θ≦π
の時、
φ = arccos(cosθ) = θ

y = sinθ < 0 ⇔ π ≦ θ＜2π
の時
φ = 2π - arccos(cosθ) = 2π - ( 2π-θ) = θ
だから、y の値に限らず、(x,y)∈∂D では φ = θ