以A为轴,将三角形ABE逆时针旋转90,得三角形ADG
因为AE平分角BAF
所以角BAE=角EAF=角DAG
角AEB=角AGD=角EAD=角EAF+角FAD=角DAG+角DAF=角FAG=角G
有角FAG=角G
所以AF=FG
即AF=DF+BG
即AF=DF+BE
以A为轴,将三角形ABE逆时针旋转90,得三角形ADG
因为AE平分角BAF
所以角BAE=角EAF=角DAG
角AEB=角AGD=角EAD=角EAF+角FAD=角DAG+角DAF=角FAG=角G
有角FAG=角G
所以AF=FG
即AF=DF+BG
即AF=DF+BE