阅读理解：在平面直角坐标系中，若两点P、Q的坐标分别是P（x₁，y₁）、
Q（x₂，y₂），则P、Q这两点间的距离为|PQ|=．如P（1，2），Q（3，4），则|PQ|==2．
对于某种几何图形给出如下定义：符合一定条件的动点形成的图形，叫做符合这个条件的点的轨迹．如平面内到线段两个端点距离相等的点的轨迹是这条线段的垂直平分线．
解决问题：如图，已知在平面直角坐标系xOy中，直线y=kx+交y轴于点A，点A关于x轴的对称点为点B，过点B作直线l平行于x轴．
（1）到点A的距离等于线段AB长度的点的轨迹是 ；
（2）若动点C（x，y）满足到直线l的距离等于线段CA的长度，求动点C轨迹的函数表达式；
问题拓展：（3）若（2）中的动点C的轨迹与直线y=kx+交于E、F两点，分别过E、F作直线l的垂线，垂足分别是M、N，求证：①EF是△AMN外接圆的切线；②为定值．