>>644
大抵の証明は、次のようになるかな。
点(x,y)が求める軌跡上の点ならば、＜ゴチャゴチャあれこれ計算＞、よって、x,yは方程式f(x,y)=0を満たす。
この形式で示したことは
｛(x,y)｜(x,y)は問題に与えれた条件を満たす点｝⊂｛(x,y)｜f(x,y)=0｝
だから　⊃　の側を示すことで、軌跡=｛(x,y)｜f(x,y)=0｝が示されたことになる。