>>807
その式は仮定から、両辺とも2だから成り立つ。
で、これをを変形したら　(a-c)^2+(b-d)^2=0。