在数学的浩瀚星河中，距离公式是最基础也最耀眼的坐标之一。从古希腊的几何直觉到现代解析几何的精密计算，它连接了代数与几何两大领域。本文将深入剖析距离公式是谁发现的这一核心问题，并全方位解读其背后的数学逻辑与应用场景。
当人们追问“距离公式是谁发现的”时，答案并非单一的人名，而是一段跨越千年的思想演进史。简单来说，距离公式的核心灵魂源于毕达哥拉斯定理（Pythagorean Theorem），而其解析形式（即我们中学所学的坐标距离公式）则是解析几何建立后的产物。
公元前6世纪，古希腊数学家毕达哥拉斯（Pythagoras）及其学派发现了直角三角形三边之间的关系：。虽然历史学家认为古巴比伦人更早掌握了这一规律，但毕达哥拉斯学派提供了最早的逻辑证明雏形。这一发现奠定了计算直线距离的几何基础。
直到17世纪，法国数学家勒内·笛卡尔（René Descartes）发明了直角坐标系。笛卡尔将几何图形转化为代数方程，使得“距离”这一几何概念可以通过坐标点的代数运算来表达。
虽然笛卡尔建立了坐标系，但现代形式的两点间距离公式 是由后来的数学家（如皮埃尔·德·费马或欧拉）在笛卡尔的工作基础上形式化完善的。因此，距离公式是谁发现的这个问题的准确回答是：它是由毕达哥拉斯提供几何原理，由笛卡尔提供坐标框架，经后世数学家共同完善而成的。
贡献了勾股定理，确立了直角三角形斜边与直角边的关系，是距离计算的几何基石。
创立解析几何，引入坐标系，让距离计算从“作图测量”转变为“代数运算”。
在《几何原本》中定义了“点”与“直线”，为欧几里得距离提供了公理基础。
理解距离公式不仅要知道“是谁发现的”，更要明白其内在逻辑。以下是从基础到高级的距离公式体系。
在平面直角坐标系中，给定两点 和 ，它们之间的直线距离 为：
推导过程：
1. 以 和 为顶点构造一个直角三角形。
2. 水平直角边长度为 。
3. 垂直直角边长度为 。
4. 根据毕达哥拉斯定理，斜边平方等于两直角边平方和，即 。
5. 开根号即得距离 。
在立体几何中，若两点为 和 ，距离公式扩展为：
这可以看作是在二维公式基础上，增加了一个垂直于平面的 轴分量。
在机器学习和高维数据分析中，我们常处理 维向量。两点 和 之间的欧几里得距离（Euclidean Distance）通用公式为：
网民常问“距离公式”是否只有直线距离一种？实际上，根据不同的应用场景（如城市街道导航、数据聚类），存在多种距离度量方式。
即我们最常讨论的距离公式，代表两点间的直线长度。适用于连续空间中的自然距离测量。
公式：
适用场景：几何计算、物理位移、KNN算法中的常规距离。
又称城市街区距离。在网格状的城市街道中，你无法穿越建筑物走直线，只能沿街道行走。因此，距离是横向位移与纵向位移之和。
公式：
适用场景：棋盘移动、城市规划、高维稀疏数据。
在国际象棋中，国王从一个格子走到另一个格子所需的最少步数即为切比雪夫距离。它等于各坐标差值绝对值的最大值。
公式：
适用场景：国际象棋算法、工厂搬运车路径规划。
这是上述距离的广义形式，通过参数 来调节距离的计算方式。当 时为欧几里得距离， 时为曼哈顿距离。
公式：
回顾数学史，我们可以清晰地看到距离公式如何从一种几何直觉演变为通用的代数工具。
虽然尚无直接证据，但数学史学家认为古巴比伦人可能已掌握勾股数的特例，用于土地测量。
毕达哥拉斯及其追随者开始研究直角三角形边长关系，为距离公式奠定几何基础。
欧几里得系统化了几何公理，定义了“距离”的几何属性，尽管未给出代数公式。
勒内·笛卡尔正式提出直角坐标系，使得几何问题可以转化为代数问题，距离公式的代数形式成为可能。
牛顿、莱布尼茨、欧拉等数学家在微积分发展中，进一步完善了空间距离、弧长等概念，确立了现代距离公式的标准形式。
距离概念被推广到无限维空间（希尔伯特空间），并广泛应用于数据挖掘、人工智能中的相似度计算。
核心基础源于毕达哥拉斯的勾股定理，解析形式由笛卡尔的坐标系理论衍生，并经后世数学家完善。没有单一的“发现者”，它是数学演进的产物。
因为距离是长度的度量。根据毕达哥拉斯定理，斜边的平方等于两直角边的平方和。为了得到长度（斜边本身），必须对平方和进行开方运算，即使用根号。
在三维空间直角坐标系中，两点 和 之间的距离公式为：。这是二维距离公式的自然延伸，增加了Z轴方向的差值平方。
标准的欧几里得距离公式仅适用于平坦的欧几里得空间。在球面（如地球表面）或双曲空间等非欧几何中，需要使用测地线距离（Geodesic Distance）或其他黎曼度量来计算最短路径。