Question

点到直线距离公式推导是什么？

Answer 1

点到直线距离公式的推导如下： 

对于点P（x0,y0) 。

作PQ垂直直线Ax+By+C=0于腔答培Q 。

作PM平行Y轴，交直线于M；作PN平行X轴，交直线于N 。

设M（x1，y1) 。

x1=x0,y1=(-Ax0+C)/B。

PM=|y0-y1|=|y0+(Ax0+C)/B|=|(Ax0+By0+C)/B| 。

同理，设N(x2,y2)。

y2=y0,x2=(-By0+C)/A。

PN=|(Ax0+By0+C)/A| 。

PM、PN为直角三角形PMN两直角边，PQ为斜边MN上的高。

PQ=PM×PN/MN=PM×PN/√（PM²+PN²）=|Ax0+By0+C|/√（A²+B²）。

点到直线距伍唯离公式推导思路如下：

求出直线的斜率k (我们假设这条直线不是平行于坐标轴的),然后与它垂直的直线斜率是-1/k,因此可以求出过已知点与直线|垂直的那条直线12(点斜式，然后求和12的交点，交点坐标和已知点的间线段的距离就是点到直线的距离。

直线外一点与直线上各点连接的所有线段中，垂线段最短。点到直线的距离叫做垂线段。点到直线距离是连接直线外一点与直线 上举森各点的所有线段中，垂线段最短，这条垂线段的长度。目标在于通过对点到直线距离公式的推导,提高学生对数形结合的认识，加深用“计算"来处理“图形”的意识。

Answer 2

点到线的距离公慧耐式如下：
设直线L的方程为Ax+By+C=0，点P的坐标为（x0，y0），则点P到直线L的距离为：

定义法证明衡碧消：
根据定义，点P（x_，咐知y_）到直线l：Ax+By+C=0的距离是点P到直线l的垂线段的长。
设点P到直线的垂线为l'，垂足为Q，则l'的斜率为B/A则l'的解析式为y-y_=（B/A）（x-x_）。
把l和l'联立得l与l'的交点Q的坐标为（（B^2x_-ABy_-AC）/（A^2+B^2），（A^2y_-ABx_-BC）/（A^2+B^2））由两点间距离公式得：
PQ^2=[（B^2x_-ABy_-AC）/（A^2+B^2）-x0]^2+[（A^2y_-ABx_-BC）/（A^2+B^2）-y0]^2=[（-A^2x_-ABy_-AC）/（A^2+B^2）]^2