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

IAL 2023 Jan Q10

A Level / Edexcel / P2

IAL 2023 Jan Paper · Question 10

题目

Problem

A student was asked to prove by exhaustion that

if nn is an integer then 2n2+n+12n^2 + n + 1 is not divisible by 3

The start of the student’s proof is shown in the box below.

Consider the case when n=3kn = 3k

2n2+n+1=18k2+3k+1=3(6k2+k)+12n^2 + n + 1 = 18k^2 + 3k + 1 = 3(6k^2 + k) + 1

which is not divisible by 3

Complete this proof.

(4)

解答

(a)

解法一

思路

展开

穷举法(Proof by exhaustion)需要考虑所有可能的整数情况。 任何整数 nn 被 3 除后的余数只有三种可能:00, 1122。因此,所有整数可以表示为以下三类:

  1. n=3kn = 3k
  2. n=3k+1n = 3k + 1
  3. n=3k+2n = 3k + 2 (也可以表示为 n=3k1n = 3k - 1

题目中学生已经完成了第 1 种情况(n=3kn = 3k)。要完成该证明,我们只需要考虑剩下的两种情况并分别证明在该情况下 2n2+n+12n^2 + n + 1 不能被 3 整除:

  1. 情况二:n=3k+1n = 3k + 1。将其代入代数式展开并化简,提取出公因子 3,看余数是否为 0。
  2. 情况三:n=3k+2n = 3k + 2(或 n=3k1n = 3k - 1)。同理代入展开、提取公因子并分析余数。

最后给出结论:由于所有情况下的表达式都不能被 3 整除,原命题得证。

答题过程

展开

To complete the proof by exhaustion, we need to consider the remaining two cases for the integer nn, which are n=3k+1n = 3k + 1 and n=3k+2n = 3k + 2 (where kk is an integer).

Case 2: n=3k+1n = 3k + 1

Substitute n=3k+1n = 3k + 1 into the expression:

2n2+n+1=2(3k+1)2+(3k+1)+1=2(9k2+6k+1)+3k+2=18k2+12k+2+3k+2=18k2+15k+4=3(6k2+5k+1)+1.\begin{align*} 2n^2 + n + 1 =&\,\, 2(3k + 1)^2 + (3k + 1) + 1 \\[2mm] =&\,\, 2(9k^2 + 6k + 1) + 3k + 2 \\[2mm] =&\,\, 18k^2 + 12k + 2 + 3k + 2 \\[2mm] =&\,\, 18k^2 + 15k + 4 \\[2mm] =&\,\, 3(6k^2 + 5k + 1) + 1. \end{align*}

Since kk is an integer, 6k2+5k+16k^2 + 5k + 1 is also an integer. Thus, 2n2+n+12n^2 + n + 1 leaves a remainder of 11 when divided by 33, which means it is not divisible by 3.

Case 3: n=3k+2n = 3k + 2

Substitute n=3k+2n = 3k + 2 into the expression:

2n2+n+1=2(3k+2)2+(3k+2)+1=2(9k2+12k+4)+3k+3=18k2+24k+8+3k+3=18k2+27k+11=3(6k2+9k+3)+2.\begin{align*} 2n^2 + n + 1 =&\,\, 2(3k + 2)^2 + (3k + 2) + 1 \\[2mm] =&\,\, 2(9k^2 + 12k + 4) + 3k + 3 \\[2mm] =&\,\, 18k^2 + 24k + 8 + 3k + 3 \\[2mm] =&\,\, 18k^2 + 27k + 11 \\[2mm] =&\,\, 3(6k^2 + 9k + 3) + 2. \end{align*}

Since kk is an integer, 6k2+9k+36k^2 + 9k + 3 is also an integer. Thus, 2n2+n+12n^2 + n + 1 leaves a remainder of 22 when divided by 33, which means it is not divisible by 3.

(Alternative for Case 3: n=3k1n = 3k - 1)

2n2+n+1=2(3k1)2+(3k1)+1=2(9k26k+1)+3k=18k212k+2+3k=18k29k+2=3(6k23k)+2,\begin{align*} 2n^2 + n + 1 =&\,\, 2(3k - 1)^2 + (3k - 1) + 1 \\[2mm] =&\,\, 2(9k^2 - 6k + 1) + 3k \\[2mm] =&\,\, 18k^2 - 12k + 2 + 3k \\[2mm] =&\,\, 18k^2 - 9k + 2 \\[2mm] =&\,\, 3(6k^2 - 3k) + 2, \end{align*}

which leaves a remainder of 22 and is not divisible by 3.

Conclusion

Since 2n2+n+12n^2 + n + 1 is not divisible by 33 for n=3kn = 3k, n=3k+1n = 3k + 1, and n=3k+2n = 3k + 2, which cover all possible integers, it is proved that if nn is an integer then 2n2+n+12n^2 + n + 1 is not divisible by 3.