MathLabs

Problem 1

Prove that there are infinitely many natural numbers aa such that n4+an^4+a is not prime for every natural number nn.
Step 3 of 4: Check both factors
In plain words

Factoring alone is not enough: compositeness requires two nontrivial factors, which the sum-of-squares forms guarantee.

n2+2rn+2r2=(n+r)2+r2>1,n2−2rn+2r2=(n−r)2+r2>1n^2+2rn+2r^2=(n+r)^2+r^2>1,\qquad n^2-2rn+2r^2=(n-r)^2+r^2>1
Detailed analysis

Both factors are sums of squares. Since r≥2r\ge2, each contains the positive term r2≥4r^2\ge4, so both factors are integers strictly greater than 11 for every natural number nn.