`a)` Xét $\triangle$`BHD` vuông tại `H` và $\triangle$`BAE` vuông tại `A`

`hat{HBD} = hat{EBA}` (`BE` là phân giác của `hat{ABC}`)

nên $\triangle$`BHD` $\backsim$ $\triangle$`BAE` (góc nhọn)

`b)` Ta có: $\triangle$`BHD` $\backsim$ $\triangle$`BAE` (cmt)

nên `(BH)/(BA) = (BD)/(BE)` (tỉ số đồng dạng)

`BH . BE = BA . BD`