Olympiad Maths Prep

Track / Stage 5 / 13 of 400 #613 of 2000

Problem 613

AIME late
Algebra Difficulty 5.0 Find the answer

Find all pairs of natural numbers (a,b)(a, b) such that:

ab+2=a3+2b a b+2=a^{3}+2 b

Official solution

(solved by Axel Hovasse)

Let a,bNa, b \in \mathbb{N} such that ab+2=a3+2ba b+2=a^{3}+2 b. Thus a32=b(a2)a^{3}-2=b(a-2). Therefore, a2a \neq 2, because 23202^{3}-2 \neq 0. Thus a2a32a-2 \mid a^{3}-2, but a2(a2)3=a36a2+12a8a-2 \mid (a-2)^{3}=a^{3}-6 a^{2}+12 a-8, it follows that a26a2+12a6a-2 \mid -6 a^{2}+12 a-6. However, a26a(a2)a-2 \mid 6 a(a-2), so a26a-2 \mid 6. Thus a2{6,3,2,1,1,2,3,6}a-2 \in\{-6,-3,-2,-1,1,2,3,6\}, which means a{4,1,0,1,3,4,5,8}a \in\{-4,-1,0,1,3,4,5,8\}, but a0a \geqslant 0, so a{0,1,3,4,5,8}a \in\{0,1,3,4,5,8\}. We then find (a,b){(0,1),(1,1),(3,25),(4,31),(5,41),(8,85)}(a, b) \in\{(0,1),(1,1),(3,25),(4,31),(5,41),(8,85)\}. We verify subsequently that these pairs are indeed solutions.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.