ch07-數列
{/* label: chap:ch07 */}
\begin{figure}[htbp]
\end{figure}
古印度“電诈”第一人的故事 古老的传說中,国际象棋的發明者向国王提出了一個看似谦卑的請求:在棋盘的第一個格子里放1粒米,第二個格子里放2粒,第三個格子里放4粒,之后每一個格子的米粒數都是前一個格子的两倍,直到填满全部64個格子.国王欣然應允,却不知自己许下了一個根本无法兑現的承诺.
這個序列 看似平淡无奇,但其增长速度是毁灭性的.僅到第20格,米粒數就超過了一百万;到第41格,就超過了当时全世界的米粒总产量.這串數字背后隐藏的规律是什么?我们能否不逐一相加,就计算出這64個格子上的米粒总數?
這個故事揭示了一种强大的數學對象,也就是數列,特别是等比數列.它描述了現实世界中從複利增长到细胞分裂等各种“利滚利”的現象.要理解和掌控這些現象,我们必须發展出一套係统的方法,来描述數列的每一項,并高效地计算它们的总和.
數學归纳法
{/* label: sec:ch07-s01 */}
在數學的探索中,我们常常從观察具體的例子開始.
如果你注意力惊人,不难注意到:前 個正奇數的和似乎总是等于 .但是, 我们如何能确定這個规律對所有正整數 :无論是 还是 都成立呢?验證再多的例子也无法構成一個真正的證明.我们需要一种方法,能從有限的验證出發,得出一個适用于无限情况的确定性结論.
這個强大的逻辑工具,就是數學归纳法.它是一座桥梁,连接着“归纳猜想”與“演绎證明”,是离散數學\footnote{离散數學是數學的几個分支的总称,研究基于离散空間而不是连續的數學结構. 與连續變化的实數不同,离散數學的研究對象——例如整數、圖和數學逻辑中的命題——不是连續變化的,而是拥有不等、分立的值. 因此离散數學不包含微積分和分析等“连續數學”的内容.}中最重要的證明方法之一,也是我们后續推導所有數列公式的逻辑基石.
设 是一個關于正整數 的命題.如果以下两個条件都被满足:
-
奠基步骤: 命題 對起始值 成立(通常 ).
-
归纳步骤: 假设命題對任意整數 成立(即 為真), 能够推導出命題對下一個整數 也成立(即 為真).
那么,我们可以断定,命題 對所有大于或等于 的整數 都成立.
數學归纳法的原理可以完美地用一排无穷无尽的多米诺骨牌来比喻.要让所有的骨牌都倒下,需要满足什么条件?
- 你必须推倒第一块骨牌. —— 這就是奠基步骤 .如果第一块不倒,连锁反應就无從谈起.
- 骨牌的排列必须保證,任意一块(第 块)倒下时, 都必定会撞倒下一块(第 块). —— 這就是归纳步骤 .它保證了“倒下”這個性質可以无休止地传递下去.
只要這两個条件同时满足,我们就可以放心地断言:整排骨牌,无論多长,都将依次倒下.
使用數學归纳法證明:對所有正整數 , 等式 成立.
證明: 设命題 為 .
当 时, 验證 是否成立. 等式左边為 . 等式右边為 . 因為左边 = 右边,所以 成立.第一块骨牌被推倒了.
假设当 ( 為任意整數) 时命題成立.即,我们假设
我们需要利用這個假设,證明当 时命題也成立.即,我们需要證明
接着開始我们的推導.我们的目標是變換目標等式的左边,直到它等于右边.
推導完成.這證明了如果第 块骨牌倒下, 它必然会推倒第 块.
根据奠基步骤和归纳步骤,由數學归纳法原理可知,命題 對所有正整數 均成立.
需要注意的是归纳假设不是循环論證:我们在归纳步骤中,并不是“假设了结論”来“證明结論”.我们證明的是一個条件命題:“如果 成立, 那么 成立”.我们并没有直接断言 成立,而是把它作為一個前提条件,来證明這個“传递”的過程是有效的.而且两步缺一不可: 只有奠基步骤,我们只能證明命題對起始值成立,无法推廣;只有归纳步骤,我们只證明了“如果一块倒下,下一块也会倒”,但如果第一块就没倒,那么什么都不会發生.
接着我们继續探索一些有趣的應用,如此,你方能理解數學归纳法的强大之处.
證明:当实數 时, 對所有整數 , 不等式 成立.
證明: 设命題 為 .
当 时, 我们需要验證 . 不等式左边為 . 不等式右边為 . 由于 恒成立, 所以 成立.
假设当 () 时命題成立,即
證明当 时命題也成立, 即需要證明 .
我们從目標不等式的左边開始推導:
根据归纳假设,我们有 . 又因為題目条件 , 所以 . 将一個不等式的两边同乘以一個正數,不等号方向不變.因此:
由于 且 (任何实數的平方都非负), 所以 . 因此,我们有
通過传递性,我们将以上两個不等式连接起来:
從而得到
這正是我们的归纳目標.
由數學归纳法原理,命題對所有整數 成立.
此即伯努利不等式.
證明:對所有正整數 , 表达式 能被 整除.
證明: 设命題 為“ 能被 整除”.
当 时, . 能被 整除, 所以 成立.
假设当 () 时命題成立. 這意味着 是 的倍數, 我们可以将其寫作 , 其中 是某個整數. 由此得到一個關键的代換關係:.
證明当 时命題也成立, 即證明 能被 整除.
我们對目標表达式進行變形,以创造使用归纳假设的机会:
由于 是整數, 所以 也一定是整數. 因此, 可以表示為 與一個整數的乘積, 這正是“能被 整除”的定義.
由數學归纳法原理,對所有正整數 , 都能被 整除.
后面,当谈到新定義的时候,我们还会回来再探數學归纳法. 接着让我们暂停一下,来认识两個新符号,有助于我们簡化运算.
\texorpdfstring{ 和 符号
{Summation and product notation}} {/* label: sec:ch07-s02 */} 在我们進入數列前,我们預料到的一個可能会反複出現的核心操作便是计算數列中许多項的总和或总乘積.例如,要表达“前100個正整數的和”,寫出 尚可接受, 但如果要表达一個更抽象或更长的和, 比如 , 這种寫法就显得冗长且不够精确.為了簡洁、清晰、无歧義地表达這种运算, 數學家引入了两個强大的符号:求和符号 () 和连乘符号 ().
一個數列 從第 項到第 項的和 (其中 ) 可以用求和符号 (Sigma) 紧凑地表示為:
這里:
- 被称為求和指標.它是一個哑變量, 或者說是“工具人”, 可以用任何其他不引起混淆的字母代替, 如 等.
- 是求和的下界,即求和指標的起始值.
- 是求和的上界,即求和指標的终止值.
- 是被求和的通項.
- 前100個正整數的和: .
- 前 個正奇數的和: .
- 等差數列前 項和: .
與求和符号類似,一個數列 從第 項到第 項的積 可以用连乘符号 (Pi) 表示為:
其各部分的名称與求和符号類似,分别為连乘指標、下界和上界.
- 階乘: .
- 等比數列前 項的積: .
掌握這些符号的运算法则是進行複杂计算的關键.它们继承了加法和乘法的基本定律,如分配律、结合律和交換律.
设 為數列, 為常數.
- 常數倍數法则:
注意连乘时,常數 被乘了 次.
- 加法/乘法法则:
- 拆分法则: 對于任意整數 满足 :
- 指標平移: 這是一個極為有用的技巧.
這相当于做了一個變量代換 .
下面我们来“细說”這些法则.
运算法则
\paragraph{線性性質} 這是求和符号最重要的性質,它允许我们将複杂的求和分解為若干個簡單的部分. 该性質僅适用于求和符号.
其中 是與求和指標 无關的常數. 這個性質可以看作是“常數可提出”和“逐項求和”两条规则的结合.
利用等差數列求和公式计算 .
解析: 直接将通項 看作一個首項為 , 末項為 的等差數列求和当然可以. 但我们也可以利用線性性質,将其分解為更基本的求和.
我们知道两個基本求和公式: . .
将它们代入:
這個结果與直接用等差數列求和公式 得到的结果完全一致.
求和的線性性質不适用于乘積. 一般来說:
例如, , 但 .
连乘符号没有線性性質. 一般来說:
\paragraph{指標平移} 這是一個極其强大的技巧,它允许我们通過改變求和的起点和终点,来簡化求和式内部的表达式,使其變為我们熟悉的形式. 這好比在解方程时進行“換元”.
基本思想是,令新的指標 與旧的指標 存在一個簡單的線性關係, 如 或 .
在替換时,要同时更新:下界、上界和通項中的變量.
计算和式 .
解析: 這個和式的通項是 , 上下界也比较奇特. 我们希望把它變成 的標准形式.
進行換元,令新指標 .
接着我们更新三要素:
-
下界: 当旧指標 时, 新指標 .
-
上界: 当旧指標 时, 新指標 .
-
通項: 變為 .
于是,原来的和式就转化為:
這是一個我们熟知的平方和公式(我们将在后續章节證明):
通過一次簡單的指標平移,我们将一個看起来陌生的和式转化為了一個標准公式.
\paragraph{嵌套求和} 当求和的通項本身又是一個求和时,就構成了嵌套求和.
当内层求和的上下界 () 與外层指標 () 无關时,我们可以自由地交換求和次序.
理解這個性質的最佳方式是想象一個 的數字矩陣\footnote{当然,高中數學不學這個.}. 上述等式无非是說:“先按行求和再把各行之和加起来”與“先按列求和再把各列之和加起来”的结果是相等的.
證明:.
證明: 我们從左边開始. 将第一個和式看作一個整體 .
根据求和的線性性質,可以把常數 乘入第二個和式内部.
接着将 代回.
對于内层的和 , 變量 是一個常數,所以同样可以将其乘入.
這就得到了我们想要的嵌套求和形式. 這個恒等式在概率和统计中计算期望和方差时非常有用.
\paragraph{裂項求和與求積} 這是最巧妙的求和技巧之一,我们后續会用專门的章节来探讨. 這里的核心是用和符号来表达它的本質.
- 裂項求和: 如果通項可以表示為 ,那么
中間的項 與 等前后抵消,如同收起的望远镜.
- 裂項求積: 如果通項可以表示為 ,那么
下面来看一些有趣的應用(不要求掌握).
有趣的應用*
计算和式 .
解析: 观察這個和式,通項是 , 求和指標從 到 . 這與我们熟知的立方和公式 形式非常接近.這启發我们使用指標平移,将它化為標准形式.
我们進行換元,令新指標 .
接着更新求和的三要素:
-
下界: 当旧指標 时, 新指標 .
-
上界: 当旧指標 时, 新指標 .
-
通項: 變為 .
經過代換,原和式转化為一個我们非常熟悉的形式:
利用立方和公式(我们将在后續章节中證明),我们得到:
這個例子完美地展示了指標平移的威力:一個簡單的代換就能将一個看似需要展開 的複杂問題,瞬間转化為一個標准公式的應用.
计算和式 .
解析: 這個通項 的形式暗示了裂項求和的可能性.我们尝试使用待定係數法将其分解為部分分式.
通分得到 . 令 , 得 . 令 , 得 .
因此,通項可以被分解為:
接着,我们将這個分解式代回原和式:
這是一個間隔的裂項求和.我们寫出前几項和后几項来观察抵消规律:
可以發現,從第三項開始, 與 抵消, 與 抵消,以此類推.最终,只有開头的两項正數和结尾的两項负數无法被抵消.
留下的項是:
所以最终结果為:
计算二重和 .
解析: 這個和式的内层 的求和范围依赖于外层指標 ,這使得直接计算内层和變得困难.這种情况下,一個極其有效的策略是交換求和次序.
首先,我们分析求和的范围.指標 需要满足的条件是 . 我们可以将這些指標對想象成一個二維平面上的点.当前的求和顺序是:先固定 , 然后 從 扫到 (按行求和).
為了交換次序,我们改為:先固定 , 然后看 的取值范围. 從条件 中,我们可以看到:
-
的取值范围是從 到 .
-
對于一個固定的 , 的取值范围是從 到 .
于是,我们得到等价的求和形式:
接着,奇迹發生了.對于内层的和 , 表达式 是一個與指標 无關的常數,可以被提出来.
内层的和是標准的等差數列求和:
将其代回:
這個最终的和式極其簡單,就是将 個 相加.
通過交換求和次序,我们将一個複杂的二重和問題转化為一個平凡的计算.
计算连乘積 (其中 ).
解析: 對于连乘積,我们的目標通常是利用裂項相消.因此,關键在于将通項進行因式分解. 我们使用立方差和立方和公式:
分解通項的分子和分母:
所以,每一項為:
直接观察這個形式,相消關係并不明显.我们尝试将它拆成两個部分的乘積:
第一個乘積是一個標准的裂項求積:
對于第二個乘積,令 . 那么 . 這個發現是問題的關键!通項的第二部分可以寫成 .
這是一個完美的裂項相消,只剩下最后一項的分子和第一項的分母:
接着,将两部分的结果乘起来:
计算和式 .
解析: 這個通項的分母 形式特殊, 是解决問題的突破口.我们可以通過配方法和平方差公式對其進行因式分解, 這是一种被称為“苏菲·热尔曼恒等式”\footnote{索菲·热尔曼恒等式是一個优雅的因式分解技巧, 其經典形式為 .其核心思想是通過“增項再减項”来配成一個平方差, 例如将 變為 .本例中對 的分解正是该思想的直接應用:.}的技巧.
分母被分解為 .
接着我们观察分子 . 注意到分母的两個因子之差為:
這恰好是分子的一個常數倍.這启發我们将通項進行裂項.
我们得到了一個可以裂項求和的形式.令 . 注意到 , 所以 .
因此,原和式變為:
接着计算首末两項: . .
代入即可得到最终结果:
這個問題展示了非標准因式分解在構造裂項求和中的妙用,是比较高階的技巧.
计算连乘積 .
解析: 直接将每一項相乘会非常複杂.连乘计算的關键第一步,通常是因式分解通項,以期發現可以裂項相消的结構.
通項為:
将此形式代入连乘積中:
為了看清相消的规律,我们把乘積展開:
我们可以重新组合這些因子,将分子和分母分别归類:
观察這两個分式,它们都呈現出大量的對消項. 第一個分式為:
第二個分式為:
因此,总的乘積為:
计算 .
解析: 這個乘積的通項是對數,其底數和真數都在變化.直接计算是不可能的.处理不同底數對數的乘積,一個標准思路是利用對數換底公式 , 将所有項统一到相同的底(例如自然對數 ).
通項 可以被改寫為 .
接着原乘積變為:
這是一個極其漂亮的裂項求積形式.我们将其展開:
可以清晰地看到,前一項的分子恰好是后一項的分母,它们会依次抵消.
最终只剩下第一項的分母和最后一項的分子:
再次利用換底公式(反向使用),或者直接计算:
一個看似複杂的對數连乘積,通過換底公式转化為了簡單的裂項相消.
计算 , 其中 .
解析: 這個连乘積涉及三角函數,通常的因式分解技巧不再适用.我们必须寻找三角恒等式来创造相消结構.關键的恒等式是正弦的二倍角公式:.
由此可得 .
這個公式的结構是裂項的理想形式:它将一個 項與两個不同角度的 項联係起来. 然而,我们的乘積中并没有 項.這就启發我们引入一個辅助乘子来启动這個连锁反應.最合适的乘子是與乘積中角度最小的項 配套的 .
令 . 我们给等式两边同乘以 :
我们看到,最小角度的 項合并成了一個角度大一倍的 項.這個過程可以持續下去:
我们得到了一個簡洁的等式:
由于我们假设了 , 我们可以解出 :
這种“无中生有”地引入辅助乘子来構造裂項的方法,是解决许多三角函數求積問題的利器.
计算 .
解析: 與第一題類似,我们首先對通項進行代數變形.
對分子進行因式分解:
我们将這個分式巧妙地分组,使得每一组都構成一個簡單的裂項结構.
接着,原连乘積可以被拆分為两個连乘積的乘積:
我们分别计算這两個乘積. 第一個乘積是:
第二個乘積是:
将两部分的结果相乘,得到最终答案:
這個例子展示了当直接裂項不明显时,如何通過重组因子来创造多個更簡單的裂項结構.
总结一下,我们可以發現解决複杂的求和與求積問題,并非依赖于死记硬背更多的公式,而是掌握一套灵活、深刻的數學思想與策略.這些技巧是相通的,其最终目的都是為了揭示和式或積式内在的、往往是隐藏的簡洁结構.下面我们总结一下贯穿這些例題的核心思想.
首先,万變不离其宗:變形與化归,這是所有解題技巧的基石.其目標是将一個陌生、複杂的形式,通過等价變換,化归為我们熟悉、可以处理的形式.比如通過指標平移:如在 中, 通過令 将其化归為標准的立方和公式 .或者代數變形:在几乎所有例題中, 第一步都是對通項進行代數變形.例如, 在 中, 将其變為 是后續所有操作的前提.当然恒等式應用也很重要:利用對數換底公式、三角二倍角公式、立方和/差公式等,将通項的“结構”變得有利于下一步操作.
學会如何裂項也十分重要,這是求和與求積問題中最為强大和常见的技巧.其本質是创造性地将通項 拆解, 使得求和/積的過程中, 中間項能够相互抵消, 這要求我们構造差/商形式:我们的目標是将 表示為 (求和) 或 (求積).
如何構造? 我们见识了多种方法,比如對于有理分式,使用部分分式分解 (如 );對于更複杂的代數式, 需要更深刻的洞察力, 如利用索菲·热尔曼恒等式分解 来構造裂項.對于複杂的结構, 用分组裂項:在 中,我们将通項分解為两個部分的乘積,每個部分都構成了独立的、更簡單的裂項结構.
不要死磕,一条路走不通就改變视角,交換求和次序,比如對于二重和 (或多重和),当内层和的计算依赖于外层指標而變得困难时,交換求和次序是一种極其有效的降維打击.技巧在于,在 的例子中, 我们将求和区域從“先固定, 再扫”转變為“先固定, 再扫”,如此,便可以先内层和中的變量可能變為常數被提出,使得内层和的计算瞬間簡化.
如果題目本身没有很好的结構,學会无中生有,引入辅助因子也是關键,比如当一個式子本身不具備相消结構时,我们可以主动乘以一個精心挑選的“辅助因子”,以创造出裂項的条件.一個例子是在计算 时, 我们為其乘上了启动连锁反應所必需的 , 利用二倍角公式 逐级向上合并,最终得到簡洁的结果,我称之為“逆向思維”.
數列的語言
{/* label: sec:ch07-s03 */}
来龙去脉
在數學中,当我们想研究一串按照特定规律排列的數时,我们需要一套精确的語言来描述它们. 數列,就是這套語言的基礎.
按一定次序排列的一列數称為數列 . 數列中的每一個數都称為這個數列的項.
排在第一位的數称為第一項(或首項),排在第二位的數称為第二項,......,排在第 位的數称為第 項.
一個數列通常记作 . 例如, 奇數數列可以寫成 . 其中, 首項 , 第二項 , 等等.
要完全确定一個數列,我们有两种主要的方式:
如果數列 的第 項 與項數 之間的關係可以用一個公式 来表示,那么這個公式就叫做這個數列的通項公式.
通項公式的优点是“直截了当”,我们可以通過它直接计算出數列中任意一項的值.
如果已知數列 的第一項(或前几項), 且從第二項(或某一項)開始的任意一項 都可由它前面的一項(或几項)来确定,那么這個關係式就叫做這個數列的递推公式.
递推公式描述的是“代际關係”,它告诉我们如何從已知項推導出未知項,像多米诺骨牌一样,一环扣一环.
對于奇數數列
- 通項公式是 . 例如, 第100項是 .
- 递推公式是 .
等差數列
{/* label: sec:ch07-s04 */}
来龙去脉
在所有數列中,最簡單、最基本的一种规律是“每次都增加或减少一個固定的量”. 比如,楼房的层數、自然數的序列、储蓄罐里每天固定存入10元后的总额... 這些都體現了等差數列的思想.
如果一個數列從第二項起,每一項與它的前一項的差等于同一個常數,那么這個數列就叫做等差數列. 這個常數叫做等差數列的公差,通常用字母 表示.
根据定義,公差 .
- 当 时, 后一項总比前一項大 ().
- 当 时, 后一項总比前一項小 ().
- 当 时, 數列是一個常數列, 所有項都相等 ().
通項公式與前n項和
\paragraph{通項公式} 我们的目標是建立一個從項數 到項的值 的直接联係, 從而不必一步步地從 開始计算.
我们從定義 出發.
要從首項 到达第 項 , 可以想象這是一段包含 步的旅程, 每一步都前進一個公差 的距离.
我们观察到,第 項 是在 的基礎上, 累加了 個公差 得到的.
一种更严谨的推導方法是累加法. 我们将定義式改寫為 . 然后,我们将從 到 的所有等式寫出来:
将這 個等式全部相加, 左侧的中間項会奇妙地两两抵消(例如 與 ),這正是裂項相消思想的體現.
化簡后,左边只剩下首末两項的差,右边是 個 的和.
移項后便得到等差數列的通項公式:
直观的归纳和累加法给了我们一個清晰的圖像,但要确保公式 對所有正整數 都成立,我们需要一种无懈可击的逻辑工具,數學归纳法.它就像多米诺骨牌:我们只需證明第一张牌会倒下,并且證明任意一张牌倒下都必然会推倒下一张牌,就能断定所有牌都会倒下.
證明: 设命題 為:.
奠基步骤: 当 时, 我们需要验證命題 是否成立. 公式左边為 . 公式右边為 . 左边 = 右边,所以命題 成立.
归纳步骤: 假设当 ( 且 為整數) 时命題成立, 即 .
接着,我们需要證明当 时命題也成立.也就是說, 我们要證明 .
我们從等差數列的定義出發:
根据我们的归纳假设,可以将 替換掉:
這個结果與我们的归纳目標 完全一致. 這表明,如果命題對 成立, 那么它對 也必然成立.
根据奠基步骤和归纳步骤,由數學归纳法原理可知,命題 對所有正整數 均成立. 因此,通項公式 得證.
\paragraph{前項和公式的推導與视角} 如何求 ?這不僅僅是一個计算問題,更是一個發現结構、运用巧思的過程.
法一:倒序相加
這是最經典、最优雅的方法,相传由年幼的高斯發現.其核心在于创造對称性.
我们将數列的和 寫两遍,第二遍顺序颠倒:
将這两式按位相加,得到:
我们来考察每一對的和.對于第 對 :
這個结果是一個與 无關的常數!它等于首項與末項之和 . 由于一共有 對這样的和,我们得到:
于是,我们得到了第一個求和公式,它连接了和、項數、首項與末項.
法二:代入與分组
這個方法虽然看起来朴素,但它揭示了求和公式中两個组成部分的来源. 我们将通項公式 直接代入和式 的每一項:
接着,我们将式子中的 和包含 的部分分開重新组合:
第一部分显然是 . 第二部分可以提出公因子 :
括号内是前 個正整數的和, 這是一個我们熟知的簡單等差數列, 其和為 . 将两部分加起来,我们直接得到了求和公式的第二种形式:
法三:從的函數结構入手
我们在提示框中提到, 是關于 的一個没有常數項的二次函數.我们可以利用這一点,反過来推導出公式本身. 设 .我们的任务是确定係數 和 . 我们利用數列的一個基本關係:当 时, .
這個结果表明, 是關于 的一次式,這正是一個等差數列的特征! 比较通項公式 ,我们立即得到係數的對應關係:
将求出的 和 代回 :
整理后即得:
- 通項公式的本質: . 這表明 是關于項數 的一次函數.
- 求和公式的本質: . 這表明 是關于項數 的二次函數,且其常數項為零.
- 這一视角在解决一些判断題或選择題时,能提供强大的"高观点".
等比數列
{/* label: sec:ch07-s05 */}
来龙去脉
如果說等差數列描述的是“和”的规律,那么等比數列描述的就是“積”的规律. 它對應着現实世界中“翻倍”、“按比例增长或衰减”的模型,其威力在開篇的“米粒與棋盘”問題中已初见端倪.
如果一個數列從第二項起,每一項與它的前一項的比等于同一個常數,那么這個數列就叫做等比數列. 這個常數叫做等比數列的公比,通常用字母 表示 ().
根据定義,公比 .
通項公式與前n項和
\paragraph{通項公式} 與等差數列中“和”的累積不同,等比數列的核心在于“積”的迭代.我们的目標,依然是找到從項數 到項值 的直接映射關係.
法一:注意力法
這個方法最符合直觉.從首項 出發, 要到达第 項 , 可以看作是進行了 次“乘以公比 ”的操作.
我们清晰地观察到一個模式:第 項 中, 公比 的指數总是比項數 小 1. 由此,我们归纳出等比數列的通項公式:
法二:累乘法
這是一种更具形式美感的方法,是等差數列“累加法”的完美對偶. 等比數列的定義式可寫作 . 我们将從 到 的所有等式寫出来:
将這 個等式全部相乘,左边的分子和分母会像多米诺骨牌一样依次约去,這正是裂項相消思想在乘法中的體現.
化簡后,左边只剩下首末两項的比,右边是 個 的乘積.
两边同乘 ,我们再次得到了通項公式.
法三:數學归纳法
為了无可辩驳地證明该公式對所有正整數 均成立,我们再次請出數學归纳法.
證明: 设命題 為:.
奠基步骤: 当 时, 我们需要验證 . 公式左边為 . 公式右边為 (约定 ). 左边 = 右边,故 成立.
归纳步骤: 归纳假设: 假设当 ( 且 為整數) 时命題成立, 即 . 归纳目標: 證明当 时命題也成立, 即需要證明 .
我们從等比數列的定義 出發. 利用归纳假设,将 替換掉:
该结果與我们的归纳目標完全吻合.這證明了如果命題對 成立, 则對 也必然成立.
结論: 根据數學归纳法原理,命題 對所有正整數 均成立.
差比數列
{/* label: sec:ch07-s06 */}
我们已經分别探索了两种基本的數列模型:等差數列和等比數列.一個自然的問題是:当這两种力量结合在一起时,会發生什么?
一個數列的每一項,如果是由一個等差數列的對應項與一個等比數列的對應項相乘得到,我们就称之為差比數列.它的混合出身决定了它既有等差的影子,又有等比的灵魂.理解并求和這類數列,是對我们之前所學技巧,特别是“錯位相减法”的一次很好的練習.
一個數列 若能表示為 的形式, 其中 是一個首項為 、公差為 的等差數列, 是一個首項為 、公比為 的等比數列, 则称 為差比數列. 其通項公式的一般形式為:
例如,我们在前面求和過的數列 , 就是由等差數列 (其中 ) 和等比數列 (其中 ) 相乘得到的.
差比求和
适用场景: 求解差比數列 的前 項和. 核心思想: 差比數列的求和問題,正是“錯位相减法”大显身手的好地方.
其根本策略是:利用等比數列部分的公比 進行錯位,使得相减之后产生的新數列大大簡化,通常会變成一個等比數列的和.
我们来推導其一般求和過程.為簡化書寫,我们设差比數列為 . 令 .
两边同乘以公比 ():
两式相减:
观察上式,中括号内的部分是一個首項為 , 公比為 的等比數列, 共有 項.
代入后,我们得到了一個關于 的方程, 解出 即可.這個通用公式相当複杂,我们不建议记忆,但必须彻底掌握這個推導過程.
求解差比數列的和,關键在于识别其"等差"與"等比"的组成部分.然后,毫不犹豫地使用等比部分的公比 来進行錯位相减.相减后的结果必然呈現 "首項 + 一個纯等比數列 + 尾項" 的结構,從而将問題转化為我们已經熟悉的形式.
求數列 的前 項和 .
该數列是等差數列 (首項3, 公差2) 與等比數列 (首項3, 公比3) 的乘積.
寫出和式 :
两边同乘以公比 3:
上式减下式,得:
括号内是一個首項為 , 公比為 3, 項數為 的等比數列.
代回原式:
两边同除以 -2,最终得到:
苹果公式
我们在前文探讨了通過“錯位相减法”求解差比數列的和,這是一种基于構造的巧妙方法.同时,我们也见證了“待定係數法”作為一种更為係统化的工具,能够将差比數列的通項 分解為 的形式,從而通過裂項求和得到结果.
将后一种思想進行推廣,我们可以得到一個求解一般差比數列和的普适公式.该公式以其直接代入即可求解的便利性而著称,它将待定係數法的整個推導過程封装在了一個确定的表达式之中.
對于一個通項為 的差比數列(其中 為常數, ), 其前 項和為
其中係數 與 由下式确定:
此公式的推導是“待定係數裂項法”的直接應用.我们的目標是寻找一個函數 , 使得差比數列的通項 恰好等于其差分 .
观察通項 是一個線性多項式 與一個指數項 的乘積.這启發我们, 其反差分函數 也應具有類似“多項式乘以指數項”的结構.我们不妨设
其中 與 是等待我们确定的常數.
接着,我们计算其差分 , 并使其與 相等.
我们要求這個表达式恒等于 . (注:)
比较等式两端 的係數多項式中 的同次幂係數, 我们得到一個關于 的方程组:
-
的一次項係數:.
-
常數項:.
這正是定理中係數 和 的定義, 即 .
我们已經成功地将通項 分解為 的形式.因此,求和過程便是一個標准的裂項相消:
将 代入首末两項:
-
.
-
.
于是,我们得到
證毕.
我们寻求计算和式 . 阿贝尔變換的核心思想在于将求和項 分解為两部分 的乘積, 其中一部分易于求和, 另一部分易于求差.
阿贝尔變換公式為:
對于我们的通項 ,一個绝佳的策略是:
-
令 . 這一部分是等差數列項, 其差分 将会是一個常數, 從而極大地簡化新的求和.
-
令 . 這一部分是等比數列項, 其前 項和 具有簡洁的封闭形式.
接着,我们计算阿贝尔變換所需的各個構件:
-
差分項: .
-
部分和: .
-
最终項: 以及 .
将這些構件代入阿贝尔變換公式:
我们現在專注于计算新的求和部分:
将此结果代回 的表达式并進行整理, 我们的目標是分离出與 相關的項和常數項.
首先,合并所有包含 的項:
這恰好是 的形式, 其中 且 .
接着,合并所有不含 的項 (即常數部分):
将两部分结果组合起来,我们最终得到:
Gosper 算法的核心是為给定的通項 係统地寻找其反差分函數 , 使得 .一旦找到 , 求和便可通過裂項相消 直接得到.
我们的通項是差比數列項 .這是一個典型的超几何項(其相邻項之比為有理函數).Gosper 算法的原理指出, 其反差分函數 若存在,则必然具有相似的代數结構,即一個多項式乘以一個指數項.
观察到求和公式的结果包含 這一項, 這强烈地暗示我们, 所要寻找的反差分函數 應该具有 的形式, 其中 是待定常數.我们的任务就是通過求解差分方程来确定 和 .
我们设 并计算其差分:
我们要求這個差分结果恒等于原數列的通項 .
這是一個關于 的多項式恒等式.通過比较等式两边 的同次幂的係數, 我们可以建立一個關于 的線性方程组:
- 比较 的係數:
- 比较 (常數項) 的係數:
我们将求得的 代入 的表达式中:
我们惊喜地發現,通過這個係统性的方法求出的常數 與定理中给出的係數 完全一致.即 .
我们已經成功找到了反差分函數 .根据离散微積分基本定理, 和式 等于 與 之差.
计算 和 :
-
-
因此,我们得到
求數列 的前 項和 .
我们首先识别數列的類型.其通項 是一個等差數列項 與一個等比數列項 的乘積,因此這是一個標准的差比數列.
我们可以直接應用差比數列求和公式.為此,需要将通項與標准形式 進行比對, 以确定參數 .
-
線性部分: 對應 , 可得 .
-
指數部分: 對應 , 可得 .
接着,我们计算公式所需的中間係數 和 .
最后,将求得的 以及參數 代入求和公式 :
因此,该數列的前 項和為 .
**验證:**為了檢验结果的正确性, 我们可以计算前两項的和. . 将 代入我们推導的公式: . 结果吻合.
求數列 的前 項和 .
该數列的通項 同样是一個差比數列.然而, 它的形式與標准公式 并不完全匹配, 主要区别在于指數項是 而非 .因此,在應用公式之前,我们必须對通項進行一次代數變形.
我们的目標是将 转化為包含 的形式.
将此代回通項表达式:
經過變形,通項現在完全符合 的结構.我们進行參數比對:
-
線性部分: 對應 , 可得 .
-
指數部分: 對應 , 可得 .
接着,计算係數 和 .
将 代入求和公式 :
因此,该數列的前 項和為 .
求和式 的值.
该和式的通項 并非直接的差比數列形式.然而,我们可以通過代數分解,揭示其内在的结構.一個關键的策略是利用求和的線性性質,将複杂的通項拆分為若干個我们熟悉的部分之和.
我们将通項 進行拆分:
因此,原求和式可以分解為两個独立和式的求和:
我们分别计算這两個和式.
第一部分: 令 . 其通項為 . 這是一個差比數列.為了應用公式, 我们将其變形為標准形式 .
與標准形式比對,我们得到參數: . 计算係數 :
代入公式 :
第二部分: 令 . 這是一個首項為 , 公比為 的等比數列.
将两部分相加.
已知數列 的前 項和 .
- 求數列 的通項公式.
- 求數列 的前 項和 .
(1) 這是一個由前 項和 反求通項 的問題.我们利用基本關係式 (当 时).
對于 :
我们需要檢验此公式在 时是否成立. 当 时, . 将 代入推導的公式, . 公式對 也成立.因此, 數列 的通項公式為 .
(2) 我们需要求和的數列是 , 其通項為 . 這個通項看似複杂,但其本質依然是一個差比數列.我们對其進行重组,以匹配標准形式.
現在通項 是一個標准形式的差比數列. 與 比對, 我们得到參數: .
计算係數 :
代入求和公式 :
此即為所求的前 項和.
一個數列的通項為 . 求其前 項和 .
**錯誤的解法:**初看此題,通項 完美地呈現為一個線性部分 與一個指數部分 的乘積.這極易让人联想到差比數列求和公式.
我们尝试進行參數比對.首先将通項變形為標准形式 $(ak+b)q^{k-1}$.
比對可得:$a=4, b=-3, q=1$.
接着,尝试计算係數 $A$:
此时,我们遇到了除以零的致命錯誤.這表明,差比數列求和公式在此处完全失效.其根本原因在于,该公式的所有推導過程(无論是錯位相减法还是待定係數法)都隐含了一個前提条件:$q \neq 1$. 当 $q=1$ 时, 分母 $(q-1)$ 為零,整個公式的代數结構便崩溃了.
正确的解法
我们必须回到數列本身進行分析.当公比 时, 指數部分 對于所有 恒成立.這意味着所谓的“等比”部分实际上是一個常數數列 .
因此,原數列的通項 發生了退化:
這表明,该數列本質上根本不是一個真正的差比數列,而是一個我们早已熟悉的等差數列.
問題因此被化归為求解一個首項為 , 公差為 的等差數列的前 項和. 我们可以直接使用等差數列求和公式:
其中,末項為 .
任何公式的應用都有其边界和前提.差比數列求和公式是為解决 的情况而设计的.当 时,差比數列這一更複杂的结構会"退化"回更簡單的等差數列结構.面對問題时,首要任务是识别其數學本質,而非盲目地搜寻并套用表面上相似的公式.這种审慎的态度是严谨數學思維的關键.
已知數列 满足關係式 .
- 求數列 的通項公式.
- 设 , 求數列 的前 項和 .
(1) 這是一個典型的由一個變換后的數列和反求原數列通項的問題.
我们令新數列 的通項為 .那么, 題目给出的条件即為數列 的前 項和 .
我们可以利用基本關係式 (当 时) 来求解 .
對于 :
接下来,我们檢验此公式在 时是否成立. 当 时, . 将 代入我们推導出的公式, . 公式對 也成立.因此, 數列 的通項公式為 .
最后,我们從 反解出 :
(2) 我们需要求和的數列是 , 其通項 . 首先,我们将第一問求得的 代入:
這個通項本質上是一個差比數列,但其形式需要經過精心變形才能與標准公式 匹配.關键在于处理交錯項 .
現在通項完全符合標准形式.我们進行參數比對:
-
線性部分: 對應 , 可得 .
-
指數部分: 對應 , 可得 .
接着,计算係數 :
将 代入求和公式 :
本題是一道綜合性很强的題目,它将數列的多個核心知识点串联了起来.
- 化归思想: 第一問通過引入辅助數列 ,将一個看似複杂的關係式化归為基本的"由和求通項"問題.
- 结構變形: 第二問的核心在于,不能直接将 的原始形式與公式生搬硬套, 而必须通過代數恒等變形, 将其严格转化為 的標准结構.尤其是對交錯項 的处理, 是识别公比 的關键一步.
- 公式的威力: 尽管推導過程涉及多個步骤,但一旦問題被转化為標准形式,求和公式便提供了一条确定且高效的解决路径,避免了更為繁琐的錯位相减法.
裂項相消法
錯位相减法以其巧妙的構造,将差比數列求和問題转化為等比數列求和.然而,是否存在一种更為“根本”的方法,能像处理 那样, 直接将差比數列的通項 分解為 的形式呢?
答案是肯定的.這需要我们從“观察规律”转向“主动構造”.這种方法虽然在计算上可能更繁琐,但它深刻地揭示了求和與差分之間的互逆關係,是通往更高等數學(如差分方程)的桥梁\footnote{后面,当涉及到概率有關的題目的时候,我们还会回到這里.}.
\paragraph{待定係數法} 我们的目標是寻找到一個函數 , 使得 . 观察差比數列的通項 , 它是一個關于 的“線性多項式”與“指數函數”的乘積.一個合理的猜测是, 我们寻找的函數 也應该具有類似“多項式 指數函數”的结構.
设差比數列通項為 (任何差比數列通項都可以化為此形式).我们大胆地假设, 待定的函數 具有 的形式, 其中 和 是等待我们求解的常數.
接着,我们来计算 :
要使 , 我们只需将上式與 進行比较, 令對應項的係數相等, 即可解出 和 .
再次求解數列 的前 項和 .
设 .
我们希望 .
為了與 比较, 我们将 也變形:
比较 與 的係數:
-
的係數:
-
常數項係數:
我们惊喜地發現 !所以, 待定函數是 .
计算 和 :
因此,
這個结果與我们用錯位相减法得到的结果完全一致,但路径和思想截然不同.它将一個依赖技巧的問題,转化為了一個有固定步骤、纯代數计算的程序性問題.
斐波那契數列
{/* label: sec:ch07-s07 */}
在1202年,意大利數學家斐波那契在他的著作《算盘書》中提出了一個看似无關紧要的問題:
假设一對兔子每個月可以生一對新的兔子,而新生的兔子又需要一個月的时間才能成熟并開始生育.如果從一對新生的兔子開始,那么一年后会有多少對兔子?
這個問題的答案,,催生了數學中最著名、最迷人的數列.
斐波那契數列 由以下線性递推關係定義:
其初始項通常定義為 . 數列的前几項是:
比内公式
递推公式對于计算是低效的.要计算 , 我们难道真的要從头算起吗?與等差、等比數列一样, 我们的终極目標是找到一個直接從 计算 的通項公式.
這是一种二階線性递推關係,我们可以使用特征方程法来攻克它.這個方法的核心思想是猜测解的形式. 我们大胆假设數列的通項具有等比數列的形式,即 (其中 ). 将此形式代入递推關係 中:
两边同除以 ,我们得到了這個數列的灵魂——特征方程:
利用二次方程求根公式,解得两個根:
是著名的黄金分割比. 由于 和 都是满足递推關係的解, 那么它们的任意線性组合 也同样满足.接着, 我们利用初始条件 来确定常數 和 .
我们计算 . 于是 , 解得 , 從而 . 将 代回,我们得到了斐波那契數列的通項公式,即比内公式.
這個充满了无理數 的公式, 對于任意非负整數 , 其计算结果永远是一個整數, 也就是說在代數运算中, 所有的 項都相互抵消了.
前n項和
斐波那契數列不僅有优美的恒等式,其求和公式也同样簡洁.我们的目標是找到一個關于 的封闭表达式来计算 .
我们從定義式 出發,稍作移項,就能得到一個用于裂項的完美形式:
它告诉我们,每一個斐波那契數都可以表示為后两個斐波那契數之差.接着,我们将和式 中的每一項都用這种形式替換:
這是一個經典的裂項相消求和.观察上式, 與 抵消, 與 抵消, 這個過程将一直持續下去, 直到最后.除了開头的 和结尾的 ,所有中間項都消失了.
根据我们的定義 ,我们得到了最终的求和公式:
這個结果本身也構成了一個有趣的斐波那契恒等式:前 個斐波那契數的和, 比第 個斐波那契數恰好小 1.
验證 的情况:
根据公式,结果應為
平方和
我们已經求出了斐波那契數列的前 項和, 一個自然而然的延伸是探究其前 項的平方和 .出人意料的是,這個和同样具有一個極為簡洁和优美的封闭形式.
對于斐波那契數列 , 其前 項平方和為:
證明: 我们的策略是找到一個關于 的恒等式,使其能够裂項相消. 我们從一個不起眼但至關重要的恒等式開始.對于任意 :
接着,我们将 的其中一個 替換掉:
令 .那么 就可以看作是 . 于是,上面的恒等式可以寫成一個完美的裂項形式:
接着我们可以對整個數列求和了:
這是一個首尾相连的裂項求和,中間項 與 抵消, 與 抵消, 以此類推, 直到最后只剩下首項 和末項 .
我们来计算 和 :
因此,
證毕.這個證明揭示了平方和與相邻两項之積的深刻联係.
這個恒等式还有一個无需代數,僅用圖形就能得出来的美妙證明.其思想是用斐波那契平方數 作為边长為 的正方形的面積,然后将這些正方形完美地拼接成一個矩形.
\begin{figure}[htbp]
\end{figure}
观察這個拼接過程:
- 從 ()開始, 這是一個 的矩形.
- 加上 (), 我们得到一個 的矩形, 其面積為 .
- 加上 (), 我们得到一個 的矩形, 其面積為 .
- 加上 (), 我们得到一個 的矩形, 其面積為 .
每一步,我们都将一個边长為 的正方形, 拼接到一個长宽為 和 的矩形上, 從而形成一個长宽為 和 的新矩形.這個過程可以无限持續下去,它直观地展示了為何所有正方形面積之和,恰好等于由最后两個斐波那契數構成的矩形的面積.
相邻項乘積之和
在探究了平方和之后,一個自然的問題是:相邻两項乘積的和 是否也有一個簡洁的表达式?答案是肯定的.
设 .则
證明: 如此依赖于奇偶性的结論,最适合使用一种“交錯”的數學归纳法来證明.我们将同时證明對于任意正整數 , 命題在 (奇數)和 (偶數)时都成立.
设 .我们有两個關键的递推關係:
当 (奇數), . 公式结果為 . 命題對 成立.
当 (偶數), . 公式结果為 . 命題對 成立.
假设当 时, 即對于 和 ,命題均成立. 也就是說,我们假设:
接着,我们需要證明当 时, 即對于 和 ,命題也成立.
我们的目標是證明 . 我们從關係式 (2) 出發,并使用归纳假设 2:
這正是我们對奇數 的目標.
接着我们的目標是證明 . 我们從關係式 (1) (将 換為 ) 出發, 并使用我们刚刚證明的结論 :
這正是我们對偶數 的目標.
由于奠基步骤成立,并且归纳步骤證明了從 到 的传递性, 因此该定理對所有正整數 均成立.
對称項之和
斐波那契數列中还蕴藏着许多關于對称性的恒等式.下面這個關係式就簡洁地揭示了任意一項與它前后等距的两項之間的内在联係.
對于斐波那契數列 ,任意一項的三倍,等于它前面第二項與后面第二項之和.
證明: 證明這個恒等式的最优雅的途径,是從等式较為複杂的一侧(右侧)入手,通過反複运用斐波那契數列的定義,将其逐步化簡,直至變為等式的另一侧.
我们的目標是變換 .
首先,我们将 向下展開, 用 及其相邻項来表示:
這一步将 與核心項 联係了起来.
接着,我们处理 .我们從定義式 出發,将其移項,得到:
這一步将 也用 和 表示.
接着,我们将這两個结果代回原表达式 :
等式右侧成功地化簡為了左侧. 證毕.
證明斐波那契數列相邻两項的比值,当 趋于无穷时, 收敛于黄金分割比 .
解析: 這是一個關于數列極限的問題,它揭示了斐波那契數列的渐近行為.要处理這种問題,递推公式无能為力,我们必须使用通項公式——比内公式. 我们记 和 .比内公式為 . 接着我们来構造這個比值:
為了求極限,關键在于识别出表达式中的主導項.我们注意到:
当 时, .而 .因此, 是主導項. 我们将分子分母同时除以 :
接着来考察極限.因為 ,所以:
因此,
這證明了斐波那契數列的相邻項之比确实收敛于黄金分割比 .
计算前10項斐波那契數的平方和: .
這個問題看起来需要逐項计算平方再相加,计算量巨大.但我们已經證明了一個优雅的平方和公式,它能将問題瞬間簡化.
我们已經證明的平方和公式為:
在本題中,.因此, 我们只需要计算出 和 即可. 回忆斐波那契數列:
所以 , .
代入公式:
计算可得:
因此,前10項斐波那契數的平方和為 .
求值:.
解析: 這個和式的通項是一個完全平方式,直接计算非常複杂.我们的策略是先将它展開,然后试圖将和式拆解成我们已知的形式.
于是,原求和式可以拆分為三個部分:
我们逐個处理這三個和式: 第一部分是平方和,根据公式 ,我们有:
第二部分是相邻項乘積之和.由于 是偶數, 我们使用對應的公式 :
第三部分 是一個變形的平方和.我们可以通過換元(令 )来看清它的本質:
利用平方和公式:
将三部分结果相加:
最终结果為 .
證明:.
解析: 這個和式只對奇數項求和.我们没有直接的公式可用,但這种形式强烈地暗示了裂項相消的可能性.我们的目標是把通項 表达成两項之差. 我们從斐波那契數列的定義出發,观察偶數項與它之前的两項的關係:
移項可得:
這個形式非常完美!它将一個奇數項表示成了两個相邻偶數項之差. 接着我们可以對整個和式進行裂項:
這是一個非常清晰的裂項求和.中間的項 與 , 與 , ...) 全部抵消. 最终只剩下第一項的 和最后一項的 .
根据定義 ,我们得到:
證毕.
分析并判断以下關于斐波那契數列 (定義為 )的四個命題是否正确,并给出严格的證明或反例.
命題A:數列 是一個递增數列.
命題B:89 是數列 中的一項.
命題C:對所有 , 恒等式 成立.(原題是要求從前項“注意到”,稍微有些不严谨.)
命題D:比值 收敛, 且其極限為 .
解析: 這是一個考察綜合能力的題目,我们需要逐一分析每個命題的真伪.
命題 A:錯誤. 严格递增數列要求對任意 都有 . 但在本數列中,我们有 且 , 不满足 . 因此,斐波那契數列是一個非减數列,但不是严格递增數列.
命題 B:正确. 通過逐項计算,我们得到數列的前几項:. 可以看到,89 是數列的第11項().
命題 C:正确. 這正是在本节“平方和”部分,我们通過代數裂項和几何拼接两种方法證明過的恒等式.它對所有正整數 都成立.
命題 D:正确. 在前面的例題中,我们已經證明了斐波那契數列相邻两項的比值收敛于黄金分割比 :
本題所求的極限是其倒數.根据極限的运算法则:
我们来计算 的值,通過分子有理化:
因此,该命題正确.這個值有时被称為黄金分割比的共轭,记作 或 .
结論: 命題 A 錯誤,命題 B、C、D 均正确.
已知定義在 上的函數 满足 , 且当 时, .判断下列结論中哪一個必定正确?
\item[(A)] \item[(B)] \item[(C)] \item[(D)]
解析: 這個問題的核心在于理解不等式 的含義.它告诉我们, 该函數的增长速度超過了斐波那契數列的增长模式.這启發我们, 可以用一個標准的斐波那契數列作為 的下界,然后利用這個下界進行估值和判断.
首先,我们分析問題的条件.不等式只给出了一個下限,函數 的值完全可以比這個下限大得多(例如, 可以是 , 也可以是 ).因此, 任何试圖给出 上界的结論,如 (C) 和 (D),都无法從已知条件中得到保證,故不可能是“一定正确”的.我们的注意力應集中在下界相關的選項 (A) 和 (B) 上.
我们来構造一個基准模型.定義一個新數列 ,它严格遵循斐波那契的等式關係:
為了将它與 联係起来, 我们用 的已知值来设定 的初始項.對于整數 :
我们便设定 .接着我们来计算 的前几項:
我们發現,這個數列 正是斐波那契數列 的一個平移:.
接下来,我们用數學归纳法證明一個關键的不等關係: 對所有整數 成立.
奠基步骤: 当 时, 根据題设 . 而 . 因此 成立.
归纳步骤: 假设当 时, 不等式 成立.我们要證明 .
綜合来看,對于所有整數 , 我们都有 .
接着,我们用這個强大的下界来檢验選項 (A) 和 (B).
檢验選項 (A): 根据我们的结論,. 计算斐波那契數列:. 我们能确定的只是 .這并不能保證 一定大于 100.例如, 有可能是 95,這并不违反任何已知条件.故 (A) 不一定正确,此时可以直接選了.
檢验選項 (B): 根据我们的结論,. 我们继續计算斐波那契數列:
我们得到了 . 因為 , 所以我们能够确定无疑地得到 .故 (B) 一定正确.
谈谈這道高考題,本題是函數與數列结合的典范,其貌似函數,实则考察的是學生對數列模型的抽象與應用能力,特别是對斐波那契數列深刻的理解.
面對這种新定義問題,關键在于**“退一步,看本質”**.
拿到題目,第一眼就要锁定最關键的信息:.這個结構與斐波那契數列的定義 僅一“不等号”之差.這個不等号是解題的钥匙, 它暗示了 是一個“超级斐波那契”函數, 它的增长速度比斐波那契更快.既然 的增长是“超斐波那契”的, 我们就无法精确计算它的值.但是, 我们可以構造一個標准的斐波那契數列作為它的下界.這是最關键的建模思想.我们定義一個數列 严格遵循斐波那契的等式關係, 并使其初始值與 的已知值對齐, 即 .模型建好后, 必须用严格的數學語言(數學归纳法)證明我们的直觉: 的确始终“跑在” 的前面, 即 對所有 成立.這是解題的逻辑基石.證明了 之后,我们就拥有了一個强大的放缩工具.
- 排除上界選項: 因為題目只给了“大于号”, 的值可以比下界大任意多.所以任何给出“小于号”(上界)的選項,如 (C) 和 (D),都无法得到保證,可以直接排除.這是基于對不等式性質的深刻理解.
- 檢验下界選項: 對于 (A) 和 (B),我们只需计算出下界 的值., 這无法保證 .而 , 這足以保證 .
当然,這是一道選择題,实际上不需要如此麻烦. 關于本題的更快解法網上已經有很多,我们這里详细說明,是為了让讀者更好理解為什么.
不過,這道題也启示我们,扪心自問一下自己能否從一個陌生的函數不等式中,抽象出熟悉的數列模型?這是從具體問題到數學模型的關键一步.能否深刻理解“”的含義,并意识到它只提供了單向的界限?
我敢說能迅速排除(C)和(D)的學生,注意力杠杠的!最后從猜想到證明,通過數學归纳法将直觉转化為无可辩驳的结論,這是区别于“想当然”的科學思維方式.
數列求和的通用策略
{/* label: sec:ch07-s08 */}
我们已經深入探讨了等差數列與等比數列這两种理想化的模型及其求和公式.然而,在更廣阔的數學世界中,遇到的數列往往结構更為複杂,它们既非等差,也非等比.要计算這些數列的和,我们不能僅僅依赖特定的公式,而必须掌握一套通用的、能够應對不同數列结構的分析策略與代數技巧.
本节的核心任务,正是建立這样一個强大的“工具箱”.我们将係统地梳理和阐述一係列求和的通用方法,從基本的代數變形到更為深刻的構造性技巧.這些方法的目標是统一的:通過某种變換,将一個陌生、複杂的求和問題,化归為我们已經熟悉或可以处理的簡單形式.掌握這些策略,意味着我们具備了從“套用公式”到“解决問題”的能力跃迁.
基本公式法
适用场景: 數列的通項 是一個關于 的多項式. 核心思想: 利用求和符号 的線性性質,将原求和式拆分為若干個基本幂次和的形式,然后利用已知的幂次和公式進行计算.
我们必须熟记以下几個最基本的自然數幂次和公式:
- 常數和:
- 一次方和 (等差數列):
- 二次方和 (平方和):
我补充一下第二個公式的推導過程: \paragraph{法一:扰动法} 此方法極具構造性,其核心思想是寻找一個能够與目標和式 产生關联的裂項求和.我们注意到 與 的差是一個關于 的二次多項式,這正是我们需要的联係.
考虑恒等式:
這個恒等式對所有 均成立.現在, 我们對這個等式的两边同时從 到 進行求和:
我们分别计算等式的左右两边.
左侧 (LHS) 是一個典型的裂項求和:
右侧 (RHS) 利用求和的線性性質進行拆分:
令 (這是我们的目標), 并代入已知的一次和與常數和公式:
联立左右两侧的结果:
我们的任务現在转化為一個纯粹的代數問題:解出 .
两边同除以 , 我们便得到了平方和公式:
\paragraph{法二:數學归纳法} 我们已經通過扰动法“發現”了公式,現在我们用归纳法来严格地“验證”它.
證明: 设命題 為 .
奠基步骤: 当 时, 左侧 . 右侧 . 由于左侧 = 右侧, 命題 成立.
归纳步骤: 假设当 ( 為任意整數) 时命題成立,即我们假设:
我们需要利用這個假设,證明当 时命題也成立.我们的目標是證明:
我们從目標等式的左侧開始推導:
推導完成.這證明了如果命題對 成立, 它也必然對 成立.
根据奠基步骤和归纳步骤,由數學归纳法原理可知,命題 對所有正整數 均成立.
\paragraph{法三:待定係數法} 注意到 次多項式的求和结果是一個 次多項式. 由于 是關于 的二次多項式, 其前 項和 必然是關于 的三次多項式.
我们可设 . 我们的任务是确定係數 . 利用 的關係:
比较等式两边 的同次幂係數:
- 的係數:
- 的係數:
- 常數項:
因此,. 為了确定 , 我们利用初始条件 .
由于 , 故 .
将係數代回,我们得到:
求和 .
解析: 首先,利用求和符号的線性性質将和式分解:
接着,将常數因子提出:
代入基本幂次和公式:
裂項相消法
數列的通項 能够被分解為两項之差的形式, 即 或 .
将數列的每一項都拆分為两部分,在求和的過程中,中間的項会像被收起的望远镜一样,前后两两抵消,最终只剩下有限的几項(通常是首尾几項),從而極大地簡化计算.
構造裂項是此方法的關键.以下是一些常见的可用于構造裂項的代數结構:
- 部分分式型 (I) - 基本型:
構造思路: 這是最基本的分式裂項.其構造的核心是在分子上创造出與分母因子相匹配的差,即 .通過在原式分子分母同乘以 ,再進行拆分即可得到.
- 部分分式型 (II) - 奇偶項:
構造思路: 這是上述公式在 时的特例,适用于分母是由公差為2的等差數列相邻項構成的情况.
- 根式有理化型:
構造思路: 對分母進行有理化.分子分母同乘以其共轭表达式 , 利用平方差公式 消去分母的根号, 使其變為常數 .
- 平方差裂項型:
構造思路: 從右侧反向推導更為直观.通分 , 其分子為 ,恰好匹配左侧.此形式在处理分母為相邻項的完全平方之積时極為有效.
- 指數型:
構造思路: 同样從右侧通分验證.其分子為 , 與左侧分子完全吻合.其本質是利用了指數函數 的差分性質.
- 混合型 (指數與多項式):
**構造思路:**此類混合形式的裂項通常通過定義函數 并考察其差分 来發現.计算 并通分,即可得到左侧的表达式.
- 交錯分式型:
構造思路: 從右侧的方括号内通分.其分子為 .利用 , 分子變為 .将此结果與係數 相乘,恰好得到左侧.
- 交錯根式型:
- 高階部分分式型:
構造思路: 這是我们在“待定係數法”一节中推導過的例子.其思想是将 作為差分原函數進行構造,是基本部分分式思想的延伸.
- 階乘添項型 (I):
構造思路: 這是階乘裂項中最經典的形式.關键技巧在于将因子 巧妙地改寫為 , 然后利用乘法分配律展開:.
- 階乘添項型 (II):
構造思路: 與上一条技巧完全相同,将分子 改寫為 :
求和 .
解析: 通項 符合部分分式分解的结構.
這是一個間隔為 的裂項.我们将和式寫出,观察其相消规律:
抵消發生在前一項的负項與后一項的正項之間,例如 與 . 最终,只有開头的两項正數 和 , 以及结尾的两項负數 和 被保留下来.
因此,
已知正項數列 中, , , 则數列 的前 項和為 ( )
\item[(A)] \item[(B)] \item[(C)] \item[(D)]
解析: 本題给出了一個關于數列 的递推關係, 却要求另一個结構相關的數列 (其中 ) 的和.這是一個典型的信息分离問題,解决的關键在于找到连接已知条件與未知目標的桥梁.
我们的通法是,對已知条件進行等价變形,看能否從中直接推導出所求數列通項的簡單形式.
注意到 左侧是一個完美的平方差结構.這是最强烈的代數信号, 提示我们應立即對其進行因式分解.(因式分解是降低表达式複杂度的基本手段.我们期望分解后的因子能與我们要求和的項 产生關联.)
我们惊喜地發現,因子 正是所求數列通項的分母.這便是我们寻找的桥梁.
由于 是正項數列, 故 . 我们可以安全地将上式两边同除以 , 從而得到所求通項的全新表达:
這個恒等式是解題的突破口.它将一個複杂的分式形式,化归為了一個極其簡洁的差分形式.這立即表明,原求和問題本質上是一個裂項相消求和.
令 為所求的和:
這是一個首尾相连的裂項求和,其结果為:
問題至此转化為求解 的值.為此, 我们必须求出數列 的通項公式.
观察 . 如果我们令新數列 , 那么這個關係就變為 . 這表明數列 是一個首項為 , 公差為 的等差數列.
根据等差數列通項公式,我们得到 . 即 . 因為 是正項數列, 所以 .
计算出 . 代入第三步的结果:
故本題的正确答案是 (C).
數列 的通項公式為 , 该數列的前 項和為 \underline{}.
解析: 直接對這個複杂的通項求和是不現实的.我们的首要任务是簡化通項 .解决此類問題的通用策略是, 尝试将 分解為 的形式,以便使用裂項相消法.
這是因為观察通項的结構是形成猜想的起点.分母 是一個極其强烈的提示信号.它恰好是两個结構相似的項 和 在通分时会得到的分母.這引導我们大胆地猜想, 可能與這两項的差有關.
基于我们的猜想,我们主动構造并计算 , 看其结果是否與 吻合.
對分子使用平方差公式或直接展開:
這個结果與 的分子完全一致.我们的猜想得到了證实.
我们已經證明了一個關键的恒等式:
這個形式是 的標准裂項结構, 其中 .
计算前 項和 :
在上述和式中,除首項的 和末項的 之外,所有中間項都两两抵消.
因此,该數列的前 項和為 .
已知等差數列 的前 項和為 , 满足 .
- 求 的通項公式;
- 求數列 的前 項和.
设等差數列 的首項為 , 公差為 . 根据前 項和公式 , 我们由已知条件可以建立關于 和 的方程组.
化簡该方程组得到:
解得 且 . 因此, 數列 的通項公式為
對于第二問, 我们需要求和的數列通項為 . 首先, 利用已求得的通項公式, 我们表示出 和 :
于是,
這是一個典型的可以應用裂項相消法的形式. 我们注意到分母两因子之差為 . 因此, 我们可以将 分解為:
為構造標准的裂項求和形式, 我们令 . 那么, . 于是, 通項可以被优雅地寫作 .
令所求前 項和為 , 则
這是一個首尾相连的裂項求和, 中間項相互抵消, 最终结果為
已知等差數列 的前 項和為 , , 為整數, 且對任意 都有 .
- 求 的通項公式;
- 设 , 求數列 的前 項和 .
条件 對所有正整數 成立, 意味着數列 在 处取得最大值. 對于等差數列, 其前 項和 是關于 的二次函數, . 欲使 存在最大值, 其二次項係數必须為负, 即公差 .
在 取得最大值, 這也意味着從第 項開始, 數列的項 開始對总和产生负贡献 (或零贡献). 這等价于 且 . 由 , 上述条件转化為:
利用通項公式 及已知 , 我们得到關于公差 的不等式组:
即 .
又因為 是整數, 且 是整數, 所以公差 必须是整數. 在区間 (即 ) 内唯一的整數是 .
由此我们唯一确定了该等差數列. 其通項公式為:
對于第二問, 我们求數列 的和, 其通項為 . 代入 , 有 .
分母两因子之差為 . 我们可以進行裂項分解:
令 , 那么 . 于是, .
所求前 項和 為:
此為裂項求和, 结果為:
设數列 满足 .
- 求 的通項公式;
- 求數列 的前 項和.
(1) 设 . 這個结構提示我们使用作差法来分离出通項 . 当 时, 我们有 .
考察 與 的差:
另一方面,
因此, 對于 , 我们有 , 即 .
接着, 我们需要檢验 的情况. 在原条件中令 , 可得 , 解得 . 将 代入我们推導出的公式, . 公式對 也成立. 故數列 的通項公式為 .
(2) 设新數列為 , 其通項為 . 将 的表达式代入:
分母两因子之差為 , 這是一個典型的裂項求和结構.
令所求前 項和為 , 则:
中間項全部抵消, 得到:
设數列 满足 , 且 .
- 求 的通項公式;
- 设 , 记 , 求證: .
(1) 观察给定的递推關係, 其形式暗示了換元法. 令新數列 的通項為 . 则原递推關係化為 . 這表明數列 是一個公差為 的等差數列.
其首項為 . 根据等差數列通項公式, .
由 反解 :
该公式即為 的通項公式.
(2) 為了對 求和, 我们首先需要化簡其通項. 将 代入 的表达式:
于是,
通項 被成功地分解為一個可以裂項相消的形式.
接着, 我们计算前 項和 :
中間項全部抵消, 得到:
因為 為正整數, , 所以 , 從而 . 因此, . 證毕.
设數列 的前 項和為 , 且满足 ().
- 求首項 與通項公式 ;
- 设 , 求證: .
解析: (1) 首先求首項 . 当 时, 數列的前 項和即為其本身, 故有 . 将此条件代入已知關係式:
解得 .
接下来求通項公式. 已知 與 的關係, 我们的目標是建立一個只含數列項的递推關係. 通項與前 項和的最基本關係式 (当 时) 是实現這一目標的關键桥梁. (為什么這個關係式在此处至關重要?)
對于 , 我们有:
两式相减, 左侧為 .
整理上式以得到 與 的關係:
這是一個一階線性递推關係. 為求解此式, 我们可两边同除以 , 将其转化為一個更簡單的形式.
令 , 则 , 且 . 通過累加法,
因此 . 檢验 时, , 與所求一致. 故通項公式為 .
(2) 我们首先需要得到 的显式表达式.
利用等比數列求和公式:
的表达式看似複杂, 但若将其中的指數項看作一個整體, 它的结構便清晰起来. (為什么這样的观察是有益的?) 令 , 则 . 于是分子變為 .
現在我们可以计算 的通項:
分母是结構相似的項的乘積, 這强烈暗示了裂項相消的可能性. 我们尝试将其分解為 的形式.
比较分子 , 得到 且 , 解得 . 故
這是一個完美的裂項形式. 求其前 項和:
由于 , 则 , , 所以 . 因此,
證毕.
已知正項數列 的前 項和為 , 且 , ( 且 ).
- 求數列 的通項公式;
- 设數列 的前 項和為 , 求證: .
解析: (1) 给定的递推關係式 结構特殊, 直接处理较為困难. 观察此式的结構, 它與平方差公式 有着紧密的联係. 我们知道, 數列通項與其前 項和之間存在基本關係 (当 时). 這启發我们将 替換為 .
對于 , 我们有
将已知条件 代入上式, 得到
由于 為正項數列, 故 , 等式两边可以约去 .
這表明數列 從第二項起是一個公差為 的等差數列. (為什么這一步是解題的關键转折?)
我们计算其首項: . 因此, 數列 是一個首項為 , 公差為 的等差數列. 其通項為 . 故 .
当 时,
当 时, . 将 代入 得 , 公式同样成立. 所以, 的通項公式為 .
(2) 设所求數列為 , 其通項為 . 将 代入:
于是,
此通項结構複杂, 直接求和十分困难. 我们的目標是将其分解為可以裂項相消的形式. 經過观察與尝试, 我们發現如下的恒等式:
(請自行通分验證此等式為何成立.) 這個形式是 的理想裂項结構, 其中 .
我们计算前 項和 :
中間項逐一抵消, 最终只剩下首項與末項:
因為 是正整數, 所以 且 , 這意味着 是一個正數. 因此, . 證毕.
其他有趣的方法如下: \paragraph{待定係數法} 這個方法的核心思想是,根据通項 的结構, 猜测出其差分原函數 可能的代數形式,然后利用待定係數法精确求解.
我们追求的目標是将 表示為 或其變體. 考虑一個比 更複杂的例子.
求和 .
解析: 通項 . 我们希望找到一個函數 使得 . 观察 的分母, 它是三個连續項的乘積.一個合理的猜测是, 其原函數 的分母應该是比它“少一項”的结構.
我们大胆假设 的形式為 , 其中 是待定常數.
接着,我们计算 , 并尝试使其等于 :
我们希望這個结果等于 . 通過比较分子,我们得到 , 解得 .
這意味着我们成功地将通項分解了:
這是一個完美的裂項形式,其中 .
現在我们可以進行求和:
\paragraph{法二:差分與和分*} 這是構造裂項法背后最深刻的數學原理.微積分的核心關係是微分與積分互為逆运算.在离散的數列世界中,也存在着完美的對偶:差分與和分.
對于任意函數 , 我们定義其 (前向) 差分 為:
有了差分算子,裂項求和的本質昭然若揭.求和 正是 .
它告诉我们:**任何求和問題 都等价于寻找一個函數 (称為 的反差分), 使得 .} 一旦找到了這個“反差分” , 求和就變得易如反掌:
“万物皆可裂項”的信念,在數學上就转化為“万物皆有反差分”.寻找反差分 的過程,就是構造裂項的過程.
那么,如何寻找 呢?對于多項式型的通項,我们可以再次运用待定係數法.
运用反差分的思想,推導平方和公式 .
我们的目標是求 . 通項 . 我们致力于寻找一個函數 使得 .
差分运算会使多項式的次數降低 .因此, 一個二次多項式 的反差分 必然是一個三次多項式. 我们设 . (常數項在差分中会消失, 故可省略).
计算其差分 :
我们要求 . 通過比较等式两边 的同次幂係數, 得到一個線性方程组:
解這個方程组: 從第一式得 . 代入第二式得 . 代入第三式得 .
我们成功找到了反差分函數:
根据离散微積分基本定理, 平方和為:
计算 . 计算 :
因此, . 這個推導過程严谨地揭示了平方和公式的由来,并展示了反差分這一通用方法的巨大威力.
Gosper 裂項法*
我们已經见證了裂項相消法在处理特定结構的數列求和問題时的巨大威力. 无論是部分分式分解,还是利用階乘的恒等式,其核心都在于将通項 巧妙地改寫為 的形式. 然而,這些技巧在很大程度上依赖于观察、經验與代數變形的艺术.
一個自然而深刻的問題随之而来:是否存在一种係统性的方法,或者說一种算法,能够机械地判断一個给定的通項 是否存在一個簡單的反差分 ,并且如果存在,就将其直接计算出来?
答案是肯定的. 對于數學中最為常见和重要的一類序列,超几何序列,美国數學家 R. William Gosper 在20世纪70年代给出了一個完整的解决方案. Gosper 算法是符号计算领域的一座丰碑,它将寻找裂項公式這一创造性活动,成功地转化為了一套可以由计算机执行的、确定的程序.
如今,当你在 Mathematica 或 Maple 等计算机代數係统中输入一個複杂的求和指令时,其背后往往就是 Gosper 算法或其后继者在不知疲倦地工作.
超几何項
Gosper 算法的“狩猎范围”,是被称為超几何項的序列.
一個序列 如果其相邻項之比 是一個關于 的有理函數 (即两個關于 的多項式之比), 则称 是一個超几何項或超几何序列.
這個定義涵蓋了我们在求和問題中遇到的大部分“積木块”:
- 常數與幂函數: , . , .
- 指數函數: , .
- 階乘: , .
- 二項式係數: , .
更重要的是,超几何項的集合在乘法、除法、平移等运算下是封闭的. 這意味着,由以上基本“積木块”通過乘除组合而成的複杂項,例如 , 仍然是超几何項.
Gosper 的洞察與方法
面對一個超几何求和 , 我们的目標是寻找其反差分 , 使得 . Gosper 的第一個關键洞察是:
如果一個超几何項 的反差分 同样是一個超几何項, 那么 與 之間必有如下關係:
其中 是一個關于 的有理函數.
這個定理極大地缩小了我们對未知函數 的搜寻范围. 我们不再是在茫茫函數大海中捞针, 而是只需要去确定這個有理函數 .
将 代入裂項關係式 :
在 的情况下, 两边同除以 :
令 為相邻項的比值 (這是一個已知的有理函數),则上式變為
這是一個關于未知有理函數 的函數方程. Gosper 的完整算法给出了求解這個方程的係统步骤, 其核心是證明 必须具有一种特殊的多項式结構,從而将問題转化為一個求解多項式係數的線性方程组問題.
虽然完整算法的细节超出了本教材的范围,但我们可以通過一個例子来领会其“待定係數”求解的精神内核.
求和 .
解析: 通項 是一個超几何項. 我们遵循 Gosper 的思想, 尝试寻找其反差分 . 我们猜测 的结構應该與 相似. 一個合理的猜测是 , 其中 是一個待定的多項式.
我们来计算 :
我们希望這個结果等于 .
因此,我们得到了一個關于未知多項式 的方程:
接下来,我们通過比较等式两边多項式的次數来确定 的次數. 设 , 则 (). 方程左侧的最高次項来自 , 其次數為 . 方程右侧的最高次項是 , 次數為 . 因此,必然有 , 解得 . 這表明 是一個二次多項式.
我们设 . 代入方程 :
\text{RHS} .
比较等式两边各項係數,得到一個線性方程组:
我们成功解出了 .
因此,我们找到了反差分:
現在,求和變得轻而易举:
這個例子完美地展示了 Gosper 算法的精神:将寻找裂項公式的创造性問題,转化為一個關于多項式係數的、完全机械化的代數计算問題.
求和 .
通項 是超几何項. 我们寻找其反差分 , 使得 .
一個自然的猜测是 與 具有相同的结構, 形如 , 其中 是一個待定的多項式. 计算差分:
我们希望這個结果等于 .
因此,我们得到關于 的方程:
比较等式两边多項式的次數. 若 , 则左侧最高次項来自 , 次數為 . 右侧次數為 . 故 . 是一個一次多項式.
设 . 代入方程:
比较係數: . . , 验證成立.
我们解得 . 因此, 反差分是 .
求和:
求和 .
通項 是超几何項. 我们猜测其反差分具有形式 . 计算差分:
我们希望這個结果等于 .
因此,我们得到關于 的方程:
比较次數可知 . 设 . 代入方程:
比较係數: . .
我们解得 . 因此, 反差分是 .
求和:
這個结果與使用錯位相减法得到的结果完全一致.
求和 .
解析: 通項 是一個三次多項式. 寻找其反差分 使得 . 我们知道差分运算会使多項式的次數减一. 因此, 必然是一個四次多項式.
這种上升階乘幂的形式 具有非常优美的差分性質. 我们猜测反差分 具有更高一階的上升階乘幂形式, 即 .
计算其差分:
我们希望這個结果等于 . 比较可知 .
因此, 反差分是 .
求和:
這种方法比将 展開為 再利用幂和公式计算要簡洁得多.
求和 .
解析: 通項 是一個二次多項式. 我们寻找其反差分 使得 .
由于差分运算会使多項式的次數降低 1, 因此一個二次多項式的反差分必然是一個三次多項式. 我们设 . (常數項在差分中会消失, 故可省略).
计算差分 :
我们希望這個结果等于 .
比较係數可得:
因此, 反差分是 .
求和:
此方法係统地再現了我们熟知的平方和公式.
求和 .
设 . 计算差分:
我们希望這個结果等于 . 比较可知 .
因此, 反差分是 .
求和:
此方法让我们无需依赖“添項减項”的技巧, 而是通過係统性的猜测和验證找到了裂項形式.
求和 .
解析: 通項 . 我们寻找其反差分 .
观察通項分母的结構, 我们猜测反差分 的分母可能只包含其中一個因子. 我们设 .
计算差分 :
我们希望這個结果等于 . 比较分子可知 .
因此, 反差分是 .
求和:
此方法提供了一种绕過部分分式分解, 直接获得裂項公式的係统途径.
下面簡單总结一下:
- 第一步
仔细观察通項 的代數结構, 猜测其反差分 可能的形式. 關键原则是: 中“非多項式”的部分應與 保持一致,而多項式部分的次數或係數是待定的.
设 為關于 的多項式. 常见猜想结構如下:
- 若 (多項式), 则猜想 , 其中 .
- 若 (差比數列), 则猜想 .
- 若 (階乘相關), 则猜想 或 .
- 若 為分式, 则猜想 為一個结構更簡單的分式.
- 第二步
寫出核心關係式 . 将第一步中带有待定係數的猜想形式代入此方程. 3. 第三步
這是纯代數计算的步骤.
- 對代入后的方程進行化簡,通常需要通分或提取公因子 (如 或 ).
- 化簡后,方程两边会呈現出關于 的多項式相等的形式.
- 通過比较等式两边多項式的最高次項,确定待定多項式 的次數.
- 设出 的一般形式 (如 ), 然后通過比较等式两边 的所有同次幂係數,建立一個關于待定係數的線性方程组.
- 解這個方程组,求出所有待定係數的值.
- 第四步
将已求出的係數代回,得到确定的反差分函數 . 利用裂項求和的最终公式计算总和. 如果求和從 開始, 则:
注意仔细计算 和 的值.
錯位相减法
此方法是处理差比數列求和的專属武器.差比數列的通項形式為 , 其中 為等差數列, 為等比數列.
核心思想: 模仿等比數列求和公式的推導過程.设等比部分的公比為 .
- 寫出和式 .
- 将整個等式两边同乘以公比 , 得到 .
- 将 與 的表达式對齐項錯位相减, 得到 .
- 相减后的结果,通常会變成一個簡單的等比數列之和,外加首末两個独立項.
這個過程的本質,是通過乘公比再作差這一“差分算子”操作,将差比數列“降階”為一個纯粹的等比數列.
求和 ().
解析: 這是由等差數列 與等比數列 構成的差比數列. 寫出和式:
两边同乘以公比 :
两式相减:
括号内是一個首項為 , 公比為 的等比數列之和.
两边同除以 :
倒序相加法
适用场景: 數列的和式具有某种對称性,典型特征是首末項之和、第二項與倒數第二項之和……具有统一的规律. 核心思想: 将和式 的各項顺序颠倒,得到另一個表达式.将這两個表达式按位相加,如果每一對對應項的和都是一個常數或易于计算的簡單形式,那么問題就得以簡化. 高斯求和等差數列是此方法的經典應用,但其威力远不止于此.
阿贝尔(Abel)變換*
在处理數列求和时,我们經常遇到形如 的乘積形式.錯位相减法是解决“等差乘以等比”這一特定情况的巧妙特技.然而,是否存在一种更具普适性的好方法,能够係统地处理更廣泛的乘積求和問題?答案便是Abel 變換,或称分部求和法.
這個方法背后的核心思想是一种深刻的“权责转換”.我们面临的求和項 中, 可能 的求和性質很好(例如 是等比數列, 其前 項和 有簡洁的公式), 而 的求和性質很差, 但其相邻項的差 却變得非常簡單(例如 是多項式,其差分会降次).
分部求和法正是這样一個工具,它允许我们将原求和式中對 的“逐項累加”的责任, 转移到對 (的和) 與 (的差) 乘積的求和上.
本質上,我们是在用“一個易于求和的部分”去交換“一個易于求差的部分”,從而将原問題转化為一個可能階次更低、结構更簡單的求和問題.
對于熟悉微積分的讀者,這與微積分中的分部積分法 在思想上是完全對偶的.
设 與 為两個數列, 并记 為 的前 項和 (规定 ). 则有:
我们的目標是将求和式中的 替換掉, 引入其部分和 .一個數列的通項 與其部分和 之間的最基本關係是差分關係:對于 , 等于其第 項部分和與第 項部分和之差.
這是整個推導的逻辑起点.
将上述關係代入原求和式,并利用求和的線性性質将其拆分為两個部分,以便我们進行后續的代數變形.
為了将两個求和式合并,我们需要让其中求和指標 所對應的項具有相同的结構, 特别是让 的下標對齐.我们對第二個求和式 進行指標平移.
令新指標 . 当旧指標 從 變化到 时, 新指標 從 變化到 . 同时, 旧通項中的 必须用 替換. 于是:
由于求和指標只是一個哑變量, 我们可以将 重新寫為 :
現在我们的表达式變為 . 這两個和式的求和范围不完全重合.為了合并它们,我们将各自范围中不重合的項分离出来.
根据规定 , 所以 . 接着合并两個求和范围完全相同的和式:
證毕.
再次使用阿贝尔變換求解差比數列和 ().
我们需要将通項 分解為 两部分.阿贝尔變換的威力在于, 如果 比 簡單, 且 易于计算,那么變換后的新求和式会變得更簡單.
-
考虑 :它是一個一次多項式.其差分 是一個常數, 形式急剧簡化.這使其成為 的绝佳候選.
-
考虑 :它是一個等比數列.其部分和 有一個簡洁的求和公式.這使其成為 的绝佳候選.
因此,我们做出最优選择:令 且 .
根据我们的選择,计算阿贝尔變換公式所需的各個部分:
-
.
-
.
-
.
-
.
将上述構件代入阿贝尔變換公式:
問題转化為计算新的、但更簡單的求和式 .
代回:
虽然最终的代數化簡過程较為繁琐,但到此為止,求和的核心問題已經解决.它将一個需要巧妙構造(錯位相减)的問題,转化為了一個遵循固定范式(阿贝尔變換)的程序化计算.這正是通法的力量所在.
\paragraph{部分分式型} 目標:推導 的裂項形式.
我们希望找到 使得 與 成比例.差分运算通常会使分式的分母變得更複杂(通分導致階次升高).因此, 一個合理的猜想是, 反差分函數 的分母應该比原通項更簡單.原通項分母是两個因子的乘積, 我们猜想 的分母只包含其中一個因子.
我们不妨猜想 .
计算這個猜想的差分:
這個结果對于 的情况直接成功.對于更一般的情况, 我们猜想 .
這個结果與我们的目標 只差一個常數因子 .因此, 两边同除以 即可得到:
這不再是“凑巧”,而是通過係统性的“猜想-验證”過程推導出来的.
\paragraph{階乘添項型} 目標:推導 的裂項形式.
我们寻找一個函數 , 其差分 等于 .階乘世界的基本运算單元是 本身.一個自然的猜想是, 反差分函數 應该與 结構相似.
我们最大胆的猜想是 .
计算该猜想的差分:
利用階乘的性質 :
猜想一次成功.我们係统地推導出了恒等式 .
\paragraph{平方差裂項型} 我们寻找 使得 等于目標通項.观察分母 , 它提示我们反差分函數 的分母可能更簡單, 例如只包含 .
我们猜想 .
然后计算一番:
计算分子:
因此,
递推關係與通項公式
{/* label: sec:ch07-s09 */}
递推關係刻画了數列局部項之間的演化规则,而通項公式揭示了數列的整體分布特征.本节建立由局部递推推導全局通項的代數框架.
和與項的互化關係
在數列研究中,前 項和 與通項 包含的信息是等价的. 描述了數列的累積性質, 而 描述了數列的局部特征.两者通過差分运算相互转化.
基本原理
對于數列 , 其前 項和定義為 . 通項與和的關係為:
几何上,這對應于從总长度中减去前一部分的长度,剩余即為当前項.
由 \texorpdfstring{
{Sn} 的解析式求 \texorpdfstring{}{an}}
這是最直接的應用.计算时需严格区分 與 的情况,最后檢验是否可以合并.
已知數列 的前 項和為 .求通項公式.
解析: 首先计算首項:
接着计算一般項():
最后進行一致性檢验: 令 代入 , 得 . 由于 (实际 ),故公式不能合并.
结論:
若 , 则 為等差數列的充要条件是常數項 .上例中 , 故 游离于等差规则之外.
由含 \texorpdfstring{
{Sn} 的递推關係求 \texorpdfstring{}{an}}
当已知条件给出 與 的混合關係时, 核心策略是利用“移位作差”消去 , 将關係转化為 與 的纯递推.
已知數列 满足 , 且 .求通項公式.
解析: 我们通過構造相邻項的等式来消除 .
對于 ,寫出原式與降階后的式子:
两式相减([ref:eq:sn] [ref:eq:sn-1]):
代入 :
整理得:
這表明 從第 2 項開始構成公比 的等比數列.
檢验首項是否符合该规律: 由已知 . 由递推式反推 时:.
若通項為 , 则 ,符合.
因此,通項公式為 .
特例:连乘積與項的转化
類似于和與項的關係,若定義前 項積 (),则有乘法形式的互化關係.
已知數列 的前 項積 .求通項公式.
解析: 当 时, .
当 时:
檢验 : 无意義(或趋于无穷), 且原式计算 时代入公式分母為零. 故公式不可合并.
结論:
下面来看看一些常见的類型: \paragraph{類型 I: 為显式函數} 当 以 的函數形式给出时,直接利用定義求解.注意常數項往往導致首項不符合后續规律.
已知數列 的前 項和為 .求通項公式.
解析: 考察 的情形:
考察 的情形:
檢验一致性: 令 , 则 . 由于 (实际 ),故通項公式不统一.
结論:
\paragraph{類型 II:線性混合递推} 当条件给出 與 的線性關係时, 利用移位作差法消去 , 转化為 與 的纯递推關係.
若數列 的前 項和為 , 求數列 的通項公式.
解析: 首先确定首項 .令 :
對于 ,利用移位作差法.
两式相减得 . 移項整理:
由此可知,數列 從第 2 項開始满足公比 的等比關係. 验證首項:若公式 對 成立, 则需 , 與实际 一致.
因此,通項公式為 .
\paragraph{類型 III:隐式與二次關係} 当關係式中包含 的高次項时,通常需结合代數變形(如配方),挖掘其内在的结構.
已知 , 且 .求 的通項公式.
解析: 首先求 .令 :
因 , 解得 .
對于 , 观察原式结構, 等号左边配方為 .
同理可寫出:
两式相减:
利用平方差公式展開左边,或者直接展開计算:
两边開方.由于 , 只能取正号 (若取负号则導致 ,矛盾).
這表明 是首項為 3,公差為 2 的等差數列.
通項公式為 .
\paragraph{類型 IV:结構化消元} 当递推式呈現特定的代數结構(如平方差形式、根式形式)时,應优先考虑整體代換而非暴力展開.
已知數列 各項均為正數, 其前 項和為 .若 , 且 .求通項公式.
解析: 利用 ,将原式變形:
利用平方差公式分解右侧:
由于各項為正,,两边约去该公因子:
這表明數列 是一個等差數列, 公差 .
首項:. 所以 . 两边平方得 .
最后还原 : 当 时, . 当 时, . 經檢验, 时 ,符合.
故通項公式為 .
一階递推的基本形式
{/* label: sec:ch07-s10 */}
当递推關係僅涉及相邻两項的差或比时,數列的通項可以通過遍歷所有項的積累效應(求和或求積)直接还原.
累加法
形如 的递推關係. 该式表明,數列的增长率是關于 的函數.
若 ,则
裂項相消 求解的關键在于计算 .若 能被拆解為 的形式,求和過程将極度簡化.
已知數列 满足 , 且 .求 .
解析: 将递推項變形,利用分母有理化構造差分形式:
原递推式转化為:
對 ,進行累加:
观察對消规律,中間項全部抵消,僅留首尾:
檢验 , ,符合. 故 .
已知 , 且 .求 .
解析: 對 進行部分分式分解:
累加求和(注意跨度為 2,需保留两項):
剩余項為起始的正項 與末尾的负項 :
整理得:
在數列 中, .求通項公式 .
解析: 观察递推式,差分項為 . 利用部分分式分解,将 裂項:
對于 ,進行累加:
中間項相互抵消,僅留首尾:
檢验 :,與已知一致. 故 .
\paragraph{構造性累加} 当递推關係不直接為差分形式,但两边结構相似时,可通過構造新數列转化為累加問題.
在數列 中, , 且 .求 .
解析: 观察等式两边,形式均為“項除以項數”. 令 .则原式化為:
即 .
這是一個標准的累加形式.對于 :
所以 .
还原 :
經檢验 时成立.
累乘法
形如 的递推關係. 该式表明,數列的增长比例是關于 的函數.
若 且 ,则
因子缩并 求解關键在于将 寫成“分子-分母”錯位對應的形式,使连乘積發生大规模约分.
已知數列 满足 , 且 ().求 .
解析: 注意 .递推式定義域需 , 即從 開始.題目通常会给出 或修正索引. 此处假设递推對 成立, 求 ().
将因子结構化:
累乘展開:
观察交叉约分规律:
剩余項:
已知 , 且 .求 .
解析:
累乘得:
转化為指數求和(等差數列):
數列 满足:, 且 .求 的通項公式.
解析: 首先寻找相邻項的比值關係. 当 时, 由 出發:
移項整理:
因 , 可约去 :
利用累乘法求解 ():
观察分子分母的對消模式(跨度為 2): 分子保留前两項:. 分母保留后两項:.
檢验 :, 與 一致. 故 .
\paragraph{加权和的剥离} 形如 的關係式, 本質上是给出了一個新數列 的前 項和.利用差分即可求出 , 進而求出 .
已知 .求數列 的通項公式.
解析: 令 . 则數列 的第 項可表示為 .
当 时:
当 时:
解出 :
檢验 : 代入公式得 , 而实际 . 故公式不统一.
结論:
结構匹配與變形
有时递推關係并不直接呈現為差或比的形式,但通過移項或同除,可以構造出具備上述特征的新數列.
類型:同型構造 若递推式形如 , 则可定義 , 此时 , 即 為常數列.
已知 , 且 .求 .
解析: 观察係數 與 , 等式两边同除以 :
令 . 则 . 數列 是公差為 2 的等差數列.
首項:.
还原 :
線性递推與代數構造
处理 () 形式的递推關係,核心在于通過待定係數法或同除變形,構造新的等比數列或等差數列.
常數項構造
当 為常數时, 即 . 设 , 展開比對得 , 即 . 此时數列 為公比為 的等比數列.
同除構造
当 為指數函數 或多項式时, 常在等式两边同除以 ,转化為累加形式.
已知 , 且 .求 .
观察非齐次項 , 等式两边同除以 :
整理得:
令 , 则 . 设 , 解得 . 數列 是首項為 , 公比為 的等比數列.
还原 :
非線性递推的變換技巧
通過代數變換,可将部分非線性递推转化為線性递推.
倒數變換
针對分式線性形式 .若 ,取倒數得:
令 , 即转化為 形式.
對數變換
针對幂指形式 ().两边取對數:
令 ,即转化為線性递推.
二階常係數線性递推
形如 的递推關係, 其通項结構由特征方程 的根决定.
设特征方程 的两根為 .
- 若 , 则 .
- 若 , 则 .
其中 由初始值 确定.
求斐波那契數列變體 , 且 的通項.
寫出特征方程:
特征根為 . 设通項為 . 代入初值:
解得 . 故 .
特征方程法的由来
二階常係數線性递推關係形如 .特征方程 是基于**“试探解”** 的自然产物,其背后的數學逻辑與微分方程求解如同出一辙.
回顾一階递推 . 显然,其通項公式為等比數列形式:
這提示我们:指數形式 是線性递推關係最自然的解的结構. 因此,對于二階關係,我们不妨大胆假设:通項公式也具有 的形式(其中 為待定常數).
将猜想解 代入原递推關係式:
得到:
由于我们假设 , 等式两边可以同时除以 :
這便得到了该递推關係的特征方程.
這個方程告诉我们:只有当 取特征方程的根()时, 函數 才是原递推關係的解.
- 基本解: 和 都是满足条件的特解.
- 線性叠加: 由于递推關係是線性的(不含 或 等項),特解的線性组合依然是解.
由此構造出通解:
当然,“特征方程”這一名称借用于線性代數(讀者可以看第五卷).我们可以将递推關係改寫為矩陣形式,從而看到更本質的结構.
定義向量 . 递推關係可以表示為線性變換:
即 .由此推導 .
求解 的關键在于求矩陣 的特征值. 计算 的特征多項式 :
這與代數法推導出的方程完全一致. 數列的通項公式,本質上就是矩陣 在特征向量基下的幂运算结果.
特殊结構:隔項與周期
部分數列的规律并非單一解析式,需依据項數的奇偶性或周期性分别讨論.
\paragraph{奇偶項讨論} 若递推關係跨度為 2(如 與 相關), 或係數含 , 通常将 與 视為两個子數列分别求解.
\paragraph{周期性} 若计算發現 對某定值 成立, 则數列為周期數列.利用归纳法或模运算确定通項.常见于分式迭代, 如 (周期為 3).
已知 , 且 .求 .
计算前几項: . . . 观察知數列呈 交替.
分奇偶讨論:
也可合寫為 .
迭代與不动点
{/* label: sec:ch07-s11 */}
在前文中,我们讨論了递推公式,即通過前一項或几項计算后一項的规则. 若将這一规则视為一個函數 ,则數列的生成過程可以看作是该函數的反複作用. 這种重複應用函數的過程称為迭代.
迭代不僅是生成數列的一种方式,更是現代數學與计算机科學中求解方程、优化模型的核心思想. 從古巴比伦人计算平方根,到現代计算机训練神經網络,其底层逻辑皆源于此.
不动点與方程求解
在數學分析與數值计算中,不动点是一個核心概念. 它不僅具有几何上的直观意義,更是连接代數方程求解與动态迭代過程的桥梁.
设 是一個函數. 如果存在 使得
则称 為函數 的不动点.
從几何上看,函數 的圖像與直線 的交点的横坐標,即為该函數的不动点.
求解代數方程 是數學中最古老的問題之一. 對于五次及以上的多項式方程或超越方程(如 ),通常不存在代數求根公式. 此时,我们需要将静态的“求根”問題转化為动态的“迭代”問題.
考虑方程 . 我们可以通過代數變形, 将其改寫為等价形式 . 例如:
- 簡單移項: (其中 ).
- 牛顿法構造:.
此时,方程 的根, 即為辅助函數 的不动点. 一旦将方程转化為 的形式,我们便可以構造迭代序列:
给定初始猜测 , 我们得到序列 . 若该序列收敛于 , 且 是连續函數,则
即極限值 必為 的不动点, 也就是原方程 的根.
不动点法求通項的原理
不动点法的核心思想是坐標變換. 通過将原点平移至不动点,或者選取以不动点為基准的參照係,可以将複杂的非齐次或非線性递推關係,转化為簡單的等比數列或等差數列.
線性递推中的平移變換
考虑一階線性递推關係:
這是一個非齐次線性方程(含有常數項 ). 我们的目標是消去常數項 ,将其转化為齐次形式(即等比數列).
设该迭代函數 的不动点為 . 则 满足:
将原递推式與不动点方程相减:
令 . 上式即為 . 這表明,虽然數列 本身不是等比數列, 但它相對于不动点 的距离 構成了一個公比為 的等比數列.
原理总结: 寻找不动点本質上是寻找一個“静止”的參照物. 通過變換 (即坐標平移), 我们将非齐次的仿射變換 转化為了齐次的線性變換 .
分式線性递推中的比值變換
考虑分式線性递推關係(莫比乌斯變換):
设其迭代函數 . 若直接迭代,通項公式極其複杂. 此时不动点法通過構造“交比”将其線性化.
\paragraph{情形一:有两個相异不动点 } 不动点满足 . 我们考察 與不动点的距离之比.
同理可得:
两式相除,消去複杂的公因子:
令 . 上式即為 , 其中 為常數.
原理总结: 這种變換本質上是射影几何中的坐標變換. 通過将两個不动点 映射為 和 ,原有的非線性迭代被“拉直”為一個簡單的乘法迭代(等比數列).
\paragraph{情形二:有唯一重根不动点 } 此时 , 上述比值變換失效(分母為零). 此时不动点 满足 , 且判别式為零, 即 . 我们考察倒數變換:
利用 的代數性質化簡分母,最终可得:
令 . 上式即為 .
原理总结: 当两個不动点重合时,几何上的“旋转/缩放”退化為“平移”. 倒數變換将原數列转化為等差數列. 這對應于矩陣的若尔当標准型(Jordan Normal Form)理論:当特征值相等时,无法對角化,只能化為若尔当块,對應于線性增长(等差數列).
总结
利用不动点求通項公式,并非簡單的代數巧合,而是动力係统線性化的體現:
- 寻找平衡位置: 解方程 找到係统的不动点.
- 建立新坐標係: 以不动点為參照,定義新數列 (如 或 ).
- 線性化迭代: 在新坐標係下,複杂的迭代關係退化為最基本的線性關係( 或 ).
- 还原: 利用等比/等差數列公式求出 , 再逆變換回 .
压缩映射原理
并非所有的迭代形式 都会收敛. 决定迭代是否收敛的關键, 在于函數 是否具有“压缩”空間的性質. 這一思想由波兰數學家巴拿赫(Stefan Banach)形式化為压缩映射原理(或巴拿赫不动点定理). 它是現代數值分析中迭代法收敛性的理論基石.
设 定義在区間 上, 且其值域仍在 内. 若存在常數 , 使得對于区間内任意 ,都有
则称 為该区間上的一個压缩映射, 常數 称為压缩係數.
直观上,压缩映射使得任意两点在經過函數作用后,其距离變得更近.
若 是闭区間 上的压缩映射,则:
- 在 内存在且僅存在一個不动点 .
- 對于任意初始值 , 迭代序列 均收敛于 .
- 誤差满足估计式:.
若函數 可導, 根据拉格朗日中值定理, . 因此, 判断 是否為压缩映射的一個充分条件是:在区間内恒有 .
\captionof{figure}{迭代過程的几何表示(蛛網圖). 數列 \texorpdfstring{}{{x_n}} 在 \texorpdfstring{}{y=x} 與 \texorpdfstring{}{y=f(x)} 之間折返,逼近交点(不动点).}
巴比伦算法
在计算器出現之前,如何计算 的值?古巴比伦人提供了一种基于迭代的优雅算法.
考虑方程 (). 我们将其改寫為 . 若 小于 , 则 必然大于 ;反之亦然. 位于 與 之間. 取二者的算术平均值作為下一次的近似, 應当比 更接近真实值.
由此得到巴比伦迭代公式:
利用巴比伦算法计算 的近似值, 取初始值 .
代入公式 :
已知 . 僅迭代三次, 誤差已小于 .
考察该迭代的收敛性. 设函數 . 不动点方程為 . 不动点确為 .
计算導數:
在不动点 处,
由于 , 根据收敛原理, 该迭代在 附近具有極快的收敛速度(二階收敛).
牛顿迭代法
我们已經在函數一节谈過這個迭代方法了,不過我们必须指出,巴比伦算法实际上是牛顿迭代法的一個特例.
当然,计算机求解方程 时,通常不使用求根公式,而是使用迭代法.
牛顿法的几何直观是:利用切線来逼近曲線. 在点 处作曲線 的切線. 切線方程為:
令 , 求出切線與 轴的交点, 作為下一次的近似值 :
整理得牛顿迭代公式:
\captionof{figure}{牛顿迭代法的几何意義:利用切線的根作為曲線根的近似.}
利用牛顿法推導求 次方根 的迭代公式.
求 等价于求解方程 . 设 , 则 . 代入牛顿迭代公式:
当 时, 公式變為 ,這正是巴比伦算法.
數列的單调性
{/* label: sec:ch07-s12 */}
当我们观察一個數列时,除了關心它的具體數值,更重要的是理解其整體的动态行為與长期趋势.數列的項是随着項數 的增加而持續增长、持續衰减,还是在无序地上下摇摆?描述這种“增”或“减”的稳定趋势的數學語言,就是數列的單调性.
這個概念與我们在函數研究中遇到的單调性一脉相承. 函數的單调性描述了因變量如何随自變量连續變化,而數列的單调性则描述了數列的項如何随項數 這個离散的整數變量而變化. 能够准确地判断并證明一個數列的單调性,是分析其收敛性、探求其界限以及解决相關不等式問題的基礎.
定義
设有一個數列 .
-
如果對于任意正整數 , 恒有 , 那么称數列 為递增數列.
-
如果對于任意正整數 , 恒有 , 那么称數列 為递减數列.
-
如果對于任意正整數 , 恒有 , 那么称數列 為非减數列.
-
如果對于任意正整數 , 恒有 , 那么称數列 為非增數列.
递增數列和递减數列统称為严格單调數列. 非减數列和非增數列统称為單调數列.
判断方法
判断一個數列的單调性,本質上是比较相邻两項 與 的大小關係. 根据數列通項公式的结構特征,我们有几种行之有效的基本方法.
\paragraph{法一:作差法} 這是判断單调性最基本、最直接的方法,其思想源于定義的直接應用. 通過计算相邻两項的差 , 然后判断這個差值的符号.
- 若對于一切 , 恒有 , 则 是递增數列.
- 若對于一切 , 恒有 , 则 是递减數列.
對于非严格單调的情况,只需将不等号換為 或 .
判断數列 的單调性.
解析: 设 . 我们考察相邻两項之差.
由于對于任意正整數 , 分母 恒為正數. 因此, 恒成立. 故數列 是一個递增數列.
\paragraph{法二:作商法} 当數列的各項均為正數时,比较 與 的大小等价于比较它们的比值 與 的大小. 這种方法尤其适用于通項中含有指數、階乘或连乘積形式的數列. 设數列 满足 .
- 若對于一切 , 恒有 , 则 是递增數列.
- 若對于一切 , 恒有 , 则 是递减數列.
判断數列 的單调性.
解析: 设 . 显然對于所有 , , 故可以使用作商法. 我们考察相邻两項之比.
我们需要比较這個比值與 的大小關係. 当 时, . 当 时, . 当 时, , 此时 .
因此, 且 , 而對于 , 有 . 该數列不是一個單调數列. 它先增后不變, 然后開始递减. 具體地, .
\paragraph{法三:函數法} 如果數列的通項 可以看作是某個函數 在正整數点上的取值, 即 , 那么函數 的單调性便可以為我们提供關于數列 單调性的關键信息. 若函數 在区間 上是單调递增(或递减)的, 那么數列 也必然是單调递增(或递减)的. 在实践中, 我们通常利用導數来判断函數 的單调性.
需要注意的是, 我们只關心函數在整數点上的行為. 因此, 即使函數 不是在整個 区間上單调, 只要它在某個区間 (為正整數) 上單调, 我们就可以断定數列 從第 項開始是單调的.
判断數列 的單调性.
解析: 设 . 考虑構造函數 for . 我们利用導數来研究其單调性.
令 , 得 , 解得 . 当 时, , 故 , . 当 时, , 故 , .
這表明函數 在 上單调递增, 在 上單调递减.
由于 , 我们需要考察整數点 附近的行為. . . . .
我们有 , 而 . 由于函數 在 后單调递减, 那么對于所有满足 的整數, 必然有 . 因此, 该數列從第 項開始是严格递减的, 但它不是一個整體上的單调數列.
-
作差法: 通用性最强, 是定義的直接體現. 适用于大多數多項式或分式形式的通項.
-
作商法: 适用于各項為正, 且通項包含指數、階乘等乘法结構的情况.
-
函數法: 适用于通項易于擴展為连續函數, 且该函數的導數易于求解和分析的情况. 是处理複杂通項的有力武器.
選择何种方法, 取决于對數列通項 结構特征的洞察.
奇偶數列*
{/* label: sec:ch07-s13 */}
整數的奇偶性是其最基本的數論属性. 当我们将研究對象從單個整數擴展到按规律排列的整數序列时, 一個自然的問題便是:數列中各項的奇偶性是否也遵循某种规律?
對數列奇偶性的研究, 本質上是在模 的算术體係下审视數列的行為. 這种“降維”的视角转換, 常常能将一個看似複杂的递推關係, 化归為一個極其簡單的、甚至具有周期性的新關係. 因此, 奇偶性分析不僅是判断數列項基本性質的手段, 更是在解决數論問題、證明某些項不可能具有特定形式(如完全平方數)时, 一种出人意料的有力工具. 它揭示了數列在最基礎的二元结構中所展現的内在节律.
定義與判断
對于一個各項均為整數的數列 , 我们可以根据其項的奇偶性對其進行分類, 并引出其伴随的奇偶性序列.
设 是一個整數數列.
- 如果對于任意正整數 , 數列的項 均為奇數, 则称 為奇數列.
- 如果對于任意正整數 , 數列的項 均為偶數, 则称 為偶數列.
判断一個數列的奇偶性, 主要有两种途径:從通項公式入手, 或從递推關係入手.
\paragraph{法一:基于通項公式的分析} 如果數列的通項公式 已知, 我们可以直接分析函數值 在 取遍正整數时的奇偶性. 這通常需要讨論 的奇偶性.
判断數列 的奇偶性.
解析: 我们将通項進行因式分解和重组, 以揭示其结構:
我们對項數 的奇偶性進行讨論.
-
若 為偶數, 设 (). 则 是偶數, 故 是偶數. .
-
若 為奇數, 设 (). 则 是偶數, 故 是偶數. .
綜合两种情况, 對于所有正整數 , 均為奇數. 因此, 是一個奇數列.
\paragraph{法二:基于递推關係的分析} 当數列由递推關係定義时, 我们无法直接看到每一項的性質. 但我们可以分析奇偶性是如何通過递推關係遗传下去的. 這需要我们运用模 的同余算术. 基本运算法则如下:
- 奇 奇 = 偶,
- 奇 偶 = 奇,
- 偶 偶 = 偶,
- 奇 奇 = 奇,
- 奇 偶 = 偶,
- 偶 偶 = 偶,
通過将原递推關係中的每一項都替換為其模 的余數 (奇數 , 偶數 ), 我们可以得到一個關于奇偶性的新递推關係.
分析斐波那契數列 () 的各項奇偶性规律.
解析: 斐波那契數列的递推關係為 . 我们考察其各項模 的余數, 设 . 则 满足递推關係 .
我们從初始項開始计算這個新的“奇偶性序列”: (奇) (奇) (偶) (奇) (奇) (偶)
序列 的前几項為 . 我们观察到, 序列以“奇, 奇, 偶”的模式循环出現, 其周期為 . 因此, 斐波那契數列的奇偶性规律為: 是偶數, 当且僅当項數 是 的倍數.
已知數列 满足 . 證明 是一個奇數列.
證明: 我们使用數學归纳法, 并结合奇偶性分析. 设命題 為: “ 是一個奇數”.
奠基步骤: 当 时, , 是一個奇數. 故 成立.
归纳步骤: 假设当 () 时命題成立, 即 是一個奇數. 我们需要證明当 时, 也是一個奇數.
考察递推關係 . 根据归纳假设, 是奇數. 因此:
這證明了 成立.
或者, 我们可以使用更為形式化的同余語言. . 由于 且 , 上式化為:
這表明后一項的奇偶性與前一項完全相同. 由于首項 是奇數, 即 . 因此, 對于所有正整數 , 都有 . 這意味着 的每一項都是奇數.
根据數學归纳法原理, 命題得證.
數列的周期性
{/* label: sec:ch07-s14 */}
来龙去脉
周期性,在离散的數列领域,這种循环模式同样扮演着至關重要的角色.一個數列的項在經過一定“間隔”后開始精确地重複自身的取值,這种現象便是數列的周期性.
對周期性的研究,不僅是识别數列外在规律的問題,更是深入其内在代數结構的钥匙.特别地,当數列的递推關係涉及到模运算或定義在有限集合上的操作时,周期性几乎是必然出現的结果.理解并掌握判断數列周期性的方法,是解决许多數論和组合問題,尤其是处理那些項數極大、无法直接计算的數列問題的核心策略.
定義與性質
我们首先對數列的周期性给出严格的數學定義.
對于數列 , 如果存在一個正整數 , 使得對于所有大于或等于某個正整數 的 , 恒有等式 成立, 则称數列 為周期數列.
在上述定義中,满足条件的任意一個正整數 都被称為數列 的一個周期.
在所有的周期中,最小的那個正整數被称為该數列的最小正周期 (或主周期). 通常情况下,当我们提及一個數列的“周期”时,若无特别說明,即指其最小正周期.
一個直接的推論是,若 是數列的最小正周期, 则任何形如 () 的整數也是该數列的周期. 周期數列最重要的性質在于, 其所有項的取值被限定在一個有限的集合内, 整個數列的无限信息被压缩在一個长度為 的“周期块”中.
还有一种更廣義的周期性,不過高考里基本用不到(幸运的话你可能会在一些所谓的创新題里遇见.)
如果一個數列從某一項之后才開始呈現周期性,即存在正整數 和 , 使得對于所有 , 恒有 成立,则称该數列為最终周期數列.
數列的前 項 構成了數列的預周期部分.
周期性的判定
如何判定一個由递推關係定義的數列是否具有周期性?核心思想是考察係统“状态”的演化. 對于一個 階递推關係 , 數列在第 步的“状态”可以由一個 維向量 来完全描述. 只要某一步的状态 與之前的某一步状态 () 完全相同, 那么由确定性的递推關係保證, 從此之后的每一項都将精确地重複之前的演化路径, 數列由此進入周期.
這一观察在與同余理論结合时,会展現出巨大的威力. 如果一個整數數列 是在模 的意義下被考察, 那么每一項 的取值只有 种可能. 相應地, 維状态向量 的每一個分量也只有 种可能, 從而总的状态數不超過 种. 根据鸽巢原理, 在至多 次状态转移后, 必然有两個状态是完全相同的. 這為我们提供了一個極其强大的结論:
任何一個整係數線性递推關係定義的整數數列,在模任意正整數 的意義下,必然是一個周期數列.
已知數列 满足 且 . 探究其周期性.
解析: 我们直接從初始項開始计算數列的前几項, 以观察其模式.
我们發現 且 . 由于這是一個二階递推關係, 当连續两項重複时, 后續所有項也将随之重複.
该數列為 . 其重複的周期块為 . 因此, 该數列是一個周期數列, 其最小正周期為 .
该递推關係的特征方程為 , 其根為 , 這是單位圓上的 次單位根. 這深刻地揭示了该數列周期為 的代數本質.
设 為斐波那契數列 (). 求 的個位數字.
解析: 求一個整數的個位數字, 等价于求该數模 的余數. 我们考察斐波那契數列模 之后的新數列 , 其中 .
该數列满足递推關係 , 其初始項為 . 數列的状态由相邻两項構成的序對 决定. 這样的序對最多有 种. 根据鸽巢原理, 该數列必然是周期的. 我们通過计算来寻找其周期.
數列 的項為:
当计算到第 項和第 項时:
此时状态序對 , 與初始状态 相同. 因此, 该數列的最小正周期為 .
為了求 的個位數字, 我们计算 模 的余數.
因此, .
我们查閱已计算的序列, 第 項是 . 故 的個位數字是 .
數列的極限*
{/* label: sec:ch07-s15 */}
我们之前所探讨的數列,如同在數轴上离散分布的脚印. 一個自然而深刻的問題是:当這些脚印无限延伸时,它们将走向何方?是趋向于一個无限遥远的地方,还是会无限地逼近某一個确定的点?這一問題,便是數學分析的基石——極限理論所要回答的核心.
古希腊的芝诺悖論“阿喀琉斯追不上乌龟”形象地揭示了人類在处理无穷過程时的早期困惑. 阿喀琉斯每次追上乌龟原来的位置,乌龟又向前爬行了一小段距离,這個過程似乎可以无限持續下去. 要精确地描述并解决這個悖論,就需要一個能够量化“无限逼近”這一過程的數學工具.
再考虑一個更具體的例子,几何级數 . 计算可知 . 随着 的增大, 項 的值變得微不足道, 整個和 的值无限地贴近于 . 我们可以說, 這個數列所“奔赴”的终点是 .
數列的極限理論,正是為了将這种直观的“无限逼近”思想,用无可辩驳的逻辑語言進行严格化而建立的. 它是连接离散數列與连續函數、有限运算與无限過程的桥梁,是整個微積分乃至現代數學分析大厦的奠基石.
逼近的尝试與定義的演進
要将“无限逼近”這個直观概念转化為一個无懈可击的數學定義,需要經歷一個不断修正和完善的過程. 让我们尝试提出几個看似合理但实则存在漏洞的“粗糙”定義.
\paragraph{第一次尝试: “越来越近”} 一個非常自然的想法是,如果一個數列 趋向于 , 那么它的項應该离 越来越近. 一個粗糙的定義 (版本 1): 一個數列 的極限是 , 如果對于任意 , 不等式 恒成立. 這個定義要求數列的項到極限的距离必须是严格單调递减的. 它能够描述像 (極限為0) 這样的簡單數列, 但其要求過于苛刻, 会排除许多我们直观上认為确实收敛的數列.
考虑數列 . 其項為 . 這個數列显然在向 逼近. 它的距离序列為 , 确实满足版本1的定義. 但再考虑另一個數列 . 其項為 . 它也清晰地趋向于 . 但我们注意到 , 而 . 出現了 的情况, 违反了“越来越近”的规定. 因此, 版本1定義将這個本應收敛的數列錯誤地排除在外.
\paragraph{第二次尝试: “最终進入任何区間”} 版本1的失败在于它對數列“如何”逼近極限施加了太强的限制. 让我们放宽条件, 不再要求每一步都必须更近, 只要求它最终能進入我们指定的任何一個包含極限的区域.
一個粗糙的定義 (版本 2): 一個數列 的極限是 , 如果對于任何一個包含 的開区間 , 數列 中只有有限項在该区間之外. 這個定義在思想上已經非常接近真相了. 它正确地捕捉到了極限的“最终行為”特征. 比如對于前一個反例 , 无論我们给出一個多么小的包含 的区間, 比如 , 最终所有的 都会進入這個区間内.
然而, 版本2的表述仍然不够精确, 缺乏可操作性. “任何一個開区間”這個說法過于模糊, 我们如何去檢验“所有”可能的区間呢?在數學證明中, 我们需要一個可以量化的、能够代入不等式進行推導的工具. 此外, 這個定義没有突出極限点 的中心地位. 一個区間 和一個對称的区間 在此定義下似乎是等价的, 但后者显然對數列提出了更强的要求.
\paragraph{最终的精确化: 語言} 為了克服版本2的模糊性, 我们需要引入两個關键的量化工具:
- 用一個正數 来量化区間的“任意小”. 我们不再考虑任意形态的区間 , 而是只關注以 為中心的對称区間 . 任何一個包含 的開区間, 都必然包含某個這样的小對称区間. 因此, 能進入所有對称区間的數列, 也就能進入所有普通区間. 成為了衡量“誤差”或“精度”的標尺.
- 用一個正整數 来量化“最终”或“有限項之外”的概念. “只有有限項在区間外”等价于說“從某一項 開始, 之后的所有項都在区間内”. 成為了区分“初始的混乱”與“最终的规律”的分界線.
将這两者结合, 我们便能用一种动态的、“挑战-應战”式的語言来構建最终的定義. 對于任何對精度的要求 (), 我们总能给出一個足够大的項數分界点 (), 使得數列的后續行為满足该精度要求. 這便是極限的本質.
極限的严格定義
设 是一個數列, 是一個实數. 如果對于任意给定的正數 (无論它多么小), 总存在一個正整數 , 使得当項數 时, 不等式
恒成立, 那么我们称數列 收敛于 , 记作
如果一個數列不收敛于任何一個确定的实數, 我们就称该數列是發散的.
這個定義是整個數學分析的基石, 它完美地量化了“无限逼近”的全部内涵.
\begin{figure}[htbp]
\end{figure}
證明: 一個常數數列 收敛于 .
解析: 我们需要證明 . 根据定義, 對于任意给定的 , 我们需要找到一個正整數 , 使得当 时, 成立.
對于本數列, 表达式 的值為 . 因此, 不等式變為 . 由于 被定義為任意正數, 這個不等式 永远成立, 无論 取何值.
這意味着, 我们可以選择任何一個正整數作為 , 例如 . 当 时, 必然成立. 故 .
證明: .
解析: 對于任意给定的 , 我们需要找到一個正整數 , 使得当 时, 成立.
该不等式化簡為 . 解此關于 的不等式, 得到 .
根据实數的阿基米德性質, 對于任意正數 , 总存在一個正整數比它大. 因此, 我们可以選择 , 即對 向下取整. (如果 本身是整數, 那么 就是它自己. 如果不是, 就是比它小的最大整數.)
這样, 当 时, 至少比 大 , 故 . 這就保證了 成立. 證毕.
證明: 若 , 则 .
解析: 若 , 则數列為 , 显然收敛于 .
我们考虑 的情况. 因為 , 我们可以令 , 其中 . 于是 .
我们的目標是證明對于任意 , 存在 使得当 时, . 即 .
根据伯努利不等式, . 因此,
要使得 , 我们只需保證 即可. 解此不等式:
對于任意给定的 , 我们总可以找到一個正整數 大于 . 当 时, 便成立. 證毕.
證明: 數列 是發散的.
解析: 我们使用反證法. 假设该數列是收敛的, 且其極限為 .
根据極限的定義, 對于任意 , 都存在一個 , 使得当 时, .
我们来選择一個特定的, 足够小的 . 考虑到數列的項在 和 之間跳动, 它们的距离是 . 一個自然的選择是取 .
如果極限存在, 那么對于 , 必然存在一個 , 使得所有 的項都满足 .
這意味着, 對于某個充分大的偶數 , 我们有
同时, 對于某個充分大的奇數 , 我们有
接着, 我们考察 與 之間的距离, 并利用三角不等式:
根据我们從極限定義中得到的两個不等式,
将两者结合, 我们得到了一個荒谬的结論: . 這個矛盾說明, 我们最初的假设——“數列收敛于某個極限 ”——必然是錯誤的. 因此, 數列 是發散的.
使用 定義證明 .
證明: 對于任意给定的 , 我们的目標是寻找一個正整數 , 使得当 时, 不等式 恒成立.
我们首先對该不等式左侧的表达式進行代數化簡, 以揭示其與 的關係.
此处的化簡利用了 為正整數, 故 .
接着, 我们需要确定需要多大的 才能保證 . 解此不等式,
這表明, 只要 大于 , 期望的不等式便能成立.
因此, 對于任何给定的 , 我们可以選择一個正整數 , 例如取 . 如此, 当 时, 必有 , 從而 也成立.
這便完成了證明:對于任意 , 我们总能構造出這样一個 . 根据定義, .
極限的运算法则
若每次计算極限都诉诸 定義, 将会極其繁琐. 幸运的是, 極限运算與代數运算具有良好的相容性, 使得我们可以将複杂數列的極限問題分解為若干基本部分. 我们将逐一證明這些基本法则, 它们的證明是理解極限理論核心思想的绝佳練習.
如果 且 , 那么:
- 和差法则: .
- 乘法法则: .
- 常數倍數法则: (其中 為常數).
- 除法法则: 如果 , 那么 .
\paragraph{和差法则的證明} 我们僅證明和法则, 差法则的證明是類似的. 我们的目標是證明, 對于任意 , 存在一個正整數 , 使得当 时, . 我们從目標表达式入手, 利用三角不等式 進行放缩.
要使上式右侧的和小于 , 一個自然的想法是让它的每一個组成部分都小于 .
因為 , 所以對于正數 , 存在一個正整數 , 使得当 时,
同理, 因為 , 所以對于正數 , 存在一個正整數 , 使得当 时,
為了让上述两個不等式同时成立, 我们需要取一個足够大的 , 它必须同时大于 和 . 因此, 我们選择 . 当 时,
證毕.
\paragraph{乘法法则的證明} 在證明乘法法则之前, 我们需要一個重要的引理.
一個收敛的數列必然是有界的.
设 . 根据定義, 對于 , 存在一個正整數 , 使得当 时, . 這意味着對于 , 有 . 因此, 從第 項開始的所有項都被界定在区間 内. 那么對于整個數列, 它的界可以由前 項和這個区間共同决定. 令 . 则對于所有的 , 均有 . 故 有界.
乘法法则證明: 我们的目標是估计 的大小. 關键技巧是引入一個“桥梁”項, 例如 , 然后應用三角不等式.
由于數列 收敛, 根据引理, 它是有界的. 即存在一個常數 使得對所有 , . 因此,
我们的目標是使上式右端小于给定的 . 我们可以让两部分都小于 . (為避免分母為零, 我们在分母中使用 代替 , 這是一個常用技巧.) 因為 , 所以對于正數 , 存在 , 当 时,
因為 , 所以對于正數 , 存在 , 当 时,
取 . 当 时,
證毕.
\paragraph{除法法则的證明} 根据乘法法则, 我们只需證明 即可. 我们的目標是估计 . 這里的难点在于分母中的 是變量. 我们需要為它找到一個正的下界, 以便對整個分式進行放大.
因為 且 , 那么 . 我们取 . 根据極限定義, 存在一個正整數 , 使得当 时,
利用反向三角不等式 , 我们有
移項得到 . 這為我们提供了所需的下界:從第 項開始, 被限制在远离 的地方.
對于 ,
現在, 對于任意给定的 , 我们希望上式右端小于 . 即 . 因為 , 所以對于正數 , 存在一個正整數 , 使得当 时,
取 . 当 时,
這證明了 . 结合乘法法则,
證毕.
\paragraph{幂法则的說明} 對于任意正整數 , 我们可以通過對乘法法则進行數學归纳来證明 . 当 时, 结論显然成立. 假设当 时结論成立, 即 . 那么對于 ,
故對所有正整數 , 该法则成立. 對于负整數 , 可由除法法则導出. 對于一般实數指數 , 其严格證明需要借助對數函數和指數函數的连續性, 超出了本节僅依赖 定義的范畴, 但结論是成立的.
设 和 是两個關于 的多項式, 其中 . 探究極限 .
我们将分子分母同除以分母中的最高次幂 .
分母的極限為 . 因此, 整個極限的行為由分子的行為决定.
我们分三种情况讨論:
-
当 时: . 分子中 的所有幂次均為负. 当 时, 分子中每一項都趋于 . 故分子的極限為 . 因此, .
-
当 时: . 分子變為 . 其極限為 . 因此, .
-
当 时: . 分子中的首項 将趋于 或 (取决于 的符号). 其余項的增长速度都低于首項. 故整個分子是无界的. 因此, 數列發散, 極限不存在.
结論: 两個多項式之比的極限, 僅取决于它们的最高次幂. 若分母次數更高, 極限為 ; 若次數相同, 極限為最高次項係數之比; 若分子次數更高, 數列發散.
计算極限 , 其中 為常數.
解析: 這是一個 型的不定式. 直接计算是不可行的. 处理此類涉及根式的差的不定型, 一個標准的技巧是利用其共轭表达式進行有理化, 将减法转化為加法.
經過變換, 原不定式化為了一個 型的不定式, 我们可以使用提取主項的方法来解决. 分母中 的最高次幂等价于 . 我们将分子分母同除以 .
接着對變換后的表达式取極限.
這個结果 是一個在微積分中非常有用的經典结論.
證明: 對于任意实數 , 都有 .
解析: 這個極限揭示了階乘增长的强度远超指數增长. 若 , 结論显然成立. 若 , 我们考虑其绝對值. 令 .
我们考察數列相邻項的比值, 以分析其變化趋势.
当 變得足够大时, 這個比值会變得任意小. 具體地, 我们可以選择一個正整數 , 使得 . 那么對于所有 ,
這意味着從第 項開始, 數列的每一項至多是前一項的一半.
對于 , 我们可以寫出:
令 , 這是一個與 无關的常數. 于是我们得到了一個不等關係:
由于 , 根据夹逼准则, .
因為 , 那么原數列的極限也必然為 .
不定型極限的计算策略
当我们直接應用極限的运算法则时, 常常会遇到一些没有直接定義的表达式, 例如 等. 這些形式被称為不定型極限. 它们的结果无法一概而論, 必须根据具體的數列结構進行進一步的代數變形和分析. 掌握处理這些不定型的係统性方法, 是極限计算能力的核心.
\paragraph{類型 I: 型(抓大放小, 提取主項)} 這是最常见的不定型, 尤其是在处理有理函數或含有根式的分式时.
策略: 提取主導項. 在分子和分母中找到当 时增长最快的項 (即主項), 然后将分子分母同除以分母的主項. 這样做可以将原不定型转化為一個分母極限為非零常數, 分子極限易于判断的新形式.
计算 .
解析: 分子分母的主項均為 . 同除以 .
计算 .
解析: 分子中, 的增长速度與 相当. 故分子主項等价于 . 分母中, 的增长速度與 相当. 故分母主項等价于 . 整個分式的主項等价于 . 我们将分子分母同除以 .
\paragraph{類型 II: 型(通分或有理化)} 這种不定型通常出現在两個增长都趋于无穷的項相减时. 其结果取决于两者增长速度的细微差别.
策略: 通過代數變換, 将“减法”不定型转化為“除法”不定型.
- 對于分式之差: 進行通分, 将其合并為一個單一的分式, 转化為 或 型.
- 對于根式之差: 使用其共轭表达式進行分子或分母有理化, 将减法转化為加法, 并将原表达式變為分式形式.
计算 .
解析: 這是一個 型不定式. 我们乘以其共轭表达式.
問題转化為 型. 同除以主項 .
\paragraph{類型 III: 型(凑重要極限 )} 形如 , 其中 且 .
策略: 恒等變形, 将表达式凑成重要極限 的標准形式或其變體. 關键步骤是令 , 其中 .
由于方括号内的部分趋向于 , 整個極限的结果取决于指數部分的極限 . 若 , 则原極限為 .
计算 .
解析: 当 时, 底數 , 指數 . 這是 型. 我们對底數進行變形, 以凑出 的形式.
這里, .
原極限變為 . 我们進行指數上的凑配.
令 . 当 时, . 方括号内的部分 .
我们只需计算指數部分的極限.
因此, 原極限等于 .
極限判敛准则
在许多情况下, 我们可能无法直接计算出極限的值, 甚至不确定極限是否存在. 以下两個准则是判断收敛性, 乃至求解極限的根本性工具.
设有三個數列 . 如果從某一項 () 開始, 恒有
并且已知 和 都收敛于同一個極限 , 那么, 位于它们之間的數列 也必定收敛于 .
我们的目標是證明, 對于任意给定的 , 存在一個正整數 , 使得当 时, 不等式 恒成立. 這個不等式等价于 .
證明的核心思想是利用數列 和 的收敛性, 来“夹住”數列 , 迫使其進入以 為中心的 -邻域内.
因為 , 根据極限的定義, 對于我们给定的這個 , 存在一個正整數 , 使得当 时, 恒有
這等价于 . 對于我们的證明, 其中特别重要的是不等式的左半部分:
同理, 因為 , 對于同一個 , 存在一個正整數 , 使得当 时, 恒有
這等价于 . 對于我们的證明, 其中特别重要的是不等式的右半部分:
根据題设, 还存在一個正整數 , 使得当 时, 成立.
為了使得上述所有不等式同时成立, 我们需要項數 足够大, 以同时满足 , 和 . 為此, 我们取 .
那么, 当 时, 我们便可以構建如下的逻辑链条:
将這四条不等式串联起来, 我们得到
這必然蕴含着
该不等式可以被寫作 .
這便完成了證明. 因為對于任意给定的 , 我们总能找到這样一個正整數 , 使得当 时 成立. 根据極限的定義, .
夹逼准则的直观意義是, 如果一個數列被两個“奔向同一终点”的數列從上下两侧夹住, 那么它也无处可逃, 只能奔向那個相同的终点. 此准则的威力在于, 我们可以用两個易于处理的數列来“夹住”一個複杂的數列, 從而确定其極限.
求極限 .
解析: 该和式的項數随 變化, 无法直接應用运算法则. 這种结構是應用夹逼准则的經典场景. 令 . 我们的策略是通過對和式中的每一項進行统一的放缩, 来構造 的上下界.
注意到, 在和式的各項中, 分母最小的項是 , 故 是最大項. 分母最大的項是 , 故 是最小項.
對于上界, 我们将每一項都放大為最大項:
對于下界, 我们将每一項都缩小為最小項:
我们成功地建立了不等關係:
接着, 计算两边數列的極限.
由于上下界的極限均為 , 根据夹逼准则, 原極限值必為 .
一個單调且有界的數列必然收敛. 具體而言,
- 一個非减且有上界的數列收敛.
- 一個非增且有下界的數列收敛.
這個定理是实數係完備性的深刻體現, 其證明過程本身就揭示了極限與序结構之間的根本联係. 我们将详细證明第一种情况, 第二种情况的證明是完全對偶的.
设 是一個非减且有上界的數列. 非减意味着對于所有 , 有 . 有上界意味着存在一個实數 , 使得對于所有 , 有 .
考虑由该數列的所有項構成的集合 . 由于數列非空, 集合 也是非空的. 由于數列有上界 , 集合 也是有上界的.
根据实數係的完備性公理 (或称最小上界公理), 任何一個非空且有上界的实數集, 必然存在一個最小上界, 即上确界. 我们令 . 這個數 是我们證明數列極限存在性的關键. 我们将證明 .
要證明 , 我们必须依据 定義. 對于任意给定的 , 我们需要找到一個正整數 , 使得当 时, 成立.
由上确界的定義, 是集合 的一個上界, 因此對于所有的 , 都有 . 因為 , 所以 , 故 自动成立.
接着, 我们需要證明 . 考虑 這個數. 由于 , 我们有 . 根据上确界的“最小性”質, 任何严格小于上确界的數都不可能是该集合的上界. 因此, 不是集合 的一個上界.
既然 不是上界, 那么在集合 中必然存在至少一個元素, 它比 要大. 換言之, 存在某個正整數 , 使得 .
此时, 數列的非减性開始發挥關键作用. 因為 是非减的, 所以對于任何 , 我们都有 .
我们将以上结果串联起来. 對于任何 , 我们有:
结合我们已經知道的 , 我们得到對于所有 :
這等价于 .
至此, 我们證明了對于任意 , 总能找到一個對應的 . 根据極限的定義, 數列 收敛于 .
對于一個非增且有下界的數列, 其證明過程完全類似, 只需考虑由數列構成的集合的下确界, 并證明數列收敛于其下确界. 證毕.
單调收敛定理并非一個普适的數學真理, 而是**实數係 的一個標志性特征}. 其證明的核心完全依赖于实數係的完備性公理——即“每個有上界的非空集合都有最小上界”這一条. 如果我们把研究范围限制在有理數係 中, 這個定理就不再成立.
考虑一個有理數列 , 它是 的十進制逐次逼近:
這個數列显然是:
- 單调递增的: .
- 有上界的: 例如, 所有項都小于 .
在有理數 的世界里, 它满足了定理的所有前提条件. 然而, 它并不收敛. 因為它的“極限”是 , 而 并不在有理數集合 中. 這意味着在有理數轴上, 這個數列无限地奔向一個“空洞”, 一個不存在的点.
這個反例深刻地說明了实數係的完備性是如何“填补”了有理數轴上的這些“空洞”. 正是因為有了完備性, 我们才能保證任何一個單调有界的數列, 它的前方总有一個确定的实數点在“等待”着它, 這個点就是它的上确界 (或下确界).
已知數列 满足 , . 證明该數列收敛, 并求其極限.
解析: 该數列由递推關係定義, 通項不易求出. 我们诉诸單调收敛定理, 探究其有界性與單调性.
我们首先通過數學归纳法證明數列有上界 . 当 时, , 结論成立. 假设当 () 时, 成立. 则對于 , 有 . 故對所有正整數 , 恒成立. 又显然 , 故數列 有界.
接着我们判断其單调性. 考察相邻两項的平方之差.
由于 , 可知 且 . 因此 , 即 . 因為數列各項均為正, 這蕴含着 . 故數列 是一個严格递增數列.
至此, 我们證明了 是一個單调递增且有上界的數列. 根据單调收敛定理, 该數列必然收敛. 设 . 對递推關係式 两边同时取極限. 注意到 , 并且平方根函數是连續的.
由此得到關于極限值 的方程 . 两边平方得 , 即 , 解得 或 . 由于數列 的所有項均為正數, 其極限必為非负數, 故舍去 .
结論: 该數列收敛, 且其極限為 .
两個重要的極限
以下两個極限在更複杂的極限计算中常被作為已知结論引用.
其中 是自然對數的底數. 這個極限是指數函數 的一個基本定義. 其更一般的形式為 .
證明: 令 . 显然当 时, , 故 . 我们有 , 两边取 次幂, 得到 .
根据二項式定理, 對于 :
由于所有項均為正, 我们可以只取其中一項来進行放缩:
對于 , 我们有 , 整理得到
因此, 我们得到了關于 的界:
当 时, .
根据夹逼准则, . 因此, .
這個極限回答了一個關于不同增长類型强度比较的深刻問題. 我们可以将 理解為對 進行“指數级”的削弱.
考虑两個函數: (常數函數) 和 (線性函數). 显然, 線性函數的增长速度远快于常數函數. 現在我们對它们施加相同的 运算:
- 對于常數 , . (因為 , 当 , , 故 ).
- 對于線性函數 , .
這個结果令人惊讶:尽管 的增长速度远超任何常數 , 但在開 次方的“压制”下, 它们最终的極限行為是完全相同的.
這個極限告诉我们, 開 次方根运算的削弱作用是如此强大, 以至于它能将一個以多項式速率增长的序列 (如 ) 的極限, “拉回”到與常數序列相同的水平 (極限為1). 換句话說, 與指數函數 (其中 ) 的爆炸式增长相比, 任何多項式 的增长都是微不足道的. 当我们考察 时, 其極限也总是 .
這個極限在判断级數收敛性的“根值判别法”中扮演着核心角色, 是衡量一個數列增长速率是否“快于几何级數”的標尺.
级數
{/* label: sec:ch07-s16 */}
\begin{figure}[htbp]
{1/2 + 1/4 + 1/8 + ... = 1} 的几何直观.} \end{figure} 圖:无穷级數 \texorpdfstring{
阿喀琉斯與乌龟的赛跑 古希腊哲學家芝诺曾提出過一個著名的悖論:善跑的英雄阿喀琉斯永远追不上前面爬行的乌龟. 理由是:当阿喀琉斯到达乌龟的出發点时,乌龟已經向前爬了一段距离;当他跑完這段新距离时,乌龟又向前爬了一点…… 這個過程可以无限地划分下去,阿喀琉斯似乎陷入了无穷无尽的追赶步骤中,永远无法完成超越.
這個悖論的困惑在于:一個包含无穷多個步骤的過程,能否在有限的时間内完成?或者換個角度問:如果你把 1 米长的绳子切成 1/2 米, 1/4 米, 1/8 米…… 這一连串无穷无尽的碎片,能不能重新拼回原来的 1 米?
直觉告诉我们,无穷多個正數相加,结果似乎應该是无穷大. 但現实經验(阿喀琉斯确实能追上乌龟,绳子也确实是 1 米)却暗示我们:在特定条件下,无穷多個數的和,竟然可以是一個有限的數.
這种“无穷項之和”的數學结構,被称為级數. 它是我们理解连續、逼近以及函數本質的關键工具.
定義與收敛性
我们无法直接执行无穷次加法运算. 為了赋予“无穷和”以數學意義,我们借助“部分和”與“極限”的概念.
给定一個數列 . 表达式
称為无穷级數,簡称级數. 其中 称為级數的通項.
為了计算其值,我们構造一個新的數列 ,称為级數的部分和數列,其中
如果部分和數列 收敛于某個实數 , 即 , 则称该级數收敛, 并称 為该级數的和. 如果 發散,则称该级數發散.
換句话說:我们并不是真的“把所有項都加完”,而是看“前項的和”会不会越来越靠近某個固定的數.如果会,那么這個固定的數就被视為“无穷多項相加”的结果.
由此可见,级數的研究本質上是對部分和數列 極限的研究.
级數收敛的必要条件
一個自然的問題是:什么样的數列 構成的级數才可能收敛?直观上,如果我们要把无穷多個數加起来得到一個有限值,這些數必须變得越来越小,最终趋于零.
在上一节我们已經知道:如果两個數列都有極限,则它们的和與差的極限等于極限的和與差.現在我们利用這一点来證明“項趋零性”.
如果级數 收敛, 那么其通項 随 趋于无穷时的極限必為零,即
设级數收敛于 , 即 . 注意到通項與部分和的關係: (当 ). 對等式两边取極限:
證毕.
這是一個必要条件,而非充分条件. 也就是說,即使 , 级數也未必收敛. 這一点在后續關于调和级數的讨論中将得到證实. 但如果 ,我们可以断定级數必然發散.
判断级數 的敛散性.
考察通項的極限:
由于極限不為 ,根据必要条件,该级數發散.
重要的级數模型
\paragraph{几何级數 (等比级數)} 這是最基本且應用最廣泛的级數. 考虑等比數列 構成的级數:
其部分和 由等比數列求和公式给出:
我们分析 的極限行為:
- 当 时, , 故 . 级數收敛.
- 当 时, 數列 不收敛于 (或發散), 導致 發散.
结論:几何级數 收敛当且僅当 , 其和為 .
计算循环小數 的值, 并判断它與 的關係.
首先明确 的含義. 它表示一個極限過程:依次取
一般地,第 個近似寫作
我们把數列 的極限(若存在)记作 :
接下来把 寫成一個有限级數. 每個 可以表示為
這是一列等比级數的前 項和, 首項為 , 公比為 . 由等比數列求和公式
可得
于是
根据 的定義,有
從差的角度再看一次這一结論. 由 可得
對两边取極限:
两數之差為 , 說明 與 表示同一個实數,它们之間没有任何間隙.
注意,上面的计算同时给出了另一個常用寫法的依据. 例如
因此
任何有限小數在十進制展開中,都可以有一种“最后一位减一,再接无穷個 ”的等价表示; 是其中最簡單的一种情形.
\paragraph{调和级數} 考察通項為 的级數:
虽然 ,满足收敛的必要条件,但该级數却是發散的. 這是一個反直觉的重要例子.
我们将级數的項進行分组放缩:
通過不断地将 項分母放大到 的倒數, 我们構造出了无穷多個 . 显然,這個和趋向于无穷大. 因此,调和级數發散.
\paragraph{裂項级數} 如果级數的通項 可以表示為某個數列 的差分形式 , 则部分和 会出現中間項抵消的現象. 這种级數称為裂項级數.
此时,级數的敛散性完全取决于數列 的極限.
计算级數 的和.
利用部分分式分解:
部分和為:
取極限:
绝對收敛與条件收敛
對于項的符号發生變化的级數,情况会變得更加微妙. 考虑交錯调和级數:
虽然调和级數發散,但由于正负項的相互抵消,這個级數是收敛的(收敛于 ).
對于级數 :
- 如果各項的绝對值構成的级數 收敛,则称原级數绝對收敛.
- 如果原级數 收敛, 但 發散,则称原级數条件收敛.
绝對收敛的级數具有很好的性質,例如可以任意交換求和顺序而不改變和的值. 而条件收敛级數则不然,黎曼重排定理指出:對于条件收敛级數,可以通過重排項的顺序,使其收敛于任意实數,甚至發散. 這再次提醒我们,在处理无穷级數时,有限运算的直觉(如交換律)必须經過严格的檢验.
典型级數與函數展開
在建立了级數收敛的基本概念后,我们需要建立几個標准的參照係. 判断一個陌生级數是否收敛,最有效的方法往往是将其與我们熟知的典型级數進行比较. 此外,我们将视点從單纯的“數字之和”提升到“函數”的高度,探讨如何用级數来表示动态變化的量.
几何级數
几何级數(等比级數)是计算中最友好的级數,也是衡量其他级數收敛速度的標尺.
考虑级數 . 我们在前文中已知,当且僅当 时, 该级數收敛于 .
這個求和公式揭示了一個深刻的代數事实:函數 可以展開為一個无穷多項式.
這個等式是現代分析中“幂级數”理論的起点. 它告诉我们,在收敛区間内,複杂的函數可以被簡單的幂函數之和所替代.
\begin{figure}[htbp]
{1-x}|x|<1y=\frac{1*
调和级數的推廣:\texorpdfstring{
{p}-级數} 调和级數 的發散性划定了一条隐形的界線. 如果通項趋于 的速度比 更慢, 级數必發散;如果快得多, 级數可能收敛. 為了量化這种“快慢”, 我们引入 -级數.
形如以下的级數称為 -级數:
其中 為实常數.
其敛散性完全由指數 决定:
- 当 时, 级數發散. ( 即為调和级數)
- 当 时,级數收敛.
例如, 收敛(欧拉證明了其和為 ), 而 () 發散. -级數常被用作比较判别法中的“參照物”.
交錯级數
現实世界中的波动往往具有正负交替的特征. 數學上,這种正负項交替出現的级數称為交錯级數. 其一般形式為:
對于這類级數,莱布尼茨给出了一個極其簡洁且实用的判别法.
如果交錯级數 满足以下两個条件:
- 單调递减: 對所有 成立;
- 趋于零: .
那么该级數收敛.
记部分和
将奇數項、偶數項的部分和分開来看:
偶數部分和單调递增:
因為 單调递减, 所以 . 因此 單调递增.
奇數部分和單调递减:
同样由于 , 故 單调递减.
奇偶部分和互相夹逼: 一方面,
所以對所有 , 都有 ,即
于是 被上界 所有界, 被下界 所有界. 结合第 1、2 点,得到:
设
利用 說明两極限相同: 注意到
两边取極限可得
所以 .
這說明奇數、偶數部分和都收敛到同一個極限 , 于是整體部分和 也收敛到 ,即原交錯级數收敛.
直观理解: 每加一項就向左、向右交替“摆动”,由于加上的正负項绝對值越来越小,部分和在一段越来越短的区間内来回震荡,這個区間的长度恰好约為 , 而 ,所以震荡最终集中到同一個点,這個点就是级數的和.
判断级數 的敛散性.
這是交錯调和级數. 令 .
- 显然 ,满足單调递减.
- ,满足極限為零. 根据莱布尼茨判别法,该级數收敛.
判断级數 的敛散性,并說明是绝對收敛还是条件收敛.
令 .
- 單调性:對 ,
所以 $\{a_n\}$ 單调递减;
2. 極限:.
满足莱布尼茨判别法的两個条件,因此
收敛.
再看绝對收敛性:
是 级數(),發散.
因此原级數是条件收敛而不是绝對收敛.
判断级數 的敛散性,并說明是绝對收敛还是条件收敛.
令 .
- 單调性:對 ,
比较 $a_{n+1}$ 與 $a_n$:
而 $n(n+1) \< (n+1)(n+2)$ 显然成立, 所以 $a_{n+1} \< a_n$,序列單调递减;
2. 極限:.
故由莱布尼茨判别法,
收敛.
再看绝對收敛性:
注意
因此
所以 收敛,從而原级數绝對收敛.
判断级數 的敛散性,并說明是绝對收敛还是条件收敛.
令 .
- 單调性:当 增大时, 單调递减;而在区間 上, 是單调递增函數(因為 ),因此複合函數
随 $n$ 增大而單调递减, 即 $a_{n+1}\le a_n$;
2. 極限:.
满足莱布尼茨判别法条件,因此
收敛.
考察绝對收敛性:
對大 , 很小,利用極限
于是由極限比较判别法,
有相同的敛散性,而调和级數 發散,因此
發散.
故原级數是条件收敛而不是绝對收敛.
作為函數的级數
我们将几何级數 的思想推廣. 如果我们将级數中的常數項替換為變量 的函數,级數本身就定義了一個新的函數. 最重要的一類是幂级數.
形如
的级數称為關于 的幂级數, 其中 為常數係數.
幂级數可以看作是“无穷次多項式”. 對于一個幂级數,存在一個非负实數 (称為收敛半径),使得:
- 当 时,级數绝對收敛;
- 当 时,级數發散.
许多常见的初等函數都可以表示為幂级數,這称為函數的泰勒展開. 這种表示法将複杂的函數运算(如求導、積分)转化為簡單的多項式係數运算.
指數函數 的幂级數展開為:
该级數對所有实數 均收敛(即 ).
正弦函數 的幂级數展開為:
這也是一個交錯级數,且對所有实數 收敛.
通過這些展開式,计算机可以利用有限的加减乘除运算,高精度地计算出 或 等數值. 這正是级數理論在現代计算中的核心應用.
泰勒公式與泰勒级數
{/* label: sec:ch07-s17 */}
多項式是數學中最簡單的函數類:它们僅涉及有限次的加法與乘法运算,易于计算、求導和積分.對于複杂的非多項式函數(如 ),我们试圖寻找一個多項式来局部替代它.
這种替代的直观思路是“拟合”.如果一個多項式 在某一点 处不僅與原函數 數值相等, 而且導數相等、二階導數相等……直到 階導數都相等, 那么 在 附近的行為将與 高度一致.
多項式逼近的構造
考虑在点 附近逼近函數 .假设 在该点具有任意階導數. 我们要構造一個 次多項式:
使得 與 在 处的 到 階導數完全吻合.即:
對 逐次求導并令 :
令 , 解得係數 :
由此得到逼近多項式的显式表达.将其推廣到任意展開点 ,即得到泰勒多項式.
设函數 在点 处具有 階導數.称多項式
為 在 处的 次泰勒多項式. 特别地,当 时,称為 麦克劳林多項式.
泰勒公式與余項
多項式 只是 的一個近似.為了使等式成立, 必须引入誤差項(余項):
這就構成了泰勒公式.余項的大小决定了逼近的精度.
如果函數 在包含 的某個区間内具有 階導數, 则對该区間内的任意 , 存在介于 與 之間的某個 ,使得:
其中最后一項称為拉格朗日余項.
该定理是微分中值定理的推廣( 时即為拉格朗日中值定理).余項的形式提示我们:如果 有界, 且 较小或 很大,誤差将迅速衰减.
\begin{figure}[htbp]
{sin x} 及其麦克劳林多項式 \texorpdfstring{}{T1, T3, T5} 的圖像.随着階數 \texorpdfstring{}{n} 的增加,多項式與原函數的重合范围逐渐擴大.} \end{figure} 圖:\texorpdfstring{
泰勒级數
当 趋于无穷大时, 如果余項 的極限為 ,则泰勒公式转化為一個无穷级數.此时,函數不僅被多項式逼近,而是被级數精确表示.
设 在 处具有任意階導數.级數
称為 在 处的泰勒级數.
注意:泰勒级數的收敛域可能僅限于 附近的一個区間(收敛区間).在该区間外,级數發散或不收敛于原函數.
常见函數的麦克劳林展開
以下展開式是分析學中的基本常识,展開点均為 .
\paragraph{指數函數} 设 .由于 , 故 .
此级數對一切实數收敛,且收敛速度極快.
\paragraph{正弦與余弦函數} 设 .導數依次為 . 在 处的值依次為 .偶數項係數為 ,奇數項符号交替.
同理可得余弦函數的展開(僅含偶次項):
這解释了為何 是奇函數(僅含奇次幂), 而 是偶函數(僅含偶次幂).
\paragraph{二項式级數} 考虑 , 其中 為任意实數. 其係數满足 , 记為廣義组合數 .
当 為正整數时, 级數截断為有限項, 即牛顿二項式定理;当 為负數或分數时,得到无穷级數.
利用泰勒展開计算 的近似多項式(保留至二次項).
取 .
-
: .
-
: .
-
: .
因此:
当 较小时,该多項式提供了平方根函數的优良近似.
欧拉公式的连接
观察 的级數形式.如果允许在级數中代入虚數單位 (满足 ),我们發現:
這便是著名的欧拉公式:.它通過泰勒级數這一桥梁,将指數函數與三角函數统一在複數域中.
還沒有留言。