MathNet 2007-part-01 — 187 bài (EN–VI) Câu hỏi 76

Tứ giác $ABCD$ với $\angle BAD + \angle ADC \gt 180^{\circ}$ ngoại tiếp một đường tròn tâm $I$. Một đường thẳng đi qua $I$ cắt $AB$ và $CD$ lần lượt tại các điểm $X$ và $Y$. Chứng minh rằng nếu $IX = IY$ thì $AX \cdot DY = BX \cdot CY$.