Playdo
- 88
- 0
This method utilizes discrete binary operations, in particular notice that.
(I1) Div(x+y+z,a)=Div(x,a)+Div(y,a)+Div(z,a)+\{0,1,2\}
This means that for one of the elements of the included set {0,1,2} the equation is true. This notation is quite useful for carrying out long calculations using integer division as will be apparent in a moment.
Also note that
(I2) Div(xy,a) \leq yDiv(x,a) \leq xDiv(y,a) if y>x
Now we first start with a type of quadratic template for a natural number N, that is
(1) N=XY \rightarrow az+t =(ax+s)(ay+r)
Notice we do not require N and a coprime. This leads immediately to
(2) z = axy+ sy+rx + Div(rs,a)
This is because t=Mod(rs,a) was removed after expanding the product XY.
Equation 2 can be further dealt with by noting that
(3) Mod(z,a) = Mod(sy+rx+Div(rs,a),a)
(4) Div(z,a) = xy + Div(sy+rx+Div(rs,a)) = xy + Div(sy)+Div(rx)+Div(Div(rs,a),a) + \{0,1,2\}
Equation four can be categorized depeending on the relationships of s to y and r to x. Notice that Div(Div(rs,a))<Div(a-2,a) = 0 therefore this term is obliterated. If we restrict x and y to be less than a then Div(sy,a)<a-2. So by dividing (4) by a again we obtain
(5) Div(Div(z,a),a) = Div(xy+Div(sy)+Div(rx)+\{0,1,2\},a)
= Div(xy,a)+Div(Div(sy,a))+Div(Div(rx,a))+Div(\{0,1,2\},a)+\{0,1,2,3\}
Or in the sixth step
(6) Div(Div(z,a),a) = Div(xy,a) + \{0,1,2,3\}
Ah the beauty of the seventh step!
(7) Div(xy,a) = Div(Div(z,a),a)-\{0,1,2,3\}
After this we recognize that in short order we know a key ingredient if you will of xy since the division algorithm shows us that
(8) xy = Div(xy,a)+Mod(xy,a)
But of course we know that Mod(xy,a) is greater than zero and less than a, this is not as impressive as we wish it to be. if N and a are coprime we reduce the residues to be searched to the reduced residue system modulo a. But perhaps by taking the modulus of Equation four we can obtain a better estimate.
(9) Mod(Div(z,a),a) = Mod(xy,a) + Mod(Div(sy+rx+Div(rs,a)),a)
= Mod(xy,a) + Mod(Div(sy),a)+Mod(Div(rx),a)+Mod(\{0,1,2\},a)
The modulus of the set {0,1,2} is clearly equal to itself. The modulos of the terms containg sy and rx will be harder to come by. In fact right now I do not see a way past the terms of the form Mod(Div(sy,a))[/tex].
(I1) Div(x+y+z,a)=Div(x,a)+Div(y,a)+Div(z,a)+\{0,1,2\}
This means that for one of the elements of the included set {0,1,2} the equation is true. This notation is quite useful for carrying out long calculations using integer division as will be apparent in a moment.
Also note that
(I2) Div(xy,a) \leq yDiv(x,a) \leq xDiv(y,a) if y>x
Now we first start with a type of quadratic template for a natural number N, that is
(1) N=XY \rightarrow az+t =(ax+s)(ay+r)
Notice we do not require N and a coprime. This leads immediately to
(2) z = axy+ sy+rx + Div(rs,a)
This is because t=Mod(rs,a) was removed after expanding the product XY.
Equation 2 can be further dealt with by noting that
(3) Mod(z,a) = Mod(sy+rx+Div(rs,a),a)
(4) Div(z,a) = xy + Div(sy+rx+Div(rs,a)) = xy + Div(sy)+Div(rx)+Div(Div(rs,a),a) + \{0,1,2\}
Equation four can be categorized depeending on the relationships of s to y and r to x. Notice that Div(Div(rs,a))<Div(a-2,a) = 0 therefore this term is obliterated. If we restrict x and y to be less than a then Div(sy,a)<a-2. So by dividing (4) by a again we obtain
(5) Div(Div(z,a),a) = Div(xy+Div(sy)+Div(rx)+\{0,1,2\},a)
= Div(xy,a)+Div(Div(sy,a))+Div(Div(rx,a))+Div(\{0,1,2\},a)+\{0,1,2,3\}
Or in the sixth step
(6) Div(Div(z,a),a) = Div(xy,a) + \{0,1,2,3\}
Ah the beauty of the seventh step!
(7) Div(xy,a) = Div(Div(z,a),a)-\{0,1,2,3\}
After this we recognize that in short order we know a key ingredient if you will of xy since the division algorithm shows us that
(8) xy = Div(xy,a)+Mod(xy,a)
But of course we know that Mod(xy,a) is greater than zero and less than a, this is not as impressive as we wish it to be. if N and a are coprime we reduce the residues to be searched to the reduced residue system modulo a. But perhaps by taking the modulus of Equation four we can obtain a better estimate.
(9) Mod(Div(z,a),a) = Mod(xy,a) + Mod(Div(sy+rx+Div(rs,a)),a)
= Mod(xy,a) + Mod(Div(sy),a)+Mod(Div(rx),a)+Mod(\{0,1,2\},a)
The modulus of the set {0,1,2} is clearly equal to itself. The modulos of the terms containg sy and rx will be harder to come by. In fact right now I do not see a way past the terms of the form Mod(Div(sy,a))[/tex].
Last edited: