旋转的性质;平行线的判定与性质;菱形的判定;锐角三角函数的定义.
(1)先根据等腰三角形两底角相等以及三角形内角和定理求出∠A
1=∠A=30°,再根据旋转角为30°得到∠ABA
1=30°,从而得到∠A
1=∠ABA
1,然后根据内错角相等,两直线平行可得A
1C
1∥AB,同理AC∥BC
1,最后根据平行四边形的定义以及菱形的定义即可证明;
(2)过点E作EG⊥AB于点G,根据等腰三角形三线合一的性质可得AG=
AB=
,再利用锐角三角形函数求出AE的长度,然后根据ED=AD-AE代入数据进行计算即可求解.
本题考查了旋转变换的性质,等角对等边的性质,平行四边形的判定,菱形的判定,等腰三角形的性质以及锐角三角形函数值,经过角度的计算得到相等的角是解题的关键.
证明题;压轴题.