该 -adic 范数满足
对于所有 和 。
更多尝试
Weisstein, Eric W. “强三角不等式。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/StrongTriangleInequality.html