在三角形FEC和三角形FDB中.角3=角4,角C=角B
所以角CEB=角BDC,所以角AEF=角ADF
因为角1=角2,角AEF=角ADF,AF=AF
所以三角形AEF全等于三角形ADF
所以EF=DF