xét
Λ EIB và
Λ DIC có
IE=ID ; [TEX]\widehat{I}=\widehat{I}[/TEX](đối đỉnh) ; [TEX]\widehat{E}=\widehat{D}[/TEX]
=>
Λ EIB =
Λ DIC
=> [TEX]\widehat{B2}=\widehat{C2}[/TEX](2 góc tương ứng)(2)
=> IB=IC(2 cạnh tương ứng)
Λ IBC có
IB=IC (c/m trên)
=>
Λ IBC cân tại I
=>[TEX]\widehat{B1}=\widehat{C1}[/TEX] (1)
tỪ (1) và (2) => [TEX]\widehat{B}=\widehat{C}[/TEX]