Let and be two different natural numbers such that is divisible by . Prove that is a perfect square (is a square of an integer).
Solution
Assume the contrary. Let be a pair of natural numbers for which this does not hold, such that and this pair has a minimal sum of .
Lemma 1. is divisible by if and only if is divisible by .
Proof. Since , then is divisible by if and only if is divisible by if and only if is divisible by , since is odd. The rest follows from:
So the lemma is proved.
Thus for the fixed pair of natural numbers we have is divisible by , therefore is divisible by . So . It follows from the condition that , otherwise, the right-hand side is greater than the left-hand side. If is not a perfect square then neither is . It follows from the lemma that if is divisible by , then is divisible by as well. Thus we have found a pair of natural numbers that satisfies the problem statement and has a sum of components , which yields the contradiction with the choice of .