How to disprove (m^2)+m+1=(n^2)?

  • Thread starter Thread starter Eclair_de_XII
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
Eclair_de_XII
Messages
1,085
Reaction score
92

Homework Statement


"Prove: There exists no ##m,n∈ℕ## such that ##m^2+m+1=n^2##."

Homework Equations

The Attempt at a Solution


I basically rewrote it as:

##m^2+2m+1=n^2+m##

or

##(m+1)^2=n^2+m##,

and subtracting ##n^2##, I get

##(m+1-n)(m+1+n)=m##.

Then I divided both sides of the equation by ##m## to get:

##(1+\frac{1}{m}-\frac{n}{m})(m+n+1)=1##.

I then argued that the only way for this to be possible was (1) if both terms on the left were ##1##, which would contradict the fact that ##m## and ##n## were positive integers, because if they were, the second term would be greater than one; or (2) if the two terms were multiplicative inverses of each other. The latter is the one I had trouble with, because it led to some kind of circular reasoning. Basically, I ended up with the exact same problem which I had to once again disprove. Can anyone provide me with any hints on how to approach this proof?
 
Physics news on Phys.org
I have no idea how to proceed from the point you got stuck. But I think, it could be done by solving ##m^2+m+(1-n^2)=0## for ##m## and then analyze the root. Also consider, that beside the root, the summand ##-\frac{1}{2}## that you get has to vanish, too.
 
Set [itex]m^2 + m + 1 - n^2 = (m - m_1)(m - m_2)[/itex]. What must [itex]m_1 + m_2[/itex] be?
 
Here's another idea. It seems to me that adding ##m +1## is not enough to get you from ##m^2## to the next square.
 
Thanks for the help. I finished it, by the way.