A(5,5)のy=2xに対する対称点が一発で(1,7)って出てくるんですが
これはどういう公式を使ってるんですか