作OM⊥BC于M，连接OE，
则ME=MF=

1

2

EF，
∵AD=12，
∴OE=6，
在矩形ABCD中，OM⊥BC，
∴OM=AB=4，
∵在△OEM中，∠OME=90°，
ME=

OE2-OM2

=

62-42

=2

5

，
∴线段EF的长度为4

5

．