segment midpoint postulate properties angles complementary supplementary congruent plane line coplanar point perpendicular bisector equation dimension collinear ray intersect diagram pair terms distance slope angle graph formula coordinate noncoplanar solution two-dimensional figure endpoint reflexive symmetric transitive congruence rule length parallel undefined noncolinear ratio theorem algebraic geometric value variable exponents convert conjecture