如图,∠ABC=45°,△ADE是等腰直角三角形,AE=AD,顶点A、D分别在∠ABC的两边BA、BC上滑动(不与点B重合),△ADE的外接圆交BC于点F,点D在点F的右侧,O为圆心.
(1)求证:△ABD≌△AFE
(2)若AB=4
2
13