{"id":112,"date":"2008-10-07T11:03:07","date_gmt":"2008-10-07T16:03:07","guid":{"rendered":"http:\/\/blog.red-bean.com\/sussman\/?p=112"},"modified":"2008-10-07T11:03:07","modified_gmt":"2008-10-07T16:03:07","slug":"2-is-irrational-proof-by-poem","status":"publish","type":"post","link":"http:\/\/blog.red-bean.com\/sussman\/?p=112","title":{"rendered":"√2 is irrational: proof by poem"},"content":{"rendered":"

i found this scribbled in chalk one day, on the sidewalk outside the University of Chicago math department:<\/p>\n

<\/p>\n

\nDouble a square is never a square,
\n and here is the reason why:
\nIf m-squared were equal to two n-squared,
\n then to their prime factors we’d fly.
\nBut the decomposition that lies on the left
\n had all of its exponents even,
\nBut the power of two on the right must be odd,
\n so one of the twos is “bereaven”!\n<\/p><\/blockquote>\n

<\/b><\/p>\n

\nHere’s my translation of this poem. It’s a simple proof by contradiction.\n<\/p>\n

    \n
  1. Assume<\/b> sqrt(2) is rational, so sqrt(2) = (m\/n)<\/li>\n
  2. By squaring both sides and dividing, we get m^2 = 2*n^2<\/li>\n
  3. Reduce m and n into sequences of prime factors:
    \n

    \n(p1 * p2 * …. * pv)^2 = 2 * (q1 * q2 * …. * qw)^2\n<\/p><\/blockquote>\n<\/li>\n

  4. Apply the square to each element in parenthesis:
    \n

    \np1^2 * p2^2 * … * pv^2 = 2 * ( q1^2 * q2^2 * …. * qw^2)\n<\/p><\/blockquote>\n<\/li>\n

  5. Examine the right side, remembering that all p’s and q’s are prime numbers. One<\/i> of the following things must be true:\n
      \n
    • There exists a q = 2. In which case, we can combine our lone “2” into it, giving us a 2^3 term.<\/li>\n
    • There is no q = 2. In which case, our power of 2 is simply 1, i.e. 2^1.<\/li>\n<\/ul>\n

      Either way, we’ve proven the the right side contains an odd power of 2.\n<\/li>\n

    • But, the right side contains only even<\/i> powers of primes. Contradiction.<\/b><\/li>\n<\/ol>\n

      Isn’t math fun?<\/p>\n","protected":false},"excerpt":{"rendered":"

      i found this scribbled in chalk one day, on the sidewalk outside the University of Chicago math department: Double a square is never a square, and here is the reason why: If m-squared were equal to two n-squared, then to their prime factors we’d fly. But the decomposition that lies on the left had all […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-112","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/posts\/112","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=112"}],"version-history":[{"count":3,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/posts\/112\/revisions"}],"predecessor-version":[{"id":115,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=\/wp\/v2\/posts\/112\/revisions\/115"}],"wp:attachment":[{"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=112"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=112"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/blog.red-bean.com\/sussman\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}