Maths Olympiad Prep

Track / Stage 7 / 271 of 300 #1671 of 1964

Problem 1671

National Olympiad second round; IMO P1/P4
Number theory Difficulty 7.6 Prove it

Let cc be a nonnegative integer, and define an=n2+ca_n = n^2 + c (for n≥1)n \geq 1). Define dnd_n as the greatest common divisor of ana_n and an+1a_{n + 1}.
(a) Suppose that c=0c = 0. Show that dn=1, ∀n≥1d_n = 1,\ \forall n \geq 1.
(b) Suppose that c=1c = 1. Show that dn∈{1,5}, ∀n≥1d_n \in \{1,5\},\ \forall n \geq 1.
(c) Show that dn≤4c+1, ∀n≥1d_n \leq 4c + 1,\ \forall n \geq 1.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

### Part (a)
1. Given c=0 c = 0 , we have an=n2 a_n = n^2 and an+1=(n+1)2 a_{n+1} = (n+1)^2 .
2. We need to find dn=gcd⁡(an,an+1)=gcd⁡(n2,(n+1)2) d_n = \gcd(a_n, a_{n+1}) = \gcd(n^2, (n+1)^2) .
3. Using the property of gcd, gcd⁡(a,b)=gcd⁡(a,b−a)\gcd(a, b) = \gcd(a, b - a), we get:
gcd⁡(n2,(n+1)2)=gcd⁡(n2,(n+1)2−n2)=gcd⁡(n2,2n+1) \gcd(n^2, (n+1)^2) = \gcd(n^2, (n+1)^2 - n^2) = \gcd(n^2, 2n + 1)
4. Since n2 n^2 and 2n+1 2n + 1 are coprime (i.e., gcd⁡(n,n+1)=1\gcd(n, n+1) = 1), it follows that:
gcd⁡(n2,2n+1)=1 \gcd(n^2, 2n + 1) = 1

Conclusion:
dn=1∀n≥1 d_n = 1 \quad \forall n \geq 1

### Part (b)
1. Given c=1 c = 1 , we have an=n2+1 a_n = n^2 + 1 and an+1=(n+1)2+1=n2+2n+2 a_{n+1} = (n+1)^2 + 1 = n^2 + 2n + 2 .
2. We need to find dn=gcd⁡(an,an+1)=gcd⁡(n2+1,n2+2n+2) d_n = \gcd(a_n, a_{n+1}) = \gcd(n^2 + 1, n^2 + 2n + 2) .
3. Using the Euclidean Algorithm:
gcd⁡(n2+1,n2+2n+2)=gcd⁡(n2+1,(n2+2n+2)−(n2+1))=gcd⁡(n2+1,2n+1) \gcd(n^2 + 1, n^2 + 2n + 2) = \gcd(n^2 + 1, (n^2 + 2n + 2) - (n^2 + 1)) = \gcd(n^2 + 1, 2n + 1)
4. Consider n n even, n=2k n = 2k :
gcd⁡(4k2+1,4k+1) \gcd(4k^2 + 1, 4k + 1)
Since 4k2+1≡1(mod4k+1) 4k^2 + 1 \equiv 1 \pmod{4k + 1} , we have:
gcd⁡(4k2+1,4k+1)=gcd⁡(1,4k+1)=1 \gcd(4k^2 + 1, 4k + 1) = \gcd(1, 4k + 1) = 1
5. Consider n n odd, n=2k−1 n = 2k - 1 :
gcd⁡(4k2−4k+2,4k2+1) \gcd(4k^2 - 4k + 2, 4k^2 + 1)
Since 4k2+1≡1(mod4k−1) 4k^2 + 1 \equiv 1 \pmod{4k - 1} , we have:
gcd⁡(4k2+1,4k−1)=gcd⁡(1,4k−1)=1 \gcd(4k^2 + 1, 4k - 1) = \gcd(1, 4k - 1) = 1
6. Therefore, dn∈{1,5} d_n \in \{1, 5\} .

Conclusion:
dn∈{1,5}∀n≥1 d_n \in \{1, 5\} \quad \forall n \geq 1

### Part (c)
1. Given an=n2+c a_n = n^2 + c and an+1=(n+1)2+c=n2+2n+1+c a_{n+1} = (n+1)^2 + c = n^2 + 2n + 1 + c .
2. We need to find dn=gcd⁡(an,an+1)=gcd⁡(n2+c,n2+2n+1+c) d_n = \gcd(a_n, a_{n+1}) = \gcd(n^2 + c, n^2 + 2n + 1 + c) .
3. Using the Euclidean Algorithm:
gcd⁡(n2+c,n2+2n+1+c)=gcd⁡(n2+c,(n2+2n+1+c)−(n2+c))=gcd⁡(n2+c,2n+1) \gcd(n^2 + c, n^2 + 2n + 1 + c) = \gcd(n^2 + c, (n^2 + 2n + 1 + c) - (n^2 + c)) = \gcd(n^2 + c, 2n + 1)
4. Consider n n even, n=2k n = 2k :
gcd⁡(4k2+c,4k+1) \gcd(4k^2 + c, 4k + 1)
Since 4k2+c≡c(mod4k+1) 4k^2 + c \equiv c \pmod{4k + 1} , we have:
gcd⁡(4k2+c,4k+1)=gcd⁡(c,4k+1) \gcd(4k^2 + c, 4k + 1) = \gcd(c, 4k + 1)
5. Consider n n odd, n=2k−1 n = 2k - 1 :
gcd⁡(4k2−4k+1+c,4k2+c) \gcd(4k^2 - 4k + 1 + c, 4k^2 + c)
Since 4k2+c≡c(mod4k−1) 4k^2 + c \equiv c \pmod{4k - 1} , we have:
gcd⁡(4k2+c,4k−1)=gcd⁡(c,4k−1) \gcd(4k^2 + c, 4k - 1) = \gcd(c, 4k - 1)
6. Therefore, dn≤4c+1 d_n \leq 4c + 1 .

Conclusion:
dn≤4c+1∀n≥1 d_n \leq 4c + 1 \quad \forall n \geq 1

The final answer is dn=1 \boxed{ d_n = 1 } for part (a), dn∈{1,5} d_n \in \{1, 5\} for part (b), and dn≤4c+1 d_n \leq 4c + 1 for part (c).

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.