Talk:1988 IMO Problems/Problem 6
I just wonder if it's possible to solve this problem with Chinese Remainder Theorem
First: assuming that 
.
Then quotient is always square 
and 
and is less or equal than 
and is not divisible by neither 
nor 
which implies it's square of integer.
In case of 
we can transform quotient to 
where 
and 
and follow the same reasoning as above.
It's just an idea without final and rigorous proof yet and it may contain counterexample gaps.
Am I mistaken?
Help :)
