Olympiad Maths Prep

Track / Stage 6 / 179 of 400 #1179 of 2000

Problem 1179

National olympiad, first round
Number theory Difficulty 6.3 Find the answer

Determine if there is a non-natural natural number nn with the property that n+1+n1\sqrt{n + 1} + \sqrt{n - 1} is rational.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To determine if there is a non-natural natural number n n such that n+1+n1 \sqrt{n + 1} + \sqrt{n - 1} is rational, we can proceed as follows:

1. Let n+1+n1=ab \sqrt{n + 1} + \sqrt{n - 1} = \frac{a}{b} , where ab \frac{a}{b} is a rational number in its simplest form (i.e., a a and b b are coprime integers).

2. Square both sides of the equation:
(n+1+n1)2=(ab)2 \left( \sqrt{n + 1} + \sqrt{n - 1} \right)^2 = \left( \frac{a}{b} \right)^2
This gives:
n+1+n1+2(n+1)(n1)=a2b2 n + 1 + n - 1 + 2\sqrt{(n + 1)(n - 1)} = \frac{a^2}{b^2}
Simplifying, we get:
2n+2(n+1)(n1)=a2b2 2n + 2\sqrt{(n + 1)(n - 1)} = \frac{a^2}{b^2}

3. Isolate the square root term:
2(n+1)(n1)=a2b22n 2\sqrt{(n + 1)(n - 1)} = \frac{a^2}{b^2} - 2n
(n+1)(n1)=a2b22n2 \sqrt{(n + 1)(n - 1)} = \frac{\frac{a^2}{b^2} - 2n}{2}

4. For (n+1)(n1) \sqrt{(n + 1)(n - 1)} to be rational, the expression (n+1)(n1) (n + 1)(n - 1) must be a perfect square. Let (n+1)(n1)=k2 (n + 1)(n - 1) = k^2 for some integer k k . This simplifies to:
n21=k2 n^2 - 1 = k^2
n2k2=1 n^2 - k^2 = 1
(nk)(n+k)=1 (n - k)(n + k) = 1

5. The equation (nk)(n+k)=1 (n - k)(n + k) = 1 has only two integer solutions: nk=1 n - k = 1 and n+k=1 n + k = 1 . Solving these, we get:
nk=1andn+k=1 n - k = 1 \quad \text{and} \quad n + k = 1
Adding these two equations, we get:
2n=2    n=1 2n = 2 \implies n = 1
Subtracting these two equations, we get:
2k=0    k=0 2k = 0 \implies k = 0

6. However, n=1 n = 1 is not a non-natural natural number (it is a natural number). Therefore, there is no non-natural natural number n n that satisfies the given condition.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.