Tag Archives: theorems

Proof

When math books present a theorem they almost always immediately present its proof. I tend to skip the proofs. I assume they are correct. I want to get on with the ideas in the text. Later I may come back and read through them. Is this a good thing to advise students to do? I don’t know.

There are reasons to read proofs. One reason is to help understand why a theorem is true, by seeing the reasoning that lead to the result. Another is to check the reasoning yourself. A third is to learn how to do proofs.

Learning to write original proofs is not usually one of the goals of a beginning calculus course. That comes later in a course with “analysis” in its title. There are many theorems that involve some one-off that rarely will be used again. I’m thinking of  a  proof  like that of the sum of the limits is equal to the limit of the sums, where you add and subtract the same expression and this more complicated form allows you to group and factor  the terms of the numerator and arrive at the result. Another example is in the Mean Value Theorem where you consider a new function that gives the vertical distance between a function and its secant line. These always bring the question, “How did you know to do that?”

If a student can accept things like that, then the proof is usually easy enough to follow. But I would never spend a lot of time making every student fight his or her way through each and every proof.

On this other hand, I would never just present a theorem and not give some explanation as to why it is true (and why it is important enough to mention). Unfortunately, I have seen teachers write the Fundamental Theorem of Calculus on the board and proceed to show how to use it to evaluate definite integrals, with no hint of why this important theorem is true. Sure kids can memorize it and use it, but it seems to me they should also have a hint as to why it is true.

Some theorems are easy to understand if explained in ways other than a proof. For an example of this, see my post of October 1, 2012  on the Mean Value Theorem. Almost every book will bail out on the Intermediate Value Theorem by claiming (quite rightly) that, “the proof is beyond the scope of this book,” or they give the proof in an appendix. But a simple drawing will convince you that it is true.

So my feeling is that you do not need to labor over a proof for every theorem, BUT, big BUT, you should provide a good explanation of why it is true.

This is important for all students and especially for young women. Jo Boaler writes

“As I interviewed more and more boys and girls, I noticed that the desire to know why was something that separated the girls from the boys. The girls were able to accept the method that were shown them and practice them, but they wanted to know why they worked, where they came from, and how they connected with other methods…. When they could not get access to the depth of understanding they wanted, the girls started to turn away from the subject…. Classes in which students discuss concepts, giving them access to a deep and connected understanding of math, are good for boys and girls. Boys may be willing to work in isolation on abstract rules, but such approaches do not give many students, girls or boys, access to the understanding they need. In addition, high-level work in mathematics, science and engineering is not about isolated, abstract rule following, but about collaboration and connection making.”

[Jo Boaler, What’s Math Got to Do with It? Helping Children Learn to Love Their Most Hated Subject – And Why It’s Important for America, © 2008 Penguin Group, New York. From Chapter 6]

Leave a comment

Filed under Writing and Reading

Theorems and Axioms

Continuing with some thoughts on helping students read math books, we will now look at the main things we find in them in addition to definitions which we discussed previously: theorems and axioms.

An implication is a sentence in the form IF (one or more things are true), THEN (something else is true). The IF part gives a list of requirements, so to speak, and when the requirements are all met we can be sure the THEN part is true. The fancy name for the IF part is hypothesis; the THEN part is called the conclusion.

Implications are sometimes referred to as conditional statements – the conclusion is true based on the conditions in the hypothesis.

An example from calculus: If a function is differentiable at a point, then it is continuous at that point. The hypothesis is “a function is differentiable at a point”, the conclusion is “the function is continuous at that point.”

This is often shortened to, “Differentiability implies continuity.” Many implications are shortened to make them easier to remember or just to make the English flow better. When students get a new idea in a shortened form, they should be sure to restate it so that the IF part and the THEN part are clear to them. Don’t let them skip this.

Related to any implication are three other implications. The 4 related implications are:

  1. The original implication: if p, then q.
  2. The converse is formed by interchanging the hypothesis and the conclusion of the original implication: if q, then p. Even if the implication is true, the converse may be either true or false. For example the converse of the example above, if a function is continuous then it is differentiable, is false.
  3. The inverse is formed by negating both the hypothesis and the conclusion: if  p is false, then q is false. For our example: if a function is not differentiable, then it is not continuous. As with the converse, the inverse may be either true or false. The example is false.
  4. Finally, the contrapositive is formed by negating both the original hypothesis and conclusion and interchanging them, if q is false, then p is false. For our example the contrapositive is “If a function is not continuous at a point, then it is it is not differentiable there.” This is true, and it turns out a useful. One of the quickest ways of determining that a function is not differentiable is to show that it is not continuous. Another example is a theorem that say if an infinite series, an, converges, then \displaystyle \underset{n\to \infty }{\mathop{\lim }}\,{{a}_{n}}=0. This is most often used in the contrapositive form when we find a series for which  \displaystyle \underset{n\to \infty }{\mathop{\lim }}\,{{a}_{n}}\ne 0; we immediately know that it does not converge (called the nth-term test for divergence).

The original statement and its contrapositive are both true or both false. Likewise, the converse and the inverse are both true or both false.

Any of the 4 types of statements could be taken as the original and the others renamed accordingly. For example, the original implication is the converse of the converse; the contrapositive of the inverse is the converse, and so on.

Definitions are implications for which the statement and its converse are both true. This is the real meaning of the reversibility of definitions. For this reason, definitions are sometimes called bi-conditional statements.

Axioms and Theorems

There are two kinds of  if …, then… statements, axioms (also called assumptions or postulates) and theorems. Theorems can be proved to be true; axioms are assumed to be true without proof. A proof is a chain of reasoning starting from axioms, definitions, and/or previously proved theorems that convinces us that the theorem is true. (More on proof in a future post.)

It would be great if everything could be proved, but how can you prove the first few theorems? Thus mathematical reasoning starts with (a few carefully chosen) axioms, and accepts them as true without proof. Everything else should be proved. If you can prove it, it should not be an axiom.

Theorems abound. All of the important ideas, concepts, “laws” and formulas of calculus are theorems.  You will probably see few, if any, axioms in a calculus book, since they came long before in the study of algebra and geometry.

Learning Theorems

When teaching students and helping them read and understand their textbook, it is important that they understand what a theorem is and how it works. They should understand what the hypothesis and conclusion are and how they relate to each other. They should understand how to check that the parts of the hypothesis are all true about the function or situation under consideration, before they can be sure the conclusion is true.

For the AP teachers this kind of thing is tested on the exams. See 2005 AB-5/BC-5 part d, or 2007 AB-3 parts a and b (which literally almost no one got correct). These questions can be used as models for making up your own questions of other theorems.

2 Comments

Filed under AP Calculus Exams, Before Calculus, The Beginning of the Year, Writing and Reading

Definitions

Definitions are similar to theorems, but are true in both directions; technically, this means that the statement and its converse are both true (p\leftrightarrow q). The double arrow is read “if, and only if.” Both parts are either true or both parts are false. Definitions usually name some thing or some property.  Definitions are not proved.

The definition of continuity is a good example: A function f is continuous at xa if, and only if, these three things are true

(1)  f\left( a \right) exist (i.e. is a finite number)

(2)  \underset{x\to a}{\mathop{\lim }}\,f\left( x \right) exist (i.e. is a finite number)

(3) \underset{x\to a}{\mathop{\lim }}\,f\left( x \right)=f\left( a \right)  (“The limit equals the value.”)

“Play” with it: consider cases where only 2 of the 3 requirements are true – is the function still continuous? What would happen if you removed the requirements about finite numbers?

To use a theorem one must be sure all the hypotheses are true. To use a definition one may say that either part is true once you have established that the other part is true. So if you know a function is continuous at a point, then the three statements are true; or if you can show the  three statements are true, you may say the function is continuous.

Here’s an example: A typical AP problem might give a piecewise defined function and ask if it is continuous at the place where the domain is divided.

To get credit for justifying an answer of “yes”, students must show that all the requirements of the definition are met. Specifically, they must show that the limit as x approaches that point must equal the value of  the function at that point (and both are finite).  In turn, to show that this limit exist the student must show that the hypotheses of the theorem that says if the two one-sided limits are equal to the same number, then that number is the limit.

To get credit for an answer of “no”, the student must show that (only) one of the hypotheses is false.

Finally, as with theorems, express definitions in words. With your students, “play” with the theorem or definition by making changes to the hypotheses and seeing how that affects the conclusion. Look at graphs. Don’t just state the definition and expect students to understand it, remember it and use it correctly.

Leave a comment

Filed under Writing and Reading

Theorems

Theorems are statements that summarize the results that are true in mathematics. Theorems are statements that have been proved true; but the emphasis in AP Calculus is not on proof. Rather, it is on what the theorems mean and how to use them.

Theorems have two parts: the “if …” clause called the hypothesis and the “then …” clause called the conclusion. Students need to know both parts. In many theorems the conclusion is some sort of formula. The students need to know this, but also need to know when they can use it (the hypothesis tells them that).

An early important theorem is the Intermediate Value Theorem (IVT). Take some time with this theorem. “Play” with it. The hypothesis requires that the function be continuous on a closed interval. Use graphs (sketches, no equation needed) to show cases where the conclusion is both true and false when the function is not continuous. Can the function take on values not between f(a) and f(b)? Can you find a case where the hypothesis is met, but the conclusion is false? (Let’s hope not!)

Consider the theorem (p\to q), its converse (q\to p), its inverse (\sim p\to \sim q) and its contrapositive (\sim q\to \sim p) by looking at graphs of each case. (For the IVT the converse and inverse are false. The contrapositive of any true theorem is also true.)

Finally, for this and for all the important theorems that you use this year, express them in words, “play” with them by making change to the hypothesis, and look at graphs. Don’t just state the theorem and expect students to understand it, remember it and use it correctly.

The next post will be about definitions, which are similar to theorems in lots of ways.

Leave a comment

Filed under Writing and Reading