{"id":34,"date":"2012-01-20T15:42:00","date_gmt":"2012-01-20T21:42:00","guid":{"rendered":"http:\/\/linesoftangency.wordpress.com\/2012\/01\/20\/the-dead-puppy-theorem"},"modified":"2012-01-20T15:42:00","modified_gmt":"2012-01-20T21:42:00","slug":"the-dead-puppy-theorem","status":"publish","type":"post","link":"http:\/\/blog.chrislusto.com\/?p=34","title":{"rendered":"The Dead Puppy Theorem"},"content":{"rendered":"

So for the past few months I've been telling my kids that, every time they write $latex (x+y)^2 = x^2+y^2$, they kill a puppy.\u00a0 In fact, I will hereafter refer to that equation as the Dead Puppy Theorem<\/strong>, or DPT.\u00a0 Since its discovery in early September, my students' usage of the DPT has accounted for more canine deaths than heartworms.<\/p>\n

<\/div>\n
\"\"<\/a><\/div>\n

I mean, I get it.\u00a0 It totally looks like the Dead Puppy Theorem should be true, especially to high school students who have had the distributive property of multiplication over addition hammered into their brains so hard and often that they get points off their social studies papers for trying to multiply\u00a0 parenthetical citations.\u00a0 We can hardly blame kids for trying to extend the same type of reasoning to create a perfectly sensible, albeit nonexistent, distributive property of exponentiation<\/em> over addition.\u00a0 Well, almost nonexistent.<\/p>\n

<\/div>\n

It's certainly true that the Dead Puppy Theorem is almost always false, which, in the mathematical world, means just plain false, i.e., \"not true in every possible case.\"\u00a0 (If you want to try it out for yourself, just about any random choice of x<\/em> and y<\/em> will provide a counterexample.)\u00a0 The actual<\/em> relationship, directly from the definition of \"squaring\" and the (real) distributive property, looks like this:<\/p>\n

<\/div>\n

$latex (x+y)^2=x^2+2xy+y^2&s=2$<\/p>\n

<\/div>\n

So it's not the same as the DPT, but it's not so terribly far off from $latex x^2+y^2$, either: just that pesky little $latex 2xy$ term.\u00a0 If we could somehow make it disappear, then we'd indeed be left with the DPT as a result.<\/p>\n

<\/div>\n

One of my students pointed out that, if either x<\/em> or y<\/em> is zero, then $latex 2xy = 0$, and it's certainly true that, for example $latex (x+0)^2=x^2+0^2$ (ditto for the case where $latex x = 0$ instead), but that's not a particularly interesting solution.\u00a0 What is <\/em>great about this line of thinking, though, is that it gets us an infinite set of values for which the Dead Puppy Theorem holds.\u00a0 Of course that's not enough to make it a true statement in general<\/em>, since there are also an infinite number of counterexamples, but we've produced a special case where the DPT is true, if only trivially.\u00a0 For a more interesting case, in fact a case where the DPT is true for any natural numbers x<\/em> and y<\/em>, we turn to modular arithmetic.<\/p>\n

<\/div>\n

If we look at the DPT modulo 2, we get a different story.\u00a0 It's still true that $latex (x+y)^2 = x^2+2xy+y^2$, but since $latex 2xy$ is congruent to 0 mod 2 (in other words, 2 divides $latex 2xy$ evenly) we get the following result, the Modified Dead Puppy Theorem<\/strong>:<\/p>\n

<\/div>\n

$latex (x+y)^2 equiv x^2+y^2 pmod{2}&s=2$<\/p>\n

<\/div>\n

Now, if two numbers are congruent modulo 2, all that really means is that they have the same parity (odd or even), so here is the Modified DPT in plain(ish) English:<\/p>\n

\n

The square of the sum of two natural numbers and the sum of their squares are either both even or both odd.<\/p>\n<\/blockquote>\n

<\/div>\n

The beauty of this statement, I mean aside from the fact that it looks pleasingly intuitive, is that it has the benefit of actually being true (try out some examples!).<\/p>\n

<\/div>\n

Not satisfied?\u00a0 We can take this statement even further.\u00a0 The Modified DPT is really just a special case of a more general theorem, owing to the fact that 2 is a prime number.\u00a0 In fact, for any choice of prime modulus, p<\/em>, we have the following Generalized Dead Puppy Theorem<\/strong>:<\/p>\n

<\/div>\n

$latex (x+y)^p equiv x^p+y^p pmod{p}&s=2$<\/p>\n

<\/div>\n

Again, this theorem really is<\/em> true, though it's a little tougher to couch it in everyday language.\u00a0 Still, it's beautiful, no?\u00a0 If you want just a bit of a challenge, it's not that difficult to prove the Generalized DPT using the binomial theorem and some reasoning about factorials, and it's actually sometimes used as a lemma in proving Fermat's Little Theorem<\/a>.<\/p>\n

<\/div>\n

Here's the point.\u00a0 It's easy to dismiss student mistakes, or to pay lip service to their pedagogical importance, &c., but asking whether those mistakes are ever<\/em> right can lead to very cool mathematical conversations, and even to some results that are always<\/em> right.<\/p>\n

<\/div>\n

Puppies everywhere sleep a little more soundly tonight.<\/p>\n

<\/div>\n","protected":false},"excerpt":{"rendered":"

So for the past few months I've been telling my kids that, every time they write $latex (x+y)^2 = x^2+y^2$, they kill a puppy.\u00a0 In fact, I will hereafter refer to that equation as the Dead Puppy Theorem, or DPT.\u00a0 Since its discovery in early September, my students' usage of the DPT has accounted for […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[5,32,38,55],"class_list":["post-34","post","type-post","status-publish","format-standard","hentry","category-math-teaching","tag-algebra","tag-math","tag-modular-arithmetic","tag-teaching"],"_links":{"self":[{"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=\/wp\/v2\/posts\/34","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=34"}],"version-history":[{"count":0,"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=\/wp\/v2\/posts\/34\/revisions"}],"wp:attachment":[{"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=34"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=34"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/blog.chrislusto.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}