BIG STUFF Flashcards
definition of divisibility
a|b iff a*c = b
Properties of divisability
If a|b and a|c then a|(b+c)
If a|b and b|c then a|c
If a|b then a|b*c
division algorithm
Let a ∈ Z, d ∈ Z+
Then there are unique integers q and r such that
a = d * q + r
Modulus congruence
If a, b ∈ Z and m ∈ Z+, then
a ≅ b (mod m) iff m|a-b
OR if
m | (b - a)
OR if
a = b + k * m
k ∈ Z
definition of GCD
gcd(a, b) = d
where d|a and d|b and
∀e != d, if e|a and e|b, then e
euclidean Algorithm
gcd(a,b) = gcd(b,rem(a,b))
Linear combination
If gcd(a,b) = c
then c = a * s + b * t
where s, t ∈ Z
arithmetic series
Sn = n(2a + (n - 1)d) / 2
Really just the average of the 1st and last terms multiplied by n
Geo series
Sn = a(1 - r^n)/(1 - r)
Fundamental Theorem of Arithmetic
Every integer n > 1 can be written in a unique way as a nondecreasing product of primes
Mathematic induction
To prove ∀n ∈ Z+, P(n):
Basis step: P(1)
Inductive step: show that ∀k ≥ 1 (P(k) -> P(k+1)) is true
i.e. assuming P(k), show P(k + 1)