延长CB到G,使BG=DE,连接AG
可证明三角形ABG与ADE全等
角FAG=FAB+BAG=FAB+DAE=FAB+EAF=EAB=AED=角G
所以AF=BG+BF=DE+BF,即DE=AF-BF
(正方形的问题常用到图形的旋转)