如图，在Rt△ABC中，∠ACB=90°，D、E分别是AB、AC的中点，连接DE并延长至点F，使EF=DE，连接AF、DC．求证：四边形ADCF是菱形．