1. (2017·承德模拟) 如图：在平行四边形ABCD中，用直尺和圆规作∠BAD的平分线交BC于点E（尺规作图的痕迹保留在图中了），连接EF．

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