2.如图,在正方形ABCD中,.求证:.
证明:设CE与DF交于点O,
∵四边形ABCD是正方形,
∴ , .
∴.
∵ ,
某数学兴趣小组在完成了以上解答后,决定对该问题进一步探究
【问题情境】
如图,在正方形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.