```
To prove irrational square root two,
Suppose there are integers p and q
with p over q entirely reduced
and when their ratio is taken, root two is produced.
squaring both sides of this faulty equation
yields p squared over q squared is two, a relation
so p squared is even, a fact that is true
if and only if it is divisible by two.
But since two is prime, evenness of p squared
says that p is even, (a fact that Euclid declared).
We can now deduce a little bit more;
the number two q squared is divisible by 4.
But then q squared is divisible by two
And we know that this fact, is simply not true
Because then q is even, that just cannot be
because p,q are both even, contradiction, QED.
```

Via itsatumbleweed on Reddit.
## Monday, November 4, 2013

### Proof by Poem

I was reading Reddit last night and came across this poem. Quite elegant!

Subscribe to:
Post Comments (Atom)

## No comments:

## Post a Comment