HR - proof - state things [ 'tractably' , 'comprehensively']
Stating things tractably:
Let's forget about my problem for a second and look at how to state
It may be true that if n is prime then that means that n is only
divisible by 1 and itself. But is that the most algebraic way of
stating it? Can you go from that statement you just made to anything
useful? Maybe, but let's take a look at this way of stating it:
n prime means that only 1 * n = n and nothing else
One other thing. Let's try this same technique for what it means for a to be divisible by b? It means that b * x = a, where x is integral.
Now what have we bought ourselves? Instead of primeness and divisibility being two concepts with no apparent relation, we see them both in terms of what it means for products involving things which are prime and things which are divisible. Both concepts are now expressed as
E * Fwhere E and F vary based on which concept we are talking about.
Why is this useful? Because at one point in my following the proof, I hit this statement: assume c = LD(n) is not prime. In other words "Assume that the least divisor of n is c and it is not prime." Now we reach the second thing:
State all implicationsSo let's take our statement and explore each isolated fact: First, c is the least divisor of n tell us all of this:
And c not prime tells us all of this:
Now what threw me is when the author of the text said: "Then there are natural numbers a and b with c = a * b, and also 1 < a and a < c. but then a divides n..." and that is what confused me. He did not directly show how it was true that a divides n. But if you look above, we have
c * q = nbut also
a * b = c. By substituing
a * bfor c, we have
a * b * q = nwhich means that a divide n.