因?yàn)槭钦酆?所以四邊形EBFO是菱形,
設(shè)這個(gè)菱形的邊長(zhǎng)為x
所以O(shè)F=BF.
則：BF^2=FA^2+AB^2
即：x^2=(8-x)^+4^2
解得：x=5
CE=BC-BE=8-5=3
即：E（3,4）
F（5,0)
因?yàn)橹本€OBR的斜率=4/8=1/2：
所以直線EF的斜率=-2,
直線EF的關(guān)系式為：
y=-2x+10
驗(yàn)算：當(dāng)x=5時(shí),y=0,即E點(diǎn)E（5,0）
當(dāng)x=3時(shí),y=4,即F點(diǎn)F（3,4）