閱讀與證明:
如圖,已知正方形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)你將下面的證明過程補(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í),試問F為BC的幾等分點(diǎn)?并求此時(shí)F點(diǎn)的坐標(biāo);
(3)設(shè)正方形邊長(zhǎng)OB為30,當(dāng)EF最短時(shí),直接寫出直線EF的解析式:______