Maths Olympiad Prep

Library / /3 of 21

Number theory Difficulty 7.5 National olympiad, round 2 Find the answer

Determine all positive integers nn such that a2+n2b2n2\frac{a^2+n^2}{b^2-n^2} is a positive integer for some a,bNa,b\in \mathbb{N}.
TurkeyTurkey

A number or a short expression. Spacing and $ signs are ignored.

Solution

To determine all positive integers n n such that the expression a2+n2b2n2\frac{a^2+n^2}{b^2-n^2} is a positive integer for some a,bN a, b \in \mathbb{N} , we analyze the fraction and derive conditions on n n as follows:

a2+n2b2n2 \frac{a^2 + n^2}{b^2 - n^2}

For this expression to be a positive integer, b2n2 b^2 - n^2 must be a divisor of a2+n2 a^2 + n^2 , and it must be positive. Therefore, we have:

1. b2>n2 b^2 > n^2 .

2. b2n2 b^2 - n^2 divides a2+n2 a^2 + n^2 .

Now, factorize the difference of squares in the denominator:

b2n2=(bn)(b+n) b^2 - n^2 = (b-n)(b+n)

For simplicity, let's choose b=n+k b = n + k , where k k is a positive integer, which ensures b>n b > n . Then

b2n2=((n+k)n)((n+k)+n)=k(2n+k) b^2 - n^2 = ((n+k)-n)((n+k)+n) = k(2n+k)

Thus, k(2n+k) k(2n+k) must divide a2+n2 a^2 + n^2 .

Consider the simplest case: n n is even. Let n=2m n = 2m for some integer m m . Then:

b=2m+k,b2=(2m+k)2 b = 2m + k, \quad b^2 = (2m + k)^2
a=2m    a2=(2m)2=4m2,n2=(2m)2=4m2 a=2m \implies a^2 = (2m)^2 = 4m^2, \quad n^2 = (2m)^2 = 4m^2

When n n is even:

The fraction becomes:

4m2+4m2(2m+k)2(2m)2=8m24mk+k2=8m2k(2m+k) \frac{4m^2+4m^2}{(2m+k)^2 - (2m)^2} = \frac{8m^2}{4mk+k^2} = \frac{8m^2}{k(2m+k)}

Now, simplify the expression:

For it to be a positive integer, the divisor and dividend should match up suitably.

In this problem case, by choosing specific small values or symmetry (such as a=n=b a=n=b ), computations yield integer values, and potential values are reduced to even n n . Through trials and patterns, it is determined that all even n n allow potential set values of a,b a, b .

Therefore, the solution demonstrates all even positive integers are valid for n n :

all even positive integers \boxed{\text{all even positive integers}}

Alternatively, results explicitly support this, as choosing symmetric or thoughtfully balanced a,b a, b implies the feasibility which inherently relies on n n being even. Elements like b b adjustment as factors inherently exist and divide appropriately due to the even structure reducing conflicting terms and confirming the fraction's divisibility conditions.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.