What happens in your classroom when you give students the following task?

Prove .

Sometimes the command is *Verify* or *Show* instead of *Prove*, but the intent is the same.

# Two non-examples

Here are two ways that a student might work the problem.

**Method 1**

**Method 2**

How do you feel about these methods? In my opinion, both methods represent a fundamental misunderstanding of the prompt. Method 1 is especially grotesque, but Method 2 also leaves a lot to be desired. Let me explain. And if you think the above methods are perfectly fine, please be patient and hear me out.

This is the crux of the issue:

The prompt was to *prove* the statement. **But if the first line of our work is the very thing we’re out to prove, then we are already assuming the thing we want to prove. We’re Begging the Question.**

It’s as if someone demands,

*“Prove Statement X, please!” *

and we reply,

*“Well, let’s first start by assuming that Statement X is true.”*

This is nonsense.

# What went wrong?

So what is the proper way to engage this proof? Let’s roll back a bit.

The error in these approaches seems to stem from a desire to perform algebraic operations on both sides of an equation *in the same way that you might if you were solving an equation.*

When we “do algebra” and write Equation B below another Equation A without any words, we always mean that *Equation A implies Equation B*. That is, when we write

Equation A

Equation B

Equation C

etc…

we mean that Equation C *follows from* Equation B, which *follows* from Equation A.

Some might claim that each line should be *equivalent* to the last. But, again, when we “do algebra” by performing algebraic manipulations to both sides of an equation to transform it from equation A into equation B, we always mean , we don’t mean . Take, for example, the following algebra which results in an extraneous solution:

In this example, each line follows from the previous, however reversing the logic doesn’t work. But we accept that this is the usual way we do algebra (). Here the last line doesn’t hold because only one solution satisfies the original equation (). Remember that our logic is still flawless, though. Our logic just says that *IF* for a given , *THEN* .

As we move through the algebra line by line, we either preserve the solution set or *increase its size*. In the case above, the solution set for the original equation is {2}, and as we go to line 2 and beyond, the solution set is {2,-1}.

For more, James Tanton has a nice article about extraneous solutions and why they arise, which I highly recommend.

So if this is the universal way we interpret algebraic work, which is what I argue, then it is wrong to construct an argument of the form in order to prove statement A is true from premise C. The argument begs the question.

**Both Method 1 and Method 2 make this mistake.**

# How does a proof go again?

I want to actually make a more general statement. The argument I gave above regarding how we “do algebra” is actually how we present *any* sort of deductive argument. We always present such an argument *in order*, where later statements are supported by earlier statements.

ANY time we see a sequence of statements (not just equations) A, B, C that is being put forward as a proof, if logical connectives are missing, the mathematical community agrees that “” is the missing logical connection.

That is, if we see the proof A,B,C as a proof of statement C from premise A, we assume that the argument really means .

This is usually the interpretation in the typical two-column proof, as well. We just provide the next step with a supporting theorem/definition/axiom, but we don’t also go out of our way to say “oh, and line #7 follows from the previous lines.”

**Example**: Given a non-empty set with lower bound and upper bound , show that .

1. is non-empty and and are lower and upper bounds for . (given)

2. Set contains at least one element . (definition of non-empty)

3. and . (definitions of lower and upper bound)

4. . (transitive property of inequality)

Notice I never say that one line follows from the next. And also notice that it would be a mistake to interpret the logical connectives as *biconditional*.

# The path of righteousness

I encourage my students to work with only ONE side of the expression and manipulate it independently, in its own little dark box, and when it comes out into the light, if it looks the same as the other side, you’ve proved the equivalence of the expressions.

For example, to show that for , I would expect this kind of work for “full credit”:

Interestingly, I *WOULD* also accept an argument of the form as justification for conclusion A from premise C, but I would want a student to say “A is true **if and only if** B is true, which is true **if and only if** C is true.” Even though it provides a valid proof, I discourage students from using this somewhat cumbersome construction.

So let’s return to the original problem and show a few ways a student could do it *correctly*.

# Three examples

**Method A – A direct proof by manipulating only one side**

**Method B – A proof starting with a known equality**

**Method C – Carefully specifying biconditional implications**

While all of these are now technically correct, I think we all prefer Method A. The other methods are cool too. But please, please, promise me you won’t use Methods 1 or 2 which I presented in my introduction.

# In conclusion

Some might argue that the heavy criticism I’ve leveled against Methods 1 and 2 is nitpicking. But I disagree. This kind of careful reasoning is exactly the business of mathematicians. It’s not good enough to just produce “answers,” our job is to produce good reasoning. Mathematics, remember, is a *sense-making *discipline.

Thanks for staying with me to the end of this long-winded post. Can you tell I’ve had this conversation with a lot of students over the last ten years?

# Further reading

*Dave Richeson has a similar rant with a similar thesis here.**This article was originally inspired by this recent post on Patrick Honner’s blog. A bunch of us fought about this topic in the comments, and in the end, Patrick encouraged me to write my own post on the subject. So here I am. Thanks for pushing me in the right direction, Mr. Honner!*

There are a lot of things going on here: proving trigonometric identities, the nature of proof, solving algebraic equations, etc.

I completely agree with you that proofs should be held to a high standard. If the prompt is to prove an algebraic or trigonometric fact, then it is simply incoherent to begin with the statement that you are trying to prove. Without some kind of qualification, like “suppose”, you have immediately placed your audience in the awkward position of having no idea what is going on. If I purport to prove that, say, “Congressional term limits are anti-democratic” and begin my proof with the statement that “Congressional term limits are anti-democratic”, it is worse than awkward, it is just incoherent.

So if we want students to be able to read and understand proofs, to compose their own proofs,and to engage in mathematical communication with each other via proof, then we should definitely insist that the proofs be coherent.

But are the traditional problems that ask students to prove various trig identities really proofs at all? Why are we asking students to prove trig identities in the first place? I would argue that the entire value of this exercise is to get students used to manipulating trigonometric expressions based on simpler known identities. Students must learn their identities, so we give them this practice. If they become adept at this manipulation, then they will be able to fluently compose their own substitutions when needed to solve a trigonometric equation or antidifferentiate or one of the other “natural” situations in which one needs to know their trig identities.

My point is that the task of “proving trig identities” is not really a proof task. We might as well just say: transform the expression on the left to the expression on the right via a sequence of equality-preserving algebraic and trigonometric operations. This is the skill we want them to have. Instead, we just say “prove this identity”, Then we must awkwardly add special class rules that “one can only manipulate one side of the expression at a time” which seems arbitrary and mean.

Methods A, B, and C are equally good as proofs, since all three do indeed prove the identity. But only method A employs the skill that we are trying to build in the first place.

I will buy this !

However we are also attempting to make students aware of potential pitfalls in the logical steps they take e.g. that division by a trig expression has to specifically exclude cases when that expression has value zero or that squaring may introduce additional values that may not be satisfied etc. So trigonometrical transformation I would suggest is not the only skill practiced in these type of examples.

May I add that this article is an excellent and clear exposition and should help many teachers through this potential minefield.

Great points, Will.

Yes, I’ll acknowledge that I was trying to address more points in this post than I should have, biting off more than I can chew, trying to say too much at one time, making multiple claims, etc. I probably should have made a narrower argument or turned this into a series of posts.

To your other point, you’re right that trig identities are a little bit of an artificial place to practice writing proofs. Maybe my opening example shouldn’t have been a trig identity, because really my views here extend to basically all proof tasks in math. I do provide some other non-trig examples in the post. One solution would be to stop using trig identities as a vehicle for teaching proof. I think you would have reason to do this, especially since the practical purpose of this is extremely limited.

My preferred solution would be to *saturate* the curriculum with opportunities for proof. Too many teachers treat proof as a thing you do in isolated places like Geometry or Trig Identities or when you get to that Induction lesson in Precal. Mathematics is a sense-making discipline, and proof should undergird our activities every day in math class. Clear thinking should always be center stage!

It’s an honor to have a logician such as yourself stop by, Will. I should get you to weigh in on my previous post, too, which was all about proof. When it comes to the finer points in logic, I might be out of my depth. So I’m grateful for your comments, and I’m glad to have you as a colleague!

I would agree about the essential nature of “proof” especially if students are engaged in investigative work. Pattern spotting => formulating conjectures => proving.

Since proof is by far the most difficult and deep activity at least teachers should constantly be advising their students of the need for proof and especially the term “counter-example” and what this means for the status of a conjecture. All this (handled well) can make a huge difference to motivation/enjoyment etc

None of the proofs offered pass my muster for proofs that I expect for college-level mathematics majors. I expect them to say something about the domain of rational, square root, and trig functions, “Assuming that theta is not pi/2 …” or “assuming x-2 > 0.”

True. We should be clear about domain restrictions, especially if one expression has a different domain restriction than the other expression. Once the domain restrictions are made clear, will that meet the level of rigor you would expect?

The definition I’ve often heard for

Identityis this: “An identity is an equation that holds for all valuesfor which both expressions are defined.” That definition might not be universally adopted by mathematicians, though, so any domain restrictions should still be made clear, as you suggest.By the way, I

didspecify the domain on the log problem (). The domain restriction carries through the proof, so do you think that a reference to this domain restriction needs to be addressed elsewhere?Domain restrictions can be implicit. For example, “For the rest of this course, we will be restricting ourselves to real-valued functions of real variables.” That does it. I’m not being draconian, only clear.

I don’t like lists of naked equations, though, unless the steps are “just algebra” in a course in which algebra is not the focus. In Algebra 1, I expect English like “by factoring the trinomial,” but in Probability I will assume “by looking it up in a cumulative distribution table for the normal pdf” without further explanation, without actually saying so.

Mathematician E. H. Moore — as quoted by Morris Kline in his book Mathematics: The Loss of Certainty — famously says, “Sufficient unto the day is the rigor thereof.”

I like your post, John, but I don’t have anything substantive to add. Where’s the “Like” button? 😉

Thanks for stopping by, Anthony! You actually

canclick the Like button below the post if you really want. I’m not sure it’s a very important feature of WordPress, though, since I think few people use it 😊.