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

1. （1） 求证：四边形ADCF是菱形；
3. （2） 若AC＝4，AB＝5，求菱形ADCF的面积.