两数列相等项最大元素数

(1) 两个不同的非常数等差数列 $\{a_n\},\{b_n\}$：$a_n=a_1+(n-1)d_1$，$b_n=b_1+(n-1)d_2$，$d_1\neq 0$，$d_2\neq 0$，且数列不同（$d_1\neq d_2$ 或 $a_1\neq b_1$）。

$a_k=b_k$：$a_1+(k-1)d_1=b_1+(k-1)d_2$，即 $(a_1-b_1)+(k-1)(d_1-d_2)=0$。

若 $d_1=d_2$：$a_1-b_1=0$，即 $a_1=b_1$，数列相同，矛盾。故 $d_1\neq d_2$。

$k-1=\dfrac{b_1-a_1}{d_1-d_2}$，最多一个解。$|M|\leq 1$。$\checkmark$

(2) 两个不同的等比数列：$a_k=b_k$ 即 $a_1 r_1^{k-1}=b_1 r_2^{k-1}$，$\left(\dfrac{r_1}{r_2}\right)^{k-1}=\dfrac{b_1}{a_1}$。

若 $r_1=r_2$：$a_1=b_1$，数列相同，矛盾。$r_1\neq r_2$。

$\left(\dfrac{r_1}{r_2}\right)^{k-1}=C$（常数），$k-1=\log_{r_1/r_2}C$，最多一个解。但若 $C=1$（$a_1=b_1$），则 $k=1$ 且 $\left(\dfrac{r_1}{r_2}\right)^{k-1}=1$ 对 $k=1$ 成立。若 $\dfrac{r_1}{r_2}=-1$，则 $k-1$ 为偶数，$|M|=\infty$（所有奇数 $k$）。但 $r_1/r_2=-1$ 时 $a_n$ 和 $b_n$ 交替相等，数列不同。$|M|=\infty$。但题目说"无穷数列"且"非常数"。

若 $r_1/r_2$ 为单位根，则 $|M|$ 可大于 $2$。但实数范围内 $r_1/r_2=-1$ 给 $|M|=\infty$。

但题目限定"不同"的等比数列且"非常数"。$r_1/r_2=-1$，$a_1=b_1$：$a_n=a_1(-r)^{n-1}$，$b_n=a_1 r^{n-1}$。$a_k=b_k$ 当 $k$ 奇。$|M|=\infty$。

故 (2) 不一定 $|M|\leq 2$。(2) 错误。

(3) 等差与等比：$a_1+(k-1)d=b_1 r^{k-1}$。这是超越方程，最多 $3$ 个解（由代数方程理论）。但可构造更多解的反例？由指数函数与线性函数的交点分析，最多 $2$ 个正整数解。(3) 的 $|M|\leq 3$ 可能正确但非最优界。

(4) 递增与递减：$\{a_n\}$ 递增，$\{b_n\}$ 递减。$a_k-b_k$ 严格递增（$a_k$ 增 $b_k$ 减），最多一个零点。$|M|\leq 1$。$\checkmark$

答案

正确结论为 (1)(4)。