有限数列 An:a1,a2,⋅⋅⋅,an(n⩾3)同时满足下列两个条件: ① 对于任意的 i,j(1⩽i<j⩽n),ai<aj; ② 对于任意的 i,j,k(1⩽i<j<k⩽n),aiaj,ajak,aiak 三个数中至少有一个数是数列 An 中的项.
1、若 n=4,且 a1=1,a2=2,a3=a,a4=6,求 a 的值.
2、证明:2,3,5 不可能是数列 An 中的项.
3、求 n 的最大值.
解析
1、根据题意,2a,12,6a 中至少有一个是数列的项,而 2<a<6,于是 a=3.
2、若 2,3,5 是数列 An 中的项,那么 An 中必然包含 6,10,15 中的至少一个,因此数列 An 中含有至少 4 个大于 1 的数.接下来证明,数列 An 中至多有 3 个大于 1 的数.否则,考虑数列中最大的 4 个数,有 an>an−1>an−2>an−3>1,此时 an−1an−2 与 an−1an−3 均大于 an−1,因此有an−1an−2=an−1an−3=an⟹an−2=an−3,
矛盾. 综上所述,原命题得证.
3、利用第 (2) 小题的证明方法,可以证明数列 An 中至多有 3 个绝对值大于 1 的数,同时,至多有 3 个绝对值小于 1 且不为零的数.再加上绝对值为 1 的数和 0,数列 An 中至多有 9 个数.接下来给出 9 个数的例子:A9:−4,−2,−1,−12,−14,0,12,1,2.
综上所述,n 的最大值为 9.