延长EO交AD于E',延长FO交AB于F',则:OE=OE',OF=OF'
由于OE垂直OF,
所以:四边形EFF'E'是棱形,
所以:EF=EF'
由三角形F'BO和三角形FDO全等得:F'B=FD=2,
所以:F'E^2=(F'B^2)+(BE^2)=4+16=20
所以:EF=EF'=20=2(√5)
延长EO交AD于E',延长FO交AB于F',则:OE=OE',OF=OF'
由于OE垂直OF,
所以:四边形EFF'E'是棱形,
所以:EF=EF'
由三角形F'BO和三角形FDO全等得:F'B=FD=2,
所以:F'E^2=(F'B^2)+(BE^2)=4+16=20
所以:EF=EF'=20=2(√5)