1. (2017九上·深圳期中) 如图，四边形ABCD为矩形，O为AC中点，过点O作AC的垂线分别交AD、BC于点E、F，连接AF、CE．

1. （1） 求证：四边形AFCE是菱形．
3. （2） 若AC=8，EF=6，求BF的长.