Tứ giác BKFC có $\widehat{BKC}=\widehat{BFC}=90^o$
$\Rightarrow$ Hai đỉnh K, F cùng nhìn đoạn BC dưới góc vuông nên tứ giác BKFC nội tiếp.
$\Rightarrow \widehat{KFB}=\widehat{KCB}$
Mà $\widehat{KCB}=\widehat{EDB}=\frac{1}{2}sđ\stackrel\frown{EB}$
$\Rightarrow \widehat{KFB}=\widehat{EDB}$
$\Rightarrow$ DE // KF (đồng vị)