连接DE,设AE=x,则DE=BE=8-x,AD=6
在Rt△ADE中,6^2+x^2=(8-x)^2,解得x=1.75
在Rt△BOE中,BE=6.25,OB=5,OE^2=6.25^2-5^2,解得OE=3.75
从而得到EF=2OE=7.5