点到点的距离定义

|AB|=√[（x1-x2)²+(y1-y2)²]。两点间距离公式常用于函数图形内求两点之间距离、求点的坐标的基本公式，是距离公式之一。两点间距离公式叙述了点和点之间距离的关系。

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