基本模型如图1,点A,F,B在同一直线上,若∠A=∠B=∠EFC=90°,易得△AFE∽△BCF.(1)模型拓展:如图2,点A,F,B在同一直线上,若∠A=∠B=∠EFC,求证:△AFE∽△BCF;(2)拓展应用:如图3,AB是半圆⊙O的直径,弦长AC=BC=4,E,F分别是AC,AB上的一点,若∠CFE=45°.若设AE=y,BF=x,求出y与x的函数关系式及y的最大值;