Proof in a Poem

Inspired by Hannah Hoffman, here’s a poem proof of the irrationality of the square root of 2.

Suppose that root 2 could be taken to be
The integer a over the integer b
Where a and b have no factor in common
So nothing divides both the top and the bottom

Some algebra that’s quite easy to do
Gives a2 is equal to b2 times 2
But if a2 is even, so too must be a
Now each a in a2 has a 2 in our play

So a2 in fact has a factor of 4
But since this equals 2b2 we can say more
This b2 must now have a factor of 2
And just as above we know b has one too

It appears that we are now able to say
That 2 divides b and 2 divides a
But common factors were assumed to be none
So this contradiction shows we are done

Be sure to check out the excellent efforts of Timothy Gowers and Joel David Hamkins as well.

Here’s the original tweet.

Math Meets Art Exhibit — Columbus Academy

I’m proud to have several photographs on display in Math Meets Art, an exhibit currently running at Columbus Academy in Columbus, Ohio. The exhibit is curated by Chris Bolognese, and features a diverse collection of work from artists, mathematicians, teachers, and students.

I was honored to be invited to participate, and even more honored that mathematician and artist Robert Bosch took a selfie with my contributions!

You can see more of the wonderful work on display in Chris Bolognese’s Twitter feed.


Get every new post delivered to your Inbox

Join other followers: