∵四边形ABCD是矩形，
∴∠ADC=90°，AD=BC=8，CD=AB=4．（1分）
设DE=x，那么AE=CE=8-x，（1分）
∵在Rt△DEC中，CE²=DE²+CD²，（1分）
∴（8-x）²=x²+4²，（1分）
∴x=3．（1分）
∴CE=8-x=5．（1分）
∵四边形ABCD是矩形，∴O为AC中点．（1分）
又∵F是AE的中点，∴OF＝

1

2

CE＝

5

2

．（1分）