Cho tam giác ABC vuông tại A, đường cao AH. Gọi AD là phân giác trong của tam giác AHC. Chứng minh tam giác BAD là tam giác cân.