延长DB到E,使AB=BE,则∠BAE=∠E
∴∠C=∠ABC/2=(∠BAE+∠E)/2=(∠E+∠E)/2=∠E
∴AE=AC
∵AD垂直于EC
由三线合一知ED=DC
即BE+BD=DC
∵AB=BE
∴AB+BD=DC