角ECD=角FDC=1/2角B,求证;DE=CF