s > 0 のとき示せば十分である。
P における C の接線と
x 軸とのなす角を θ とする。このとき
PQ = PP' cos θ である。これが 1 であることを示す。
PP' = t で PQ ≥ 0 なので
(t cos θ)2 = 1 を示せば良い。

tan θ = (es - e-s)/2
PP' = t = (es + e-s)/2 であることを使う。

(cos θ)-2 = 1 + (tan θ)2 = 1 + ((es - e-s)/2)2
  = ((es + e-s)/2)2 = t2

これから、示すべきことが示せた。

戻る