直角三角形
设正方形边长为4x
则DF=3x,AF=x,AE=EB=2x
算出CF=5x,FE=√5x,CE=2√5x
CE的平方+FE的平方=CF的平方
所以三角形CEF为直角三角形,∠FEC=90°