Cho hình bình hành ABCD với BAD^<90∘. Đường phân giác của góc BCD^ cắt đường tròn ngoại tiếp tam giác BCD tại O khác C. Kẻ đường thẳng d đi qua A và vuông góc với CO. Đường thẳng d lần lượt cắt các đường thẳng CB, CD tại E, F.3). Gọi giao điểm của OC và BD là I, chứng minh rằng IB.BE.EI=ID.DF.FI.