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