>>261
じゃあ機械的に解く場合はどうやるんでしょう？？

>>262
じゃT(x1+y1,x2+y2)を代入して確かめればおｋ？
あと定数倍と。