It is called "modular arithmetic". It first appeared in Disquitiones Arithmetic in 1801 by Gauss. They are powerful because they over simplify divisibility arguments.
I don't know what they are called, but i found some good pdf describing them some time ago, now it's lost. I have been searching for "modular systems" but I haven't found anything of worth. Is that their real name or are they called anything else?
Edit: Oops, I obviously forgot the most important part...
Edit: The next thing to do when I have find a good-looking symetrical solution for this systemis to solve this system:
I mean the type of equation system, what is it called? And if it is just "modular arithmetic", which I can't find anything about that explains about equation systems of that kind, how do you solve the equation I gave as an example in the first post? Thanks in advance.
There is no general way to remove the the coefficient. But there is a theorem that gaurrentes the existence and all incongruent solutions that you obtain.Maybe how to get rid of the coefficients in front of y?
Just basically solve it like an ordinary 2x2 system of equations (except for division). I can do if for you if you want by an example.
Oh, okey I see now.
Let's define as it is normally defined, a rational number without mind of modulus, and as integer modulus division, in other words, if , then is such that , not necessarily the lowest possible positive integer; that's possible only if , else is undefined. We could really say that , where is an arbitrary integer, so can actually be , let's say only one -value per -value.
We can make that
So that we have the same modulus in both equations. The conditions are still the same. And we can assume every system already is in that form, only using one modulus. And and we can move over to the left side instead. So our new system is:
In the same way we can get
By subtracting these two equations we get
Now we can insert that to one of the original equations:
Now I don't know if it even is correct. And if it should be correct it is probably not possible to follow the development in both directions. If it is correct and it can be followed in both directions, this solution should give all valid values for and and nothing more.
Equations with modular arithmetic is a lot more messy than "normal" linear equations, so it is highly possible that many steps in this derivation is illegal.
No, I don't know how to solve it. It is obviously wrong, one among the reasons is that the final solution is completely unsymmetrical, while the problem statement is perfectly symmetrical.
One thing I have come up with is that if any solutions exists this must be satisfied:
I hope to get further soon.