证明：设正方形ABCD的边长为4K∵正方形ABCD∴AB＝BC＝CD＝AD＝4K,∠A＝∠B＝∠C＝90∵E是BC的中点∴BE＝CE＝BC/2＝2K∵BF＝AB/4∴BF＝K∴AF＝AB-BF＝3K∴DF²＝AD²+AF²＝16K²+9K²＝25K²...