Do `BD` là tia phân giác `\hat{B}` nên:
`⇒ \hat{ABD} = \hat{CBD}`
`⇒ \hat{ABD} = \hat{HBD}`
Xét `ΔABD (\hat{A} = 90^o)` và `ΔHBD (\hat{H} = 90^o)` có:
`BD` chung
`\hat{ABD} = \hat{HBD}`
`⇒ ΔABD = ΔHBD (c. h - g. nh)`
`⇒ BA = BH` (`2` cạnh tương ứng)
`⇒ \text{đpcm}`