Olympiad Maths Prep

Library / /3 of 6

Number theory Difficulty 5.6 AIME, harder Prove it Greece

Determine the values of the positive integer nn for which
A=9n1n+7 A = \sqrt{\frac{9n-1}{n+7}}
is rational.

Solution

It is enough to prove that there exist a,bNa, b \in \mathbb{N}^* with (a,b)=1(a, b) = 1 such that:
9n1n+7=a2b2(1) \frac{9n-1}{n+7} = \frac{a^2}{b^2} \qquad (1)
From this relation we get:
n=7a2+b29b2a2=7(a29b2)+64b29b2a2=7+64b29b2a2(2) n = \frac{7a^2 + b^2}{9b^2 - a^2} = \frac{7(a^2 - 9b^2) + 64b^2}{9b^2 - a^2} = -7 + \frac{64b^2}{9b^2 - a^2} \quad (2)
Since (a,b)=1(a, b) = 1, it follows that (a2,b2)=1(a^2, b^2) = 1 and (9b2a2,b2)=1(9b^2 - a^2, b^2) = 1, and hence from (2) we get that nn is integer, if and only if 9b2a29b^2 - a^2 is a divisor of 64.
Since a,ba, b and nn are positive integers, it follows that 9b2a289b^2 - a^2 \ge 8, and hence:
9b2a2=(3b+a)(3ba){8,16,32,64}.(3) 9b^2 - a^2 = (3b + a)(3b - a) \in \{8, 16, 32, 64\}. \quad (3)
Moreover, the factors 3b+a3b + a, 3ba3b - a have sum a multiple of 6 and difference a multiple of 2 and 3b+a>3ba3b + a > 3b - a. Therefore from relation (3) the possible cases are the following:
(3b+a,3ba)=(4,2)η(3b+a,3ba)=(8,4)η(3b+a,3ba)=(16,2)(a,b)=(1,1)η(a,b)=(2,2)η(a,b)=(7,3). \begin{aligned} (3b + a, 3b - a) &= (4, 2) \quad \eta \quad (3b + a, 3b - a) = (8, 4) \quad \eta \quad (3b + a, 3b - a) = (16, 2) \\ \Leftrightarrow (a,b) &= (1,1) \quad \eta \quad (a,b) = (2,2) \quad \eta \quad (a,b) = (7,3). \end{aligned}
The pair (a,b)=(2,2)(a,b) = (2,2) is rejected, because gcd(2,2)=21\text{gcd}(2,2) = 2 \neq 1, and therefore we have the values n=1n=1 or n=11n=11.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.