1.
如图，菱形ABCD中，
， 
.点E为对角线AC（不含A ， C点）上任意一点，连接DE ， 将
绕点A逆时针旋转60°得到
， 连接BE.
(1)
证明：
；
(2)
设
， 请直接写出y的最小值.
【考点】
两点之间线段最短;
三角形全等及其性质;
三角形全等的判定;
等边三角形的判定与性质;
勾股定理;
菱形的性质;
旋转的性质;
