无向图的一个距离不等式

对任一无向图Ｇ（Ｘ，Ｅ），顶点集Ｘ＝｛ｘ１，ｘ２，…，ｘｎ｝，任给三点ｘｉ，ｘｊ，ｘｋ，若两两之间存在距离，则成立不等式：ｄ（ｘｉ，ｘｊ）Ｇ＋ｄ（ｘｉ，ｘｋ）Ｇ＋ｄ（ｘｊ，ｘｋ）Ｇ≤２ｎ－２。