这是欧几里德几何中的公理 是基本假设 你要是在欧几里德空间(包括很多欧几里德空间为基础的扩展空间)里 当然这是真理无法推翻 你要证伪这个公理 则必然要在非欧空间里去找欧几里德空间是线性空间 那就举一个非线性空间的例子 在光路中考虑光程差最短,根据费马定律,在不均匀的介质中两点之间的光程是曲线最短这里对于光 不均匀介质构成一个非线性空间 距离的范数是光程 于是最短的距离就不是线段了 而是曲线
这是真理,无论你曲线还是圆都比直线远
在球面上不成立