正方形ABCD中,作AE交BC于E,DF垂直AE交AB于F,求:AE=DF