Chứng minh rằng đường tròn (O') đi qua ba điểm B, O, C tiếp xúc với các cạnh AB, AC.
Giả sử (O') cắt AC tại điểm thứ hai C' ta có sđ cung OC (1).
Vì O là tâm của đường tròn nội tiếp nên sđ cung OC mâu thuẫn với (1).
Vậy AC (và AB) đều tiếp xúc với (O).