Prove that: Any point on the right bisector of a line segment is equidistant from its end points
Given: CDCDCD is the right bisector of AB‾\overline{AB}AB intersecting it at OOO. PPP is any point on CDCDCD.
To Prove: AP‾≅BP‾\overline{AP} \cong \overline{BP}AP≅BP, i.e. PPP is equidistant from AAA and BBB.