验证实。
几何基础-度规.在经典的欧几里得几何中，三角形满足勾股定理（毕达哥拉斯定理），这意味着空间中两点间的距离平方等于空间中所有完备正交分量平方和：这里formula_7、formula_8、formula_9表示在笛卡尔坐标系下三个坐标轴formula_10、formula_11、formula_12上各自两点间的无穷小距离。现在想象存在一个笛卡尔坐标不适用的世界，其间两点的距离由下式描述：这里formula_14、formula_15、formula_16是坐标