GỌI I VÀ J TƯƠNG ỨNG LÀ TÂM ĐƯỜNG TRÒN NỘI TIẾP HAI TAM GIÁC BDF VÀ EDC

4) Gọi I và J tương ứng là tâm đường tròn nội tiếp hai tam giác BDF và EDC.

Chứng minh

DIJ DFC

^{ }



Chứng minh ΔDBF

ΔDEC

(

ΔABC

)



BDF EDC

^{ }





BDI IDF EDJ JDC

^{   }









IDJ FDC

^{ }



Kết hợp áp dụng tỉ số giữa 2 bán kính bằng tỉ số đồng dạng, chứng minh được:

ΔIDJ

ΔFDC(c-g-c)

Suy ra

DIJ DFC

^{ }

