Gọi I là giao của ∠ABC và ∠ACB, gọi D, F, E lần lượt là hình chiếu của I trên
AC, AB, BC
Xét ∆FBI và ∆EBI:
∠FBI=∠IBE(gt)
BI chung
∠BFI=∠IEB=900(gt) =>∆FBI = ∆EBI(g-c-g)
Do đó IF=IE(cạnh tương ứng)
Xét ∆FAI và ∆DAI:
∠FAI=∠IAD(gt)
AI chung
∠AFI=∠IDA=900(gt) =>∆FAI = ∆DAI(g-c-g)
Do đó IF=ID(cạnh tương ứng)
IF=ID;IF=IE =>ID=IE
Xét ∆ECI và ∆DCI:
∠IEC=∠IDC=900(gt)
ID=IE(CMT)
CI chung => ∆ECI = ∆DCI (cạnh huyền -cạnh góc vuông)
Do đó : ∠ECI=∠ICD
=>IC là phân giác góc BCA
Vậy ba đường phân giác trong CI, AI, BI đồng quy tại một diểm