>>882
探せばあるだろうけど
それぐらいならいわゆる逆手流ですぐ示せる

点 P （ x ， y ） が 点 Q （ X ， Y ） に移るとすると
　　　X ＝ y ，　Y ＝ x
　　　∴　x ＝ Y ，　y ＝ X　　　←移動前を移動後で表して
これを　f（ x ， y ）＝ 0　代入して　　　←移動前が満たす式に代入
　　　f（ Y ， X ）＝ 0
あとは大文字を小文字に改めればよい