cho đường tròn (O) cho điểm S nằm ngoài đường tròn. Từ S kẻ tiếp tuyến SA và SA' và cát tuyến SBC tới (O) . Phân giác của góc BAC cắt BC ở D cắt đường tròn ở E. Gọi H là giao điểm OS và AA' và G là giao điểm OE và BS, F là giao điểm AA' với BC .Chứng minh:
a, tam giác SAD là tam giác cân
b, SF.SG = SO.SH
c, SA^2= SG.SF