Re: Diophantine equation



Gaurav1146 wrote:

I was trying to solve the following question and came across an
interesting result though I could not prove it.
Find all possible positive integers x and y such that x^2+y^2+1 is a
multiple of (x*y).
This can be written as x^2+y^2+1 = N*x*y where x,y and N are positive
integers.
I wrote a java code to generate all such pairs. What I observed was
that solutions existed for N=3 only, though I couldnt prove it. The
fact that N should be a multiple of 3 can be easily proved.

I think N must be odd.
For if N is even just one of x,y must be even,
and then x^2 + y^2 + 1 = 2 mod 4, while Nxy = 0 mod 4.

I would try re-writing the equation (for given N) as

(2x - Ny)^2 - (N^2 - 4)y^2 = -4,
say
u^2 - dv^2 = -4,

where d = N^2 - 4.

There is obviously no solution if N = 0,1,2.
So d > 0.

Evidently -1 must be a quadratic residue mod d.
I would hazard a guess that this is sufficient for there to be a solution.

If N = 7 then d = 45 = 5 x 9,
so -1 is a quadratic residue mod d.

Is there a solution in this case?
The answer is left to the reader ...





--
Timothy Murphy
e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland
.



Relevant Pages

  • Re: A confusion with the proof that rules out no prime number generating polynomial
    ... Dorin Andrica and Zuming Feng. ... For the sake of contradiction, assume that there is such a ... pis a multiple of p. ... values of pare 0, p, and -p for all positive integers i." ...
    (sci.math)
  • Re: Diophantine equation
    ... fact that N should be a multiple of 3 can be easily proved. ... for Markoff equation or Markov equation. ...
    (sci.math)
  • About LCM and GCF
    ... This is regarding Least Common Multiple and ... Are the LCM /GCF investigated as functionsof multiple independent variables regarding their: ... , M, K are positive integers. ...
    (sci.math.num-analysis)
  • Re: Diophantine equation
    ... fact that N should be a multiple of 3 can be easily proved. ... If is solution and x and y positive integers: ... f3= (ny-x, y) is solution ... on the arc MB. ...
    (sci.math)
  • Simple integer factorization algorithm
    ... With all positive integers: ... mention only because in programming the algorithm you need to check ... but 8 is not a quadratic residue modulo 11, so no 'a' exists for this ... And you have a non-trivial factorization, as 7 is a factor of 119. ...
    (comp.lang.java.programmer)