Maths Olympiad Prep

Library / /9 of 23

Algebra Difficulty 4.9 AIME Prove it United States

Problem:

A natural number nn is chosen between two consecutive square numbers. The smaller square is obtained by subtracting kk from nn, and the larger one is obtained by adding \ell to nn. Prove that the number nkn-k \ell is the square of an integer.

Solution

Solution:

Let nk=x2n-k = x^{2} and n+=(x+1)2n+\ell = (x+1)^{2}. Then k=nx2k = n - x^{2} and =(x+1)2n\ell = (x+1)^{2} - n. We express everything in terms of nn and xx:
nk=n(nx2)((x+1)2n)=n+(x2n)(x2+2x+1n)=n+(x2n)((x2n)+2x+1)=n+(x2n)2+2x(x2n)+x2n=(x2n)2+2x(x2n)+x2=(x2n+x)2. \begin{aligned} n - k \ell & = n - \left(n - x^{2}\right)\left((x+1)^{2} - n\right) \\ & = n + \left(x^{2} - n\right)\left(x^{2} + 2x + 1 - n\right) \\ & = n + \left(x^{2} - n\right)\left(\left(x^{2} - n\right) + 2x + 1\right) \\ & = n + \left(x^{2} - n\right)^{2} + 2x\left(x^{2} - n\right) + x^{2} - n \\ & = \left(x^{2} - n\right)^{2} + 2x\left(x^{2} - n\right) + x^{2} \\ & = \left(x^{2} - n + x\right)^{2}. \end{aligned}
This is the square of an integer.

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.