Download Week 7: School Mathematics (Before Calculus)

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

List of prime numbers wikipedia , lookup

Wieferich prime wikipedia , lookup

Mersenne prime wikipedia , lookup

Sieve of Eratosthenes wikipedia , lookup

Addition wikipedia , lookup

Prime number theorem wikipedia , lookup

Transcript
Week 7: School Mathematics (Before Calculus)
The standard curriculum in the U.S. is a death march to calculus… This is a
shame on a lot of levels.
Richard Rusczyk
Two Theorems from Elementary School
Typically, elementary school students learn many facts about numbers, few of which are
proved, at that time, in any way. Some arithmetic facts are not proved because they seem
intuitively obvious. Some facts are not proved because the proof would be too deep. These
two rationales for omitting proofs in the elementary school setting are not mutually
exclusive. We now consider a couple of facts that nearly all elementary school students
encounter in some form.
The first theorem is an extension of the fact that every integer is either even or odd – in
other words, any integer π‘₯ can be written as either 2π‘š or 2π‘š + 1 for some integer π‘š. A
similar fact is that any integer π‘₯ can be written as either 3π‘š or 3π‘š + 1 or 3π‘š + 2 for some
integer π‘š. Likewise, any integer π‘₯ can be written as either 4π‘š or 4π‘š + 1 of 4π‘š + 2 or
4π‘š + 3 for some integer π‘š. This pattern continues; here is the general fact.
Arithmetic Theorem 1: For any integer π‘₯ and natural number 𝑛, there is a unique integer
π‘š and a unique natural number 𝑏, less than 𝑛, so that π‘₯ = 𝑛 β‹… π‘š + 𝑏.
It might help to state this theorem in symbolic form:
(βˆ€π‘› ∈ β„•)(βˆ€π‘₯ ∈ β„€)(βˆƒ! π‘š ∈ β„€)(βˆƒ! 𝑏 ∈ β„•)(𝑏 < 𝑛 ∧ π‘₯ = 𝑛 β‹… π‘š + 𝑏)
We will not prove this theorem immediately, but will do so in time.
The next theorem concerns the factoring of whole numbers. Given a whole number 𝑛, a
prime factorization of 𝑛 is a sequence of prime numbers, the product of which is equal to 𝑛.
For example, we say that a prime factorization of 504 is 2 β‹… 2 β‹… 2 β‹… 3 β‹… 3 β‹… 7. We can also say
that 504 is 2 β‹… 3 β‹… 2 β‹… 3 β‹… 2 β‹… 7, but this is considered to be just the same factorization (albeit
in a different order). If a number is prime, we say that the number is its own prime
factorization.
Arithmetic Theorem 2: Every natural number greater than 1 has a unique prime
factorization.
Proof of existence: Note that 2 is its own prime factorization. Likewise, 3 is its own prime
factorization. A prime factorization of 4 is 2 β‹… 2. Next, 5 is its own prime factorization, and 6
Week 7
Page 2
has a prime factorization 2 β‹… 3. Suppose we know that all of the natural numbers, from 2 up
to some number 𝑛, have prime factorizations. Consider the next natural number, 𝑛 + 1. By
definition, this number is either prime or composite.
ο‚·
ο‚·
If 𝑛 + 1 is prime, then it is its own prime factorization.
If 𝑛 + 1 is composite, then by definition, 𝑛 + 1 is the product of two natural numbers
π‘˜ and π‘š, with 1 < π‘˜ < 𝑛 + 1 and 1 < π‘š < 𝑛 + 1. We already know that each of
these numbers can be written as the product of a sequence of primes, so 𝑛 + 1,
which is π‘˜ β‹… π‘š, can be written as the product of these two products, which gives us a
prime factorization of 𝑛.
By induction, every natural number greater than 1 has a prime factorization. ∎
The uniqueness of a natural number’s prime factorization can be proved with the help of
Arithmetic Theorem 1, but this proof is slightly too complicated to delve into its details in
this course.
Exercise 1: Without referring to Arithmetic Theorems 1 or 2, prove that any natural
number π‘₯ can be written as either 3π‘š or 3π‘š + 1 or 3π‘š + 2 for some integer π‘š.
Exercise 2: Using the previous exercise (but again without referring to Arithmetic
Theorems 1 or 2), prove that any integer π‘₯ can be written as either 3π‘š or 3π‘š + 1 or 3π‘š +
2 for some integer π‘š.
Exercise 3: Without referring to Arithmetic Theorems 1 or 2, prove that no integer can be
written in more than one of three forms from the previous two exercises (3π‘š or 3π‘š + 1 or
3π‘š + 2).
Exercise 4: Give a rough outline of how we would prove that any natural number’s prime
factorization is unique.
Exercise 5: Find a counterexample to the following statement: For all natural numbers π‘Ž, 𝑏,
and 𝑐, if 𝑏 β‹… 𝑐 is a multiple of π‘Ž, then either 𝑏 or 𝑐 must be a multiple of π‘Ž.
Using the Theorems
Arithmetic Theorems 1 and 2 are fundamental building blocks for proving many arithmetic
facts. Those two theorems also provide guarantees for the effectiveness of certain
mathematical techniques learned in elementary school and beyond.
The proof of Arithmetic Theorem 1 will be dealt with later; for now, let’s take Arithmetic
Theorems 1 and 2 for granted and see how they can be used in proofs.
Week 7
Page 3
Proposition: If 𝑛 is an integer that is not a multiple of 5, then 𝑛2 can be written as either
5π‘˜ + 1 or 5π‘˜ + 4 for some integer π‘˜.
Proof: Suppose 𝑛 is an integer that is not a multiple of 5. By Arithmetic Theorem 1, there
are four possible cases –
ο‚·
If 𝑛 = 5π‘š + 1 for some integer π‘š, then 𝑛2 = 25π‘š2 + 10π‘š + 1 = 5(5π‘š2 + 2π‘š) + 1.
ο‚·
If 𝑛 = 5π‘š + 2 for some integer π‘š, then 𝑛2 = 25π‘š2 + 20π‘š + 4 = 5(5π‘š2 + 4π‘š) + 4.
ο‚·
If 𝑛 = 5π‘š + 3 for some integer π‘š, then
𝑛2 = 25π‘š2 + 30π‘š + 9 = 5(5π‘š2 + 6π‘š + 1) + 4.
ο‚·
If 𝑛 = 5π‘š + 4 for some integer π‘š, then
𝑛2 = 25π‘š2 + 40π‘š + 16 = 5(5π‘š2 + 8π‘š + 3) + 1.
In each case, 𝑛2 is either 5π‘˜ + 1 or 5π‘˜ + 4 for some integer π‘˜. ∎
The next proposition is a somewhat surprising fact about prime numbers, which mostly do
not follow any convenient patterns.
Proposition: When we square any prime number greater than 3, the result is always a
multiple of 12, plus 1.
Proof: Let π‘₯ be a prime number greater than 3. By Arithmetic Theorem 1, there is an
integer π‘š such that π‘₯ = 6π‘š + 𝑏, and 𝑏 is either 0, 1, 2, 3, 4, or 5. Now,
ο‚·
ο‚·
ο‚·
ο‚·
ο‚·
ο‚·
we know that π‘₯ cannot be 6π‘š, because π‘₯ is prime.
if π‘₯ = 6π‘š + 1, then π‘₯ 2 = 36π‘š2 + 12π‘š + 1 = 12(3π‘š2 + π‘š) + 1, which is a multiple
of 12, plus 1.
π‘₯ cannot be 6π‘š + 2, because this is 2(3π‘š + 1), which is not prime.
π‘₯ cannot be 6π‘š + 3, because this is 3(2π‘š + 1), which is not prime.
π‘₯ cannot be 6π‘š + 4, because this is 2(3π‘š + 2), which is not prime.
if π‘₯ = 6π‘š + 5, then π‘₯ 2 = 36π‘š2 + 60π‘š + 25 = 12(3π‘š2 + 5π‘š + 2) + 1, which is a
multiple of 12, plus 1.
In the only possible cases, it turns out that π‘₯ 2 is always a multiple of 12, plus 1. ∎
In trying to prove the proposition above, because the statement is related to multiples of
12, it would be a natural first instinct to write a proof with 12 cases: π‘₯ = 12π‘š + 𝑏, with 𝑏 as
either 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, or 11. In fact, the proof can be written this way
successfully, and it would not be a bad idea to try writing that version of the proof yourself.
It requires a little extra insight to see that a shorter proof can be written successfully with
only 6 cases.
Week 7
Page 4
A proof of this form, involving several cases, is often called a β€œproof by exhaustion.”
Proposition: There are infinitely many prime numbers.
Proof: Suppose there are a finite number of primes. Let 𝑁 be the product of all these prime
numbers. Consider the natural number 𝑁 + 1, which is clearly larger than 1. For any prime
number 𝑝, this number 𝑁 + 1 can be written as 𝑝 β‹… (product of the other primes) + 1, which
means that 𝑁 + 1 cannot be a multiple of 𝑝, because of the uniqueness part of Theorem 1.
But if 𝑁 + 1 is not a multiple of any of the prime numbers, it contradicts Theorem 2. So
there are infinitely many prime numbers. ∎
Proposition: If the product of two natural numbers is a multiple of a prime, then one of
those two natural numbers must be a multiple of that prime.
Proof: Let π‘Ž be prime and 𝑏 and 𝑐 be natural numbers, and suppose 𝑏 β‹… 𝑐 is a multiple of π‘Ž.
This means that 𝑏 β‹… 𝑐 = π‘š β‹… π‘Ž for some natural number π‘š. We consider three cases: π‘š = 0,
π‘š = 1, and π‘š > 1.
ο‚·
ο‚·
ο‚·
If π‘š = 0, then 𝑏 β‹… 𝑐 = 0, so either 𝑏 or 𝑐 must be 0 and therefore a multiple of π‘Ž.
If π‘š = 1, then 𝑏 β‹… 𝑐 = π‘Ž, so since π‘Ž is prime, either 𝑏 or 𝑐 must be equal to 1 and the
other must be equal to π‘Ž.
If π‘š > 1, then by Theorem 2, π‘š can be expressed as a product of prime factors.
Therefore π‘Ž β‹… π‘š is the product of π‘Ž and these factors. So since 𝑏 β‹… 𝑐 = π‘Ž β‹… π‘š, the
prime number π‘Ž is one of the unique prime factors of 𝑏 β‹… 𝑐. Now, 𝑏 and 𝑐 can each be
written as products of prime factors, so 𝑏 β‹… 𝑐 is the product of every prime factor of
either 𝑏 or 𝑐. Since the prime factorization of 𝑏 β‹… 𝑐 is unique, π‘Ž must be one of these
prime factors of either 𝑏 or 𝑐.
In each case, either 𝑏 or 𝑐 is a multiple of π‘Ž. ∎
Exercise 6: Prove that for any integer π‘₯, if π‘₯ 2 is a multiple of 3, then π‘₯ is a multiple of 3.
Exercise 7: Use the previous exercise to prove that √3 is irrational.
Exercise 8: Prove that if π‘₯ is an integer greater than 5 and π‘₯ βˆ’ 1 and π‘₯ + 1 are both prime,
then π‘₯ is a multiple of 6.
Exercise 9: Prove that no square number ends with the digit 2.
Exercise 10: Use Arithmetic Theorem 2 to prove that if 𝑝 is prime, then βˆšπ‘ is irrational.
Exercise 11: Prove Arithmetic Theorem 1. (Hint: the proof will be like a combination of
Exercises 1–3, but more general.)
Week 7
Page 5
Some Properties of Functions
From basic algebra through the most modern ideas of mathematics, functions play a
steadily increasing role. Up to at least the early years of college-level mathematics,
essentially all functions are concerned only with real numbers – that is, a typical function
takes real numbers as β€œinput” and gives real numbers as β€œoutput.” But in general, a function
can have any kind of input and any kind of output.
The domain of a function is the set of all objects that are allowed to be β€œplugged into” the
function. A codomain of a function is a set containing all objects that might be β€œoutput” by
the function.
Example: The function given by the formula π‘Ÿ(π‘₯) = 5 βˆ’ √2 + π‘₯ , according to the usual
understanding of an algebra student, has domain [βˆ’2, ∞). The interval (βˆ’βˆž, 5] is a
codomain of this function.
Note that any function with codomain ℝ is known as a real-valued function. These are the
functions dealt with throughout grade school and most of college.
There is a special notation, used extremely rarely in early mathematics courses but
increasingly useful for more modern areas, that is used to designate a function along with
its domain and codomain.
Definition: We say that 𝑓 is a function from set 𝐴 to set 𝐡 iff 𝐴 is the domain of 𝑓 and 𝐡 is a
codomain of 𝑓. This is indicated by the notation 𝑓: 𝐴 β†’ 𝐡.
As an example, for the function π‘Ÿ mentioned above, we can say that π‘Ÿ ∢ [βˆ’2, ∞) β†’ (βˆ’βˆž, 5].
Definition: A function 𝑓: 𝐴 β†’ 𝐡 is one-to-one iff
(βˆ€π‘Ž ∈ 𝐴)(βˆ€π‘ ∈ 𝐴)(π‘Ž β‰  𝑏 β†’ 𝑓(π‘Ž) β‰  𝑓(𝑏)).
Definition: A function 𝑓: 𝐴 β†’ 𝐡 is onto 𝐡 iff
(βˆ€π‘ ∈ 𝐡)(βˆƒπ‘Ž ∈ 𝐴)(𝑓(π‘Ž) = 𝑏).
Definition: A function 𝑓: 𝐴 β†’ ℝ, with 𝐴 βŠ† ℝ, is increasing iff
(βˆ€π‘Ž ∈ 𝐴)(βˆ€π‘ ∈ 𝐴)(π‘Ž < 𝑏 β†’ 𝑓(π‘Ž) < 𝑓(𝑏)).
Definition: A function 𝑓: 𝐴 β†’ ℝ, with 𝐴 βŠ† ℝ, is decreasing iff
(βˆ€π‘Ž ∈ 𝐴)(βˆ€π‘ ∈ 𝐴)(π‘Ž < 𝑏 β†’ 𝑓(π‘Ž) > 𝑓(𝑏)).
Exercise 12: Prove that the function π‘Ÿ, given before, is one-to-one.
Exercise 13: Prove that the function π‘Ÿ, given before, is onto (βˆ’βˆž, 5].
Exercise 14: Prove that the function π‘Ÿ, given before, is decreasing.
Week 7
Page 6
Exercise 15: Prove that the typical algebra function given by the formula 𝑓(π‘₯) = π‘₯ 2 + 5
(a) … is not one-to-one.
(b) … is not onto ℝ.
(c) … is not increasing.
(d) … is not decreasing.
Exercise 16: Prove that if 𝑔 ∢ ℝ β†’ ℝ is increasing and β„Ž ∢ 𝐴 β†’ ℝ is decreasing, then the
function given by 𝑔(β„Ž(π‘₯)) is decreasing and one-to-one.