>>374
そうです。双曲線の軌跡の方程式から双曲線の定義の式を逆に導くときに
必要になる？不等式です。

このスレで以前楕円の軌跡の方程式から楕円の定義式を逆に導くのが自明？
であるといった話があったので双曲線の場合はどうなんだろうと思って、
やってみたのですが、本当に自明なんでしょうか？

>>373
非常に申し訳ないのですが、また間違っていました。
今度は問題は間違っていないと思います。

c>a>0
x^2/a^2 - y^2/(c^2-a^2) = 1
a-(c/a)*x≧0
とする。

このとき、
sqrt((x-c)^2+y^2)-2*a≧0
であることを示せ。