Consider two positive integers and such that .
a. Determine the largest possible value of the greatest common divisor of and .
b. Determine the smallest possible value of the least common multiple of and .
Consider two positive integers and such that .
a. Determine the largest possible value of the greatest common divisor of and .
b. Determine the smallest possible value of the least common multiple of and .
We observe that . Whenever , must divide . So, to find the largest possible value of , we have to look at the large divisors of . is not possible, since in this case . The next largest divisor is . Since , is also not possible. Next is , and here we find that and work, since , and . It follows that the largest possible value for is . This solves part (a).
To solve part (b), we first consider two cases for a pair such that :
(i) : Let for some integer . Then , i.e., , and we have . Hence should be minimized in order to minimize . Since , we must take (note that ). It follows that , giving and , so that the smallest least common multiple of and in this case is given by .
(ii) : Let for some integer . Then , i.e., , and we have . Hence should be minimized in order to minimize . Since , we must take (again, ). It follows that , giving and , so that the smallest least common multiple of and in this case is given by .
We now show that we may assume that either (i) or (ii) holds in order to solve the problem: Among all possible greatest common divisors of and , where , let us fix one of them, say . Let be any pair such that with . Put and . Then and are relatively prime, so that . The smallest possible value for (and hence also for ) is thus obtained if either or (in which case is equal to either or ). But implies and implies . Since we can repeat this argument for any possible value of , we may assume that (i) or (ii) holds in order to solve the problem.
We conclude that the smallest possible least common multiple of and , where , is .