{"id":1235,"date":"2010-12-08T20:06:09","date_gmt":"2010-12-09T01:06:09","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/?p=1235"},"modified":"2010-12-08T20:06:09","modified_gmt":"2010-12-09T01:06:09","slug":"really-is-wrong","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2010\/12\/08\/really-is-wrong\/","title":{"rendered":"&#960; really is wrong!"},"content":{"rendered":"<p> I&#8217;ve written recently about several different crackpots who insist, for a variety of completely ridiculous reasons, that <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> is wrong. But the other day, someone sent me <a href=\"http:\/\/tauday.com\/\">a link to a completely serious site<\/a> that makes a pretty compelling argument that <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> really <em>is<\/em> wrong.<\/p>\n<p><!--more--><\/p>\n<p> The catch is that they aren&#8217;t saying that the <em>value<\/em> of <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> is wrong. They&#8217;re saying that <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> is the <em>wrong constant<\/em>  for talking about circles.<\/p>\n<p> There&#8217;s a pretty good case for that. The fundamental measure that we use for a circle is the radius &#8211; and there are a lot of good reasons for that. But <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> is based on the <em>diameter<\/em>: it&#8217;s the ratio of the circumference to the diameter. If you use the radius as the fundamental measure, and you go to define a circle constant, the natural choice isn&#8217;t <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/>. It&#8217;s <img src='http:\/\/l.wordpress.com\/latex.php?latex=2pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='2pi' style='vertical-align:1%' class='tex' alt='2pi' \/>. In the linked article, the author proposes naming this <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>.<\/p>\n<p> It really does make a lot of sense. Look at basic mathematical systems that use <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/>, and you find an awful lot of 2s &#8211; and the argument is that those 2s are all over the place because of the fact that we&#8217;re using the wrong damned constant.<\/p>\n<p> For example, what&#8217;s the equation for a fourier transform?<\/p>\n<p><center><img src='http:\/\/l.wordpress.com\/latex.php?latex=f%28x%29%3Dint_%7B-infty%7D%5E%7Binfty%7D%20F%28k%29e%5E%7B2pi%20i%20k%20x%7Ddx&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f(x)=int_{-infty}^{infty} F(k)e^{2pi i k x}dx' style='vertical-align:1%' class='tex' alt='f(x)=int_{-infty}^{infty} F(k)e^{2pi i k x}dx' \/><\/center><br \/>\n<center><img src='http:\/\/l.wordpress.com\/latex.php?latex=F%28k%29%3Dint_%7B-infty%7D%5E%7Binfty%7D%20f%28x%29e%5E%7B-2pi%20i%20k%20x%7Ddx&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='F(k)=int_{-infty}^{infty} f(x)e^{-2pi i k x}dx' style='vertical-align:1%' class='tex' alt='F(k)=int_{-infty}^{infty} f(x)e^{-2pi i k x}dx' \/><\/center><\/p>\n<p> Why are those 2s there? Because <img src='http:\/\/l.wordpress.com\/latex.php?latex=pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='pi' style='vertical-align:1%' class='tex' alt='pi' \/> is wrong. We should use <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>, which gives us the cleaner equations:<\/p>\n<p><center><img src='http:\/\/l.wordpress.com\/latex.php?latex=f%28x%29%3Dint_%7B-infty%7D%5E%7Binfty%7D%20F%28k%29e%5E%7Btau%20i%20k%20x%7Ddx&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f(x)=int_{-infty}^{infty} F(k)e^{tau i k x}dx' style='vertical-align:1%' class='tex' alt='f(x)=int_{-infty}^{infty} F(k)e^{tau i k x}dx' \/><\/center><br \/>\n<center><img src='http:\/\/l.wordpress.com\/latex.php?latex=F%28k%29%3Dint_%7B-infty%7D%5E%7Binfty%7D%20f%28x%29e%5E%7Btau%20i%20k%20x%7Ddx&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='F(k)=int_{-infty}^{infty} f(x)e^{tau i k x}dx' style='vertical-align:1%' class='tex' alt='F(k)=int_{-infty}^{infty} f(x)e^{tau i k x}dx' \/><\/center><\/p>\n<p> It&#8217;s no a big deal, but it does actually make those equations make more more sense. As we&#8217;ll see below, it actually helps to clarify the meaning of those equations!<\/p>\n<p> So, suppose we decide to use <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau%3D2pi&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau=2pi' style='vertical-align:1%' class='tex' alt='tau=2pi' \/> as the fundamental circle constant. What effect does it really have? A whole lot of things actually make a lot of sense. What&#8217;s one full turn around a circle in radians? <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>. And that&#8217;s quite beautiful and natural. A quarter circle is <img src='http:\/\/l.wordpress.com\/latex.php?latex=frac%7B1%7D%7B4%7Dtau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='frac{1}{4}tau' style='vertical-align:1%' class='tex' alt='frac{1}{4}tau' \/> radians. That&#8217;s lovely.<\/p>\n<p> What&#8217;s the width of a sin curve? <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>.<\/p>\n<p> Even Euler&#8217;s equation is more beautiful using <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>:<\/p>\n<p><center><img src='http:\/\/l.wordpress.com\/latex.php?latex=e%5E%7Bitau%7D%3D1&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='e^{itau}=1' style='vertical-align:1%' class='tex' alt='e^{itau}=1' \/><\/center><\/p>\n<p> And it even makes sense! What that says is: the complex exponential of turning around a full circle is 1. Which means: if you multiply a complex number by <img src='http:\/\/l.wordpress.com\/latex.php?latex=e%5E%7Bitheta%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='e^{itheta}' style='vertical-align:1%' class='tex' alt='e^{itheta}' \/>, that&#8217;s basically the same thing as treating it as a vector, and <em>rotating<\/em> it by an angle of <img src='http:\/\/l.wordpress.com\/latex.php?latex=theta&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='theta' style='vertical-align:1%' class='tex' alt='theta' \/>: so what <img src='http:\/\/l.wordpress.com\/latex.php?latex=e%5E%7Bitau%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='e^{itau}' style='vertical-align:1%' class='tex' alt='e^{itau}' \/> means is rotating it all the way around the circle: Euler&#8217;s equation becomes a very clear statement of the fact that the complex plane is symmetric with respect to that rotation.<\/p>\n<p> It really <em>does<\/em> make sense. I actually think that he&#8217;s right. I think that human inertia is going to make it close to impossible to convince people to change &#8211; but I think he&#8217;s right, and the correct fundamental circle constant <em>is<\/em> <img src='http:\/\/l.wordpress.com\/latex.php?latex=tau&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='tau' style='vertical-align:1%' class='tex' alt='tau' \/>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;ve written recently about several different crackpots who insist, for a variety of completely ridiculous reasons, that is wrong. But the other day, someone sent me a link to a completely serious site that makes a pretty compelling argument that really is wrong.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[22],"tags":[95,96,214,241],"class_list":["post-1235","post","type-post","status-publish","format-standard","hentry","category-good-math","tag-95","tag-96","tag-pi","tag-tau"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-jV","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/1235","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=1235"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/1235\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=1235"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=1235"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=1235"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}