{"id":890,"date":"2021-07-19T14:54:13","date_gmt":"2021-07-19T21:54:13","guid":{"rendered":"https:\/\/alteritas.net\/alteritas\/?p=890"},"modified":"2021-07-19T15:53:30","modified_gmt":"2021-07-19T22:53:30","slug":"pythagorean-proof","status":"publish","type":"post","link":"https:\/\/alteritas.net\/alteritas\/2021\/07\/19\/pythagorean-proof\/","title":{"rendered":"Pythagorean Proof"},"content":{"rendered":"<p>Every once in a while, my mind gets snagged by numbers, nowhere as often as when I was seven or eight and used to work out sums in my head (that was before I discovered masturbation).<\/p>\n<p>A <em>Financial Times<\/em> recent piece by Tim Harford entitled &#8220;<em>We must face facts &#8212; even the ones we don&#8217;t like<\/em>&#8221; provides a good example.<\/p>\n<p>The universe is not constructed in terms of whole numbers. A\u00a0hypotenuse\u00a0<span style=\"font-size: 1rem;\">across a square \u00a0is prima facie evidence, a dilemma for true-believing Pythagoreans, who thought whole numbers were the basis of everything. <\/span><span style=\"font-size: 1rem;\">Hence the fun in using the Pythagorean theorem to show they are not. <\/span><\/p>\n<p><span style=\"font-size: 1rem;\">The square of the hypotenuse is the sum of the square of the other two sides. Formulaically: \u00a0<strong>c<sup>2<\/sup> = a<sup>2<\/sup> + b<\/strong><sup><strong>2<\/strong>.\u00a0<\/sup>\u00a0<\/span><\/p>\n<p>Assume a whole number fraction, <strong>a\/b<\/strong>, does equal\u00a0<b style=\"font-size: 1rem;\">\u221a2<\/b><span style=\"font-size: 1rem;\">, that is\u00a0<\/span><b style=\"font-size: 1rem;\"><strong>a\/b \u00a0= \u00a0\u221a2<\/strong><\/b><span style=\"font-size: 1rem;\">\u00a0. <\/span>Let&#8217;s also assume that<strong> a\/b<\/strong> is the simplest possible fraction, with <strong>a<\/strong> and <strong>b<\/strong> sharing no common factors.<\/p>\n<p>Rearranging<strong> a\/b \u00a0= \u00a0\u221a2<\/strong> \u00a0gives us <strong>2b2 = a2<\/strong>.<\/p>\n<p>That means that <strong>a2<\/strong> is an even number, which implies four thngs: <strong>a<\/strong> is also even. and therefore <strong>a2\/2<\/strong> is also even, therefore <strong>b2<\/strong> is even and therefore <strong>b<\/strong> is even.<\/p>\n<p>Alas, we began by assuming that <strong>a\/b<\/strong> was the simplest possible whole number fraction, but we&#8217;ve just proved that <strong>a\/b<\/strong> is the ratio of two even numbers and it follows that this fraction could be simplified by dividing both of them by <strong>2<\/strong>.<\/p>\n<p>This contradion shows that our original assumption &#8212; that <strong>a<\/strong> and <strong>b<\/strong> exist at all &#8212; must be wrong.<\/p>\n<p><em>From Tim Harford, Undercover Economist, Financial Times, 10\/11 July, 2021, p 18.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Every once in a while, my mind gets snagged by numbers, nowhere as often as when I was seven or eight and used to work out sums in my head (that was before I discovered masturbation). A Financial Times recent piece by Tim Harford entitled &#8220;We must face facts &#8212; even the ones we don&#8217;t &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/alteritas.net\/alteritas\/2021\/07\/19\/pythagorean-proof\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Pythagorean Proof&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[109],"class_list":["post-890","post","type-post","status-publish","format-standard","hentry","category-post","tag-math"],"_links":{"self":[{"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/posts\/890","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/comments?post=890"}],"version-history":[{"count":8,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/posts\/890\/revisions"}],"predecessor-version":[{"id":892,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/posts\/890\/revisions\/892"}],"wp:attachment":[{"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/media?parent=890"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/categories?post=890"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/alteritas.net\/alteritas\/wp-json\/wp\/v2\/tags?post=890"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}