Euclidean Algorithm Supplement Number Theory
Euclidean Algorithm Supplement Number Theory
February 2, 2016
a = bq + r with 0 r < b.
a = bq + r with 0 r < b.
a = bq + r with 0 r < b.
Warmup, continued.
I
Warmup, continued.
I
Warmup, continued.
I
Warmup, continued.
I
12 = 1 9 + 3 d|3 (q3 = 1, r3 = 3)
12 = 1 9 + 3 d|3 (q3 = 1, r3 = 3)
9 = 3 3 + 0. (q4 = 3 and r4 = 0)
12 = 1 9 + 3 d|3 (q3 = 1, r3 = 3)
9 = 3 3 + 0. (q4 = 3 and r4 = 0)
12 = 1 9 + 3 d|3 (q3 = 1, r3 = 3)
9 = 3 3 + 0. (q4 = 3 and r4 = 0)
Which is it?
Algorithm Euclid
Input: a, b Z+ {0}, a b, b 6= 0.
Output: gcd(a, b)
I
I
I
If b = 0
then return a
else return Euclid(b, a (mod b))
a = q1 b + r 1
0 r1 < b
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
r1 = q3 r2 + r3
0 r3 < r2
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
r1 = q3 r2 + r3
0 r3 < r2
r2 = q4 r3 + r4
0 r4 < r3
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
r1 = q3 r2 + r3
0 r3 < r2
r2 = q4 r3 + r4
0 r4 < r3
..
.
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
r1 = q3 r2 + r3
0 r3 < r2
r2 = q4 r3 + r4
0 r4 < r3
..
.
a = q1 b + r 1
0 r1 < b
b = q2 r1 + r2
0 r2 < r1
r1 = q3 r2 + r3
0 r3 < r2
r2 = q4 r3 + r4
0 r4 < r3
..
.
rk2 = qk rk1 + rk
d0 |gcd(a, b)
d0 |gcd(a, b)
d0 |d.
d0 |gcd(a, b)
d0 |d.
d0 |gcd(a, b)
d0 |d.
Optional Material
Proof by induction on n.
Proof by induction on n.
Proof by induction on n.
Proof by induction on n.
By assumption a > b a 2 = F3 .
Proof by induction on n.
By assumption a > b a 2 = F3 .
Euclid(
a, b)
=b+r
=b+r
= b + (a b ba cb)
=b+r
= b + (a b ba cb)
=b+r
= b + (a b ba cb)
because b ba c > 1.
Fk+1 + Fk
Fk+1 + Fk
= Fk+2 , as desired.
Fk+1 + Fk
= Fk+2 , as desired.
Fk+1 + Fk
= Fk+2 , as desired.
QED
n
5 ,
where =
1+ 5
2 ,
we see that
n
5 ,
where =
1+ 5
2 ,
we see that
n
5 ,
where =
1+ 5
2 ,
we see that