トレミーの不等式

ユークリッド幾何学において、トレミーの不等式（トレミーのふとうしき）とは、平面または高次元空間内の4点により決まる6つの距離についての不等式。 4つの任意の点 A, B, C, D について、次の不等式が成り立つことを示す。