三角形ABC是一个等腰直角三角形,它与一个正方形叠放在一起,已知AE、EF、BF一样大,且三角形EFD的面积是4.