In a division of two positive integers, the dividend and the divisor are directly proportional with the remainder and the quotient. The remainder and the quotient are relatively prime. Prove that the dividend is a perfect square.
Solution
Let the dividend be , the divisor be , the quotient be , and the remainder be , so that
with .
We are told that and are directly proportional to and , respectively. That is, there exists a constant such that
Substitute and in the division equation:
Bring terms together:
So
But must be an integer, so divides . Since and are coprime, must divide .
Let , so . Then
So divides , i.e., for some integer .
Thus,
But , so divides and is an integer.
Recall and .
Now, and are relatively prime. Since and , .
So , , .
But and are relatively prime, so .
But , so . For to be integer, must be a perfect square. Let , , so .
Then .
Now, .
Thus, is a perfect square.
Therefore, the dividend is a perfect square.
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.