小聪把△ABE绕点A逆时针旋转90°至△ADG,通过证明△AEF≌△AGF;从而发现并证明了EF=BE+FD.
①写出∠B′AD′与α的函数关系并给出证明;
②若α=30°,求菱形AD′C′B′的边长.
①依题意补全图1;
②求证:∠BAD=∠EDC;
③通过观察、实验,小明得出结论:在点D运动的过程中,总有∠DCE=135°,.
小明与同学讨论后,形成了证明这个结论的几种想法:
想法一:在AB上取一点F,使得BF=BD,要证∠DCE=135°,只需证△ADF≌△DEC.
想法二:以点D为圆心,DC为半径画弧交AC于点F,要证∠DCE=135°,只需证△AFD≌△DCE.
想法三:过点E作BC所在直线的垂直线段EF,要证∠DCE=135°,只需证EF=CF.
…
请你参考上面的想法,证明∠DCE=135°