Maths Olympiad Prep

Library / /29 of 397

, 2022

Number theory Difficulty 4.7 AIME Prove it Taiwan

Find all integers n1n \ge 1 such that there exists a pair of positive integers (a,b)(a, b) with
ab+3b+8a2+b+3=n \frac{ab + 3b + 8}{a^2 + b + 3} = n
and such that no cube of a prime divides a2+b+3a^2 + b + 3.

Solution

The only integer with property is n=2n = 2.
As ba23(moda2+b+3)b \equiv -a^2 - 3 \pmod{a^2 + b + 3}, the numerator of the given fraction satisfies
ab+3b+8a(a23)+3(a23)+8(a+1)3(moda2+b+3)ab + 3b + 8 \equiv a(-a^2 - 3) + 3(-a^2 - 3) + 8 \equiv -(a + 1)^3 \pmod{a^2 + b + 3}
As a2+b+3a^2 + b + 3 is not divisible by p3p^3 for any prime pp, if a2+b+3a^2 + b + 3 divides (a+1)3(a+1)^3
then it does also divide (a+1)2(a+1)^2. Since
0<(a+1)2<2(a2+b+3), 0 < (a+1)^2 < 2(a^2 + b + 3),
we conclude (a+1)2=a2+b+3(a+1)^2 = a^2 + b + 3. This yields b=2(a1)b = 2(a-1) and n=2n = 2. The choice (a,b)=(2,2)(a,b) = (2,2) with a2+b+4=9a^2 + b + 4 = 9 shows that n=2n = 2 indeed is a solution.

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 translated into English from zh; metadata (topic, difficulty) added by this project.