rmula_44都是平行的。而由于formula_41，也就是向量formula_25的终点和formula_42，也就是向量formula_27的起点是相同的，显然formula_25和formula_27共线。这种情况在欧氏几何中是不可能的，只有在非欧几何的情况下才能成立。用formula_43和formula_44平行也一样能够推出formula_25和formula_27共线。其他任何情况，也就是formula_55时，该式取到不等号，适用于欧氏几何。将向量形式的三角不等式两边减去相同的向量