a) Áp dụng định lý tổng ba góc trong tam giác IKL ta có:
OK, OL là phân giác của các góc K, L nên
Áp dụng định lý tổng ba góc trong tam giác OKL có:
b) Ta có : ba đường phân giác trong tam giác đồng quy.
Mà hai đường phân giác KO, LO cắt nhau tại O
c) O là giao điểm ba đường phân giác của ΔIKL
Áp dụng định lí 3 đường phân giác
Vậy O cách đều ba cạnh của tam giác IKL.