题目还不够本质，正三角形不是必须的，可改成任意直角三角形ADB旋转到AEC，结论不变。另外如果允许四点共圆AF一连就结束了，如果只允许全等，那至少也是五种解法，刚好自己对这个体系略有研究[可爱]