Câu 4. (5,0 điểm). Cho tam giác nhọn ABC (AB<AC) nội tiếp trong đường tròn tâm O; hai điểm B,C cố định và điểm A thay đổi trên cung lớn BC của đường tròn (O). Gọi H là trực tâm của tam giác ABC, A′ là điểm đối xứng với A qua BC, B′ là điểm đối xứng với B qua AC. Hai đường thẳng AO và B′C cắt nhau tại E; hai đường thẳng A′O và BC cắt nhau tại F.
a) Chứng minh hai tam giác AHB, ACE đồng dạng và bốn điểm B,O,C,E cùng thuộc một đường tròn.
b) Chứng minh đường thẳng AF đi qua điểm cố định khi A thay đổi.