全等
通过AAS可说明三角形ABE和三角形ACF全等从而说明AE=AF
利用等量减等量差相等说明:BF=CE
通过AAS就能说明三角形BDF全等于三角形CDE