1.
在Rt△ABC中，∠BAC＝90°，D是BC的中点，E是AD的中点，过点A作AF∥BC交CE的延长线于点F．
(1)
求证：四边形ADBF是菱形；
(2)
若AB＝8，菱形ADBF的面积为40，求AC的长．
【考点】
菱形的判定与性质;
几何图形的面积计算-割补法;
三角形全等的判定-AAS;
直角三角形斜边上的中线;
