如图，已知：梯形ABCD中，AD∥BC，E为对角线AC的中点，连结
DE并延长交BC于点F，连结AF．

（1）求证：AD=CF；
（2）在原有条件不变的情况下，当AC满足条件   ▲ 时（不再增添辅助线），四边形AFCD成为菱形，