问题情境:在一次综合实践活动课上,同学们以菱形为对象,研究菱形旋转中的问题:
已知,在菱形ABCD中,BD为对角线, ,AB=4,将菱形ABCD绕顶点A顺时针旋转,旋转角为 (单位°).旋转后的菱形为 .在旋转探究活动中提出下列问题,请你帮他们解决.
求作:菱形 .
作法:①作线段;
②作线段的垂直平分线 , 交于点;
③在直线上取点 , 以为圆心,长为半径画弧,交直线于点(点与点不重合);
④连接、、、 .
所以四边形为所求作的菱形.
根据小明设计的尺规作图过程,
证明: , ,
▲ .
▲ ,
四边形为菱形 (填推理的依据).