直线到直线的距离公式推导过程 两直线距离公式推导

1、d=|c1-c2|/√(a^2+b^2)。
设两条直线方程为:
ax+by+c1=0
ax+by+c2=0
2、点p到直线的距离
由两点间距离公式得:
pq^2=[(b^2x0-aby0-ac)/(a^2+b^2)-x0]^2
+[(a^2y0-abx0-bc)/(a^2+b^2)-y0]^2
=[(-a^2x0-aby0-ac)/(a^2+b^2)]^2
+[(-abx0-b^2y0-bc)/(a^2+b^2)]^2
=[a(-by0-c-ax0)/(a^2+b^2)]^2
+[b(-ax0-c-by0)/(a^2+b^2)]^2
=a^2(ax0+by0+c)^2/(a^2+b^2)^2
+b^2(ax0+by0+c)^2/(a^2+b^2)^2
=(a^2+b^2)(ax0+by0+c)^2/(a^2+b^2)^2
=(ax0+by0+c)^2/(a^2+b^2)
所以pq=|ax0+by0+c|/√(a^2+b^2),公式得证。
3、两条平行直线间的距离公式及推导过程:
设两平行线是l1:ax+by+c1=0和l2:ax+by+c2=0
在l1上有一点a(m,n)
则am+bn+c1=0
am+bn=-c1
且a到l2距离纪委所求
所以距离d=|am+bn+c2|/√(a2+b2)
=|c2-c1|/√(a2+b2) 。