Segment and Angle Proofs

A segment bisector is a point, line, or ray that divides a segment into two equal parts.

\overline{PQ} \cong \overline{QR} (Definition of segment bisector)

If two lines are perpendicular, they intersect to form a right angle (90 degrees).

A midpoint is a point that divides a segment into two equal lengths.

If \overline{AB} \cong \overline{CD}, then \overline{CD} \cong \overline{AB}.

\overline{AM} \cong \overline{MB}.

For any segment \overline{PQ}, \overline{PQ} \cong \overline{PQ}.

If \overline{AB} \cong \overline{CD} and \overline{CD} \cong \overline{EF}, then \overline{AB} \cong \overline{EF}.

A right angle is an angle that measures exactly 90 degrees.

The lengths of \overline{AB} and \overline{CD} are equal.