Recursive equations for quadratic diophantine equations. How do I

parksinta8rkv

parksinta8rkv

Answered question

2022-04-01

Recursive equations for quadratic diophantine equations.
How do I determine the recursive equations for deriving integer solutions to quadratic Diophantine equations. Say I have a Diophantine equation. e.g.
5x23x+3y2+2y=0
How do I determine a recursive equation so that with one integer solution I can determine the other integer solutions.

Answer & Explanation

Eve Larson

Eve Larson

Beginner2022-04-02Added 9 answers

I don't know what you mean by "recursive" in this case, but you might be interested in the solution that I posted here for generating all rational solutions using one guessed solution. The idea is that the slope of a line through the guessed point is rational if and only if the other point at which it intersects the curve is a rational point. If you are looking for integers solutions, you can find all rational solutions and then look into when the coordinates are integers, say by using divisibility theorems. For example, there is a well-known way of finding all (primitive) Pythagorean triples by using this method to first find all rational solutions to x2+y2=1.
However, if you are looking for integer solutions, and if the coefficient of xy in the curve is 0 and both the x2 and y2 terms exist, as in the example that you gave, there might be a different approach available: complete the square in both variables and look at whether you can take advantage of size considerations. For example, completing the square in your example 5x23x+3y2+2y=0
and clearing the denominators yields
3(10x3)2+20(3y+1)2=47.
If you look at 3a2+20y2=47,
it is clear that b can only be 0, ±1 before becoming too large. If b=0, we get irrational a. If b=±1, we get a=±3. We end up getting that the only integer solution is (x,y)=(0,0).

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?