セグメント加算公理

幾何学における線分の加法公理は、2 つの点A と C が与えられたとき、3 番目の点 B が線分AC上にあるのは、その 2 つの点間の距離が AB + BC = AC という式を満たす場合のみであると述べます。これは、AB + BC AC が等しくなるのは、A、B、C が同一線上にある場合のみであると述べる三角不等式と関連しています。これは、2点間の最短距離は直線上にあるという命題と同等です。 ${\displaystyle \geq }$

線分の加算公理は、線分の 合同性に関する結果を証明するときに役立つことが多いです。

• http://www.course-notes.org/Geometry/Segments_and_Rays/Segment_Addition_Postulate