Trong 1 tam giác, 3 đường phân giác cắt nhau tại 1 điểm và điểm đó cách đều 3 cạnh của tam giác (điểm này gọi là tâm đường tròn nộ tiếp). Nối E -> F; E -> D ; D -> F. Ta sẽ chứng minh H là giao điểm 3 đường phân giác.
Ta chứng minh được ∆AFC ~ ∆AEB(g.g) => AF/AE = AC/AB => AF/AC = AE/AB. => ta chứng minh được ∆AEF ~ ∆ABC(c.g.c) => góc AEF = góc ABC, chứng minh tương tư ta được ∆CED ~ ∆CBA => góc CED = góc ABC => góc AEF = góc CED ( = góc ABC), ta có: góc FEB = 90º - góc AEF và góc BED = 90º - góc CED, mà góc AEF = góc CED => góc FEB = góc BED => BE là phân giác góc FED => EH là phân giác góc FED, chứng minh tương tự ta được DH là phân giác góc EDF và FH là phân giác góc EFD
=> đpcm
