変形時に同値関係を保っているかどうか
本来、軌跡の問題でも逆が成り立つかどうかは確かめるんだが、
簡単な問題では逆に式を追っていけばわかるので略すことが多い
下は条件(2)の時点でP≠Oになっている