Maths Olympiad Prep

Library / /48 of 86

Algebra Difficulty 6.9 National Olympiad Prove it United States

Problem:

An integer cc is square-friendly if it has the following property: For every integer mm, the number m2+18m+cm^{2}+18 m+c is a perfect square. (A perfect square is a number of the form n2n^{2}, where nn is an integer. For example, 49=7249=7^{2} is a perfect square while 4646 is not a perfect square. Further, as an example, 66 is not square-friendly because for m=2m=2, we have (2)2+(18)(2)+6=46(2)^{2}+(18)(2)+6=46, and 4646 is not a perfect square.)

In fact, exactly one square-friendly integer exists. Show that this is the case by doing the following:

a. Find a square-friendly integer, and prove that it is square-friendly.

b. Prove that there cannot be two different square-friendly integers.

Solution

Solution:

a. c=81c=81 is square-friendly, since m2+18m+81=(m+9)2m^{2}+18 m+81=(m+9)^{2} which is an integer whenever mm is an integer.

b. Suppose there are two different square-friendly integers cc and cc^{\prime}. In that case, for every integer mm, we have that m2+18m+cm^{2}+18 m+c and m2+18m+cm^{2}+18 m+c^{\prime} are perfect squares. Thus we have infinitely many pairs of perfect squares that differ by ccc-c^{\prime}. However, this is not possible, because the differences between consecutive squares are 1,3,5,7,9,11,1,3,5,7,9,11, \ldots. Eventually these differences are greater than ccc-c^{\prime}, so no perfect square beyond that point differs from another perfect square by ccc-c^{\prime}. Thus we have a contradiction, and so there cannot be two different square-friendly integers.

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.