在矩形ABCD中，AB=4，BC=m(m>1)，点E，F分别在边AD，AB上．AE=1，

[特例感知]如图1，当m=3时，若AF：FB=1：3，求证：△AEF∽△BCF；

[变式探究]如图2，当m=3.5时，若以点B，F，C为顶点的三角形与△AEF相似，求AF的长；

[理解操作]请你用直尺和圆规在如图3的AB边上找出所有以点B，F，C为顶点的三角形与△AEF相似的点F(不需要写作法，保留画图痕迹)，