
Originally Posted by
desiresjab
QR does not work when p=q. Imagine an 11X11 square. φ is 110, not 100. This means you cannot even get four squares (not rectangles in this case) all with equal lattice points.
But what about a 17X17 square where there are plenty of 2's to go around? This case will provide four equal squares all right. But it is a dead end, a non-sequitur, because no number between 1 and 16 inclusive will ever square out to 17 (mod 17), and so forth for all primes.
A visibly cogent fact is that the line p=q on graphing paper is a 45 degree angle and is our diagonal, and goes through all the points (1,1), (2,2), (3,3),...(17,17). The method does not work on squares. It only works on rectangles. The diagonal hits eight lattice points in WAXY. 256 interior lattice points divided by four is 64 for our quadrant square, but eight of these cannot count because they hit lattice points, bringing WAXY down to 56 servicable points, and each small triangle to 28, indeed equal, but meaningless except perhaps for why it is meaningless. Only on rectangles where p≠q are there no lattice points on the diagonal. P and q respond identically but meaninglessly when p=q because they do not kick against one another rationing out squares under the other as modulus. At the moment I do not know how to subtract those eight extra points in the context of something meaningful, I just know eight would have to be subtracted in this particular case to somehow fictionally redirect the apparently nonsensical. This is all about finding the logic of why it is illogical for squares themselves.
Only on rectangles where p≠q are there no lattice points on the diagonal.
So where p=q, it would have to look like:
[(p-1)(q-1)]-[(p-1)/2].
This is
p2-2p+1-(p-1)/2, is equivalent to
2p2-4p+2-p-1=2p2-5p+1, which means nothing to me but the sense of the nonsense.
A modulus is about division and remainders, and division is about ratios, and QR is about two unequal primes acting as units for the other under the operation of squaring, spitting out squares as remainders. Pitcher and catcher. Then switch places while the other acts as divider and see which numbers its overlap spits out as squares.