【问题情境】
如图,在正方形ABCD中,点E是线段BG上的动点,AE⊥EF,EF交正方形外角∠DCG的平分线CF于点F.
【探究展示】
(1)如图1,若点E是BC的中点,证明:∠BAE+∠EFC=∠DCF.
(2)如图2,若点E是BC的上的任意一点(B、C除外),∠BAE+∠EFC=∠DCF是否仍然成立?若成立,请予以证明;若不成立,请说明理由.
【拓展延伸】
(3)如图3,若点E是BC延长线(C除外)上的任意一点,求证:AE=EF.
如图1,在等边三角形内有一点 , 且 , , , 求的度数和等边三角形的边长.
李明同学的思路是:
将绕点逆时针旋转 , 画出旋转后的图形(如图 , 连接 .
如图3,在正方形内有一点 , 且 , , . 求度数和正方形的边长.
①线段BM、BN、AB之间满足的数量关系是________;
②四边形OMBN与正方形ABCD的面积关系是________;
请猜想:
①线段BM、BN与AB之间的数量关系是_________________;
②菱形OMBN与菱形ABCD的面积关系是________;
请你证明其中的一个猜想.
①________;(用含α的式子表示)
②________.(用含α的式子表示)