Tricks, Proof Methods, Equivalences Flashcards
1
Q
A
- Assume b | a
- aq =b
- |a| = |qb| = |q| |b| >= |b|
- |b| <= |a|
- b <= |a|
2
Q
A
- There exists q1, q2, r1, r2 that both represent
- Inequalities of r1 and r2
- 0 < r1 < b
- -b< -r2 < 0
- -b < r1 - r2 < b
- 0 = a - a = (q1 - q2)b + (r1 - r2)
- (q1 - q2)b = (r1 - r2)
- b| r1 - r2 ==> -b < kb < b = -1 < k < 1 ==> k = 0
- r1 = r2
- (q1-q2)b = 0 ==> q1 = q2
3
Q
Def: Common Divisor
A
Let a and b be integers. An integer c is called a common divisor of a and b if c | a and c | b.
4
Q
A
bx + cx = (ra)x + (sa)y = a (rx + sy)
5
Q
A
Case 1: a and b non-zero
- a(1)+b(-1) (by DIC) = a - qb = r : d|r
- let c: c | b, c | r
- by DIC c | (qb + r) ==> c | a
- c and d divide a, b, r –> gcd(a, b) = gcd(b, r)
6
Q
A
Case 1: a and b non-zero
- c | (ax + by) = c | (as + bt) = c | d
- from bounds of div : c <= |d|
- d = gcd(a,b)
Case 2: a and b 0
- as+bt = 0
- gdc(0, 0) = 0 : d = gcd(a,b)
7
Q
A
Range is unrestricted and applies for all a and b
8
Q
Explain the steps of the algorithm
A
- Table of 4 columns, x, y, r, q
- compute q <- floor(ri-1 / ri-2)
- compute row = row-2 - (q)row-1
- x and y are the factors for gcd
9
Q
A
- c | a, c | b
- Bezouts lemme says as + bt = d where d = gcd(a,b)
- by DIC c|(as +bt) hence c | d
10
Q
Def: Coprime
A
Two integers a and b are coprime if gcd(a,b) = 1
11
Q
A
- Bezouts Lemma as + bt = 1
- 1 | a, 1 | b, for all a and b
- from GCD Characterization theorem we have gcd(a,b) = 1
12
Q
A
- Bezout’s lemma:
- There exists s and t so that as + bt = d
- hence a/d *s + b/d *t = 1
- Since gcd(a,b) = d, d | a, d | b, a/d, b/d are ints
- Hence by Coprimeness Characterization Theorem gcd (a/d, b/d) = 1
13
Q
A
- From Bezouts Lemma
- as + ct = 1
- asb + cbt = b
- since c | ab and c | c
- c | ab(s) + c(bt) = c | b
14
Q
A
Strong Induction
- Base case (2)
- Hypothesis - all k>=2 are true
- P(k+1) case 1: prime is true
- P(k+1) case 2: k+1 = rs
- Since both r and s are >=2 by inductive hypothesis can be written as primes
15
Q
Def: Prime vs Composite
A
Prime is >1 and its only positive divisors are 1 and prime itself.
Otherwise composite.