Vì FC=CD(gt)
=>ΔCFD caan tại C
=>\(\widehat{CFD}=\widehat{CDF}\) (1)
Vì FD là tia pg của \(\widehat{CFE}\)
=> \(\widehat{EFD}=\widehat{CFD}\) (2)
Từ (1)(2) suy ra: \(\widehat{CDF}=\widehat{EFD}\) . Mà hai góc này ở vị trí soletrong
=>DC//EF
=> Tứ giác EFCD là hình thang