Maths Olympiad Prep

Library / /298 of 397

Number theory Difficulty 6.6 National Olympiad Prove it Taiwan

Does there exist an increasing arithmetic sequence a1,a2,,a10a_1, a_2, \dots, a_{10} formed by 10 distinct positive integers, such that i=110ai\prod_{i=1}^{10} a_i divides some integer of the form n2+1n^2 + 1 (where nn is a positive integer)? If it exists, find a sequence satisfying this condition such that its common difference is minimal.

Solution

A sequence satisfying the given condition exists. The minimal common difference is 84, and one such sequence is
29, 113, 197, 281, 365, 449, 533, 617, 701, 785.
We need the following lemmas.
Lemma 1. An integer of the form n2+1n^2 + 1 has no prime factor of the form 4k+34k + 3.
Proof. This follows immediately by using Fermat's little theorem.

Lemma 2. If a1,b1,a2,b2a_1, b_1, a_2, b_2 are nonzero integers such that aia_i and bib_i are coprime (i=1,2i = 1, 2), then (a12+b12)(a22+b22)(a_1^2 + b_1^2)(a_2^2 + b_2^2) can also be expressed as a sum of squares of two coprime integers.
Proof. Note that (a12+b12)(a22+b22)=(a1a2b1b2)2+(a1b2+a2b1)2(a_1^2 + b_1^2)(a_2^2 + b_2^2) = (a_1a_2 - b_1b_2)^2 + (a_1b_2 + a_2b_1)^2. We prove by contradiction that
gcd(a1a2b1b2,a1b2+a2b1)=1. \gcd(a_1a_2 - b_1b_2, a_1b_2 + a_2b_1) = 1.
Suppose to the contrary that there exists a prime pp dividing both a1a2b1b2a_1a_2 - b_1b_2 and a1b2+a2b1a_1b_2 + a_2b_1. Then we have
pa1(a22+b22)andpb1(a22+b22). p \mid a_1(a_2^2 + b_2^2) \quad \text{and} \quad p \mid b_1(a_2^2 + b_2^2).
Since a1,b1a_1, b_1 are coprime, we obtain that one of the following (i), (ii) must hold:
(i) pa1p \mid a_1 and p(a22+b22)p \mid (a_2^2 + b_2^2)
(ii) pb1p \mid b_1 and p(a22+b22)p \mid (a_2^2 + b_2^2)
Further noting that a2,b2a_2, b_2 are coprime, we obtain that one of the following (i)*, (ii)* must hold:
(i)* pa1p \mid a_1 and pp does not divide b1,a2,b2b_1, a_2, b_2
(ii)* pb1p \mid b_1 and pp does not divide a1,a2,b2a_1, a_2, b_2
---

From (i)*, we get that pp does not divide a1a2b1b2a_1a_2-b_1b_2; from (ii)*, we get that pp does not divide a1b2+a2b1a_1b_2+a_2b_1. Either case leads to a contradiction. Hence we have proved that gcd(a1a2b1b2,a1b2+a2b1)=1\text{gcd}(a_1a_2 - b_1b_2, a_1b_2 + a_2b_1) = 1, and this completes the proof of the lemma.

Lemma 3. If a,ba, b are coprime integers, then there must exist an integer mm such that a2+b2m2+1a^2 + b^2 \mid m^2 + 1.
Proof. Since a,ba, b are coprime, there must exist integers c,dc, d such that acbd=1ac - bd = 1. Then
a2+b2=A(a2+b2)(c2+d2)=(ad+bc)2+(acbd)2=m2+1, a^2 + b^2 = A \mid (a^2 + b^2)(c^2 + d^2) = (ad + bc)^2 + (ac - bd)^2 = m^2 + 1,
where m=ad+bcm = ad + bc. This completes the proof.

Now we return to the original problem. We discuss this in several steps:

Claim 1. ai1(mod4)a_i \equiv 1 \pmod 4, i=1,2,,10i = 1, 2, \dots, 10.
Proof. We discuss two cases.
(i) If a1a_1 is even, then a3,a5,a7,a9a_3, a_5, a_7, a_9 are also even. From this we obtain 32n2+132 \mid n^2 + 1, which is clearly impossible.
(ii) If a1a_1 is odd, then since a1n2+1a_1 \mid n^2 + 1, by Lemma 1 we know that a11(mod4)a_1 \equiv 1 \pmod 4 must hold.
The same argument gives a21(mod4)a_2 \equiv 1 \pmod 4. Because a1,a2,,a10a_1, a_2, \dots, a_{10} form an arithmetic sequence, the common difference must be a multiple of 4, hence Claim 1 is proved.

Claim 2. Let the common difference be dd. Then 84d84 \mid d.
Proof. From Claim 1 we obtain 4d4 \mid d. We now prove that 21d21 \mid d.
If dd is not a multiple of 3, then {a1,a2,a3}\{a_1, a_2, a_3\} forms a complete residue system modulo 3, from which we obtain 3n2+13 \mid n^2 + 1, which is clearly impossible. Similarly, if dd is not a multiple of 7, then {a1,a2,,a7}\{a_1, a_2, \dots, a_7\} forms a complete residue system modulo 7, from which we can also obtain 7n2+17 \mid n^2 + 1, which is likewise impossible. Hence 21d21 \mid d is proved, and Claim 2 is proved.

Now we construct an arithmetic sequence with common difference 84 satisfying the condition of the problem. Moreover, by Lemma 1 we obtain that every prime factor of each aia_i must be congruent to 1 modulo 4. We have the following result:

Claim 3. a13(mod4)a_1 \equiv 3 \pmod{4} or 4(mod11)-4 \pmod{11}. This only requires knowing from Lemma 1 that 11 cannot divide n2+1n^2+1.
From Claim 1 and Claim 3, and noting that a1a_1 is not divisible by 3 or 7, we sieve out the values of a1a_1 in increasing order as 25, 29, 47, 73, ...
When a1=25a_1 = 25, a5=25+84×4=361=192a_5 = 25 + 84 \times 4 = 361 = 19^2. Since 193(mod4)19 \equiv 3 \pmod 4, this does not satisfy the requirement (it contradicts Lemma 1).
When a1=29=22+52a_1 = 29 = 2^2 + 5^2, we can obtain:
a2=29+84=113=72+82 and is prime; -a_2 = 29 + 84 = 113 = 7^2 + 8^2 \text{ and is prime;}
a3=29+84×2=197=12+142 and is prime; -a_3 = 29 + 84 \times 2 = 197 = 1^2 + 14^2 \text{ and is prime;}
a4=29+84×3=281=52+162 and is prime; -a_4 = 29 + 84 \times 3 = 281 = 5^2 + 16^2 \text{ and is prime;}
a5=29+84×4=365=(12+22)(32+82)=22+192 -a_5 = 29 + 84 \times 4 = 365 = (1^2 + 2^2)(3^2 + 8^2) = 2^2 + 19^2
a6=29+84×5=449=72+202 and is prime; -a_6 = 29 + 84 \times 5 = 449 = 7^2 + 20^2 \text{ and is prime;}
a7=29+84×6=533=(22+32)(42+52)=72+222; -a_7 = 29 + 84 \times 6 = 533 = (2^2 + 3^2)(4^2 + 5^2) = 7^2 + 22^2;
a8=29+84×7=617=162+192 and is prime; -a_8 = 29 + 84 \times 7 = 617 = 16^2 + 19^2 \text{ and is prime;}
a9=29+84×8=701=52+262 and is prime; -a_9 = 29 + 84 \times 8 = 701 = 5^2 + 26^2 \text{ and is prime;}
a10=29+84×9=785=(12+22)(62+112)=12+282. -a_{10} = 29 + 84 \times 9 = 785 = (1^2 + 2^2)(6^2 + 11^2) = 1^2 + 28^2.

i=110ain2+1. \prod_{i=1}^{10} a_i \mid n^2 + 1.
From the above argument we also obtain that \{29, 113, 197, 281, 365, 449, 533, 617, 701, 785\} is
a sequence satisfying the condition of the problem with "minimal" common difference.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.