设函数 f(x)=[x] 的函数值表示不超过 x 的最大整数,则在同一个直角坐标系中,函数 y=f(x) 的图象与圆 (x−t)2+(y+t)2=2t2(t>0)的公共点个数可以是( )
A.1 个
B.2 个
C.3 个
D.4 个
答案 ABD.
解析 记题中圆为圆 T,圆心 T(t,−t),函数 f(x) 的图象由线段 PmQm(m∈Z,包含左端点不包含右段点)构成,其中 Pm(m,m),Q(m+1,m).考虑 Pm,Qm 与圆的位置关系,分别将 Pm,Qm 的坐标代入圆的方程,有pm=(m−t)2+(m+t)2−2t2=2m2,qm=(m+1−t)2+(m+t)2−2t2=2m2+2m+1−2t.
情形一 m=0.此时 pm=0,qm=1−2t,于是点 Pm 在圆上.因此当 t∈(0,12) 时,线段 P0Q0 与圆有 2 个公共点;当 t=12 时,线段 P0Q0 与圆有 1 个公共点;当 t∈(12,+∞) 时,线段 P0Q0 与圆没有公共点.
情形二 m≠0.此时 pm>0,于是点 Pm 在圆外.接下来证明
引理 当且仅当 Qm 在圆内时,线段 PmQm 与圆有唯一公共点,否则没有公共点.
引理的证明 当 Qm 在圆上以及圆内时引理显然成立.当 Qm 在圆外时,若线段 PmQm 与圆有公共点,则 T 在 PmQm 上的投影在线段内部,且 T 到 PmQm 的距离不大于圆 T 的半径,即{m<t<m+1,m+t⩽√2t,⟺{m<t<m+1,t⩾(√2+1)m,
回到原题 考虑 m=±1,±2,⋯ 时的分界点,依次为12,52,132,412,⋯,k2+k+12,⋯,
综上所述,正确的选项为 A B D.