9

Let $m;n \in \mathbb{Z^+}$ such that $mn | m^2+n^2+m$

Prove that $(n-1)$ is a square number.

P/s : I don't have any ideas about this problems :(

Thanks :)

Myself
  • 8,781
Lê Tấn Khang
  • 1,113
  • Try to prove for $m=1$.... In contrast to what i have said it is non trivial.... I am deleting my answer as of now... I will undelete once i get some better solution.... –  Dec 25 '14 at 14:55
  • 1
    @PraphullaKoushik. For $m = 1$ we have that $n \mid n^2+2$ so we conclude that $n = 2$ or $n = 1$. In both cases $n - 1$ is a perfect square. – Jihad Dec 25 '14 at 14:56
  • @Jihad : That is fine... i am not able to get better solution for $m>1$... Btw, Good work :) –  Dec 25 '14 at 14:58
  • @PraphullaKoushik : Ok, if you get better solution for $m>1$, plz tell me some informations about your solution. Thanks :) Btw I have tried transforming... but i just got $m|n^2$ and $n|m(m+1)$ :( – Lê Tấn Khang Dec 25 '14 at 15:03

1 Answers1

5

Consider the equation $kmn = m^2+n^2+m$ for fixed $k$. Suppose this equation has solutions in $(m,n)$ in positive integers, and take the solution with $m+n$ minimized. We distinguish two cases.

  • Suppose $m \geq n$. Note that $m$ satisfies the quadratic equation $$ X^2 - (kn-1)X+n^2 = 0$$ which also has $X=\frac{n^2}{m}$ as a solution. It follows that $(\frac{n^2}{m},n)$ is also a solution to the original equation, whence $m+n \leq \frac{n^2}{m} + n$ implying $m=n$.
  • Suppose $n \geq m$. Note that $n$ satisfies the quadratic equation $$ Y^2 - kmY + m^2+m = 0$$ which also has $Y=\frac{m^2+m}{n}$ as a solution. It follows that $(\frac{m^2+m}{n},m)$ is also a solution to the original equation, whence $m+n \leq \frac{m^2+m}{n} + m$ or $n^2 \leq m^2+m$. Since $n \geq m$ this entails $n=m$ (for $m \leq n-1$ we have $m^2 +m \leq (n-1)^2 + (n-1) = n^2 - n < n^2$).

In both cases we find $m=n$. Since the only solution with $m=n$ is $m=n=1$ for $k=3$, we conclude that $k=3$ is the only possibility.

Now we have $3mn = m^2+n^2+m$ or $m(n-1)=(m-n)^2$. Since $m \mid n^2$, $m$ is coprime to $n-1$ so both $m$ and $n-1$ are squares.

This technique is known as Vieta jumping.

user133281
  • 16,073