Maths Olympiad Prep

Library / Japanese Mathematical Olympiad, Final Round /1 of 2

Japanese Mathematical Olympiad, Final Round, 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=(b2−c2)2. a^2 + b + 3 = (b^2 - c^2)^2.

Solution

Let N=∣b2−c2∣N = |b^2 - c^2|. Then, from N2=a2+b+3≥1+1+3=5N^2 = a^2 + b + 3 \ge 1 + 1 + 3 = 5 it follows that N≥3N \ge 3. In particular, since b≠cb \ne c, we get
N=∣b+c∣∣b−c∣≥(b+1)⋅1=b+1, N = |b + c||b - c| \ge (b + 1) \cdot 1 = b + 1,
so we have b≤N−1b \le N - 1. Since from a2<N2a^2 < N^2 we have a≤N−1a \le N - 1, we get
(1)0=N2−(a2+b+3)≥N2−(N−1)2−b−3=2N−b−4≥N−3, (1) \quad 0 = N^2 - (a^2 + b + 3) \ge N^2 - (N - 1)^2 - b - 3 = 2N - b - 4 \ge N - 3,
showing N≤3N \le 3. As we have seen in the beginning that N≤3N \le 3, we get N=3N = 3. But, then we have = throughout the inequalities (1), and thus, we get a=N−1=2a = N - 1 = 2, b=N−1=2b = N - 1 = 2, which, in turn implies 9=N2=∣b2−c2∣2=(c2−4)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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.