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: DBXF, DCYE là các tứ giác nội tiếp.