Cho tam giác nhọn. ABC nội tiếp đường tròn (O). Vẽ hai đường cao BE và CF của tam giác ABC cắt nhau tại H (E thuộc AC, F thuộc AB)

Cho tam giác nhọn. ABC nội tiếp đường tròn (O). Vẽ hai đường
cao BE và CF của tam giác ABC cắt nhau tại H (E thuộc AC, F thuộc AB).
a) Chứng minh tứ giác AEHF nội tiếp được đường tròn.
b) Chứng minh BH .BE = BF BA.