User:Waldyrious/Tau

For the mainspace article, see Tau (mathematical constant), which redirects to Turn (angle)#Tau proposals.

Historical usage of 2π as a constant

Islamic mathematicians like Jamshīd al-Kāshī (c. 1380–1429) focused on the circle constant 6.283... although they were fully aware of the work of Archimedes focusing on the circle constant that is nowadays called π.
William Oughtred used $π$ / $δ$ to represent perimeter/diameter.
David Gregory used $π$ / $ρ$ to represent perimeter/radius.
William Jones first used $π$ as it is used today to represent perimeter/diameter (Synopsis palmariorum matheseos (London, 1706), p.263.)
Leonhard Euler adopted the same definition as William Jones, which helped popularized it into the standard it is today.
Paul Matthieu Hermann Laurent, though never explaining why, treated 2 $π$ as if it were a single symbol in Traité D'Algebra by consistently not simplifying expressions like 2 $π$ /4 to $π$ /2.
Fred Hoyle, in Astronomy, A history of man's investigation of the universe, proposed using centiturns (hundredths of a turn) and milliturns (thousandths of a turn) as units for angles.

Mathematical publications about τ

Palais, Robert (2001). "π Is Wrong!" (PDF). The Mathematical Intelligencer. 23 (3): 7–8. doi:10.1007/BF03026846.
Abbott, Stephen (April 2012). "My Conversion to Tauism" (PDF). Math Horizons. 19 (4): 34. doi:10.4169/mathhorizons.19.4.34.

Notable endorsements

People

Sal Khan of Khan Academy: Tau versus Pi (2011) and Happy Tau Day! (2012)
Vi Hart: Pi Is (still) Wrong (2011) and A Song About A Circle Constant (2012)
Robert Dixon: Pi ain't all that
Michael Cavers of Spiked Math (and The Pi Manifesto): Math Fact Tuesday: Tau
Randall Munroe of xkcd: Comic #1292: Pi vs. Tau (18 November 2013; not really an endorsement, but an interesting acknowledgement/remark)
Zach Weiner of Saturday Morning Breakfast Cereal: Comic #3134 (4 October 2013)
Eric S. Raymond: Tau versus Pi
James Grime of Numberphile: Meet James Grime

Organizations

MITadmissions.org: I have SMASHING news! (2012)
University of Oxford: Tau vs Pi: Fixing a 250-year-old Mistake (2013)

Published mathematicians

Celebration of 2π day before Hartl's manifesto (2010)

1998: K.C. Cole (12 March 1998). "Easy as Pi". LA Times. some people even celebrate 2 pi day, June 28 (6/28)
2009: Lance Fortnow and William Gasarch (1 July 2009). "2pi-day? Other holiday possibilities!". Computational Complexity. Retrieved 2011-07-24. {{cite web}}: External link in |author= (help)
2009: Mathematics (28 June 2009). "2pi Day". Facebook. Retrieved 2011-07-24. {{cite web}}: |author= has generic name (help); External link in |author= (help)CS1 maint: numeric names: authors list (link)
2009: Gerald Thurman (6 July 2009). Eating Pie in Pie Town on Two Pi Day (video on YouTube).

Support in tools and programming languages

See also: https://github.com/nschloe/tau#in-programming

Note: although not a programming language, it's worth noting that tau is available in Google calculator.

Included by default

Language	Name	Value
.NET Framework (issue #24678, PR #37517, docs; released in v5.0, 10 Nov 2020)	`Tau`	6.28318 53071 79586 476925
Java (issue, docs, value; released in v19, 20 Sep 2022)	`TAU`	6.28318 53071 79586
Python (PEP, issue, commit, docs; released in v3.6, 23 Dec 2016)	`tau`	6.28318 53071 79586 47692 52867 66559 00576 83943
Rust (docs, issue, PR, tweet; released in 1.47, 8 Oct 2020)	`TAU`	6.28318 53071 79586 47692 52867 66559 00577
Modula-2 (source, commit 760ac3b from 18 Dec 2013)	`tau`	6.28318 53071 79586 47692 52867 66559 0
Nim (source, commit, released in v0.14, 7 Jun 2016)	`TAU`	2 * PI
Processing (docs, issue 1, issue 2, changelog; released in v2.0, 3 Jun 2013)	`TAU`	6.28318 53071 79586 47693
Zig (source, commit; released in v0.6, 13 Apr 2020)	tau	2 * pi

Available as a non-default, third-party module

Tool	Name	Value
JavaScript: Math.js	`tau`	6.28318 53071 79586 (Math.PI*2)
C++: Boost^[1]	`tau`	two_pi (alias to existing constant, which itself is set to: 6.28318 53071 79586 47692 52867 66559 00576 8e+00)
Haskell: tau module^[2]	`τ` / `tau`	6.28318 53071 79586 (2*pi)
Julia: Tau.jl package^[3]	`τ` / `tau`	6.28318 53071 79586 47692
Ruby: math-tau gem^[4]	`TAU`	6.28318 53071 79586 (PI * 2.0)

Explicit two pi constant (with no tau alias)

Tool/Language	Name	Value
Fortran	`TWOPI`
OGRE	`TWO_PI`
OpenGUI	`TWO_PI`
Pascal	`TwoPI`	6.28318 53071 79586
Wiring	`TWO_PI`	6.28318 53071 79586 47693
Extreme Optimization Libraries	`TwoPi`	6.28318 53071 79586 47692 52867 66558

Textbooks

T. Colignatus. Trigonometry reconsidered. Measuring angles in unit meter around and using the unit radius functions Xur and Yur. T. Colignatus, 2008.
T. Colignatus. Conquest of the Plane. Using The Economics Pack Applications of Mathematica for a didactic primer on Analytic Geometry and Calculus. Consultancy & Econometrics, March 2011. ISBN 978-90-804774-6-9.
John M. Lee. Axiomatic Geometry. American Mathematical Society, Apr 10, 2013

News (not published around pi day or tau day, or otherwise significant)

Geoffrey Fattah (4 July 2011). "University of Utah math professor starts international math movement". Deseret News. (they actually contacted Palais, and took a picture of him wearing a Tau Day T-shirt)
Debra Black (28 June 2011). "Down with ugly pi, long live elegant Tau, physicist urges". Toronto Star. (they seem to have actually interviewed Hartl)
Alasdair Wilkins (2 February 2011). "Why we have to get rid of pi for the sake of good math". io9. (interviewed Hartl, and wasn't published around Tau day)
Randyn Charles Bartholomew (25 June 2014). "Let's Use Tau—It's Easier Than Pi (Why Tau Trumps Pi)". Scientific American. (they reached out to Palais via email)
Robert McMillan (13 March 2020). "For Math Fans, Nothing Can Spoil Pi Day—Except Maybe Tau Day". The Wall Street Journal.

Tau conversion hubs

The Tau Manifesto by Michael Hartl (since 28 June 2010)
Al-Kashi’s constant τ by Peter Harremöes (since... 2010? confirm)
Pi is Wrong! by Robert Palais (since September 2001)
Tau Before It Was Cool by Joseph Lindenberg (since... 2010? confirm)

Neat stuff

Circle is formally defined as all points at same distance —radius, not diameter— of a center point.
- Main conventions regarding circles are based in radius: unit circle, radians, standard circle formulas.
Tau day is a perfect day, because 6 and 28 are the two first perfect numbers.^[5]^[6]
- 6:28 is a more convenient time to start celebrating than 3:15 (besides being after the actual start of the day rather than midnight)
Feynman point better in τ: starts earlier (761 digits after the radix mark^[7] rather than 762 in π), is longer (7 nines^[8] rather than 6 nines in π), and thus more improbable (0.008% vs. 0.08% in π^[9])
Decimal expansion of 2*Pi and related links at the On-Line Encyclopedia of Integer Sequences
"You can't eat pie on Tau Day!"
1. First of all, the pun is not that strong of an argument: it only works because π is mispronounced "pie" in English, rather than "pea" as in the original Greek and most other languages. Even if people decided to eat peas instead, the pun would still only work for English speakers, which doesn't play well with the universality of a mathematical constant.
2. Second, pi radians is half a circle, not a full circle as most pies are, which weakens the association. If this inconvenience is ignored, then this ends up actually backfiring into favoring Tau, since on Tau day you can eat two pies!
An intriguing comment by Terence Tao: "It may be that 2*pi*i is an even more fundamental constant than 2*pi or pi. It is, after all, the generator of log(1). The fact that so many formulae involving pi^n depend on the parity of n is another clue in this regard." [1]
3Blue1Brown's "Euler's formula with introductory group theory" shows the significance of $e^{i\pi }=-1$ as highlighting the equivalence between multiplicative actions (rotations) and additive actions (translations) in the complex plane.
- It might be interesting to consider what this means for the Tau Manifesto's arguments related to this equation.
- Furthermore, from 20:08 onwards: "what makes the number $e$ special is that when the exponential $e^{x}$ maps vertical slides to rotations, a vertical slide of one unit, corresponding to $i$ , maps to a rotation of exactly one radian — a walk around the unit circle covering a distance of exactly one. (...) and a vertical slide of exactly $\pi$ units up, corresponding to the input $\pi *i$ maps to a rotation of exactly $\pi$ radians, half way around the circle; and that's the multiplicative action associated with the number negative one."
- This seems to be a special case of Euler's rotation theorem, which states that any affine transformation (TODO: confirm) can be represented as a single rotation around a given "half-vector" (origin point + direction).
The tau symbol having one leg (compared to pi's two) may be interpreted as the diameter (horizontal stroke of the character) over the radius (vertical stroke), while pi is the diameter over twice the radius
There's a formal proof of tau = 2pi in Metamath here. It's surprisingly more extensive than I'd expect. I wonder if other formal math systems/libraries (e.g. Lean's Mathlib, Coq's Mathematical Components, etc.) could have something equivalent, and whether they would choose different approaches to prove the fact.

References

TODO

Gather more stuff from Harremoës' and Palais' pages.

Search