1. (2017·巴彦淖尔模拟) 如图，在四边形ABCF中，∠ACB=90°，点E是AB边的中点，点F恰是点E关于AC所在直线的对称点．

1. （1） 证明：四边形CFAE为菱形；
3. （2） 连接EF交AC于点O，若BC=10，求线段OF的长．