Evanalysis
5.1嵌入式互动预计阅读时间: 16 分钟

5.1 数列、递推与级数

把数列读成定义在正整数上的函数,比较显式与递推定义,并推导等差与等比求和公式。

课程目录

MATH1025:预备数学

预备数学笔记。

章节 4二项式定理1

数列到底是什么

数列不只是用逗号排列的一串数。严格地说,数列是一个函数:输入是正整数, 输出是实数。输入指出项的位置,输出就是该位置上的数值。

定义

实数数列

实数数列是一个函数

a:Z+R.a:\mathbb Z^+\to \mathbb R.

我们通常不写 a(n),而写 ana_n;整个数列记作 an{a_n}

这个定义很重要。它解释了为什么同一批数若次序不同,就成为不同数列;也解释 了为什么一个通项公式必须说明每个正整数 n 对应哪一个值。

例题

读通项

an=(1)na_n=(-1)^n,则

a1=1,a2=1,a3=1,a4=1.a_1=-1,\quad a_2=1,\quad a_3=-1,\quad a_4=1.

bn=2n1b_n=2^{n-1},则

b1=1,b2=2,b3=4,b4=8.b_1=1,\quad b_2=2,\quad b_3=4,\quad b_4=8.

两者都是数列,因为每个正整数 n 都决定唯一一个实数。

由规律寻找通项

有限列表只能提示规律;通项要描述第 n 项,而不是只描述头几项。

例题

交替出现的 1 与 0

数列

1,0,1,0,1,0,1,0,\ldots

n 为奇数时等于 1,在 n 为偶数时等于 0。一个简洁公式是

an=1+(1)n12.a_n=\frac{1+(-1)^{n-1}}2.

例题

偶因子与奇因子的乘积

乘积

246(2n)2\cdot4\cdot6\cdots(2n)

的第 k 个因子是 2k,所以

24(2n)=k=1n2k=2nn!.2\cdot4\cdots(2n) =\prod_{k=1}^n 2k =2^n n!.

同理,

135(2n1)=(2n)!2nn!.1\cdot3\cdot5\cdots(2n-1) =\frac{(2n)!}{2^n n!}.

原因是 (2n)! 包含由 12n 的所有因子;除去偶因子部分 24(2n)=2nn!2\cdot4\cdots(2n)=2^n n! 后,余下的就是奇因子部分。

例题

由反复求导得到的数列

章节也用 f(x)=sinxf(x)=\sin x 说明:数列不一定先来自普通的数字列表。定义 an=f(n)(0)a_n=f^{(n)}(0),其中 f(n)f^{(n)} 表示第 n 次导数。导数会循环:

sinx,cosx,sinx,cosx,sinx,\sin x,\quad \cos x,\quad -\sin x,\quad -\cos x,\quad \sin x,\ldots

所以

a1=1,a2=0,a3=1,a4=0,a_1=1,\quad a_2=0,\quad a_3=-1,\quad a_4=0,

并且同一个四项模式不断重复。一个简洁通项是

an=cos((n1)π2).a_n=\cos\left(\frac{(n-1)\pi}{2}\right).

这个例子重要之处,是把“数列”与“简单代数规律”分开。数列仍然是索引 n 的函数;只是它的值先由微积分操作产生,再在 0 代入。

常见错误

未固定索引时,规律还不是定义

2,4,8,2,4,8,\ldots 不如写 an=2na_n=2^nan=2n1a_n=2^{n-1} 精确。第一项的索引 很重要:章节例子 1,2,4,8,1,2,4,8,\ldots2n12^{n-1}

递推定义

有些数列较适合用“如何由前面的项得到下一项”来定义。

定义

递推数列

递推数列是指某些项由一个或多个前项定义,同时给出足够初始值让过程开始。

例如

a1=4,an+1=2an+1a_1=4,\qquad a_{n+1}=2a_n+1

给出

a2=9,a3=19,a4=39.a_2=9,\quad a_3=19,\quad a_4=39.

这条递推式只有在前一项已知时,才可决定下一项。

对这条特定递推式,也可以求出封闭公式。两边加 1,并设 bn=an+1b_n=a_n+1。 则

bn+1=an+1+1=2an+2=2(an+1)=2bn.b_{n+1}=a_{n+1}+1=2a_n+2=2(a_n+1)=2b_n.

由于 b1=a1+1=5b_1=a_1+1=5,转换后的数列是等比数列:

bn=52n1.b_n=5\cdot2^{n-1}.

因此

an=bn1=52n11.a_n=b_n-1=5\cdot2^{n-1}-1.

重点不是每条递推式都会变成等比数列,而是遇到仿射递推时,可尝试用变量转换 消去常数项。

定理

Recursion Theorem

XX 是集合,bXb\in X,且 f:XXf:X\to X 是函数。则存在唯一函数 a:Z+Xa:\mathbb Z^+\to X 满足

a(1)=b,a(n+1)=f(a(n))a(1)=b,\qquad a(n+1)=f(a(n))

对所有 nZ+n\in\mathbb Z^+ 成立。

这个定理说明为什么“第一项加上一条下一项规则”确实定义一个数列。因为 fXX 映回 XX,过程不会离开指定集合;唯一性则保证不会有另一个不同 数列同时满足相同起点与相同递推规则。

例题

把递推式翻译成定理数据

a1=1,an+1=an2+1,a_1=1,\qquad a_{n+1}=a_n^2+1,

可取 X=RX=\mathbb Rb=1b=1f(x)=x2+1f(x)=x^2+1。Recursion Theorem 保证存在唯一 实数数列满足此规则。前几项为

1,2,5,26,1,\quad 2,\quad 5,\quad 26,\ldots

即使未必有简单封闭公式,数列仍然已被完整定义。

Fibonacci 数列与有序对

Fibonacci 数列由两个起始值和一条使用前两项的规则定义:

F1=F2=1,Fn+2=Fn+1+Fn.F_1=F_2=1,\qquad F_{n+2}=F_{n+1}+F_n.

若要配合 Recursion Theorem,可把相邻两项包装成一个有序对:

a(n)=(Fn,Fn+1).a(n)=(F_n,F_{n+1}).

下一个有序对由函数

f(x,y)=(y,x+y)f(x,y)=(y,x+y)

给出。因此二阶递推也可看成在 R2\mathbb R^2 上的一阶递推。

定理

Fibonacci 数的 Binet 公式

ϕ=1+52,ψ=152.\phi=\frac{1+\sqrt5}{2}, \qquad \psi=\frac{1-\sqrt5}{2}.

则对每个正整数 n

Fn=ϕnψnϕψ.F_n=\frac{\phi^n-\psi^n}{\phi-\psi}.

通常证明方法是检查右边有相同的首两项,并满足相同递推式。关键恒等式是 ϕ2=ϕ+1\phi^2=\phi+1ψ2=ψ+1\psi^2=\psi+1

把这个检查写成一般递推题可重用的形式。定义

Bn=ϕnψnϕψ.B_n=\frac{\phi^n-\psi^n}{\phi-\psi}.

首先,

B1=1,B2=ϕ2ψ2ϕψ=ϕ+ψ=1.B_1=1,\qquad B_2=\frac{\phi^2-\psi^2}{\phi-\psi}=\phi+\psi=1.

其次,因为 ϕ\phiψ\psi 都满足 t2=t+1t^2=t+1,所以

ϕn+2=ϕn+1+ϕn,ψn+2=ψn+1+ψn.\phi^{n+2}=\phi^{n+1}+\phi^n, \qquad \psi^{n+2}=\psi^{n+1}+\psi^n.

把第二条式从第一条式相减,再除以 ϕψ\phi-\psi,得到

Bn+2=Bn+1+Bn.B_{n+2}=B_{n+1}+B_n.

因此 Bn{B_n} 与 Fibonacci 数列有相同首两项与相同递推规则。由递推定义的 唯一性,对每个正整数 n 都有 Bn=FnB_n=F_n

等差数列与求和

定义

等差数列

若存在常数 d 使得

an+1an=da_{n+1}-a_n=d

对所有 nZ+n\in\mathbb Z^+ 成立,则 an{a_n} 是等差数列。d 称为公差。

a=a1a=a_1,则

an=a+(n1)d.a_n=a+(n-1)d.

n 项和为

sn=k=1nak=n2[2a+(n1)d]=n2(a1+an).s_n=\sum_{k=1}^n a_k =\frac n2\left[2a+(n-1)d\right] =\frac n2(a_1+a_n).

这来自首尾配对:第一项配最后一项,第二项配倒数第二项,每一对的和都相同。

例题

由总和反推等差数列

假设公差 d=3/2,且前 15 项和为 240。则

240=152[2a+1432],240=\frac{15}{2}\left[2a+14\cdot\frac32\right],

解得 a=5.5a=5.5

若前 k 项和为 361,则

k2[2(5.5)+(k1)32]=361,\frac{k}{2}\left[2(5.5)+(k-1)\frac32\right]=361,

化简为

3k2+19k1444=0.3k^2+19k-1444=0.

正整数解为 k=19k=19;另一根不合题意,因为项数不能为负。

等比数列与求和

定义

等比数列

若非零数列 bn{b_n} 存在非零常数 r 使得

bn+1bn=r\frac{b_{n+1}}{b_n}=r

对所有 nZ+n\in\mathbb Z^+ 成立,则 bn{b_n} 是等比数列。r 称为公比。

b=b1b=b_1,则

bn=brn1.b_n=br^{n-1}.

r1r\ne 1 时,有限等比和为

k=1nbrk1=bk=0n1rk=b1rn1r=brn1r1.\sum_{k=1}^n br^{k-1} =b\sum_{k=0}^{n-1}r^k =b\frac{1-r^n}{1-r} =b\frac{r^n-1}{r-1}.

证明的核心是相减:

(1r)(1+r++rn1)=1rn.(1-r)(1+r+\cdots+r^{n-1})=1-r^n.

r=1r=1,则和只是 bn

边读边试

比较递推与显式数列描述

这个工具让读者切换等差、等比与仿射递推数列,比较项、显式公式与有限和。

关键关系

a1=5.5a_1=5.5, an+1=an+1.5a_{n+1}=a_n+1.5

结果

an=5.5+1.5(n1)a_n=5.5+1.5(n-1)

相邻项差保持不变;求和时可把首项与尾项配对。

显示 1 至 12 个项或月份。

na_n部分和 sns_n
15.55.5
27.012.5
38.521.0
410.031.0
511.542.5
613.055.5

等差等比混合求和

来源章节最后一题把等差因子与等比因子混合。设

xk=(a+kd)brk,kN,x_k=(a+kd)br^k,\qquad k\in\mathbb N,

其中 r0r\ne0r1r\ne1,并定义

Sn=k=0n1xk=k=0n1(a+kd)brk.S_n=\sum_{k=0}^{n-1}x_k =\sum_{k=0}^{n-1}(a+kd)br^k.

这不是全新的公式技巧,而是同一个相减方法;只是这次系数会随索引每次增加 d。比较 SnS_nrSnrS_n

SnrSn=ab+db(r+r2++rn1)(a+(n1)d)brn.S_n-rS_n =ab+db(r+r^2+\cdots+r^{n-1})-(a+(n-1)d)br^n.

中间部分仍然是等比和。除以 1r1-r 并整理后,可得到来源公式

Sn=ab(a+nd)brn1r+dbr(1rn)(1r)2.S_n= \frac{ab-(a+nd)br^n}{1-r} +\frac{dbr(1-r^n)}{(1-r)^2}.

常见错误

留意平移后的边界项

最容易出错的是边界项。rSnrS_n 的最后一项是 (a+(n1)d)brn(a+(n-1)d)br^n,但与有限等比 和合并整理后,等价的最终公式可写成含有 (a+nd)brn(a+nd)br^n 的形式。

应用递推:按揭公式

章节中的按揭例子展示了递推式如何进入实际计算。设:

  • PP 为初始贷款本金;
  • RR 为固定年利率;
  • NN 为月份数;
  • x 为每月还款;
  • LnL_n 为第 n 个月还款后的欠款。

L0=P,Ln=Ln1(1+R12)x.L_0=P,\qquad L_n=L_{n-1}\left(1+\frac{R}{12}\right)-x.

q=1+R/12,反复代入可得

Ln=Pqnx(qn1+qn2++q+1).L_n=Pq^n-x(q^{n-1}+q^{n-2}+\cdots+q+1).

利用等比和公式,

Ln=Pqnxqn1q1.L_n=Pq^n-x\frac{q^n-1}{q-1}.

若希望 NN 个月后还清贷款,就令 LN=0L_N=0,得到

x=P(R/12)(1+R/12)N(1+R/12)N1.x=P\frac{(R/12)(1+R/12)^N}{(1+R/12)^N-1}.

这不是另一个孤立公式,而是把等比级数公式用于“先乘利息因子、再扣还款” 的递推式。

快速检查

快速检查

本章中,数列形式上是由哪个集合映到哪个集合的函数?

使用定义。

解答

答案

快速检查

a1=4a_1=4an+1=2an+1a_{n+1}=2a_n+1,则 a3a_3 是多少?

逐项计算。

解答

答案

快速检查

首项为 a、公差为 d 的等差数列,前 n 项和是什么?

使用首尾配对。

解答

答案

快速检查

为什么等比和公式在 r=1r=1 时要另作处理?

留意分母。

解答

答案

快速检查

在等差等比混合求和中,为什么 SnrSnS_n-rS_n 有用?

留意乘上 r 后,系数 a+kda+kd 如何与下一个幂次对齐。

解答

答案

练习

  1. 1,0,1,0,1,0,1,0,\ldots 写出通项。
  2. 证明 1\cdot3\cdot5\cdots(2n-1)=(2n)!/(2^n n!)
  3. a1=3a_1=3an+1=an+4a_{n+1}=a_n+4。求 ana_nsns_n
  4. b1=5b_1=5bn+1=3bnb_{n+1}=3b_n。求 bnb_n 与前 n 项和。
  5. B_n=(\phi^n-\psi^n)/(\phi-\psi),其中 \phi=(1+\sqrt5)/2\psi=(1-\sqrt5)/2。验证 B1=B2=1B_1=B_2=1 以及 Bn+2=Bn+1+BnB_{n+2}=B_{n+1}+B_n
  6. L0=2000L_0=2000Ln=1.02Ln1150L_n=1.02L_{n-1}-150。用有限等比和写出 LnL_n
  7. x_k=(2+3k)5(1/2)^k,且 Sn=k=0n1xkS_n=\sum_{k=0}^{n-1}x_k。用等差等比混合 公式写出 SnS_n

引导解答

  1. 奇数项为 1,偶数项为 0,所以 a_n=(1+(-1)^{n-1})/2

  2. (2n)! 分成偶因子与奇因子。偶因子乘积是 24(2n)=2nn!2\cdot4\cdots(2n)=2^n n!,所以奇因子乘积是 (2n)!/(2^n n!)

  3. 这是首项 3、公差 4 的等差数列,因此 an=3+4(n1)=4n1a_n=3+4(n-1)=4n-1,且 s_n=n[2\cdot3+(n-1)4]/2=n(2n+1)

  4. 这是首项 5、公比 3 的等比数列,所以 bn=53n1b_n=5\cdot3^{n-1},且 s_n=5(3^n-1)/(3-1)=5(3^n-1)/2

  5. 因为 ϕ2=ϕ+1\phi^2=\phi+1ψ2=ψ+1\psi^2=\psi+1,乘上 ϕn\phi^nψn\psi^n 后可得 ϕn+2=ϕn+1+ϕn\phi^{n+2}=\phi^{n+1}+\phi^nψn+2=ψn+1+ψn\psi^{n+2}=\psi^{n+1}+\psi^n。两式相减并除以 ϕψ\phi-\psi,得到 Bn+2=Bn+1+BnB_{n+2}=B_{n+1}+B_n。另外 B1=1B_1=1,且 B_2=(\phi^2-\psi^2)/(\phi-\psi)=\phi+\psi=1。所以 Bn{B_n} 与 Fibonacci 数列有相同初始值与递推式。

  6. 反复代入得 L_n=2000(1.02)^n-150[(1.02)^{n-1}+\cdots+1],所以 L_n=2000(1.02)^n-150((1.02)^n-1)/0.02

  7. 这里 a=2a=2d=3d=3b=5b=5r=1/2,所以

    Sn=10(2+3n)5(1/2)n11/2+15(1/2)(1(1/2)n)(11/2)2.S_n= \frac{10-(2+3n)5(1/2)^n}{1-1/2} +\frac{15(1/2)(1-(1/2)^n)}{(1-1/2)^2}.

    这仍可继续化简,但重点是正确代入一般有限和公式。

本节掌握 checkpoint

要完成这一节 checkpoint,需要把每一题答对。 答对进度: 0%.

技能点: sequences, general-term, factorials

Exercise 5.1 要求写出 2,24,246,...2, 2\cdot4, 2\cdot4\cdot6, ... 的通项。填空:对 nZ+n\in \mathbb Z^+a_n = 2\cdot4\cdots(2n) = ____

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

输入格式提示: 请使用 n、幂次与阶乘记号输入通项。

  • 可输入例如 2nn!2^n*n! 的表达式。

技能点: sequences, recursion, recursive-definition

Example 5.2 定义 a1=4a_1=4,且对 n1n\ge 1an+1=2an+1a_{n+1}=2a_n+1。填空:a_4 = ____

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

输入格式提示: 请输入第四项的值。

  • 请输入一个数。

技能点: sequences, recursion-theorem, existence-uniqueness

根据第 5 章的 Recursion Theorem,设 XX 是集合、bXb\in X,且 f:XXf:X\to X。条件 a(1)=ba(1)=ba(n+1)=f(a(n))a(n+1)=f(a(n)) 是否决定唯一的函数 a:Z+Xa:\mathbb Z^+\to X

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

  • a1=1a_1=1an+1=an2+1a_{n+1}=a_n^2+1,自映射是 f(x)=x2+1f(x)=x^2+1

技能点: sequences, fibonacci, recursion, closed-form-verification

B_n=(\phi^n-\psi^n)/(\phi-\psi),其中 ϕ2=ϕ+1\phi^2=\phi+1ψ2=ψ+1\psi^2=\psi+1。哪一个检查可证明 BnB_n 满足 Fibonacci 递推式?

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

  • ϕ2=ϕ+1\phi^2=\phi+1 推出 ϕn+2=ϕn+1+ϕn\phi^{n+2}=\phi^{n+1}+\phi^n,而 ψ\psi 也同理。

技能点: sequences, arithmetic-geometric-series, finite-sums

xk=(a+kd)brkx_k=(a+kd)br^kSn=k=0n1xkS_n=\sum_{k=0}^{n-1}x_k,哪一条公式符合由 SnrSnS_n-rS_n 推出的等差等比混合求和?

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

  • 找出同时含有边界项与额外 dbr 修正项的公式。

本单元重点词汇

本系列更多笔记