MathLabs

Problem 1

Find all pairs (a,b)(a,b) of positive integers such that a3a^3 is a multiple of b2b^2, and b−1b-1 is a multiple of a−1a-1. (Here nn is called a multiple of mm if n=kmn=km for some integer kk.)
Step 1 of 5: Reduce the case b<a
b<a, (a−1)∣(b−1), 0≤b−1<a−1 ⟹ b=1b<a,\ (a-1)\mid(b-1),\ 0\le b-1<a-1\ \Longrightarrow\ b=1
Detailed analysis

If a=1a=1, the definition of multiple forces b−1=0b-1=0, so (a,b)=(1,1)(a,b)=(1,1). Now assume a>1a>1. If b<ab<a then 0≤b−1<a−10\le b-1<a-1, and since a−1a-1 divides b−1b-1 the only multiple of a−1a-1 in that range is 00, so b=1b=1. Every pair (a,1)(a,1) indeed satisfies both conditions, since b2=1b^2=1 trivially divides a3a^3 and b−1=0b-1=0 is a multiple of a−1a-1.