如图,已知AB=AC,DF//AB.求证DF=DC.若DE⊥EC于E,求证EF=CE