Existence Proofs

Source: https://xkcd.com/1856/

How To Use Facebook Emoji to Respond to a Mathematical Proof

Source: https://www.facebook.com/MathWithBadDrawings/photos/a.822582787758549/2865881973428610/?type=3&theater

Goodbye Aberration: Physicist Solves 2,000-Year-Old Optical Problem

This was a nice write-up (with some entertaining interspersed snark) of the solution of the the Wasserman-Wolf problem concerning the construction of a perfect lens (like a camera lens). Some quotes:

[L]enses are made from spherical surfaces. The problem arises when light rays outside the center of the lens or hitting at an angle can’t be focused at the desired distance in a point because of differences in refraction.

Which makes the center of the image sharper than the corners…

In a 1949 article published in the Royal Society Proceedings, Wasserman and Wolf formulated the problem—how to design a lens without spherical aberration—in an analytical way, and it has since been known as the Wasserman-Wolf problem…

The problem was solved in 2018 by doctoral students in Mexico. For those fluent in Spanish, the university press release can be found here. As an added bonus, here’s the answer:


My Favorite One-Liners: Part 119

Source: https://www.facebook.com/MathematicalMemesLogarithmicallyScaled/photos/a.1605246506167805/3119457221413385/?type=3&theater

Adding by a Form of 0 (Part 4)

In my previous post, I wrote out a proof (that an even number is an odd number plus 1) that included the following counterintuitive steps:

2k = (2k - 1) + 1 = ([2k - 1 - 1] + 1) + 1

A common reaction that I get from students, who are taking their first steps in learning how to write mathematical proofs, is that they don’t think they could produce steps like these on their own without a lot of coaching and prompting. They understand that the steps are correct, and they eventually understand why the steps were necessary for this particular proof (for example, the conversion from 2k-1 to [2k - 1 -1]+1 was necessary to show that 2k-1 is odd).

Not all students initially struggle with this concept, but some do. I’ve found that the following illustration is psychologically reassuring to students struggling with this concept. I tell them that while they may not be comfortable with adding and subtracting the same number (net effect of adding by 0), they should be comfortable with multiplying and dividing by the same number because they do this every time that they add or subtract fractions with different denominators. For example:

\displaystyle \frac{2}{3} + \frac{4}{5} = \displaystyle \frac{2}{3} \times 1 + \frac{4}{5} \times 1

= \displaystyle \frac{2}{3} \frac{5}{5} + \frac{4}{5} \times \frac{3}{3}

= \displaystyle \frac{10}{15} + \frac{12}{15}

= \displaystyle \frac{22}{15}

In the same way, we’re permitted to change 2k-1 to 2k-1 + 0 to 2k -1 - 1 + 1.

Hopefully, connecting this proof technique to this familiar operation from 5th or 6th grade mathematics — here in Texas, it appears in the 5th grade Texas Essential Knowledge and Skills under (3)(H) and (3)(K) — makes adding by a form of 0 in a proof somewhat less foreign to my students.

Adding by a Form of 0 (Part 3)

As part of my discrete mathematics class, I introduce my freshmen/sophomore students to various proof techniques, including proofs about sets. Here is one of the examples that I use that involves adding and subtracting a number twice in the same proof.

Theorem. Let A be the set of even integers, and define

B = \{ n: n = m+1 for some odd integer m\}

Then A = B.

Proof (with annotations). Before starting the proof, I should say that I expect my students to use the formal definitions of even and odd:

  • An integer n is even if n = 2k for some integer k.
  • An integer n is odd if n = 2k+1 for some integer k.

To prove that A = B, we must show that A \subseteq B and B \subseteq A. The first of these tends to trickiest for students.

Part 1. Let n \in A. By definition of even, that means that there is an integer k so that n = 2k.

To show that n \in B, we must show that n = m + 1 for some odd integer m. To this end, notice that n = (n-1) + 1. Thus, we must show that n - 1 is an odd integer, or that n -1 can be written in the form 2k+1. To do this, we add and subtract 1 a second time:

n = 2k

= (2k - 1) + 1

= ([2k - 1 - 1] + 1) + 1

= ([2k-2] + 1) + 1

= (2[k-1] + 1) + 1.

By the closure axioms, k-1 is an integer. Therefore, 2[k-1] + 1 is an odd number by definition of odd, and hence $n \in B$.

The above part of the proof can be a bit much to swallow for students first learning about proofs. For completeness, let me also include Part 2 (which, in my experience, most students can produce without difficulty).

Part 2. Let n \in B, so that n = m + 1 for some odd integer m. By definition of odd, there is an integer k so that $m = 2k+1$. Therefore, n = (2k+1) + 1 = 2k+2 = 2(k+1). By the closure axioms, k +1 is an integer. Therefore, n is even by definition of even, and so we conclude that n \in A.


For what it’s worth, this is the review problems for which I recorded myself talking through the solution for the benefit of my students.

In my opinion, the biggest conceptual barriers in this proof are these steps from Part 1:

2k = (2k - 1) + 1 = ([2k - 1 - 1] + 1) + 1.

These steps are undeniably awkward. Back in high school algebra, students would get points taken off for making the expression more complicated instead of simplifying the answer. But this is the kind of jump that I need to train my students to do so that they can master this technique and be successful in their future math classes.

Adding by a Form of 0 (Part 2)

Often intuitive appeals for the proof of the Product Rule rely on pictures like the following:

The above picture comes from https://mrchasemath.com/2017/04/02/the-product-rule/, which notes the intuitive appeal of the argument but also its lack of rigor.

My preferred technique is to use the above rectangle picture but make it more rigorous. Assuming that the functions f and g are increasing, the difference f(x+h) g(x+h) - f(x) g(x) is exactly equal to the sum of the green and blue areas in the figure below.

In other words,

f(x+h) g(x+h) - f(x) g(x) = f(x+h) [g(x+h) - g(x)] + [f(x+h) - f(x)] g(x),


f(x+h) g(x+h) - f(x+h) g(x) + f(x+h) g(x) - f(x) g(x).

This gives a geometrical way of explaining this otherwise counterintuitive step for students not used to adding by a form of 0. I make a point of noting that we took one term, f(x+h), from the first product f(x+h) g(x+h), while the second term, g(x), came from the second product f(x) g(x). From this, the usual proof of the Product Rule follows:

[(fg)(x)]' = \displaystyle \lim_{h \to 0} \frac{f(x+h) g(x+h) - f(x) g(x)}{h}

\displaystyle = \lim_{h \to 0} \frac{f(x+h) [g(x+h) - g(x)]}{h} + \lim_{h\ to 0} \frac{[f(x+h) - f(x)] g(x)}{h}

\displaystyle = \lim_{h \to 0} \frac{f(x+h) [g(x+h) - g(x)]}{h} + \lim_{h\ to 0} \frac{[f(x+h) - f(x)] g(x)}{h}

\displaystyle = \lim_{h \to 0} f(x+h) \frac{g(x+h) - g(x)}{h} + \lim_{h\ to 0} \frac{f(x+h) - f(x) }{h} g(x)

= f(x)g'(x) + f'(x) g(x)

For what it’s worth, a Google Images search for proofs of the Product Rule yielded plenty of pictures like the one at the top of this post but did not yield any pictures remotely similar to the green and blue rectangles above. This suggests to me that the above approach of motivating this critical step of this derivation might not be commonly known.

Once students have been introduced to the idea of adding by a form of 0, my experience is that the proof of the Quotient Rule is much more palatable. I’m unaware of a geometric proof that I would be willing to try with students (a description of the best attempt I’ve seen can be found here), and so adding by a form of 0 becomes unavoidable. The proof begins

\left[\left( \displaystyle \frac{f}{g} \right)(x) \right]' = \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h)}{ g(x+h)} - \frac{f(x)}{ g(x)}}{h}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x) g(x+h)}{ g(x) g(x+h)}}{h}

= \displaystyle \lim_{h \to 0} \frac{f(x+h) g(x) - f(x) g(x+h)}{ h g(x) g(x+h)}.

At this point, I ask my students what we should add and subtract this time to complete the derivation. Given the previous experience with the Product Rule, students are usually quick to chose one factor from the first term and another factor from the second term, usually picking f(x) g(x). In fact, they usually find this step easier than the analogous step in the Product Rule because this expression is more palatable than the slightly more complicated f(x+h) g(x). From here, the rest of the proof follows:

[(fg)(x)]' = \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x) + f(x)g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x)}{h} + \frac{f(x)g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x)}{h} - \frac{f(x) g(x+h) - f(x)g(x)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{[f(x+h) - f(x)] g(x)}{h} - \frac{f(x) [g(x+h) - g(x)]}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) - f(x) }{h} g(x) - f(x) \frac{ g(x+h) - g(x)}{h }}{g(x) g(x+h)}

= \displaystyle \frac{ f'(x) g(x) - f(x) g'(x)}{g(x)^2}


  • The website https://mrchasemath.com/2017/04/02/the-product-rule/ also suggests an interesting pedagogical idea: before giving the formal proof of the Product Rule, use a particular function and the limit definition of a derivative so that students can intuitively guess the form of the rule. For example, if g(x) = x^2:

Adding by a Form of 0 (Part 1)

Adding by a form of 0, or adding and subtracting the same quantity, is a common technique in mathematical proofs. For example, this technique is used in the second step of the standard proof of the Product Rule in calculus:

[(fg)(x)]' = \displaystyle \lim_{h \to 0} \frac{f(x+h) g(x+h) - f(x) g(x)}{h}

\displaystyle = \lim_{h \to 0} \frac{f(x+h) g(x+h) - f(x+h) g(x) + f(x+h) g(x) - f(x) g(x)}{h}

\displaystyle = \lim_{h \to 0} \left[ \frac{f(x+h) g(x+h) - f(x+h) g(x)}{h} + \frac{f(x+h) g(x) - f(x) g(x)}{h} \right]

\displaystyle = \lim_{h \to 0} \frac{f(x+h) g(x+h) - f(x+h) g(x)}{h} + \lim_{h\ to 0} \frac{f(x+h) g(x) - f(x) g(x)}{h}

\displaystyle = \lim_{h \to 0} \frac{f(x+h) [g(x+h) - g(x)]}{h} + \lim_{h\ to 0} \frac{[f(x+h) - f(x)] g(x)}{h}

\displaystyle = \lim_{h \to 0} f(x+h) \frac{g(x+h) - g(x)}{h} + \lim_{h\ to 0} \frac{f(x+h) - f(x) }{h} g(x)

= f(x)g'(x) + f'(x) g(x)

Or the proof of the Quotient Rule:

\left[\left( \displaystyle \frac{f}{g} \right)(x) \right]' = \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h)}{ g(x+h)} - \frac{f(x)}{ g(x)}}{h}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x) g(x+h)}{ g(x) g(x+h)}}{h}

= \displaystyle \lim_{h \to 0} \frac{f(x+h) g(x) - f(x) g(x+h)}{ h g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x) + f(x)g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x)}{h} + \frac{f(x)g(x) - f(x) g(x+h)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) g(x) - f(x)g(x)}{h} - \frac{f(x) g(x+h) - f(x)g(x)}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{[f(x+h) - f(x)] g(x)}{h} - \frac{f(x) [g(x+h) - g(x)]}{h }}{g(x) g(x+h)}

= \displaystyle \lim_{h \to 0} \frac{ \displaystyle \frac{f(x+h) - f(x) }{h} g(x) - f(x) \frac{ g(x+h) - g(x)}{h }}{g(x) g(x+h)}

= \displaystyle \frac{ f'(x) g(x) - f(x) g'(x)}{g(x)^2}

This is a technique that we expect math majors to add to their repertoire of techniques as they progress through the curriculum. I forget the exact proof, but I remember that, when I was a student in honors calculus, we had some theorem that required an argument of the form

|x - y| = |x - A + A - B + B - C + C - D + D - E + E - F + F - y|

\le |x - A| + |A - B| + |B - C| + |C - D| + |D - E| + |E - F| + |F - y|

\le \displaystyle \frac{\epsilon}{7} + \frac{\epsilon}{7} +\frac{\epsilon}{7} +\frac{\epsilon}{7} +\frac{\epsilon}{7} +\frac{\epsilon}{7} +\frac{\epsilon}{7}

= \epsilon

But while this is a technique that expect students to master, there’s no doubt that this looks utterly foreign to a student first encountering this technique. After all, in high school algebra, students would simplify something like x - A + A - B + B - C + C - D + D - E + E - F + F - y into x-y. If they were to convert x-y into something more complicated like x - A + A - B + B - C + C - D + D - E + E - F + F - y, they would most definitely get points taken off.

In this brief series, I’d like to give some thoughts on getting students comfortable with this technique.

Wason Selection Task: Index

I’m doing something that I should have done a long time ago: collecting a series of posts into one single post. The following links comprised my series on the Wason Selection Task.

Part 1: Statement of the problem.

Part 2: Answer of the problem.

Part 3: Pedagogical thoughts about the problem, including variants.


Engaging students: Completing the square

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Victor Acevedo. His topic, from Algebra: completing the square.

green line

How does this topic extend what your students should have learned in previous courses?

Completing the square is an Algebra II topic that builds on students’ prior knowledge of areas and shapes. With a given quadratic equation, students can make a visual representation of what it looks like by using Alge-blocks or Algebra tiles.  The x-squared term becomes the starting point for the model. The x term gets split in half and placed on 2 adjacent sides of the x-squared term. The next step in the process requires the student fill in what is missing of the square. Students use their knowledge of squares and packing to complete the square and make the quadratic equation easily factorable.

 green line

How can technology be used to effectively engage students with this topic?

Eddie Woo is an Australian High School Math teacher that also uploads videos to YouTube. He uploads his class lectures that he thinks will help others appreciate and understand math concepts better. He made this video where he makes a visual representation and informal proof for why the “Completing the Square” method works. By using the student’s knowledge of equations and shapes he can construct the square that appears when completing the square for a quadratic equation. The moment that he puts the blocks together you can hear the amazement by his students. Many of his videos have this some feeling to them in which he explores the beauty of math and makes logical connections between what students already know and what they need to know.

green line

What interesting things can you say about the people who contributed to the discovery and/or the development of this topic?

Completing the square was a method that was discovered in order to solve quadratic equations. This method was discovered by Muhammad ibn Musa al-Khwarizmi, a Persian mathematician, astronomer, and geographer. Al-Khwarizmi, also known as the father of Algebra, wrote “The Compendious Book on Calculation by Completion and Balancing” in which he presented systematic solutions to solving linear and quadratic equations. At the time Al-Khwarizmi’s goal was to simplify any quadratic equation to be expressed with squares, roots, and numbers (ax2, bx, and c constants respectively) to one of six standard forms. The method of completing the square is a simple one to follow, but it had not been put into words formally until Al-Khwarizmi laid out the steps. In his book he progressed through solving simple linear equations and then simple quadratic equations that only required roots. This method only came up once he got to quadratic equations of the form ax2+bx+c=0 that could not be solved simply with roots. The discovery of this method leads to a simpler way of visually representing quadratic equations and applying it to parabolic functions.



Hughes, Barnabas. “Completing the Square – Quadratics Using Addition.” MAA Press | Periodical | Convergence, Mathematical Association of America, Aug. 2011, www.maa.org/press/periodicals/convergence/completing-the-square-quadratics-using-addition.

Mastin, Luke. “Al-Khwarizmi – Islamic Mathematics – The Story of Mathematics.” Egyptian Mathematics – The Story of Mathematics, 2010, www.storyofmathematics.com/islamic_alkhwarizmi.html.