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

FP1 2024 May Q8

A Level / Edexcel / FP1

IAL 2024 May Paper · Question 8

题目

Problem

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

f(n)=7n−1+82n+1f(n) = 7^{n-1} + 8^{2n+1}

is divisible by 5757

(6)
题目中文翻译

用数学归纳法证明,对于所有正整数 n∈Z+n \in \mathbb{Z}^+,

f(n)=7n−1+82n+1f(n) = 7^{n-1} + 8^{2n+1}

能被 5757 整除。

(6)

解答

解法一

思路

展开

先验证 n=1n=1。归纳步骤中,把 f(k+1)f(k+1) 的两项分别写成 77 倍与 6464 倍,再凑出 7f(k)7f(k);余下部分恰好含因数 5757。

答题过程

展开

For n=1n=1,

f(1)= 70+83= 1+512= 513= 57×9,\begin{align*} f(1)=&\,7^0+8^3\\ =&\,1+512\\ =&\,513\\ =&\,57\times9, \end{align*}

so the result is true for n=1n=1.

Assume that the result is true for n=kn=k, where k∈Z+k\in\mathbb Z^+. Thus f(k)f(k) is divisible by 57.

Now,

 f(k+1)= 7k+82k+3= 7(7k−1) +64(82k+1)= 7(7k−1) +(7+57)(82k+1)= 7(7k−1+82k+1) +57(82k+1)= 7f(k) +57(82k+1).\begin{align*} &\,f(k+1)\\ =&\,7^k+8^{2k+3}\\ =&\,7\big(7^{k-1}\big)\\ &\,\hspace{2pt}+64\big(8^{2k+1}\big)\\ =&\,7\big(7^{k-1}\big)\\ &\,\hspace{2pt}+(7+57)\big(8^{2k+1}\big)\\ =&\,7\big(7^{k-1}+8^{2k+1}\big)\\ &\,\hspace{2pt}+57\big(8^{2k+1}\big)\\ =&\,7f(k)\\ &\,\hspace{2pt}+57\big(8^{2k+1}\big). \end{align*}

By the induction hypothesis, 7f(k)7f(k) is divisible by 57, and 57(82k+1)57\big(8^{2k+1}\big) is also divisible by 57. Hence f(k+1)f(k+1) is divisible by 57.

Therefore, 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,

57∣f(n) for all n∈Z+.\boxed{57\mid f(n)\text{ for all }n\in\mathbb Z^+}.

解法二

思路

展开

另一种重排方式是凑出 64f(k)64f(k)。设 f(k)=57ℓf(k)=57\ell,则 f(k+1)f(k+1) 可以整体提出因数 57,归纳结论随即成立。

答题过程

展开

For n=1n=1,

f(1)= 70+83= 1+512= 513= 57×9,\begin{align*} f(1)=&\,7^0+8^3\\ =&\,1+512\\ =&\,513\\ =&\,57\times9, \end{align*}

so the result is true for n=1n=1.

Assume that the result is true for n=kn=k. Then, for some integer ℓ\ell,

 f(k)= 7k−1+82k+1= 57ℓ.\begin{align*} &\,f(k)\\ =&\,7^{k-1}+8^{2k+1}\\ =&\,57\ell. \end{align*}

Also,

 f(k+1)= 7k+82k+3= 64(7k−1+82k+1) −57(7k−1)= 64f(k) −57(7k−1)= 64(57ℓ) −57(7k−1)= 57(64ℓ−7k−1).\begin{align*} &\,f(k+1)\\ =&\,7^k+8^{2k+3}\\ =&\,64\big(7^{k-1}+8^{2k+1}\big)\\ &\,\hspace{2pt}-57\big(7^{k-1}\big)\\ =&\,64f(k)\\ &\,\hspace{2pt}-57\big(7^{k-1}\big)\\ =&\,64(57\ell)\\ &\,\hspace{2pt}-57\big(7^{k-1}\big)\\ =&\,57\big(64\ell-7^{k-1}\big). \end{align*}

Since 64ℓ−7k−164\ell-7^{k-1} is an integer, f(k+1)f(k+1) is divisible by 57.

Therefore, 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,

57∣f(n) for all n∈Z+.\boxed{57\mid f(n)\text{ for all }n\in\mathbb Z^+}.