a) Chứng minh ΔBDF=ΔEDCcap delta cap B cap D cap F equals cap delta cap E cap D cap C
Δ???=Δ???
 
Xét ΔABDcap delta cap A cap B cap D
Δ???
và ΔAEDcap delta cap A cap E cap D
Δ???
:Cạnh ADcap A cap D
??
là cạnh chung.
BAD̂=EAD̂modified cap B cap A cap D with hat above equals modified cap E cap A cap D with hat above
???=???
(do ADcap A cap D
??
là tia phân giác của BAĈmodified cap B cap A cap C with hat above
???
).
AB=AEcap A cap B equals cap A cap E
??=??
(theo giả thiết).
⇒ΔABD=ΔAEDimplies cap delta cap A cap B cap D equals cap delta cap A cap E cap D
⇒Δ???=Δ???
(cạnh - góc - cạnh).
Suy ra: BD=EDcap B cap D equals cap E cap D
??=??
và ABD̂=AED̂modified cap A cap B cap D with hat above equals modified cap A cap E cap D with hat above
???=???
(các cặp cạnh và góc tương ứng).

Xét các góc kề bù:Ta có ABD̂+DBF̂=180∘modified cap A cap B cap D with hat above plus modified cap D cap B cap F with hat above equals 180 raised to the composed with power
???+???=180∘
và AED̂+DEĈ=180∘modified cap A cap E cap D with hat above plus modified cap D cap E cap C with hat above equals 180 raised to the composed with power
???+???=180∘
.
Mà ABD̂=AED̂modified cap A cap B cap D with hat above equals modified cap A cap E cap D with hat above
???=???
(chứng minh trên), nên suy ra DBF̂=DEĈmodified cap D cap B cap F with hat above equals modified cap D cap E cap C with hat above
???=???
.

Xét độ dài các đoạn thẳng:Ta có AF=ACcap A cap F equals cap A cap C
??=??
và AB=AEcap A cap B equals cap A cap E
??=??
.
Suy ra AF−AB=AC−AE⇒cap A cap F minus cap A cap B equals cap A cap C minus cap A cap E implies
??−??=??−??⇒
BF=ECcap B cap F equals cap E cap C
??=??
.

Xét ΔBDFcap delta cap B cap D cap F
Δ???
và ΔEDCcap delta cap E cap D cap C
Δ???
: BF=ECcap B cap F equals cap E cap C
??=??
(chứng minh trên).
DBF̂=DEĈmodified cap D cap B cap F with hat above equals modified cap D cap E cap C with hat above
???=???
(chứng minh trên).
BD=EDcap B cap D equals cap E cap D
??=??
(chứng minh trên).
⇒ΔBDF=ΔEDCimplies cap delta cap B cap D cap F equals cap delta cap E cap D cap C
⇒Δ???=Δ???
(cạnh - góc - cạnh). 

b) Chứng minh BF = EC 
Như đã chứng minh ở bước 3 của câu (a): 
Theo giả thiết: AF=ACcap A cap F equals cap A cap C
??=??
và AB=AEcap A cap B equals cap A cap E
??=??
.
Vì Bcap B
?
nằm giữa Acap A
?
và Fcap F
?
(do AB<AC=AFcap A cap B is less than cap A cap C equals cap A cap F
??<??=??
) và Ecap E
?
nằm giữa Acap A
?
và Ccap C
?
(do AE=AB<ACcap A cap E equals cap A cap B is less than cap A cap C
??=??<??
): BF=AF−ABcap B cap F equals cap A cap F minus cap A cap B
??=??−??

EC=AC−AEcap E cap C equals cap A cap C minus cap A cap E
??=??−??

Thay các giá trị bằng nhau vào, ta có: BF=ECcap B cap F equals cap E cap C
??=??
. 

Kết luận: