2. 如图,正方形 $ABCD$ 的对角线 $AC$,$BD$ 交于点 $O$,以 $AB$ 为边作 $Rt△ ABE$,且 $∠ AEB = 90^{\circ}$,将 $△ ABE$ 绕点 $O$ 旋转 $180^{\circ}$ 得到 $△ CDF$。
(1) 在图中画出 $△ CDF$,并简要说明作图过程;
(2) 若 $AE = 12$,$AB = 13$,求 $EF$ 的长。

答案:2.解:(1)如答图,连接EO并延长到点F,使OF=OE,连接DF,CF,得到△CDF.
(2)如答图,过点O作OG⊥OE,与EB的延长线交于点G.
∵四边形ABCD为正方形,
∴OA = OB,∠AOB = ∠EOG = 90°,
∴∠AOE = ∠BOG。
在四边形AEBO中,∠AEB = ∠AOB = 90°,
∴∠EAO + ∠EBO = 180° = ∠EBO + ∠GBO,
∴∠GBO = ∠EAO。
在△EAO和△GBO中,{∠EAO = ∠GBO,OA = OB,∠AOE = ∠BOG}
∴△EAO ≌ △GBO(ASA),
∴AE = BG,OE = OG,
∴△GOE为等腰直角三角形,
∴OE = $\frac{\sqrt{2}}{2}$EG = $\frac{\sqrt{2}}{2}$(EB + BG) = $\frac{\sqrt{2}}{2}$(EB + AE)。
∵AE = 12,AB = 13,
∴BE = 5,
∴EB + AE = 17,
∴OE = $\frac{17\sqrt{2}}{2}$,
∴EF = 17$\sqrt{2}$。