Chứng minh rằng: Tứ giác BCEF là tứ giác nội tiếp. KM.KA = KE.KF. Đường thẳng MH luôn đi qua một điểm cố định và độ dài đoạn thẳng AH không đổi khi A di động trên cung lớn BC