Maths Olympiad Prep

Library / /83 of 106

Algebra Difficulty 8.7 Shortlist Find the answer

Determine all pairs of positive integers (a,b)(a,b) such that a22ab2b3+1 \dfrac{a^2}{2ab^2-b^3+1} is a positive integer.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We need to determine all pairs of positive integers (a,b)(a, b) such that the expression:

a22ab2b3+1 \frac{a^2}{2ab^2 - b^3 + 1}

is a positive integer. Let's denote this integer by n n . Hence, we have:

a2=n(2ab2b3+1) a^2 = n(2ab^2 - b^3 + 1)

Let's explore different cases for b b .

### Case 1: b=1 b = 1

Substituting b=1 b = 1 into the equation:

a2=n(2a(1)2(1)3+1)=n(2a1+1)=2na a^2 = n(2a(1)^2 - (1)^3 + 1) = n(2a - 1 + 1) = 2na

which simplifies to:

a2=2na a^2 = 2na

If a0 a \neq 0 , then we can divide both sides by a a :

a=2n a = 2n

This leads us to pairs of the form:

(a,b)=(2l,1) (a, b) = (2l, 1)

for some positive integer l l .

### Case 2: b=2 b = 2

Let's consider b=2 b = 2 :

a2=n(2a(2)2(2)3+1) a^2 = n(2a(2)^2 - (2)^3 + 1)

a2=n(8a8+1)=n(8a7) a^2 = n(8a - 8 + 1) = n(8a - 7)

If we take values a=kb=k2=2k a = k \cdot b = k \cdot 2 = 2k , substitute in:

(2k)2=n(16k7) (2k)^2 = n(16k - 7)

Rewriting gives:

4k2=n(16k7) 4k^2 = n(16k - 7)

For symmetry, check if k=l k = l :

4k2=n(16l7) 4k^2 = n(16l - 7)

Possible values arise when the right side is a perfect square, giving pairs of the form:

(a,b)=(l,2l) (a, b) = (l, 2l)

### General Case: b=2l b = 2l

For b=2l b = 2l and some constraints, assume a=8l4l a = 8l^4 - l :

a2=(8l4l)2 a^2 = (8l^4 - l)^2

Check divisibility and constraint conditions forming another set:

(a,b)=(8l4l,2l) (a, b) = (8l^4 - l, 2l)

Thus, the possible integer solutions considering all cases are given by:

(a,b)=(2l,1)or(l,2l)or(8l4l,2l) (a, b) = (2l, 1) \quad \text{or} \quad (l, 2l) \quad \text{or} \quad (8l^4 - l, 2l)

for some positive integer l l .

The solution set is therefore:
(a,b)=(2l,1)or(l,2l)or(8l4l,2l) \boxed{(a, b) = (2l, 1) \quad \text{or} \quad (l, 2l) \quad \text{or} \quad (8l^4 - l, 2l)}

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.