pawargmat
8mod9 cannot have a remainder of 8, as per
OG's defintion (as for me I would have thought 8 is the remainder ...before seeing this definition of course)
if we try to write 8mod9 in y=xq+r form, 9=xq+8, xq has to be 0 implying that x should be 0 in which case, x would not be positive which will violate the definition.
Yes the definition is correct but x doesn't have to be zero. All x can be is 1 and q can be zero. Because the definition basically says there is a multiplier of x such that the y is
at least as much as the product of q and x.
So for example:
8 mod 9 --> x = 9, y = 8, q = 0, r = ?
r = y - qx
= 8 - (0)(9)
= 8
In this case 9 goes into 8 zero times. Thus the multiplier q equals 0.
example 2:
9 mod 8 --> x = 8, y = 9, q = 1, r = ?
r = y - qx
= 9 - (1)(8)
= 9 - 8
= 1