哪里规定 两点之间线段最短 是公理两点之间线段最短一直是初中数学课本中以公理形式出现的真命题,但几何原本中并没有这个公理.这个公理是从什么时候在哪里规定为公理的?

问题描述:

哪里规定 两点之间线段最短 是公理
两点之间线段最短一直是初中数学课本中以公理形式出现的真命题,但几何原本中并没有这个公理.这个公理是从什么时候在哪里规定为公理的?

我记得证明是用的变分法,但是确实不记得是出自哪里了,如果不是几何原本的话。(貌似我们老师讲是出自几何原本,说这个公理是公理化体系其中之一)
我怎么记得是 在欧氏几何、罗氏几何或黎氏几何中,两点间线段最短 应该都是公理公设才对,不存在证明。

两点之间线段最短应该限制在欧式空间中,因为不同的空间距离定义不一样