Given that in ΔABC, AB = AC
and AD ⊥ BC
i) Now in ΔABD and ΔACD
AB = AC (given)
∠ADB = ADC (given AD ⊥ BC)
AD = AD (common)
∴ ΔABD ≅ ΔACD (∵ RHS congruence)
⇒ BD = CD (CPCT)
⇒ AD, bisects BC.
ii) Also ∠BAD = ∠CAD (CPCT of ΔABD ≅ ΔACD )
∴ AD bisects ∠A.