Skip to content
CalcGospel 國際數學圖譜
返回

IAL 2021 Jan FP1 Q9

A Level / Edexcel / FP1

IAL 2021 Jan Paper · Question 9

题目

Problem

(i) A sequence of numbers u1,u2,u3,u_1, u_2, u_3, \ldots is defined by

un+1=13(2un1)u1=1u_{n+1} = \frac{1}{3}(2u_n - 1) \quad u_1 = 1

Prove by induction that, for nZ+n \in \mathbb{Z}^+

un=3(23)n1u_n = 3\left(\frac{2}{3}\right)^n - 1

(6)

(ii) f(n)=2n+2+32n+1f(n) = 2^{n+2} + 3^{2n+1}

Prove by induction that, for nZ+n \in \mathbb{Z}^+, f(n)f(n) is a multiple of 77

(6)
题目中文翻译

(i) 数列 u1,u2,u3,u_1, u_2, u_3, \ldots 定义为 un+1=13(2un1)u1=1u_{n+1} = \frac{1}{3}(2u_n - 1) \quad u_1 = 1

用数学归纳法证明:对于 nZ+n \in \mathbb{Z}^+un=3(23)n1u_n = 3\left(\frac{2}{3}\right)^n - 1

(ii) f(n)=2n+2+32n+1f(n) = 2^{n+2} + 3^{2n+1}

用数学归纳法证明:对于 nZ+n \in \mathbb{Z}^+f(n)f(n)77 的倍数。

解答

(i)

解法一

思路

展开

先验证 n=1n=1。归纳步骤假设公式对 n=kn=k 成立,把 uku_k 的公式代入递推关系,并整理成原公式中将 nn 替换为 k+1k+1 的形式。

答题过程

展开

For n=1n=1, the proposed formula gives

3(23)11=21=1=u1.3\bigg(\frac23\bigg)^1-1=2-1=1=u_1.

Therefore, the result is true for n=1n=1.

Assume that the result is true for n=kn=k, where kZ+k\in\mathbb Z^+. Thus

uk=3(23)k1.u_k=3\bigg(\frac23\bigg)^k-1.

Using the recurrence relation,

uk+1=13(2uk1)=13[2(3(23)k1)1]=2(23)k1=3(23)k+11.\begin{align*} u_{k+1} =&\,\frac13(2u_k-1)\\ =&\,\frac13\Bigg[ 2\bigg(3\bigg(\frac23\bigg)^k-1\bigg)-1 \Bigg]\\ =&\,2\bigg(\frac23\bigg)^k-1\\ =&\,3\bigg(\frac23\bigg)^{k+1}-1. \end{align*}

This is the required formula for n=k+1n=k+1. Hence, if the result is true for n=kn=k, it is true for n=k+1n=k+1.

Since the result is true for n=1n=1, by mathematical induction,

un=3(23)n1\boxed{u_n=3\bigg(\frac23\bigg)^n-1}

for all nZ+n\in\mathbb Z^+.

(ii)

解法一

思路

展开

先验证 f(1)f(1)77 的倍数。归纳步骤把 f(k+1)f(k+1) 重组为 2f(k)+732k+12f(k)+7\cdot3^{2k+1};归纳假设保证第一项是 77 的倍数,第二项显然也是。

答题过程

展开

For n=1n=1,

f(1)=23+33=8+27=35=7×5.f(1)=2^3+3^3=8+27=35=7\times5.

Therefore, the result is true for n=1n=1.

Assume that the result is true for n=kn=k, where kZ+k\in\mathbb Z^+. Thus

f(k)=2k+2+32k+1f(k)=2^{k+2}+3^{2k+1}

is a multiple of 77.

Now

f(k+1)=2k+3+32k+3=22k+2+932k+1=2(2k+2+32k+1)+732k+1=2f(k)+732k+1.\begin{align*} f(k+1) =&\,2^{k+3}+3^{2k+3}\\ =&\,2\cdot2^{k+2}+9\cdot3^{2k+1}\\ =&\,2\big(2^{k+2}+3^{2k+1}\big) +7\cdot3^{2k+1}\\ =&\,2f(k)+7\cdot3^{2k+1}. \end{align*}

By the induction hypothesis, 2f(k)2f(k) is a multiple of 77, and 732k+17\cdot3^{2k+1} is also a multiple of 77. Therefore, f(k+1)f(k+1) is a multiple of 77.

Hence, if the result is true for n=kn=k, it is true for n=k+1n=k+1. Since it is true for n=1n=1, by mathematical induction,

7(2n+2+32n+1)\boxed{7\mid\big(2^{n+2}+3^{2n+1}\big)}

for all nZ+n\in\mathbb Z^+.