In class today, we were asked to explain what was wrong with the following proof:
Claim: As increases, the function
approaches (gets arbitrarily close to) 1.
Proof: Look at values of as gets larger and larger.
These values are clearly getting closer to 1. QED
Of course, this is incorrect. Choosing a couple of numbers and thinking there might be a pattern does not constitute a proof.
But on a related note, these sorts of questions (where you observe a pattern and seek to prove it) can sometimes lead to strongly suspected conjectures, which may or may not be true. Here’s an interesting one (with a good picture over at SpikedMath):
Draw points on the circumference of a circle, and connect them with a line. How many regions is the circle divided into? (two). Draw another point, and connect it to the previous points with a line. How many regions are there now? Draw another point, connecting to the previous points with lines. How many regions now? Do this once more. Do you see the pattern? You might even begin to formulate a belief as to why it’s true.
But then draw one more point and its lines, and carefully count the number of regions formed in the circle. How many circles now? (It doesn’t fit the obvious pattern).
So we know that the presented proof is incorrect. But lets say we want to know if the statement is true. How can we prove it? Further, we want to prove it without calculus – we are interested in an elementary proof. How should we proceed?
Firstly, we should say something about radians. Recall that at an angle (in radians) on the unit circle, the arc-length subtended by the angle is exactly (in fact, this is the defining attribute of radians). And the value is exactly the height, or rather the value, of the part of the unit circle at angle . It’s annoying to phrase, so we look for clarification at the hastily drawn math below:
Note in particular that the arc length is longer than the value of , so that . (This relies critically on the fact that the angle is positive). Further, we see that this is always true for small, positive . So it will be true that for large, positive , we’ll have . For those of you who know a bit more calculus, you might know that in fact, , which is a more precise statement.
What do we do with this? Well, I say that this allow us to finish the proof.
, and it is clear that the last two terms go to zero as increases.
Finally, I’d like to remind you about the class webpage at the left – I’ll see you tomorrow in class.