小弟有道题不会做,几何会的帮帮我,急!

由点A与点C关于线段EF对称
则EF⊥AC
由Rt△ABC得AC=√（8×8+4×4）=4√5
由A与C关于EF对称得AO=CO
则OC=AC/2=2√5
由tan∠ACB=AB/BC=OE/OC
AB/BC=4/8=1/2
则OE/OC=1/2,又 OC=2√5得
OE=OC/2=√5
△AOF与△COE中由矩形ABCD得AF‖EC得∠OAF=∠OCE
又∠AOF=∠COE
OA=OC
得△AOF≌△COE(ASA)
得OE=OF,由OE=√5
得EF=OE+OF=2√5
（√表示根号）