1. (2017·独山模拟) 在Rt△ABC中，∠BAC=90°，D是BC的中点，E是AD的中点，过点A作AF∥BC交BE的延长线于点F．

1. （1） 求证：△AEF≌△DEB；
   
3. （2） 证明四边形ADCF是菱形；
5. （3） 若AC=4，AB=5，求菱形ADCF的面积．