Cho ∆ cân ABC (AB = AC), nội tiếp trong đuong tròn (O). Các đường cao AG, BE, CF gặp nhau ở H. Chứng minh tứ giác AEHF một tiếp một đường tròn