座標平面を動く点Pの軌跡を求める場合、点Pが通る点の集合を
S={(x,y)｜(x,y)∈S・・・(※)}とおいて、(※)を同値変形していきますよね。
そこで質問なのですが,(※)の解の集合と同値変形した条件式の解の集合が
一致すると言える根拠は何なのでしょうか？お願いします