本题导读

本题考查数列性质的定义理解、等差等比数列的运算,以及充要条件的证明。核心在于紧扣“性质 P”的定义进行推理。

📌【题干】

Question

(2016年上海卷(理)) 若无穷数列 满足:只要 (),必有 ,则称 具有性质 .

(1)若 具有性质 ,且 ,,求 ;

(2)若无穷数列 是等差数列,无穷数列 是公比为正数的等比数列,,,,判断 是否具有性质 ,并说明理由;

(3)设 是无穷数列,已知 (),求证:“对任意 , 都具有性质 ”的充要条件为“ 是常数列”.

🔍【思路分析】

破题导航

  1. 第一问(利用相等项的传播):由 及性质 ,可得 、、,代入 解出 。
  2. 第二问(验证定义):先由等差数列、等比数列条件求出 的通项,再检验是否满足性质 (可寻找“值相等但后继不等”的反例)。
  3. 第三问(充要条件):
  • 充分性:若 是常数列,则递推式 只依赖 ,相等的 必推出后继相等。
  • 必要性:反证,若 不是常数列,则存在 ;利用 的有界性构造 使 但 ,破坏性质 。

点击查看答案

命题得证

✍【详细解析】

Abstract

解:

(1)由 ,且 具有性质 ,得 ,,。 又 ,,故 ,。 代入 ,得 ,解得 。 所以 。

(2) 为等差数列,,,得 ,故 。 为公比为正数的等比数列,,得 ,故 。 于是 。

计算前几项:,,,。 因为 ,但 ,不满足性质 的定义。 故 不具有性质 。

(3)先证充分性。若 是常数列,即存在常数 使 ,则 。 若 ,则 ,于是 。 故对任意 , 都具有性质 。

再证必要性。用反证法。假设 不是常数列,则存在 使 。 由 可知 ,故 ()的各项落在有界区间内。 考虑以 为变量的连续函数 。当 取足够大或足够小时,可利用 的有界性与 说明 在两端异号,由零点存在定理,存在 使 ,即 。 但此时 与 ,因 而 ,即存在 但后继不等, 不具有性质 ,与题设矛盾。 故 必为常数列。

综上,命题得证。

💡【考点归纳与避坑指南】

Danger

  • 性质 P 的本质:它要求“后继关系”是单值的——相等的项其后继也必须相等,可把相等关系沿下标向后传递。
  • 第二问的检验技巧:判断是否具有某性质,只需构造一个反例即可否定,不必逐个验证。
  • 充要条件的证明结构:必须“充分性”与“必要性”双向证明;必要性常用反证法。

📖【试题探源与推广】

Tip

  • 知识关联:性质 与“递推函数决定序列”的思想相通,第三问中 的有界性是构造反例的关键。
  • 变式思考:若把 换成 或其他有界函数,第三问的结论是否仍成立?可引导学生辨析有界性在证明中的作用。

🔗【关联脉络】

Multi column