根据圆周角定理得，∠AEC=

1

2

∠AOC=45°，
∵∠ABF=∠AEC=45°，
∴点F与点C或D重合；
当点F与点C重合时，设直线BF解析式y=kx+b，
则

b＝1 k+b＝0

，解得

k＝−1 b＝1

∴直线BF的解析式为y=-x+1，
当点F与点D重合时，同理可得y=x-1．