MathLabs

Problem 3

Find all positive integers nn that can be written as n=a2+b2n=a^2+b^2, where a,ba,b are relatively prime positive integers and every prime p<=sqrt(n)p <= sqrt(n) divides abab.
Step 3 of 4: Restrict the smaller summand
a=b+1;b<=2a=b+1; b<=2
Detailed analysis

Write a=b+1a=b+1. Any prime divisor pp of b−1b-1, when b−1>1b-1>1, satisfies p<=b−1<sqrt(n)p<=b-1<sqrt(n) and therefore divides b(b+1)b(b+1). It cannot divide bb, so it divides b+1b+1 and hence 22; thus b−1b-1 has no prime divisor other than 22. If b>=3b>=3, then bb is odd and b+2<=sqrt(2b2+2b+1)=sqrt(n)b+2<=sqrt(2b^2+2b+1)=sqrt(n). A prime divisor of b+2b+2 must divide b(b+1)b(b+1), but gcd(b+2,b)=gcd(b+2,b+1)=1gcd(b+2,b)=gcd(b+2,b+1)=1, impossible. Hence b<=2b<=2.