如图,在矩形ABCD中,∠ABC的平分线交DC于E,做EF垂直于AE,交BC于F,求证AE=EF