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+1 has no prime factor of the form 4k+3.
Proof. This follows immediately by using Fermat's little theorem.
Lemma 2. If a1,b1,a2,b2 are nonzero integers such that ai and bi are coprime (i=1,2), then (a12+b12)(a22+b22) can also be expressed as a sum of squares of two coprime integers.
Proof. Note that (a12+b12)(a22+b22)=(a1a2−b1b2)2+(a1b2+a2b1)2. We prove by contradiction that
gcd(a1a2−b1b2,a1b2+a2b1)=1.
Suppose to the contrary that there exists a prime p dividing both a1a2−b1b2 and a1b2+a2b1. Then we have
p∣a1(a22+b22)andp∣b1(a22+b22).
Since a1,b1 are coprime, we obtain that one of the following (i), (ii) must hold:
(i) p∣a1 and p∣(a22+b22)
(ii) p∣b1 and p∣(a22+b22)
Further noting that a2,b2 are coprime, we obtain that one of the following (i)*, (ii)* must hold:
(i)* p∣a1 and p does not divide b1,a2,b2
(ii)* p∣b1 and p does not divide a1,a2,b2
---
From (i)*, we get that p does not divide a1a2−b1b2; from (ii)*, we get that p does not divide a1b2+a2b1. Either case leads to a contradiction. Hence we have proved that gcd(a1a2−b1b2,a1b2+a2b1)=1, and this completes the proof of the lemma.
Lemma 3. If a,b are coprime integers, then there must exist an integer m such that a2+b2∣m2+1.
Proof. Since a,b are coprime, there must exist integers c,d such that ac−bd=1. Then
a2+b2=A∣(a2+b2)(c2+d2)=(ad+bc)2+(ac−bd)2=m2+1,
where m=ad+bc. This completes the proof.
Now we return to the original problem. We discuss this in several steps:
Claim 1. ai≡1(mod4), i=1,2,…,10.
Proof. We discuss two cases.
(i) If a1 is even, then a3,a5,a7,a9 are also even. From this we obtain 32∣n2+1, which is clearly impossible.
(ii) If a1 is odd, then since a1∣n2+1, by Lemma 1 we know that a1≡1(mod4) must hold.
The same argument gives a2≡1(mod4). Because a1,a2,…,a10 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 d. Then 84∣d.
Proof. From Claim 1 we obtain 4∣d. We now prove that 21∣d.
If d is not a multiple of 3, then {a1,a2,a3} forms a complete residue system modulo 3, from which we obtain 3∣n2+1, which is clearly impossible. Similarly, if d is not a multiple of 7, then {a1,a2,…,a7} forms a complete residue system modulo 7, from which we can also obtain 7∣n2+1, which is likewise impossible. Hence 21∣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 ai must be congruent to 1 modulo 4. We have the following result:
Claim 3. a1≡3(mod4) or −4(mod11). This only requires knowing from Lemma 1 that 11 cannot divide n2+1.
From Claim 1 and Claim 3, and noting that a1 is not divisible by 3 or 7, we sieve out the values of a1 in increasing order as 25, 29, 47, 73, ...
When a1=25, a5=25+84×4=361=192. Since 19≡3(mod4), this does not satisfy the requirement (it contradicts Lemma 1).
When a1=29=22+52, we can obtain:
−a2=29+84=113=72+82 and is prime;
−a3=29+84×2=197=12+142 and is prime;
−a4=29+84×3=281=52+162 and is prime;
−a5=29+84×4=365=(12+22)(32+82)=22+192
−a6=29+84×5=449=72+202 and is prime;
−a7=29+84×6=533=(22+32)(42+52)=72+222;
−a8=29+84×7=617=162+192 and is prime;
−a9=29+84×8=701=52+262 and is prime;
−a10=29+84×9=785=(12+22)(62+112)=12+282.
i=1∏10ai∣n2+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.