Ta có Nếu đường tròn ngoại tiếp tam giác( hay tam giác đó nội tiếp đường trong) thì tâm của đường tròn đó là giao điểm các đường trung trực của tam giác đó
Vậy suy ra tâm O của đường trong là giao điểm các đường trung trực của tam giác ABC
mà F,E,D lần lượt là Tđiểm của AB,AC,BC
nên OF ,OE,OD lần lượt vuông góc với AB,AC,BC
Ta có góc AFO = 90 độ nên F thuộc đường tròn đk AO
Tương tự góc AEO = 90 độ nên E thuộc đt đk AO
nên A,E,F,O thuộc đt đk AO, suy ra bk của đt (AEF) bằng AO/2
Tương tự C,E,O,D thuộc đt đk OC,suy ra bk của đt (CED) bằng OC/2
B,F,O,D thuộc đt đk OC,suy ra bk của đt (BFD) bằng BO/2
Vì điểm O đều thuộc các đt (AEF)(CED)(BFD)
Vậy các đt (AEF)(CED)(BFD) cùng đi qua 1 điểm
và có bán kính bằng nhau vì ( AO = OC = BO do cùng bán kính của đt (O) nên AO/2 = OC/2=BO/2)