>>262
文字通り条件を満たすことを示すだけ。つまり
x^2/a^2+y^2/b^2=1を満たす点(x,y)について
√{(x-c)^2+y^2}+√{(x+c)^2+y^2}=2a
が成り立つことを示す。