(i) In Δ′s ABD and ACD, we have
AB=AC (given)
BD=DC (given)
and AD=AD (common)
∴ΔABD≅ΔACD
(by SSS congruency rule)
(ii) In Δ′s ABP and ACP, we have
AB=AC (given)
∠BAP=∠CAP
and AP=AP (common)
[∵ΔABD≅ΔACD,∠BAD=∠CAD,∠BAP=∠CAP]
∴ΔABP≅ΔACP
(by SAS congruency rule)
(iii) We have already proved in (i) that
ΔABD≅ΔCAD
∠BAP=∠CAP
AP bisects ∠A i.e. AP is the bisector of ∠A.
In Δ′s BDP and CDP, we have
BD=CD (given)
BP=CP[∵ΔABP=ΔACP]
and DP=DP (common)
∴ΔBDP≅ΔCDP
(by SSS congruency rule)
∠BDP=∠CDP
DP is the bisector of ∠D.
Hence, AP is the bisector of ∠A as well as ∠D.
(iv) In (iii), we have proved that
ΔBDP≅ΔCDP
BP=CP and ∠BPD=∠CPD=900.
∴∠BPD and ∠CPD form a linear pair
DP is the perpendicular bisector of BC
Hence, AP is the perpendicular bisector of BC