如图,F是矩形ABCD的边CD上的一点,连接BF,并延长BF交AD的延长线于点E,求证DE/AE=DF/DC