A 2nd try at looking at Tom Apostol’s geometric proof that the square root of 2 is irrational

Yesterday we did a project inspired by this tweet from Lior Patcher:

That project is here, but also it isn’t one of our best:

https://mikesmathpage.wordpress.com/2021/02/06/sharing-tom-apostols-irrationality-of-the-square-root-of-2-with-my-younger-son/

Since I didn’t think I did a great job communicating the main ideas in Apostol’s proof yesterday, I wanted to try again today. First we started with a review of the main ideas:

Next we tried to take a look at the proof through a slightly different lens -> folding. I learned about this idea yesterday thanks to Paul Zeitz. It takes a bit of time for my son to see the idea, but I really like how this approach helped us understand Apostol’s proof a bit better:

Finally, to really drive home the idea, I asked my son to see if he could see how to extend the proof to show that the square root of 3 is irrational. We were down to about 3 min of recording time, unfortunately, so he didn’t finish the proof here, but you can see how a kid thinks about extending the ideas in a proof here:

So, as I was downloading the first three films, my son continued to think about how to use the ideas to prove that the square root of three was irrational. And he figured it out! Here he explains the idea:



I’m definitely happy that we took an extra day to review Apostol’s proof. It feels like something that is right on the edge of my son’s math ability right now, and I think really taking the time to make sure the ideas could sink in helped him understand a new, and really neat idea in math.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s