Maths Olympiad Prep

Library / /1 of 3

, 2019

Number theory Difficulty 5.8 AIME, harder Prove it Japan

Find all triplets (a,b,c)(a, b, c) of positive integers satisfying the following identity:
a2+b+3=(b2c2)2. a^2 + b + 3 = (b^2 - c^2)^2.

Solution

Let N=b2c2N = |b^2 - c^2|. Then, from N2=a2+b+31+1+3=5N^2 = a^2 + b + 3 \ge 1 + 1 + 3 = 5 it follows that N3N \ge 3. In particular, since bcb \ne c, we get
N=b+cbc(b+1)1=b+1, N = |b + c||b - c| \ge (b + 1) \cdot 1 = b + 1,
so we have bN1b \le N - 1. Since from a2<N2a^2 < N^2 we have aN1a \le N - 1, we get
(1)0=N2(a2+b+3)N2(N1)2b3=2Nb4N3, (1) \quad 0 = N^2 - (a^2 + b + 3) \ge N^2 - (N - 1)^2 - b - 3 = 2N - b - 4 \ge N - 3,
showing N3N \le 3. As we have seen in the beginning that N3N \le 3, we get N=3N = 3. But, then we have = throughout the inequalities (1), and thus, we get a=N1=2a = N - 1 = 2, b=N1=2b = N - 1 = 2, which, in turn implies 9=N2=b2c22=(c24)29 = N^2 = |b^2 - c^2|^2 = (c^2 - 4)^2 holds. Thus, we have c2=1,7c^2 = 1, 7. Since cc is a positive integer, we get c=1c = 1. Therefore, the answer we seek for the problem is (a,b,c)=(2,2,1)(a, b, c) = (2, 2, 1).

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.