Given :
AD is the perpendicular bisector of BC.
∴ ∠ADB = ∠ADC = 90° and BD = DC.
In Δ ADC and Δ ADB,
⇒ AD = AD (Common side)
⇒ ∠ADC = ∠ADB (Each equal to 90°)
⇒ CD = BD (AD is the perpendicular bisector of BC)
∴ Δ ADC ≅ Δ ADB (By S.A.S. congruence rule)
We know that,
Corresponding parts of congruent triangles are equal.
∴ AB = AC (By C.P.C.T.)
Hence, proved that ABC is an isosceles triangle in which AB = AC.
