Cho đường tròn và một điểm nằm ngoài đường tròn. Các tiếp tuyến với đường tròn kẻ từ tiếp xúc với đường tròn tại và . Gọi là giao điểm của và , kẻ đường kính của đường tròn , hạ tại Tia cắt đường tròn tại . Chứng minh rằng là phân giác của