MathLabs

Problem 3

Prove that there are infinitely many positive integers nn such that n2+1n^2+1 has a prime factor greater than 2n+2n2n+\sqrt{2n}.
Step 1 of 6: Strategy: fix the prime p first and look for a suitable n below it
In plain words

Instead of hunting for nn and hoping n2+1n^2+1 has a large prime factor, we reverse the search: pick the prime pp first, then build nn so that pp divides n2+1n^2+1 and nn is small enough that pp already exceeds 2n+2n2n+\sqrt{2n}.

p≡1(mod8),h=⌈p⌉,n≤12(p−h), p∣n2+1  ⟹  p≥2n+2np \equiv 1 \pmod 8,\quad h=\lceil\sqrt p\rceil,\quad n\le\tfrac12(p-h),\ p\mid n^2+1 \implies p\ge 2n+\sqrt{2n}
Detailed analysis

Fix any prime p≡1(mod8)p\equiv1\pmod8 with p≥2013p\ge2013, and let h=⌈p⌉h=\lceil\sqrt p\rceil. We aim to find a positive integer n≤12(p−h)n\le\frac12(p-h) with p∣n2+1p\mid n^2+1. If we succeed, then p≥2n+h≥2n+pp\ge 2n+h\ge 2n+\sqrt p; since n≤12(p−h)<p2n\le\frac12(p-h)<\frac p2, we get 2n<p2n<p, so 2n<p≤h\sqrt{2n}<\sqrt p\le h, hence p≥2n+h>2n+2np\ge2n+h>2n+\sqrt{2n}. So pp itself is a prime factor of n2+1n^2+1 exceeding 2n+2n2n+\sqrt{2n}, exactly as required.