(3)存在定直线与以AB为直径的圆相切,此直线即x轴,解析式是y=0.理由如下:交点A(x1,y1)、B(x2,y2)的坐标符合方程组:
y=kx−k+2
y=1
4
x2−
1
2
x+
5
4
,消掉y得,
1
4
x2-(
1
2
+k)x+k-
3
4
=0,∵x1+x2=2+4k,x1x2=4k-3,∴(x1-x2)2=(x1+x2)2-4x1x2=(2+4k)2-4(4k-3)=16k2+16,(y1-y2)2=k2(x1-x2)2=k2(16k2+16),∴AB=
(x1−x2)2+(y1−y2)2
=
(16k2+16)+k2(16k2+16)
=4k2+4,∴以AB为直径的圆的半径为2k2+2,∵AB的中点是(
x1+x2
2
,
y1+y2
2
),
x1+x2
2
=
2+4k
2
=2k+1,
y1+y2
2
=
k(x1+x2)
2
-k+2=k(2k+1)-k+2=2k2+2,∴AB的中点,即以AB为直径的圆的圆心坐标为(2k+1,2k2+2),∵圆心到x轴的距离刚好等于半径,∴存在定直线与以AB为直径的圆相切,此直线即x轴,解析式是y=0