因为BD平分∠ABC,所以角ABD=角CBD;
因为DE‖BC,所以角CBD=角EDB,所以角ABD=角EDB,所以BE=ED=CF;
因为BE=CF,EF=DC:
由定理两对边相等的四边形是平行四边形得:四边形CDEF是平行四边形.