Ta có: ^BCD+^ACD=^ACB=600
^ACF+^ACD=^FCD=600
=> ^BCD=^ACF => Tam giác BDC=Tam giác AFC (c.g.c)
=> BD=AF (2 cạnh tương ứng) . Mà BD=DE => AF=DE
Tương tự: ^CBD=^ABE => Tam giác BDC=Tam giác BEA
=> DC=EA (2 cạnh ương ứng) . mà DC=DF => EA=DF
Xét tứ giác AEDF: AF=DE; AE=DF => Tứ giác AEDF là hình bình hành (đpcm).