25.在正方形ABCD中,点E是直线BC上一点,∠AEF=90°,且EF交正方形外角的平分线CF于点F.
(1)如图1,若点E是BC的中点.求证:AE=EF;
(2)如图2,若点E是BC边上任意一点(不含B,C),结论“AE=EF”还成立吗?若成立,请证明;若不成立,请说明理由;
(3)如图3,若点E是BC延长线上任意一点,结论“AE=EF”还成立吗?若成立,请证明若不成立,请说明理由;
(4)如图4,在平面直角坐标系xOy中,点O与点B重合,正方形的边长为4,若点F恰好落在直线y=
x+7上,请直接写出此时点E的坐标.