一道高考数学试题的高数背景

1 一道高考数学试题的高数背景 廖运章 朱亚丽 广州大学 数学与信息科学学院 510006 2009 年湖南高考数学理科第 21 题是这样的 对于数列 若存在常数 M 0 对任意的 恒有 nu Nn 则称数列 为 B 数列 1121 nuu u I 首项为 1 公比为 的等比数列是否为 B 数列 请说明理由 q II 设 是数列 的前 项和 给出下列两组论断 nS nx A 组 数列 是 B 数列 数列 不是 B 数列 nx B 组 数列 是 B 数列 数列 不是 B 数列 nS 请以其中一组中的一个论断为条件 另一组中的一个论断为结论组成一个命题 判断所 给命题的真假 并证明你的结论 III 若数列 都是 数列 证明 数列 也是 数列 nabB nabB 注 令 I 的 III 中的 其他不变 即为 2009 年湖南高考数学21 qnb 文科第 21 题 以下只讨论理科题 并简称为本试题 不难发现 这道文理压轴题以开放题的形式 用数列 不等式知识作载体 考查归纳 猜想 逻辑推理等重要数学思想方法 具有深刻的高等数学背景 来源于数学分析中的有 界变差数列 与实变函数中的有界变差函数一脉相承 1 命题渊源 1 1 命题背景 事实上 本试题直接来源于吉米多维奇的 数学分析习题集 的第 86 题 原题及解答 如下 NO 86 若存在数 C 使得 则称叙21321 2 3 nxxxC 列 有有界变差 证明凡有有界变差的叙列是收敛的 举出一个收敛叙列而无 1 23 nx 有界变差的例子 2 证 令 则叙列2132431 23 n nnyxxx 是单调增加且有界 所以它是收敛的 根据哥西收敛准则 对于任给 存在数 ny 0 N 使当 时 即 m mny 121mmnxxx 而对于叙列 有 nx12nx 12 mmn 所以 叙列 是收敛的 n 叙列 它是以 0 为极限的收敛叙列 但它不是有11 23n 界变差的 事实上 而21324321243211 23n nxxxxxn 序列 是发散的 又是递增的 故 于是1n 不是有界的 因而收敛叙列 213221nxxx nx 无有界变差 1 另例 若令 则因 11123 nknx pnnxnnp 1 312n 1413 故由柯西判别法知 存在 然而 即 并非有界limnx 123nSn nx 变差叙列 2 随后 我国许多数学分析教科书 参考书先后将之稍作修改变形收入其中 如武汉大 学数学系主编的 数学分析 人民教育出版社 1978 年 P 237 的 NO 3 裴礼文的 数 学分析中的典型问题与方法 高教出版社 2006 年 刘玉琏的 数学分析辅导讲义 高教出版社 2001 年 P57 第 20 题 孙涛的 数学分析经典习题解析 高教出版社 2003 年 刘名生 冯伟贞 韩彦昌的 数学分析 一 科学出版社 2009 年 P34 的 NO 13 等等 有的还冠以 有界变差数列收敛定理 的名称 比较典型的问题形式有华东 3 师范大学数学系的 数学分析 3 其 P40 的第 6 题为 若数列 满足 存在正数 M 对一切 n 有 na 证明 数列 与 都收敛 21321n nAa naA 1 2 命题技术 从高考数学命题技术看 一是通过语言转换 将高中生不熟悉的高等数学术语 有界 变差数列 用其英文简写 数列 bounded variation sequence 这一新定义替代 B 高数语言初等化 保持原题条件不变 改变其结论 原题第 2 问的否定即是本试题的 I 以考查有界变差数列性质的目的 避开考生不能为之的收敛数列证明 试题的信息形态有 一定新意 二是在解题思想方法上 本试题的解法与原题一样 都要求正确把握新定义 数列 的内涵并灵活运用绝对值不等式的插值法 添减项 更是高等数学中的常用估B 值技巧 涉及压缩映射原理的 2006 年广东高考数学理 20 题 的证明就曾用到该估值技 巧 近年来 依托高等数学背景 通过高等数学语言初等化等形式 将高等数学问题的提 法转化为中学生可接受的语言来编拟高考数学试题是一种常见的命题方法 而中学数学和 大学数学的衔接点则往往成为命题的焦点 如单调有界定理是数学分析中判定数列收敛的 一个奠基性定理 与中学的数列 不等式等知识联系紧密 以此背景编拟本试题就不出意 料 2 解法探究 2 1 I 的解法 本试题 I 比较简单 只要现场认真阅读有关条件并仿照新定义进行验证即可 设满 足题设的等比数列为 则 于是 na1nq 21 nnaq 因此 n1 2a121 nqq q 即 故首项为 1 21 q 11 nna 公比为 的等比数列是 B 数列 q 2 2 II 的解法 II 是一个开放性问题 给考生思考的空间大 A B 两组可以组成八个命题 由原命题与逆否命题的等价性可知 与 和 与 与 是互为逆否命题 4 所以本试题的八个命题可以归结为 这四个命题 但命题 2 真则命题 4 假 反之亦可 故问题 II 实质上是要判断下列命题的真假 命题 1 若数列 是 B 数列 则数列 是 B 数列 nx nS 命题 2 若数列 是 B 数列 则数列 是 B 数列 Sx 命题 3 若数列 不是 B 数列 则数列 是 B 数列 nxn 命题 1 为假命题 事实上 设 易知数列 是 B 数列 但 1 nN nxnS 且 由 的任意性知 数列12nnSSS 2nx 不是 B 数列 对于命题 2 因为数列 是 B 数列 所以存在正数 M 对任意的 有 n Nn 即 于是1121 nnSSS 12 nxx xxx 112n x 所以数列 是 B 数列 命题为真 n 命题 3 为假命题 考虑其逆否命题 若数列 不是 B 数列 则数列 nS 是 B 数列 其实 举一反例如令 即知 为假命题 nx 2nS 2 3 的证法 若数列 都是 数列 则存在正数 对任意的 有 nabB 1M2 nN 1121 n a 1212 nnbabM 注意到 nn 12 aa 同理 21nbM 记 则有1K 22KMb 111nnnnnababab 11nnnnabk 故 数列 是 数列 1 21212 M nB 5 3 试题拓展 综上讨论 本试题主要探究有界变差数列的定义与个别性质 属于初等数学研究范畴 高中生是完全可以接受的 而吉米多维奇的原题侧重于研究有界变差数列的敛散性 是大 学数学的教学内容 其实 有界变差数列与有界变差函数密切相关 有界变差函数是通过有 界变差数列定义的 它们有许多相似性质 以下从纵向深入探究有界变差数列的若干性质 并从横向拓展 举例说明有界变差函数 所有讨论均限制在初等数学范围内 3 1 有界变差数列的性质 一般地 设有数列 若存在正数 对任意的 有 naM Nn na1 则称数列 为有界变差数列 1 na 12 na 有界变差数列又称囿变数列 在分析学中有广泛应用 以下是一些高中生能理解的有 界变差数列的性质 4 性质 1 若数列 为有界变差数列 则 必是有界数列 nan 证明 设数列 为有界变差数列 则存在一个正常数 对于任意的 都有MnN 而Manii 1 121aann 1n 12a 取 存在一个常数 对于任何一个 都有 11CC Cn 所以 是有界数列 na 性质 2 若数列 为单调递增 递减 有界数列 则 必为有界变差数列 n na 证明 不妨设 单调递增有界 因为 naMan 111 aMnii 取 即 为有界变差数列 1MC Cii 1 n 注意 性质 2 的逆命题不成立 如数列 易验证它是有界变差数列 显 210 然不是单调数列 性质 3 设数列 若存在 对任何 有 则数列 必为有 naMnN Ma ni 1 na 界变差数列 6 证明 对任何 nN Maaninini 2111 性质 4 设数列 都是有界变差数列 为常数 则 nb na nb 均是有界变差n n0 nanba mx nba i 数列 证明 仅证 其余请读者一试 此时 只需证 为有界变差数列 再据 即可 nb1 21111 iiiiiiii bbb 2121 Mbniinii 从而 为有界变差数列 n 性质 5 数列 为有界变差数列 可以表示为两个单调有界数列之差 na na 证明 显然 设 是有界变差数列 令 显然 均为有界 1112nniinax 1112nniinay nxy 变差 又 0 2 111111 nnnniinin aax 同理可得 故 都是单调有界数列 0 ny nxy 性质 6 若数列 满足条件 称数列a 10 3 11 rnarn 为压缩变差数列 则压缩变差数列必为有界变差数列 na 证明 11 nnr 21211 nnn arr 从而 21rn aa 2 ra 其中 故数列 为有界变差数列 Mran 1212 r 1 n 7 3 2 有界变差函数举例 有界变差函数是分析中较重要的函数类 它起源于求曲线的长度 在微分与积分的研 究中起重要作用 下面通过数学问题解决的方式 举例说明 问题 1 设 是定义在 上的函数 用分点 xf ba bxxaTnii 110 将区间 任意划分成 个小区间 如果存在一个常数 使得和式 bn0 M 恒成立 则称 为 上的有界变差函数 Mxffni ii 11 ni 2 xf ba 记作 这里 表示在 上的全体有界变差函数的集合 若无特别 baBVf ba 约定 以下讨论都基于此记号 I 函数 在 上是否为有界变差函数 请说明理由 2 xf 1 0 II 设函数 是 上的单调函数 证明 ba baBVf III 若定义在 上的函数 满足 存在常数 使得对于任意的 xfk1x 时 证明 2bax 2121 kxff f 解 I 函数 在 上是增函数 对任意划分 0 T 1 0 111 fxfxfxf nniii 取常数 则和式 恒成立 所以函数 MMffni ii 11i 2 在 上是有界变差函数 2 xf 1 0 II 不妨设函数 是 上的单调增加 对任意划分 xf ba T 1011 afbxffx nniii 一定存在一个常数 使 故 MMaf BV III 对任意划分 取常数 T 11 kxkxniiniii 由有界变差函数定义知 abkM bf 问题 2 1 设 求证 是 上的有界函数 baBVf xa 8 2 设 求证 baBVgf baBVgf baBVgf 0 xf 3 设 且 是任意两个常数 求证 f f 注 此问题类似于性质 1 和性质 4 的证法 请读者给不妨一试 此略 问题 3 若 为 上的有界变差函数 试证 也是 上的有界变差 xf ba xf ba 函数 反之 若 为 上的有界变差函数 是否为 上的有界变差函数 f 请说明理由 解 对 的任意划分 存在常数 使和式 baT0 MMxffni ii 11 是 上ni 21 xffxffni iini ii 111 f ba 的有界变差函数 反之 就不一定成立 如函数 作 的划分 0 中 的 有 理 数 为 中 的 无 理 数 为xf 1 0 T 则和式 显1241210 nn nxfniii 42 11 然 不存在一个常数 使对任意的 恒成立 故 不是 上0 MnN M 4f 0 是有界变差函数 但若函数 显然 是有界变差函数 5 1 xf 0 xf 总之 借用或包装高等数学概念 用初数语言叙述高等数学原理 保持数学解题思想 方法一致等 高等数学语言初数化以编拟高考数学试题 是当前高考数学命题惯用的重要 手法之一 在于考查学生数学现场阅读理解等学习潜能以及数学创新意识 不容忽视 参考文献 1 吉米多维奇著 费定辉 周学圣编演 数学分析习题集题解 M 济南 山东科学技术出版社 1980 2 吉米多维奇著 曹敏谦译 数学分析习题集题解 M 上海 上海交通大学应用数学系编印 1979 3 华东师范大学数学系 数学分析 第 3 版 M 北京 高等教育出版社 2001 4 胡玲 关于囿变数列及其特征的若干主注记 J 安徽广播电视大学学报 自然科学版 2007 01 5 上海师范大学数学系 实变函数与泛函分析 上册 M 上海 上海科技教育出版社 1978 9