基本模型
如图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的最大值；