a. Prove: if is an integer for some positive integers and , then it is a perfect square.
b. Find two integers and such that is a positive integer but not a perfect square.
a. Prove: if is an integer for some positive integers and , then it is a perfect square.
b. Find two integers and such that is a positive integer but not a perfect square.
Let . If we want to be an integer, then has to be an integer as well. Since , we conclude that must divide . This implies that divides , so divides .
We can now write . Then , so divides . divides , or, finally, divides . Let . Then . We see that must divide , so divides . We have where and are positive integers, so is also a positive integer and we have either or .
If then and or . In the first case we get , in the second case . If then and .
Finally, we need to determine the value of . If then , if and then and if then , so is indeed a perfect square.
If and then . If and then . In both cases is a positive integer, but it is not a perfect square.
Remark. As in the first part of the problem we can show that , and , are the only two cases where is a positive integer but not a perfect square. We know from the first part that at least one of the numbers and is negative. As above, we conclude that and . In this case we can choose or to be negative.
We know that divides . So it can be equal to , , or . If then and regardless of what is. When we have or . In the first case and in the second case and .
If then . So, is a positive divisor of , but not a perfect square. Hence, , , . In the remaining case we have and . This is an integer when or , but is negative in both cases.
Hence, is a positive integer but not a perfect square if and only if , or , .