已知菱形ABCD,∠A=60°,将一个60°角的顶点与点B重合,并绕着点B旋转,旋转过程中这个角的两边始终与AD交于E,

已知菱形ABCD,∠A=60°,将一个60°角的顶点与点B重合,并绕着点B旋转,旋转过程中这个角的两边始终与AD交于E,与DC交于F.（点E不与A、D重合）
（1）求证：BE=BF
（2）如果菱形的边长为8,设AE=x,三角形DEF的面积为y.求y关于x的函数解析式并写出定义域.