在△ABC中,∠C=90°,AC>BC,D是AB的中點(diǎn).E為直線AC上一動(dòng)點(diǎn),連接DE.過點(diǎn)D作DF⊥DE,交直線BC于點(diǎn)F,連接EF.
(1)如圖1,當(dāng)E是線段AC的中點(diǎn)時(shí),設(shè)AE=a,BF=b,求EF的長(zhǎng)(用含a,b的式子表示);
(2)當(dāng)點(diǎn)E在線段CA的延長(zhǎng)線上時(shí),依題意補(bǔ)全圖2,用等式表示線段AE,EF,BF之間的數(shù)量關(guān)系,并證明.