The isosceles right triangle, aka the 45-45-90 triangle, is a special case of the right triangle. A very simple geometric proof of the Pythagorean theorem is presented for this case, setting the stage for a geometric proof that the square root of two is irrational.