Example - Theorem 7.3

Description : In △ABC, AD is the perpendicular bisector of BC. Show that △ABC is an isosceles triangle.