Từ điểm A nằm ngoài đường tròn (O), vẽ cát tuyến ABC với đường tròn. Các tiếp tuyến của đường tròn tại B và C cắt nhau ở K. Qua K kẻ đường thẳng vuông góc với AO, cắt AO tại H và đường tròn (O) tại E và F (E nằm giữa K và F). Gọi M là giao điểm của OK và BC.gọi D là giao điểm của BC và EF chứng minh DB.AC =DC.AB