segment addition postulate
if C is betw. A and B, then AC + CB = AB
definition of segment congruence
if AB = CD, then ¯¯AB ≅ ¯¯CD
definiton of segment bisector
a geometric figure that divides a segment in to 2 congruent halves
definition of a midpoint
a point that bisects a segment