Maths Olympiad Prep

Library / /1 of 15

Number theory Difficulty 4.2 AIME Prove it United States

Problem:
Prove that n+1+n\sqrt{n+1}+\sqrt{n} is irrational for every positive integer nn.

Solution

Solution:
Assume for contradiction that it was rational, and let qq denote its value. Squaring, we find that
q2=(n+1)+2nn+1+n q^{2} = (n+1) + 2 \sqrt{n} \cdot \sqrt{n+1} + n
so
q2(2n+1)2=n(n+1) \frac{q^{2} - (2n+1)}{2} = \sqrt{n(n+1)}
The left-hand side is also rational, so we conclude the quantity n(n+1)n(n+1) is the square of a rational number. Actually, since it is an integer, it follows that n(n+1)n(n+1) must be a perfect square (the square of an integer). However, n2<n(n+1)<(n+1)2n^{2} < n(n+1) < (n+1)^{2}, so n(n+1)n(n+1) lies strictly between two consecutive perfect squares, which is a contradiction.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.