把三角形ABE 以 A点为圆心旋转,使AB 和 AD 重合.
新的三角形AE'F 和 三角形 AEF 全等
EF=BE+DF