点到线的距离公式是什么,点到直线的距离公式怎么推出来的

点到直线距离公式是：|AX+By+C|除以A的平方+B的平方的算数平方根。点到直线的距离，即过这一点做目标直线的垂线，由这一点至垂足的距离。

公式就是用数学符号表示各个量之间的一定关系(如定律或定理)的式子。具有普遍性，适合于同类关系的所有问题。 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。