Maths Olympiad Prep

Library / /7 of 17

, 2007

Number theory Difficulty 5.6 AIME, harder Prove it Japan

How many pairs of integers (a,b)(a, b) satisfy a2b2=4a5+b3a^2 b^2 = 4a^5 + b^3?

Solution

If aa or bb is 00, both must be 00.

Consider the case a,b0a, b \neq 0. Let g>0g > 0 be the G.C.D. of aa and bb, and a=gaa = g a', b=gbb = g b'. Substituting them into the given equation we get
ga2(b24ga3)=b3. ga'^2 (b'^2 - 4g a'^3) = b'^3.
Since aa' divides b3b'^3 and aa' and bb' are relatively prime, a=±1a' = \pm 1. Therefore aa divides bb. Let b=acb = a c (cZc \in \mathbb{Z}). Substituting them into the last equation we get
ac2=4a2+c3. a c^2 = 4a^2 + c^3.
Let d>0d > 0 be the G.C.D of aa and cc, and a=dAa = dA, c=dCc = dC. Substituting them into the last equation we get
dC2(AC)=4A2. d C^2 (A - C) = 4A^2.
Since AA and CC are relatively prime, C2C^2 must divide 44. Therefore C=2,1,1,2C = -2, -1, 1, 2.

Since d=4A2C2(AC)=4C2(A+C)+4ACd = \frac{4A^2}{C^2(A-C)} = \frac{4}{C^2}(A+C) + \frac{4}{A-C} is an integer, ACA-C must divide 44. By d>0d > 0, ACA-C must be positive. Checking all the possible cases one by one, we get (A,C)=(1,2),(3,1),(1,1),(5,1),(3,1),(2,1),(3,2)(A, C) = (-1, -2), (3, -1), (1, -1), (5, 1), (3, 1), (2, 1), (3, 2).

From b=acb = a c, we get all the possible cases, including (a,b)=(0,0)(a, b) = (0, 0), as (a,b)=(0,0),(1,2),(2,4),(27,243),(27,486),(32,512),(54,972),(125,3125)(a, b) = (0, 0), (-1, 2), (2, -4), (27, -243), (27, 486), (32, 512), (54, 972), (125, 3125). So the answer is 88.

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 and solution reproduced as published; topic and difficulty added by this site.