a/ `∆BAD` cân tại `B` (`AB=BD)`
`=>hat{BAD}=hat{BDA}`
b/ `hat{HAB}=hat{C}` (cùng phụ vs `hat{HAC}`)
c/ `hat{HAD}+hat{BDA}=90°`
`=>hat{HAD}+hat{BAD}=90°`
`=>hat{HAD}=hat{DAC}` (cùng phụ vs `hat{BAD}`
d/ `∆HAD` vg tại `H` ; `∆KAD` vg tại `K`
`AD` chung.
`hat{HAD}=hat{CAD}`
`=>∆HAD=∆KAD`
`=>AH=AK`
