参考
https://zhidao.baidu.com/question/1114436725077473379.html
如题,百度搜了答案却没给证明,自己尝试证一下。
首先直线方程写成 Ax+By+C=0这种形式。比较明显的条件为,依次为
- 类比三维空间面公式,可以发现这个直线的法向量平行于 n ⃗ = ( A , B ) \vec{n} = (A, B) n=(A,B)
- 点A,C的向量为 A C → = A − C \overrightarrow{AC}=A-C AC=A−C
- A ′ = 2 C − A A'=2C-A A′=2C−A,由此可知只要求出C就知道 A ′ A' A′
- C的求解可以通过以下两个关系:
1)点C在直线上;
2) n ⃗ \vec{n} n与 A C → \overrightarrow{AC} AC平行。(交叉相乘相等)
最后能够求出
这里面点
A
=
(
a
,
b
)
A=(a,b)
A=(a,b)