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

FP1 2021 June Q8

A Level / Edexcel / FP1

IAL 2021 June Paper · Question 8

题目

Problem

8. Prove by induction that 4n+2+52n+14^{n+2} + 5^{2n+1} is divisible by 2121 for all positive integers nn.

(6)
题目中文翻译
  1. 用数学归纳法证明 4n+2+52n+14^{n+2} + 5^{2n+1} 对所有正整数 nn 都能被 2121 整除。
(6)

解答

解法一

思路

展开

设 f(n)=4n+2+52n+1f(n)=4^{n+2}+5^{2n+1}。先验证 n=1n=1 时可被 2121 整除;再假设 f(k)f(k) 可被 2121 整除,把 f(k+1)f(k+1) 改写成 4f(k)4f(k) 加上一个显然含因子 2121 的项。

答题过程

展开

Let

f(n)=4n+2+52n+1.f(n)=4^{n+2}+5^{2n+1}.

For n=1n=1,

f(1)= 43+53= 64+125= 189=9×21.\begin{align*} f(1)=&\,4^3+5^3\\ =&\,64+125\\ =&\,189=9\times21. \end{align*}

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

Assume that the result is true for n=kn=k, where kk is a positive integer. Thus f(k)f(k) is divisible by 2121.

Now

 f(k+1)= 4k+3+52k+3= 4⋅4k+2 +25⋅52k+1= 4⋅4k+2 +4⋅52k+1 +21⋅52k+1= 4(4k+2+52k+1) +21⋅52k+1= 4f(k)+21⋅52k+1.\begin{align*} &\,f(k+1)\\ =&\,4^{k+3}+5^{2k+3}\\ =&\,4\cdot4^{k+2}\\ &\,\hspace{2pt}+25\cdot5^{2k+1}\\ =&\,4\cdot4^{k+2}\\ &\,\hspace{2pt}+4\cdot5^{2k+1}\\ &\,\hspace{4pt}+21\cdot5^{2k+1}\\ =&\,4\big(4^{k+2}+5^{2k+1}\big)\\ &\,\hspace{2pt}+21\cdot5^{2k+1}\\ =&\,4f(k)+21\cdot5^{2k+1}. \end{align*}

By the induction hypothesis, 4f(k)4f(k) is divisible by 2121, and 21⋅52k+121\cdot5^{2k+1} is also divisible by 2121. Therefore, f(k+1)f(k+1) is divisible by 2121.

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, 4n+2+52n+14^{n+2}+5^{2n+1} is divisible by 2121 for all positive integers nn, by mathematical induction.

解法二

思路

展开

也可以先配出 25f(k)25f(k),再减去多出的项,得到

25f(k)−21⋅4k+2.25f(k)-21\cdot4^{k+2}.

归纳假设保证第一项可被 2121 整除,第二项也含有因子 2121,所以它们的差同样可被 2121 整除。

答题过程

展开

Let

f(n)=4n+2+52n+1.f(n)=4^{n+2}+5^{2n+1}.

For n=1n=1,

f(1)= 43+53= 64+125= 189=9×21.\begin{align*} f(1)=&\,4^3+5^3\\ =&\,64+125\\ =&\,189=9\times21. \end{align*}

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

Assume that f(k)f(k) is divisible by 2121 for some positive integer kk. Then

 f(k+1)= 4k+3+52k+3= 4⋅4k+2 +25⋅52k+1= 25⋅4k+2 +25⋅52k+1 −21⋅4k+2= 25(4k+2+52k+1) −21⋅4k+2= 25f(k)−21⋅4k+2.\begin{align*} &\,f(k+1)\\ =&\,4^{k+3}+5^{2k+3}\\ =&\,4\cdot4^{k+2}\\ &\,\hspace{2pt}+25\cdot5^{2k+1}\\ =&\,25\cdot4^{k+2}\\ &\,\hspace{2pt}+25\cdot5^{2k+1}\\ &\,\hspace{4pt}-21\cdot4^{k+2}\\ =&\,25\big(4^{k+2}+5^{2k+1}\big)\\ &\,\hspace{2pt}-21\cdot4^{k+2}\\ =&\,25f(k)-21\cdot4^{k+2}. \end{align*}

By the induction hypothesis, 25f(k)25f(k) is divisible by 2121. The term 21⋅4k+221\cdot4^{k+2} is also divisible by 2121, so f(k+1)f(k+1) is divisible by 2121.

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,

21∣(4n+2+52n+1)21\mid\big(4^{n+2}+5^{2n+1}\big)

for all positive integers nn.