解未知数二元一次方程!

可解,结果很复杂,貌似与直线,弦长有关的一个方程组.
第二个方程看起来应该是k×(y2-1)/(x2-1)=-1这是求一个点关于一条一次函数的对称点的公式这样做有点麻烦，求点(x1,y1)关于直线y=kx+b的对称点(x2,y2)可以这样做；先过(x1,y1)作直线与y=kx+b垂直，再求出两直线的交点(x0,y0)，则(x2,y2)=(2x0-x1,2y0-y1)比如求点(1,2)关于直线y=x-1的对称点：求出直线y=-x+3，再求(x0,y0)=(2,1)，则(x2,y2)=(3,0)