初中数学几何:证EF²=BE² DF²，首先想到直角三角形勾股定理。