推导前置：两点之间距离公式
图一：
已知AB两点坐标为A（x1,y1），B(x2,y2)。
过A做一直线与X轴平行，过B做一直线与Y轴平行，两直线交点为C。
则AC垂直于BC（因为X轴垂直于Y轴）
则三角形ACB为直角三角形
由勾股定理得
A
B
2
=
A
C
2
+
B
C
2
AB^2=AC^2+BC^2
AB2=AC2+BC2
即
A
B
=
A
C
2
+
B
C
2
AB=\sqrt{AC^2+BC^2}
AB=AC2+BC2
已知直线方程：
一般式
A
x
+
B
y
+
C
=
0
Ax+By+C=0
Ax+By+C=0
点斜式
(
y
1
−
y
2
)
(
x
1
−
x
2
)
=
k
\frac{(y1-y2)}{(x1-x2)}=k
(x1−x2)(y1−y2)=k
过P(x0,y0)作直线L的垂线Li，垂足为D(x,y)，p(x0,y0)到D(x,y)的距离为d
由一般式直线方程可知，直线L的斜率为：-
k
=
−
A
B
k=-\frac{A}{B}
k=−BA
由于两线垂直斜率乘积为-1，所以垂线Li的斜率为：
k
i
=
B
A
ki=\frac{B}{A}
ki=AB
代入点斜式直线方程：
y 0 − y x 0 − x = B A \frac{y0-y}{x0-x}=\frac{B}{A} x0−xy0−y=AB
即得到直线方程二：
B
x
−
A
y
+
A
y
0
−
B
x
0
=
0
Bx-Ay+Ay0-Bx0=0
Bx−Ay+Ay0−Bx0=0
通过一般式可知：
x
=
−
(
c
+
B
y
)
A
x=\frac{-(c+By)}{A}
x=A−(c+By)
y = − ( c + A x ) B y=\frac{-(c+Ax)}{B} y=B−(c+Ax)
代入直线方程二
B x + A C + A 2 ∗ x B + A y 0 − B x 0 = 0 Bx+\frac{AC+A^2*x}{B}+Ay0-Bx0=0 Bx+BAC+A2∗x+Ay0−Bx0=0
计算得到D(x,y)的坐标为：
x = B 2 ∗ x 0 − A B y 0 − A C B 2 + A 2 x=\frac{B^2*x0-ABy0-AC}{B^2+A^2} x=B2+A2B2∗x0−ABy0−AC
y = A 2 ∗ y 0 − A B x 0 − B C B 2 + A 2 y=\frac{A^2*y0-ABx0-BC}{B^2+A^2} y=B2+A2A2∗y0−ABx0−BC
x − x 0 = − A ( A x 0 + B y 0 + C ) B 2 + A 2 x-x0=\frac{-A(Ax0+By0+C)}{B^2+A^2} x−x0=B2+A2−A(Ax0+By0+C)
y − y 0 = − B ( A x 0 + B y 0 + C ) B 2 + A 2 y-y0=\frac{-B(Ax0+By0+C)}{B^2+A^2} y−y0=B2+A2−B(Ax0+By0+C)
根据推导前置图一勾股定理可知：
d 2 = ( x − x 0 ) 2 + ( y − y 0 ) 2 d^2=(x-x0)^2+(y-y0)^2 d2=(x−x0)2+(y−y0)2
所以代入x-x0，y-y0得到：
d
2
=
(
−
A
(
A
x
0
+
B
y
0
+
C
)
(
B
2
+
A
2
)
)
2
+
(
−
B
(
A
x
0
+
B
y
0
+
C
)
(
B
2
+
A
2
)
)
2
d^2=\frac{(-A(Ax0+By0+C)}{(B^2+A^2))^2}+\frac{(-B(Ax0+By0+C)}{(B^2+A^2))^2}
d2=(B2+A2))2(−A(Ax0+By0+C)+(B2+A2))2(−B(Ax0+By0+C)
d 2 = A 2 ( A x 0 + B y 0 + C ) 2 ( B 2 + A 2 ) 2 + B 2 ( A x 0 + B y 0 + C ) 2 ( B 2 + A 2 ) 2 d^2=\frac{A^2(Ax0+By0+C)^2}{(B^2+A^2)^2}+\frac{B^2(Ax0+By0+C)^2}{(B^2+A^2)^2} d2=(B2+A2)2A2(Ax0+By0+C)2+(B2+A2)2B2(Ax0+By0+C)2
d 2 = ( A 2 + + B 2 ) ( A x 0 + B y 0 + C ) 2 ( B 2 + A 2 ) 2 d^2=\frac{(A^2++B^2)(Ax0+By0+C)^2}{(B^2+A^2)^2} d2=(B2+A2)2(A2++B2)(Ax0+By0+C)2
d 2 = ( A x 0 + B y 0 + C ) 2 ( B 2 + A 2 ) d^2=\frac{(Ax0+By0+C)^2}{(B^2+A^2)} d2=(B2+A2)(Ax0+By0+C)2
得出点到直线距离公式为：
d = ∣ A x 0 + B y 0 + C ∣ A 2 + B 2 d=\frac{|Ax0+By0+C|}{\sqrt{A^2+B^2}} d=A2+B2∣Ax0+By0+C∣