点关于任意直线的对称点

参考
https://zhidao.baidu.com/question/1114436725077473379.html

如题，百度搜了答案却没给证明，自己尝试证一下。

首先直线方程写成 Ax+By+C=0这种形式。比较明显的条件为，依次为

1. 类比三维空间面公式，可以发现这个直线的法向量平行于$\vec{n}=(A,B)$
2. 点A,C的向量为$\overrightarrow{AC}=A-C$
3. $A^{\prime }=2C-A$,由此可知只要求出C就知道$A^{\prime }$
4. C的求解可以通过以下两个关系：
   1）点C在直线上；
   2）$\vec{n}$与$\overrightarrow{AC}$平行。（交叉相乘相等）

最后能够求出

这里面点$A=(a,b)$