Cho tam giác ABC. Hai tia phân giác của góc ngoài tại đỉnh B và đỉnh C

Gọi E, F, P lần lượt là hình chiếu của I trên các đường thẳng AB, BC, CA.

Theo Định lí thuận ta có IE = IF và IF = IP => IE = IP .

Vậy I cách đều hai cạnh AB, AC.