证明：设正方形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²
EF²＝BE²+BF²＝4K²+K²＝5K²
DE²＝CD²+CE²＝16K²+4K²＝20K²
∴DF²＝DE²+EF²＝25K²
∴EF⊥DE
数学辅导团解答了你的提问,