閱讀與證明：
如圖，已知正方形ABCD中，E、F分別是CD、BC上的點(diǎn)，且∠EAF=45°，

求證：BF+DE=EF．
分析：證明一條線段等于另兩條線段的和，常用“截長(zhǎng)法”或“補(bǔ)短法”，將線段BF、DE放在同一直線上，構(gòu)造出一條與BF+DE相等的線段．如圖1延長(zhǎng)ED至點(diǎn)F′，使DF′=BF，連接A F′，易證△ABF≌△ADF′，進(jìn)一步證明△AEF≌△AEF′，即可得結(jié)論．
（1）請(qǐng)你將下面的證明過(guò)程補(bǔ)充完整．
證明：延長(zhǎng)ED至F′，使DF′=BF，
∵四邊形ABCD是正方形
∴AB=AD，∠ABF=∠ADF′=90°，
∴△ABF≌△ADF’（SAS）
應(yīng)用與拓展：如圖建立平面直角坐標(biāo)系，使頂點(diǎn)A與坐標(biāo)原點(diǎn)O重合，邊OB、OD分別在x軸、y軸的正半軸上．
（2）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)E為CD中點(diǎn)時(shí)，試問(wèn)F為BC的幾等分點(diǎn)？并求此時(shí)F點(diǎn)的坐標(biāo)；
（3）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)EF最短時(shí)，直接寫出直線EF的解析式：______．

閱讀與證明：    
如圖，已知正方形ABCD中，E、F分別是CD、BC上的點(diǎn)，且∠EAF＝45 °，
求證：BF＋DE＝EF。
分析：證明一條線段等于另兩條線段的和，常用“截長(zhǎng)法”或“補(bǔ)短法”，將線段BF、DE放在同一直線上，構(gòu)造出一條與BF＋DE相等的線段。如圖1延長(zhǎng)ED至點(diǎn)F'，使DF'＝BF，連接A F'，易證△ABF≌△ADF'，進(jìn)一步證明△AEF≌△AEF'，即可得結(jié)論。
（1）請(qǐng)你將下面的證明過(guò)程補(bǔ)充完整。
證明：延長(zhǎng)ED至F'，使DF'＝BF，
∵ 四邊形ABCD是正方形
∴ AB＝AD，∠ABF＝∠ADF'＝90°，
∴ △ABF≌△ADF'（SAS）
應(yīng)用與拓展：如圖建立平面直角坐標(biāo)系，使頂點(diǎn)A與坐標(biāo)原點(diǎn)O重合，邊OB、OD分別在x軸、y軸的正半軸上。
（2）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)E為CD中點(diǎn)時(shí)，試問(wèn)F為BC的幾等分點(diǎn)？并求此時(shí)F點(diǎn)的坐標(biāo)；
（3）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)EF最短時(shí)，直接寫出直線EF的解析式：                 。

（2012•惠山區(qū)一模）閱讀與證明：
如圖，已知正方形ABCD中，E、F分別是CD、BC上的點(diǎn)，且∠EAF=45°，

求證：BF+DE=EF．
分析：證明一條線段等于另兩條線段的和，常用“截長(zhǎng)法”或“補(bǔ)短法”，將線段BF、DE放在同一直線上，構(gòu)造出一條與BF+DE相等的線段．如圖1延長(zhǎng)ED至點(diǎn)F′，使DF′=BF，連接A F′，易證△ABF≌△ADF′，進(jìn)一步證明△AEF≌△AEF′，即可得結(jié)論．
（1）請(qǐng)你將下面的證明過(guò)程補(bǔ)充完整．
證明：延長(zhǎng)ED至F′，使DF′=BF，
∵四邊形ABCD是正方形
∴AB=AD，∠ABF=∠ADF′=90°，
∴△ABF≌△ADF’（SAS）
應(yīng)用與拓展：如圖建立平面直角坐標(biāo)系，使頂點(diǎn)A與坐標(biāo)原點(diǎn)O重合，邊OB、OD分別在x軸、y軸的正半軸上．
（2）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)E為CD中點(diǎn)時(shí)，試問(wèn)F為BC的幾等分點(diǎn)？并求此時(shí)F點(diǎn)的坐標(biāo)；
（3）設(shè)正方形邊長(zhǎng)OB為30，當(dāng)EF最短時(shí)，直接寫出直線EF的解析式：．