Cho tam giác ABC (AB < AC) ngoại tiếp đường tròn (I) với các tiếp điểm trên BC, CA, AB lần lượt là D, E, F. Gọi X và Y lần lượt là chân đường cao kẻ từ B và C xuống CI và BI. Chứng minh rằng: Bốn điểm X, Y, E, F thẳng hàng