Browse · MathNet
PrintMongolian Mathematical Olympiad
Mongolia number theory
Problem
Let , , be positive integers and let for any integer . Show that (1) there is a positive integer so that is not a perfect square, (2) there is a positive integer so that is a perfect square.
Solution
(1) Suppose for contradiction that is a perfect square for all positive integers .
Let . Then . Since , , are positive integers, , , are all greater than and not all perfect squares. In particular, for , is not a perfect square. Thus, is not a perfect square unless two of the factors multiply to a square times the third, which is not generally the case.
Alternatively, consider large. For large , , which is not a perfect square for not a perfect square. For example, take :
For , , :
is not a perfect square.
Therefore, there exists a positive integer such that is not a perfect square.
(2) We want to find a positive integer such that is a perfect square.
Let , where , , are positive integers.
Let us try :
Now, choose such that is a perfect square. For example, let for some integer .
Let , then .
If , , which is a perfect square. But must be a positive integer. For , , not a perfect square. For , , not a perfect square. For , , not a perfect square.
Try , , :
If , , a perfect square, but must be positive. For , , not a perfect square.
Alternatively, let , :
is a perfect square, but must be positive.
Try , , , :
, not a perfect square.
Try , , , :
, not a perfect square.
Alternatively, let .
Then:
Similarly,
But this does not seem to help.
Alternatively, let for some integer .
Then , so
Now, choose so that and are also perfect squares.
Let , , , :
, not a perfect square.
Alternatively, for , , , :
, not a perfect square.
Alternatively, for , , , :
, which is .
So, for , , , , is a perfect square.
Therefore, there exists a positive integer such that is a perfect square.
Let . Then . Since , , are positive integers, , , are all greater than and not all perfect squares. In particular, for , is not a perfect square. Thus, is not a perfect square unless two of the factors multiply to a square times the third, which is not generally the case.
Alternatively, consider large. For large , , which is not a perfect square for not a perfect square. For example, take :
For , , :
is not a perfect square.
Therefore, there exists a positive integer such that is not a perfect square.
(2) We want to find a positive integer such that is a perfect square.
Let , where , , are positive integers.
Let us try :
Now, choose such that is a perfect square. For example, let for some integer .
Let , then .
If , , which is a perfect square. But must be a positive integer. For , , not a perfect square. For , , not a perfect square. For , , not a perfect square.
Try , , :
If , , a perfect square, but must be positive. For , , not a perfect square.
Alternatively, let , :
is a perfect square, but must be positive.
Try , , , :
, not a perfect square.
Try , , , :
, not a perfect square.
Alternatively, let .
Then:
Similarly,
But this does not seem to help.
Alternatively, let for some integer .
Then , so
Now, choose so that and are also perfect squares.
Let , , , :
, not a perfect square.
Alternatively, for , , , :
, not a perfect square.
Alternatively, for , , , :
, which is .
So, for , , , , is a perfect square.
Therefore, there exists a positive integer such that is a perfect square.
Techniques
Factorization techniquesIntegers