Since Katja came home with us, Wendryn has been going to work in the morning, and I have been going to work in the afternoon. Every once in a while, I try to get some work done while I am at home in the morning. It typically doesn’t go that well.

Suppose that I am trying to prove a theorem of some kind. For the sake of simplicity, I’ll use an elementary example—suppose that I am trying to show that the number is irrational (i.e. that cannot be written as a fraction):

**Theorem:** is irrational.

*Proof:* For contradiction, suppose that is rational. That is, suppose that , where—

Oh! Katja! What’s the matter? We just changed your diaper, so that can’t be the problem. Let’s see… you last ate about two hours ago—maybe we should try feeding you again. Ah! Yes, there it is.

Man, you are a messy eater. And a burp!

Of course… now that you’ve eaten, you’re awake. How about some tummy time? Look! Baby push-ups! Man, you’re going to be crawling in no time! Oh, okay. I’ll stop tapping your nose. And maybe I’ll put you in the swing for a while, since you seem to be bored with the floor.

Right. Back to work.

*Okay, where was I? Let’s see, I’ve got a and a . What are they? Oh, right. Integers. Oh, of course. I’m looking for a contradiction. If we assume that is rational, it should pop out. Okay.*

That is, suppose that , where . Then, squaring both—

Uh oh! Crying again, eh child? Well, it has been a few hours since we changed your diaper. Let’s take care of that now. Better? Excellent.

Oh, you don’t want to settle down? Hrm. Swing? Nope. Bouncy chair. Nyet. Rocking chair? No. Okay, I’ll just hang on to you for a while. Maybe a pacifier will help…

…or maybe it will just make you angrier. Got it. We’re just going to pace for the next hour. Groovy. I can dig it.

Yay! Sleeping baby. Let’s put you down, and see if I can finish that proof.

*Now then, is rational, and expressed as a fraction. Where’s the problem? Oh, of course!*

Then, squaring both sides of the equation, we have . Moving the term to the other side, we have . By the fundamental theorem of—

Arg! What now? Oh, man! It’s 10:30! You need to eat again. Where has the morning gone? Bottle, bib, rocking chair. Mmmm… rocking chair. That’s comfy.

This time, I think I’ll change your diaper now. Then I might have a whole hour to finish up. You know, Snurfles, this would go a lot faster if you relaxed, and let me get you changed. There it is. Great. Fed baby, clean diaper. Maybe I can finish up now.

*So… “by the fundamental theorem of…?” What? Where was I going with that? Oh! Right! Prime factorizations. The problem is with uniqueness. Let’s follow through on that.*

By the fundamental theorem of arithmetic, and , where and 2 does not divide or . But then implies that . But then, as—

Son of a—! I was so close to being done! Can you let me finish? Please? No, of course not. What can I do for you now, darlin’? Your diaper is dry, you at half an hour ago… Maybe if we suction out your nose?

Where could the SnotSucker 2000^{TM} be? Ah, here it is. Heh. Buzz-buzz, snort-snort. Hold still, this’ll be over in a minute. I know, it sucks (heh). There! I got a booger! Better? Yes!

*What the? ? Where the heck did that come from? Um… oh, I see. It is the remainder term when all powers of 2 are factored out of . And plays the same role for . I think I see where this was going. Let’s just finish it up…*

But then, as prime factorizations are unique, it follows that . This is a contradiction, as the left-hand side is odd, and the right-hand side is even. Thus there are—

Oh, crap! It’s 11:45! Time to go pick up Wendryn at work. I guess I’ll finish the proof later…

So it goes. :\