introduction to proofs - divisibility · 2020. 7. 2. · divisibility de nition (divisibility) let...
TRANSCRIPT
![Page 1: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/1.jpg)
Introduction to Proofs - Divisibility
Prof Mike Pawliuk
UTM
May 7, 2020
Slides available at: mikepawliuk.ca
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Canada License.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 1 / 7
![Page 2: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/2.jpg)
Learning Objectives (for this video)
By the end of this video, participants should be able to:
1 State the definitions for integer divisibility, primes, and compositenumbers.
2 Make a conjecture about divisibility and then prove it by definitionunwinding, or provide a counterexample.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 2 / 7
![Page 3: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/3.jpg)
Divisibility
Definition (divisibility)
Let d , n be integers. We say that d divides n if there is an integer k suchthat n = dk.We also say d is a divisor of n, or that n is a multiple of d . We representthis as d |n.
Examples
3|12 since 12 = 3 · 4 and 4 is an integer.
5| − 30 since −30 = 5 · (−6), and −6 is an integer.
a is even if and only if 2|a. (Prove it!)
Non examples
We use 6 | to mean “does not divide”.
12 6 |3 since 3 = 12 · k has no integer solution.
5 is not a multiple of 10.Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 3 / 7
![Page 4: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/4.jpg)
Conjectures
Goal: Discover what is true about divisibility.
1 Play. Create 5 examples and 5 non-examples of divisibility.
2 Conjecture. Make a conjecture (guess) about how divisibility worksfor all integers.
3 Test. Try to break your conjecture by finding integers that make yourconjecture false.
4 Modify. Play/conjecture/test again as needed.
5 Prove. Prove your conjecture by definition unwinding.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 4 / 7
![Page 5: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/5.jpg)
Conjectures
Goal: Discover what is true about divisibility.
1 Play. Create 5 examples and 5 non-examples of divisibility.
2 Conjecture. Make a conjecture (guess) about how divisibility worksfor all integers.
3 Test. Try to break your conjecture by finding integers that make yourconjecture false.
4 Modify. Play/conjecture/test again as needed.
5 Prove. Prove your conjecture by definition unwinding.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 4 / 7
![Page 6: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/6.jpg)
Conjectures
Goal: Discover what is true about divisibility.
1 Play. Create 5 examples and 5 non-examples of divisibility.
2 Conjecture. Make a conjecture (guess) about how divisibility worksfor all integers.
3 Test. Try to break your conjecture by finding integers that make yourconjecture false.
4 Modify. Play/conjecture/test again as needed.
5 Prove. Prove your conjecture by definition unwinding.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 4 / 7
![Page 7: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/7.jpg)
Conjectures
Goal: Discover what is true about divisibility.
1 Play. Create 5 examples and 5 non-examples of divisibility.
2 Conjecture. Make a conjecture (guess) about how divisibility worksfor all integers.
3 Test. Try to break your conjecture by finding integers that make yourconjecture false.
4 Modify. Play/conjecture/test again as needed.
5 Prove. Prove your conjecture by definition unwinding.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 4 / 7
![Page 8: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/8.jpg)
Conjectures
Goal: Discover what is true about divisibility.
1 Play. Create 5 examples and 5 non-examples of divisibility.
2 Conjecture. Make a conjecture (guess) about how divisibility worksfor all integers.
3 Test. Try to break your conjecture by finding integers that make yourconjecture false.
4 Modify. Play/conjecture/test again as needed.
5 Prove. Prove your conjecture by definition unwinding.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 4 / 7
![Page 9: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/9.jpg)
Example 1
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b, n are integers and a|n and b|n, then (a + b)|n.
Test. Now you should attempt to break your conjecture.
After playing for a while you discover: 1|4 and 2|4, but 3 6 |4.Modify. One option for adjusting your conjecture is
Conjecture
Suppose d , a, b are integers and d |a and d |b, then d |(a + b).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 5 / 7
![Page 10: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/10.jpg)
Example 1
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b, n are integers and a|n and b|n, then (a + b)|n.
Test. Now you should attempt to break your conjecture.After playing for a while you discover: 1|4 and 2|4, but 3 6 |4.
Modify. One option for adjusting your conjecture is
Conjecture
Suppose d , a, b are integers and d |a and d |b, then d |(a + b).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 5 / 7
![Page 11: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/11.jpg)
Example 1
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b, n are integers and a|n and b|n, then (a + b)|n.
Test. Now you should attempt to break your conjecture.After playing for a while you discover: 1|4 and 2|4, but 3 6 |4.Modify. One option for adjusting your conjecture is
Conjecture
Suppose d , a, b are integers and d |a and d |b, then d |(a + b).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 5 / 7
![Page 12: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/12.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.
By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (
so a = b
),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 13: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/13.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.
Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (
so a = b
),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 14: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/14.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (
so a = b
),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 15: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/15.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .
So then m = k = 1 (
so a = b
),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 16: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/16.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (
so a = b
),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 17: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/17.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (so a = b),
or m = k = −1 (
a = −b
)
.
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 18: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/18.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (so a = b), or m = k = −1 (
a = −b
).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 19: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/19.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b
or a = −b
.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (so a = b), or m = k = −1 ( a = −b).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 20: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/20.jpg)
Example 2
After coming up with many examples, you notice the following pattern,and make a conjecture.
Conjecture
Suppose a, b are integers and a|b and b|a, then a = b or a = −b.
Proof.
Suppose that a, b are integers and that a|b and b|a.By definition (of divisibility) there are integers k ,m such that b = ak anda = bm.Putting these together, b = ak = (bm)k .
b = b(mk)
So then 1 = mk .So then m = k = 1 (so a = b), or m = k = −1 ( a = −b).
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 6 / 7
![Page 21: Introduction to Proofs - Divisibility · 2020. 7. 2. · Divisibility De nition (divisibility) Let d;n be integers. We say that d divides n if there is an integer k such that n =](https://reader036.vdocument.in/reader036/viewer/2022070220/61327d63dfd10f4dd73a7bbb/html5/thumbnails/21.jpg)
Reflection
What are the main steps in making and proving a conjecture?
Do these steps apply to only divisibility, or can they apply to otherdefinitions?
Is it okay to make false conjectures?
What is the role of play and creativity in math?
Prof Mike Pawliuk (UTM) Intro to Proofs May 7, 2020 7 / 7