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:
a) DBXF, DCYE là các tứ giác nội tiếp.
b) Bốn điểm X, Y, E, F thẳng hàng.