Sometimes it’s pretty easy for students to push through a proof from beginning to end. For example, in my experience, math majors have little trouble with each step of the proof of the following theorem.

Theorem. If , then .

Proof. Let , where , and let , where . Then

For other theorems, it’s not so easy for students to start with the left-hand side and end with the right-hand side. For example:

Theorem. If , then .

Proof. Let , where , and let , where . Then

.

A sharp math major can then provide the next few steps of the proof from here; however, it’s not uncommon for a student new to proofs to get stuck at this point. Inevitably, somebody asks if we can do the same thing to the right-hand side to get the same thing. I’ll say, “Sure, let’s try it”:

.

I call working with both the left and right sides to end up at the same spot the Diamond Rio approach to proofs: “I’ll start walking your way; you start walking mine; we meet in the middle ‘neath that old Georgia pine.” Not surprisingly, labeling this with a catchy country song helps the idea stick in my students’ heads.

Though not the most elegant presentation, this is logically correct because the steps for the right-hand side can be reversed and appended to the steps for the left-hand side:

Proof (more elegant). Let , where , and let , where . Then