定理:已知点M(x0,y0)和直线 l:Ax+By+C=0(A≠0,B≠0),点M关于直线l对称的对称点M′的坐标(x,y),则
x=x0-2Af(x0,y0)/(A2+B2),
y=y0-2Bf(x0,y0)/(A2+B2).
其中f(x,y)=Ax+By+C
证明:设点M关于直线l对称的对称点M′的坐标是(x,y),
∵ l⊥MM′,
∴[(y-y0)/(x-x0)](-A/B)=-1,
∴ y=y0+B(x-x0)/A ,①
∵ 线段MM′的中点在直线l上,
∴A(x+x0)/2+B(y+y0)/2+C=0,
∴Ax+By+C+Ax0+By0+C=0,
即Ax+By+C+f(x0,y0)=0,②
将①代入②,得
Ax+B[y0+B(x-x0)/A]+C+f(x0,y0)=0,
∴ A2x+B[Ay0+B(x-x0)]+AC+Af(x0,y0)=0,
∴ A2x+ABy0+B2x-B2x0+AC+Af(x0,y0)=0,
∴ (A2+B2)x-A2x0-B2x0+A2x0+ABy0+AC+Af(x0,y0)=0,
即(A2+B2)x-(A2+B2)x0+2Af(x0,y0)=0,
∴ x=x0-2Af(x0,y0)/(A2+B2),
把上式代入①,得
y=y0+B[-2Af(x0,y0)/A(A2+B2)]
=y0-2Bf(x0,y0)/(A2+B2).(证毕)