若点E是正方形ABCD边BC上一点,交CD于F,求证AE=BE DF.