1. (2022·四川) 在Rt△ABC中，∠BAC＝90°，D是BC的中点，E是AD的中点，过点A作AF∥BC交CE的延长线于点F．

1. （1） 求证：四边形ADBF是菱形；
3. （2） 若AB＝8，菱形ADBF的面积为40，求AC的长．