证：设线段AB所在直线方程为y=a*x+b,将A（-1,-1）,B（3,7）两点代入得：-1=-a+b 解得 a=2 所以 线段AB所在直线方程为y=2*x+17=3a+b b=1又设线段AB中点C坐标为（n,m）所以有（n+1）^2+（m+1）^2=（n-3）^2+（m-7）^2 ...