2
$\begingroup$

I just want to know this system-equation has answer $(x,y,z)$ in Integers Set or not?

$a_1x+b_1y+c_1z=d_1$
$a_2x+b_2y+c_2z=d_2$

(in Real Number Set, we just need to check this two plate (plane) are parallel or not, but in in Integer Set ... ????)

$\endgroup$
  • $\begingroup$ I am having trouble understanding what your asking, though some keywords here I think are "Bezout's identity" and "The Chinese Remainder Theorem" $\endgroup$ – Ethan Oct 22 '13 at 8:17
  • $\begingroup$ @Ethan, which part you don't understand? $\endgroup$ – MeTe-30 Oct 22 '13 at 8:20
  • $\begingroup$ @Ethan, check now, is it better or still have trouble? $\endgroup$ – MeTe-30 Oct 22 '13 at 8:26
  • $\begingroup$ It depends on the values of $a_1,a_2,b_1,b_2,c_1,c_2,d_1,d_2$ $\endgroup$ – Ethan Oct 22 '13 at 8:30
  • $\begingroup$ I don't think there is a shortcut to find the solutions though some infeasible cases can be easily ruled out by checking gcds. You may want to check math.udel.edu/~lazebnik/papers/dior1.pdf and also google "Smith Normal Form" $\endgroup$ – Macavity Oct 22 '13 at 9:18
0
$\begingroup$

Of cource you assumed that $a_i,b_i,c_i,d_i$ are integers. There are many ways to see this problem. For instance if you set z=0 and if (the integers) $a_i,b_i$ are such that $a_1b_2-a_2b_1=1$ then you will always have an integer solution $(x_0=D_x,y_0=D_y,0).$ Another case is $d_1=d_2=0,$ then you always have $(0,0,0).$ In general, since you have three unknows you will set an integer value to the one of them, for instance to $z$ and then the criterion is the determinant $D=a_1b_2-a_2b_1$ to divide both $D_x,D_y.$ A better criterion is given by the previous suggested paper http://math.udel.edu/~lazebnik/papers/dior1.pdf in Proposition 3. A more geometric approach is to find the line (if the re is any) which is in the intersection of the two planes and see if there is any integer point on it.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.