由以上公理可以导出 formula_43。距离函数 formula_44 赋予 formula_41 度量空间结构。如果将定义中的三角不等式换作以下较强的形式（有时又叫做强三角不等式）其中 C 是积分常数。
演算法.C 语言关于绝对值的函数有： codice_1, codice_2, codice_3（在 C99 中），codice_4、codice_5 与 codice_6 函数计算一个对象的绝对值。当输入值不是最大负整数时，很容易写出计算绝对值的巨集或函数。以下巨