>>102
逆の証明は簡単だから略したんでしょうな。
AP=sqrt((x-0)^2 +(y-2)^2) =sqrt(x^2 +(2x-5)^2)=sqrt(5x^2-20x+25)
BP=sqrt((x-4)^2+(y-0)^2) =sqrt((x-4)^2+(2x-3)^2)=sqrt(5x^2-20x+25)
よってAP=BP
ってだけでしょ？