Cho tam giác ABC ngoại tiếp (I), nội tiếp (O). Các tâm bàng tiếp là: Ia, Ib, Ic. Các chân phân giác ngoài thẳng hàng trên đường thẳng d. Đường thẳng qua Ia, Ib, Ic lần lượt vuông góc với BC, CA, AB cắt d tương ứng tại D, E, F. Chứng minh AD, BE, CF và OI đồng quy