Perpendicular Bisector Theorem

Perpendicular Bisector Theorem: If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of that segment.
Statement         Reason[br]FD is the perpendicular bisector of AD  Given[br]Af = Bf         Definition of perpendicular bisector (cuts segment in half)[br]<AFD=<BFD       Definition of perpendicular bisector(angles are the same 90)[br]Df=Df         Reflexive[br]triangle BDF=triangle ADF    SAS[br]AD=DB        CpCTC

Information: Perpendicular Bisector Theorem