Skip to main content
OlympiadHQ

Browse · MathNet

Print

Mongolian 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.

Techniques

Factorization techniquesIntegers