G.CO.9 Prove theorems about lines and angles... points on a perpendicular bisector of a line segment are exactly those equidistant from the segment's endpoints.
Students should be able to understand the perpendicular bisector theorem and the angle bisector theorem and how it could be applied to real-life situations.