Learn how to think the way mathematicians do – a powerful cognitive process developed over thousands of years. Mathematical thinking is not the same as doing mathematics – at least not as mathematics is typically presented in our school system. School math typically focuses on learning procedures to solve highly stereotyped problems. Professional mathematicians think a certain way to solve real problems, problems that can arise from the everyday world, or from science, or from within mathematics itself. The key to success in school math is to learn to think inside-the-box. In contrast, a key feature of mathematical thinking is thinking outside-the-box – a valuable ability in today’s world. This course helps to develop that crucial way of thinking.
Tutorial for Assignment 7
Loading...
来自 Stanford University 的课程
Introduction to Mathematical Thinking
1184 个评分
从本节课中
Week 5
This week we take our first look at mathematical proofs, the bedrock of modern mathematics.
与讲师见面
Dr. Keith DevlinCo-founder and Executive Director
H-STAR institute
Well, I won't do all of the examples in, in assignment 7 but let's do a few of
them. Starting with number one prove or disprove
the statement, all birds can fly. Well, we'll, we'll find a counter example.
I mean, that's false, and to show it's false what I need to do is to find the
counter example, and an obvious one is the ostrich.
That's a bird that can't fly so we're going to counter example, okay?
Well now let's look at number 2. Prove or disprove the claim for all x in
r, for all x and y in r, x minus y squared is greater than 0.
That's also false. And again to prove to something that's a
universal quantifier, just like the one above it, it's a universal quantifier, or
in this case 2 universal quantifiers. And to prove that our universally
quantified statement is false. What you need to do is find a counter
example. Well that's one way of doing it at least.
And the most obvious one here, well anything that takes x and y equal will,
will do it. So let's give a specific counter example,
let's take x equals y equals 1. And in that case, x minus y squared equals
0, and 0 is not scrictly based in 0, okay? It came close, right?
If we'd excluded x and y being 0 then we'd have a, then we'd have a positive result,
but uh,it says it's true for all x, y, and r, not a single counter example.
Is all it takes and in this case any pair of equal numbers gives us the gives a
counter-example. Okay, number three prove that between any
two unequal rationals there's a third rational.
So let's let x and y be rationals x less than y, okay?
Then because they're rationals x is p over q.
We can write y is r over s, where p, q, r and s are integers.
And we have to show there's a number between them.
Well the obvious thing is to take the, the mean.
Let's just take x plus y over 2 and if that's rational then, then we'll have
proved the result. Well look, here's the proof that it's
rational, x plus y over 2 is equal to p over q plus r over s over 2, okay?
Which is ps plus qr over qs, all over 2. Which is ps plus qr over 2, over qs, can't
see underneath my hand here, which is rational.
Because it's a quotient of 2 integers, but of course, x is less than x plus y over 2,
is less than y. And we're done, okay?
That's 1, 2, and 3 knocked off very, very quickly.
Let's go on to do, do number 7, the one about square root of 3.
Well just as we did with the square root of 2, we're going to prove it by
contradiction. So we're going to assume square root of 3,
were rational. Okay., then I could write 3 root 3 is p
over q, where p and q are natural numbers. And I can always assume that they have no
common factors. Okay, because if you pick a pair of
integers, a pair of natural numbers that do have a common factor, you can cancel
out. So, you can always express a, a rational
number in that form. Then, if we square that, I get 3 Is p
squared over q squared. So I can multiply across by the q squared
and get 3q squared equals p squared. So 3 divides p squared, but 3 is prime and
if a prime divides p squared, that means 3 divides p.
If a prime divides a pair of numbers multiplied together, it divides one of the
numbers. So 3 divides p, so that means p is of the
form 3 let's call it 3r, okay? So that means p squared equals 9r squared.
So I can take p squared and substituting it back in here to get 3q squared equals p
squared, equals 9r squared. So if I'll forget the middle term now 3q
squared equals 9r squared, let me the factor the 3 out.
I've got q squared equals 3r squared, so that means 3 divides q squared.
But if 3 divides q squared, then just as before with p, that means that 3 divides
q. And now I've got a contradiction, since p
and q have no common factors. And yet, we've just shown that 3's a
common factor. So, there's a contradiction.
Almost exactly the same as the one for square root of 2.
So, if we compare the two to see if the proof for square root of 2.
In the case of square root of 2, we talked about numbers being even.
But if we talk about something like p being even, then that's just another way
of saying 2 divides p. So, really all I've done here is I've
taken the previous proof, the one for root 2 and instead of talking about it in terms
of even or odd, I could recast in terms of whether it's divisible by two or not.
And then the facts, the fact about 2 that we used there, we di-, we said if 2
divides p squared, then it divides p, it used the fact that 2 was prime.
So, I might just as well use 3. So, it's exactly the same proof as before,
except instead of talking about divisible by 2, I'm talking about being divisible by
3. I didn't express it that way before in
terms of talking about even and odd, but even just means that they're a multiple of
two. Okay, well we've, we've moved on.
Let me decide what to do next. I think I'll do number eight that, that
shouldn't take too long we'll, so we'll do number eight next.
Okay, so the converse of a, of an implication of a conditional is
implication in the opposite direction while shop around the antecedent in the.
Consequence but everything remains more the same otherwise unchanged.
So, the, the converse of this is, if the Yuan rises the dollar falls.
We just swapped them around same here. If negative y less than negative x, then x
is less than y, and in the case of c, if 2 triangles have the same area, then they
are congruent. Now in terms of what we do and this is
totally trivial. This is just swapping things around
without doing anything. What I'm really trying to get at is this,
this exercise is in part to contrast it with the contra positive.
And also to, to observe that truth and falsity can change.
In this case, we start out with something that's true, this is a truth to
implication, that's a true implication too.
So sometimes, the converse of a true implication is a true implication.
Let's look at this one. If two triangles are congruent they the
same are? That's true, but this one, if two
triangles have the same area they're congruent.
That one's false, so sometimes the converse of a true statement is true.
And sometimes the converse of a true statement is false.
Now, that's a different situation from, from, from what we found with the, with
the contra positive, but when you swap around the order you can sometimes get
through going to false and you can sometimes reserve truth.
Okay, well that, that's really all there is to that, it was just to sort of give,
give an opportunity to reflect on these things and to recognize that truth and
falsity plays its own game when you're dealing with congruences.
Okay, let's go and do number 11, okay. That was that one about the rational, the
irrational numbers. Well we've already looked at some of these
in the lecture where we've, we've observed that some of them are rational.
Let me see, we observed that this one can be rational.
We observe that this one can be rational and there's an issue about this one being
rational okay. The, the, these were easy, we did those in
the lecture. That was, that was a later issue that
leaves 1, 2, and 5. They're the ones where, where they're
irrational and so we have to prove them this time, okay?
And so the, starting with number one, say what we're trying to show is that it is
irrational, so yes, it is irrational. Okay, and let's see, suppose, suppose that
r plus 3 were rational, okay? That's a plus sign there, then r plus 3
would be of the form p over q, where p and q are integers.
Well then, r would equal p over q minus 3. Which is p minus 3q over q, which is
rational and that's a contradiction. Because r is assumed to be irrational, and
we've shown that if r plus 3 were rational, then r would have to be
rational, and the others are similar. You simply assume the continuity you
express it in terms of p over q. And then you do a tiny bit of manipulation
and you end up showing that the, the number r is rational here.
And the square root of r is that, that, that r is rational in the square root
example. Okay, very straightforward.
Nothing really more to be said about this one, okay?
The only one left now to do on, on assignment 7 is question 12.
So let me just quickly go through question 12.
Well the key facts that you use in, in dealing with all of these are that, if n
is even then, and I actually should, if and only if, then n is 2k for some k, some
integer k. Okay, and this n is odd if and only if n
equals 2k plus 1, for some k. Okay, the even numbers are the ones that
are multiples of 2 and the odd ones are the ones that are 1 more than a multiple
of 2, okay? They're in between the multiples of 2.
So for example, if we do part a if m and n are even then we would have m equals 2k,
for example, we'd have n equals 2l, so m plus n would equal 2k plus 2l, which is 2,
into k plus l, which means it's even. It's 2 times something else do I need to
do 1 more? Well, let me just do 1 more anyway.
Just, just because of I mean, I'm on a roll now.
Let me do a number d, part d. If one of them even, it's 2k and the other
one's odd. It's 2l plus 1, then m plus n equals 2k,
plus 2L plus 1, which equals 2 into k plus l plus 1.
Okay, so it's 2, twice something plus 1. Et cetera for all the others.
Okay, nothing terribly deep about, about these things.
But in terms of, of writing out a proof, it's basically a case of just counting our
odds and evens in this way. Doing, doing a tiny amount of algebra.
Okay, that was a very easy assignment, I think.
Well, it was meant to be an easy assignment.
It's easy for me to say that, right. I've been doing this for years.
If you haven't met this kind of thing before, then it probably isn't an easy
assignment. I've fell into the trap of mathematicians
err of saying something's easy in the same way we talk about trivial, that's a sort
of a term of art that we use in the game. So I everything's easy when you know how
to do it, right? Okay but I was looking ahead to assignment
eight. Which was decidedly difficult for me and
for you guys, okay? Assignment eight, coming next is
difficult.
