Cho đường tròn (O; R) đường kính AB và điêm C bất kỳ thuộc đường tròn (C khác A và B). Kẻ tiếp tuyến tại A của đường tròn, tiếp tuyến này cắt tia BC I. Đường thắng tiếp xúc với đường tròn tại C cắt AI ở K