1. (2020八下·建安期中) 如图：在平行四边形ABCD中，用直尺和圆规作∠BAD的平分线交BC于点E（尺规作图的痕迹保留在图中了），连接EF.

1. （1） 求证：四边形ABEF为菱形；
3. （2） AE，BF相交于点O，若BF＝6，AB＝5，求AE的长.