represents the fact that divides. This doesn't mean that is defined (since is undefined) but rather that s.t. .
Easy proofs of divisibility
is FALSE unless
when is EVEN.
Proof
We'll prove (4). Notice that is always divisible by 2. Further, out of one of these must be 3. Therefore are factors of so then it must be divisible by their factor . We haven't proved that we can combine products in this way, but it's pretty obvious why.
☐
There's a neater way to show the divisibility of 6: Proof
Notice that:
By the definition of the binomial coefficient. This has to be a whole number on the LHS, finishing the proof.
☐
Example
Prove if is ODD.
As some examples: seems to work. Let's prove it:
Proof
Since is odd then for some . Then:
Where the last step is allowed since is always even. Clearly then 8 divides the LHS, finishing the proof.
☐
Ideal of
Next time we'll look at how the set of all for some is the ideal of , which is closed under addition (+) and subtraction (-). This has to do with Abstract Algebra.
This is saying that if we have like and then clearly and and so on. The ideal for each is closed under the addition and subtraction operations.
Euclid's Division Algorithm
Euclid's Division Algorithm
Suppose . Then , where is the quotient and is the remainder, where . Further, both are unique.
You've done and seen the proof multiple times.
Ideal
forms an ideal, which is closed under + and -.
Suppose is ideal. Then
Suppose has some , else have . Suppose :
Summary
Ideals of the integers are exactly the same as the multiples of some element.
GCD: Greatest Common Divisor
To find for , we want to know the largest integer such that . If then by definition (we'll see why later on).
vs
Sometimes mathematicians will just use rather than . You've been warned!
We say:
even if
How do we find GCD?
Stupid Method
Check 1,2,..., to see if they divide , and pick the biggest. Clearly this will work, but it's really slow (especially in this case). We'd want something that'll work with really big numbers like .
Better Method
We can factor into primes. For example, what is ? We have:
Clearly then we take the minimums of each power. In this case , , and that's it. Giving:
For small numbers this is probably the fastest way. But there's a problem! You have to start with the primes, and thus know your factors already! Plus, if you have a really big prime number, it can take literal years to factor the prime factors of some numbers.
Euclid's Algorithm
Let's start with an example: find .
Notice:
Using the division algorithm, dividing the bigger term with the smaller term. Repeat by moving the smaller value to and use the remainder as the value now:
Repeat:
Namely, you ignore the quotients and take the divisor, and move it over to the left:
Notice that all the 's are equivalent (namely, repeating the process this way doesn't change the answer) since, at each step, we are just subtracting multiples of one from the other (which shouldn't change their divisors anyways)
If you want a more rigorous answer, look at:
GCD Equivalences
For any , the following are equivalent:
Notice that so then like before where and we can do it backwards. Namely:
When you get to clearly that's easy to find, it's just in this case.
This will end since the remainders in our sequence get smaller (the divisors themselves get smaller) so clearly the algorithm terminates.
Euclid's Algorithm
The progression of the algorithm is as follows:
Where here is our GCD and
How Fast is it?
What is the worst case for our GCD algorithm? Namely, we want normally to be small (as once it's 0 then we are done). So the worst case is when . For example:
In this case it took 5 iterations. But notice that each follows the recurrence relation:
Since in each step upward, we add the previous remainder (literally, as the remainder) and 1 times the new divisor.
We want to start from the bottom case through when and . Thus we get:
And it's Fibonacci! So the worst case is when finding:
Note
It's interesting to note that , so it's like a super-exponential.
Further note that the number of steps we take is given (roughly) by:
Because of the exponential ways of . Thus then clearly we have , where here is the Fibonacci number in question (the larger one).