Cho tam giác ABC có 3 góc nhọn (AB<AC). Đường tròn tâm O đường kính BC cắt AB và AC lần lượt tại D và E. Đường thẳng BE cắt CD tại H. Tia AH cắt BC tại F

a) Chứng minh: AF vuông góc BC và góc HEF = góc HCF