Cho tam giác ABC vuông tại A và các điểm D, E, F như Hình 9.77 sao cho AD là phân giác của góc BAC, DE và DF lần lượt vuông góc với AC và BC. Chứng minh rằng: a) BDBC=ABAB+AC, từ đó suy ra AE=AB⋅ACAB+AC;