取BC中点K 延长FK交AB于M易证三角形BMK全等于三角形CFK所以AF=BC+CF=AB+BM=AM又因为K是FM中点所以角BAF=2角KAB另一方面因为AB=AD BK=DE角ABK=角ADE所以三角形ABK全等于三角形ADE所以角EAD=角KAB所以角BAF=2角EAD
