AE=4,EF=3,AF=5,AE^2+EF^2=AF^2,∠AEF=90°,那么∠AEB+∠FEC=90°,
又因为∠B=90°,所以∠AEB+∠BAE=90°,所以∠BAE=∠FEC,△ABE∽△ECF
AB/EC=AE/EF=4/3,即EC=3AB/4=3BC/4,BE=BC/4=AB/4
直角三角形ABE中,AB^2+BE^2=AE^2,AB^2+AB^2/16=16,AB^2=16^2/17
正方形ABCD面积=AB^2=256/17