Trên đường tròn (O; R) vẽ dây cung BC cố định. Một điểm A di chuyển trên cung lớn BC. Hai đường cao AE và BF của tam giác ABC cắt nhau tại H.a) Chứng minh tứ giác ABEF nội tiếp.