在Rt△ABC中，∠BAC=90°，D是BC的中点，E是AD的中点，过点A作AF∥BC交BE的延长线于点F．
（1）求证：四边形ADCF是菱形；
（2）若AC=4，AB=5，求菱形ADCF的面积．

（1）证明：①∵AF∥BC，
∴∠AFE=∠DBE，
∵E是AD的中点，AD是BC边上的中线，
∴AE=DE，BD=CD，
在△AFE和△DBE中，
，
∴△AFE≌△DBE（AAS）．
∴AF=DB，
∵DB=DC，
∴AF=CD．
∵AF∥BC，
∴四边形ADCF是平行四边形，
∵∠BAC=90°，D是BC的中点，E是AD的中点，
∴AD=DC=BC，
∴四边形ADCF是菱形．
（2）如图，连接DF，

∵AF∥BD，AF=BD，
∴四边形ABDF是平行四边形，
∴DF=AB=5，
∵四边形ADCF是菱形，
∴S_菱形ADCF=AC▪DF=×4×5=10．

略