PROOF: Given isosceles △ABC with AB¯¯¯¯¯¯¯¯≅BC¯¯¯¯¯¯¯¯ , I can construct BD←→ , the angle bisector of ∠B . Then, by the definition of an angle bisector, I know that ∠ABD≅∠CBD . I also know that line segments are congruent to themselves, so BD¯¯¯¯¯¯¯¯≅BD¯¯¯¯¯¯¯¯ by the reflexive property of congruence. I now have two pairs of sides and an included angle that are congruent, so I know that △ABD≅△CBD by the SAS Congruence Theorem. What statement should be placed at the end of the proof?
