| Definition: A diophantine equation is an equation of the form Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 together with its whole number solutions, that is the set of solutions (x,y) \in Z \times Z
Example: The equation 4y^2 - 20y + 25 = 0 has the solution \{ (x,y)|y = 2.5 \} , but 2.5 is not an integer so this diophantine equation has no solution. Solution methods depend on the values of A, B and C. These values also determine the type of curve in the real plane R \times R so we categorize the solution methods in this way: linear, simple hyperbolic, eliptical, parabolic and (standard) hyperbolic. Of course, we are only interested in finding the isolated integer valued points where the respective curve intersects with the 1-1 grid. |
Cases:
|
|
Linear diophantine equations Dx + Ey + F = 0 - Graphical solution
|
| Linear diophantine equations: Dx + Ey + F = 0 -Algebraic solution
There are several subcases: 1. D = 0 and E = 0 means we have F=0 . This has a solution if only if F is 0.So such a diophantine equation has a solution only if it is: 0=0 .
The diophantine equation: 0=0 has infinitely many solutions, namely every grid point: M= \{(x,y), x,y \in Z \} .
2. D = 0 and E \ne 0 means we have Ey + F = 0 => y = -F/E . This has a solution if and only if E is a factor of F.
So such a diophantine equation has a solution only if it is: Ey-eE=0, e \in Z .
The diophantine equation: Ey-eE=0 has infinitely many solutions, namely every grid point along the horizontal line y=e or M= \{(x,e), x \in Z \}.
3. D \ne 0 and E=0 means we have Dx + F = 0 => x = -F/D . This has a solution if and only if D is a factor of F.
So such a diophantine equation has a solution only if it is: Dx-dD=0, e \in Z .
The diophantine equation: Dx-dD=0 has infinitely many solutions, namely every grid point along the vertical line x=d or M= \{(d,y), y \in Z \}.
4. D \ne 0 and E \ne 0 means we have Dx + Ey + F = 0 .
Let g = GCD(D, E) . This means g is a factor of D and a factor of E.
So such a diophantine equation has a solution only if g is a factor of F. Let \color{red}{d}=D/g, \color{green}{e}=E/g, \color{magenta}{f}=F/g \in Z.
The diaphantine equation reduces to:
\color{red}{d}x + \color{green}{e}y = \color{magenta}{-f} , where GCD(\color{red}{d},\color{green}{e})=1 .
Now we use Euler's method to find integers \color{teal}{u'} and \color{purple}{v'} such that \color{red}{d}\color{teal}{u'}+\color{green}{e} \color{purple}{v'} = 1 . Multiply this last equation by ( \color{magenta}{-f}) to get \color{red}{d}(\color{magenta}{-f}) \cdot \color{teal}{u'} +\color{green}{e}(\color{magenta}{-f}) \cdot \color{purple}{v'} = \color{magenta}{-f} So one solution is: (\color{magenta}{-f} \cdot \color{teal}{u'},\color{magenta}{-f} \cdot \color{purple}{v'}) To find all possible solutions, to the last equation we add: 0= \color{red}{d}\color{green}{e} \cdot k -\color{red}{d}\color{green}{e} \cdot k where k \in Z . We reorganize this equation to get: \color{red}{d} (\color{magenta}{-f} \cdot \color{teal}{u'}+\color{green}{e} \cdot k ) + \color{green}{e} (\color{magenta}{-f} \cdot \color{purple}{v'}-\color{red}{d} \cdot k )= \color{magenta}{-f}
|
Simple hyperbolic diophantine equation: Bxy + Dx + Ey + F = 0 - Graphical solution
|
| Simple hyperbolic diophantine equation: Bxy + Dx + Ey + F = 0 - Algebraic solution
Step 1 - Multiply through by B: B^2xy + BDx + BEy + BF = 0
Step 2 - Factor: (Bx+E)(By+D) = DE - BF
There are two subcases 1. If DE - BF \ne 0 we find the factors of DE - BF and solve (see Example 1 below). 2. If DE - BF = 0 ... (under construction)
|
Related topics:
Sources: http://www.alpertron.com.ar/QUAD.HTM, http://en.wikipedia.org/wiki/Extended_Euclidean_algorithm
L.Stojanovska and N.Dimitrovska
Up one level
|

