My son is finishing up a chapter on exponentials and logs in the book he was working through this summer. The book had a big focus on e in this chapter, so I thought it would be fun to show him the proof that e is irrational.

I started by introducing the problem and then with a proof by contradiction example that he already knows -> the square root of 2 is irrational:

Now we started down the path of proving that e is irrational. We again assumed that it was rational and then looked to find a contradiction.

The general idea in the proof is to find an expression that is an integer if e is irrational, but can’t be an integer due to the definition of e.

In this part we find the expression that is forced to be an integer if e is irrational.

Now we looked at the same expression that we studied in the previous video and showed that it cannot be an integer.

I think my favorite part of this video is my son not remembering the formula for the sum of an infinite geometric series, but then saying that he thinks he can derive it.

This is a really challenging proof for a kid, I think, but I’m glad that my son was able to struggle through it. After we finished I showed him that some rational expressions approximating e did indeed satisfy the inequality that we derived in the proof.