>>19
じゃ、
>単位円　C:x^2+y^2＝1　上の点の座標が(cosx、sinx)　xは実数　の形で表されることに注意。
のxをθで置き換えればいい。

接するときが最小になる理由：
x、y両軸を除く第三象限にあるC上の点と、区間-∞＜x＜-1上の点との間には
連続な全単射があるため。
これは、x、y両軸を除く第三象限のC上の点Q(cos(q)、sin(q))におけるCの接線とy軸との交点をQ'(x'、0)とすると、
Q(cos(q)、sin(q))とQ'(x'、0)の間には連続な全単射があることから分かる。
言い換えれば、区間-π＜x＜(3/2)πと区間-∞＜x＜-1との間には連続な全単射があるため。
直線的に明らかなんだけど、これでよろしい？