Problem 1
Find all pairs of positive integers such that is a multiple of , and is a multiple of . (Here is called a multiple of if for some integer .)
Step 1 of 5: Reduce the case b<a
Detailed analysis
If , the definition of multiple forces , so . Now assume . If then , and since divides the only multiple of in that range is , so . Every pair indeed satisfies both conditions, since trivially divides and is a multiple of .