Read the State of the Tau 2024 update  | 

The Tau Manifesto

Michael Hartl

Tau Day, 2010updated Tau Day, 2023

1 The circle constant

The Tau Manifesto is dedicated to one of the most important numbers in mathematics, perhaps the most important: the circle constant relating the circumference of a circle to its linear dimension. For millennia, the circle has been considered the most perfect of shapes, and the circle constant captures the geometry of the circle in a single number. Of course, the traditional choice for the circle constant is \( \pi \) (pi)—but, as mathematician Bob Palais notes in his delightful article “\( \pi \) Is Wrong!”,1 \( \pi \) is wrong. It’s time to set things right.

1.1 An immodest proposal

We begin repairing the damage wrought by \( \pi \) by first understanding the notorious number itself. The traditional definition for the circle constant sets \( \pi \) equal to the ratio of a circle’s circumference (length) to its diameter (width):2

\begin{equation} \label{eq:pi} \pi \equiv \frac{C}{D} = 3.14159265\ldots \end{equation}

The number \( \pi \) has many remarkable properties—among other things, it is irrational and indeed transcendental—and its presence in mathematical formulas is widespread.

images/figures/circle
Figure 1: Anatomy of a circle.

It should be obvious that \( \pi \) is not “wrong” in the sense of being factually incorrect; the number \( \pi \) is perfectly well-defined, and it has all the properties normally ascribed to it by mathematicians. When we say that “\( \pi \) is wrong”, we mean that \( \pi \) is a confusing and unnatural choice for the circle constant. In particular, a circle is defined as the set of points a fixed distance, the radius, from a given point, the center (Figure 1). While there are infinitely many shapes with constant width (Figure 2),3 there is only one shape with constant radius. This suggests that a more natural definition for the circle constant might use \( r \) in place of \( D \):

\begin{equation} \label{eq:circle_constant} \mbox{circle constant} \equiv \frac{C}{r}. \end{equation}

Because the diameter of a circle is twice its radius, this number is numerically equal to \( 2\pi \). Like \( \pi \), it is transcendental and hence irrational, and (as we’ll see in Section 2) its use in mathematics is similarly widespread.

images/figures/Reuleaux_triangle_roll
Figure 2: One of the infinitely many non-circular shapes with constant width.

In “\( \pi \) Is Wrong!”, Bob Palais argues persuasively in favor of the second of these two definitions for the circle constant, and in my view he deserves principal credit for identifying this issue and bringing it to a broad audience. He calls the true circle constant “one turn”, and he also introduces a new symbol to represent it (Figure 3). As we’ll see, the description is prescient, but unfortunately the symbol is rather strange, and (as discussed in Section 4) it seems unlikely to gain wide adoption. (Update: This indeed proved to be the case, and Palais himself has since become a strong supporter of the arguments in this manifesto.)

images/figures/palais-tau
Figure 3: The strange symbol for the circle constant from “\( \pi \) Is Wrong!”.

The Tau Manifesto is based on the proposition that the proper response to “\( \pi \) is wrong” is “No, really.” And the true circle constant deserves a proper name. As you may have guessed by now, The Tau Manifesto proposes that this name should be the Greek letter \( \tau \) (tau):

\begin{equation} \label{eq:tau} \tau \equiv \frac{C}{r} = 6.283185307179586\ldots \end{equation}

Throughout the rest of this manifesto, we will see that the number \( \tau \) is the correct choice, and we will show through usage (Section 2 and Section 3) and by direct argumentation (Section 4) that the letter \( \tau \) is a natural choice as well.

1.2 A powerful enemy

Before proceeding with the demonstration that \( \tau \) is the natural choice for the circle constant, let us first acknowledge what we are up against—for there is a powerful conspiracy, centuries old, determined to propagate pro-\( \pi \) propaganda. Entire books are written extolling the virtues of \( \pi \). (I mean, books!) And irrational devotion to \( \pi \) has spread even to the highest levels of geekdom; for example, on “Pi Day” 2010 Google changed its logo to honor \( \pi \) (Figure 4).

images/figures/google_pi_day
Figure 4: The Google logo on March 14 (3/14), 2010 (“Pi Day”).

Meanwhile, some people memorize dozens, hundreds, even thousands of digits of this mystical number. What kind of sad sack memorizes even 40 digits of \( \pi \) (Figure 5)?4

Figure 5: Matt Groening, incorrectly reciting \( \pi \), says “Prove me wrong!”—so I do.

Truly, proponents of \( \tau \) face a mighty opponent. And yet, we have a powerful ally—for the truth is on our side.

2 The number tau

We saw in Section 1.1 that the number \( \tau \) can also be written as \( 2\pi \). As noted in “\( \pi \) Is Wrong!”, it is therefore of great interest to discover that the combination \( 2\pi \) occurs with astonishing frequency throughout mathematics. For example, consider integrals over all space in polar coordinates:

\[ \int_0^{2\pi}\int_0^\infty f(r, \theta)\, r\, dr\, d\theta. \]

The upper limit of the \( \theta \) integration is always \( 2\pi \). The same factor appears in the definition of the Gaussian (normal) distribution,

\[ \frac{1}{\sqrt{2\pi}\sigma}e^{-\frac{(x-\mu)^2}{2\sigma^2}}, \]

and again in the Fourier transform,

\[ f(x) = \int_{-\infty}^\infty F(k)\, e^{2\pi ikx}\,dk \]
\[ F(k) = \int_{-\infty}^\infty f(x)\, e^{-2\pi ikx}\,dx. \]

It recurs in Cauchy’s integral formula,

\[ f(a) = \frac{1}{2\pi i}\oint_\gamma\frac{f(z)}{z-a}\,dz, \]

in the \( n \)th roots of unity,

\[ z^n = 1 \Rightarrow z = e^{2\pi i/n}, \]

and in the values of the Riemann zeta function for positive even integers:5

\[ \begin{split} \zeta(2n) & = \sum_{k=1}^\infty \frac{1}{k^{2n}} \\ & = \frac{|B_{2n}|}{2(2n)!}\,(2\pi)^{2n},\qquad n = 1, 2, 3, \ldots \end{split} \]

These formulas are not cherry-picked—crack open your favorite physics or mathematics text and try it yourself. There are many more examples, and the conclusion is clear: there is something special about \( 2\pi \).

To get to the bottom of this mystery, we must return to first principles by considering the nature of circles, and especially the nature of angles. Although it’s likely that much of this material will be familiar, it pays to revisit it, for this is where the true understanding of \( \tau \) begins.

2.1 Circles and angles

There is an intimate relationship between circles and angles, as shown in Figure 6. Since the concentric circles in Figure 6 have different radii, the lines in the figure cut off different lengths of arc (or arc lengths), but the angle \( \theta \) (theta) is the same in each case. In other words, the size of the angle does not depend on the radius of the circle used to define the arc. The principal task of angle measurement is to create a system that captures this radius-invariance.

images/figures/angle-arclength
Figure 6: An angle \( \theta \) with two concentric circles.

Perhaps the most elementary angle system is degrees, which breaks a circle into 360 equal parts. One result of this system is the set of special angles (familiar to students of trigonometry) shown in Figure 7.

images/figures/degree-angles
Figure 7: Some special angles, in degrees.

A more fundamental system of angle measure involves a direct comparison of the arc length \( s \) with the radius \( r \). Although the lengths in Figure 6 differ, the arc length grows in proportion to the radius, so the ratio of the arc length to the radius is the same in each case:

\[ s\propto r \Rightarrow \frac{s_1}{r_1} = \frac{s_2}{r_2}. \]

This suggests the following definition of radian angle measure:

\begin{equation} \label{eq:radians} \theta \equiv \frac{s}{r}. \end{equation}

This definition has the required property of radius-invariance, and since both \( s \) and \( r \) have units of length, radians are dimensionless by construction. The use of radian angle measure leads to succinct and elegant formulas throughout mathematics; for example, the usual formula for the derivative of \( \sin\theta \) is true only when \( \theta \) is expressed in radians:

\[ \frac{d}{d\theta}\sin\theta = \cos\theta. \qquad\mbox{(only in radians)} \]

Naturally, the special angles in Figure 7 can be expressed in radians, and when you took high-school trigonometry you probably memorized the special values shown in Figure 8. (I call this system of measure \( \pi \)-radians to emphasize that they are written in terms of \( \pi \).)

images/figures/pi-angles
Figure 8: Some special angles, in \( \pi \)-radians.
images/figures/angle-fractions
Figure 9: The “special” angles as fractions of a full circle.

Now, a moment’s reflection shows that the so-called “special” angles are just particularly simple rational fractions of a full circle, as shown in Figure 9. This suggests revisiting Eq. (4), rewriting the arc length \( s \) in terms of the fraction \( f \) of the full circumference \( C \), i.e., \( s = f C \):

\begin{equation} \label{eq:theta_tau} \theta = \frac{s}{r} = \frac{fC}{r} = f\left(\frac{C}{r}\right) \equiv f\tau. \end{equation}

Notice how naturally \( \tau \) falls out of this analysis. If you are a believer in \( \pi \), I fear that the resulting diagram of special angles (Figure 10) will shake your faith to its very core.

images/figures/tau-angles
Figure 10: Some special angles, in radians.

Although there are many other arguments in \( \tau \)’s favor, Figure 10 may be the most striking. We also see from Figure 10 the genius of Bob Palais’ identification of the circle constant as “one turn”: \( \tau \) is the radian angle measure for one turn of a circle. Moreover, note that with \( \tau \) there is nothing to memorize: a twelfth of a turn is \( \tau/12 \), an eighth of a turn is \( \tau/8 \), and so on. Using \( \tau \) gives us the best of both worlds by combining conceptual clarity with all the concrete benefits of radians; the abstract meaning of, say, \( \tau/12 \) is obvious, but it is also just a number:

\[ \begin{split} \mbox{a twelfth of a turn} = \frac{\tau}{12} & \approx \frac{6.283185}{12} \\ & = 0.5235988. \end{split} \]

Finally, by comparing Figure 8 with Figure 10, we see where those pesky factors of \( 2\pi \) come from: one turn of a circle is \( 1\tau \), but \( 2\pi \). Numerically they are equal, but conceptually they are quite distinct.

The ramifications

The unnecessary factors of \( 2 \) arising from the use of \( \pi \) are annoying enough by themselves, but far more serious is their tendency to cancel when divided by even numbers. The absurd results, such as a half \( \pi \) for a quarter turn, obscure the underlying relationship between angle measure and the circle constant. To those who maintain that it “doesn’t matter” whether we use \( \pi \) or \( \tau \) when teaching trigonometry, I simply ask you to view Figure 8, Figure 9, and Figure 10 through the eyes of a child. You will see that, from the perspective of a beginner, using \( \pi \) instead of \( \tau \) is a pedagogical disaster.

2.2 The circle functions

Although radian angle measure provides some of the most compelling arguments for the true circle constant, it’s worth comparing the virtues of \( \pi \) and \( \tau \) in some other contexts as well. We begin by considering the important elementary functions \( \sin\theta \) and \( \cos\theta \). Known as the “circle functions” because they give the coordinates of a point on the unit circle (i.e., a circle with radius \( 1 \)), sine and cosine are the fundamental functions of trigonometry (Figure 11).

images/figures/circle-functions
Figure 11: The circle functions are coordinates on the unit circle.

Let’s examine the graphs of the circle functions to better understand their behavior.6 You’ll notice from Figure 12 and Figure 13 that both functions are periodic with period \( T \). As shown in Figure 12, the sine function \( \sin\theta \) starts at zero, reaches a maximum at a quarter period, passes through zero at a half period, reaches a minimum at three-quarters of a period, and returns to zero after one full period. Meanwhile, the cosine function \( \cos\theta \) starts at a maximum, has a minimum at a half period, and passes through zero at one-quarter and three-quarters of a period (Figure 13). For reference, both figures show the value of \( \theta \) (in radians) at each special point.

images/figures/sine-with-tau
Figure 12: Important points for \( \sin\theta \) in terms of the period \( T \).
images/figures/cosine-with-tau
Figure 13: Important points for \( \cos\theta \) in terms of the period \( T \).

Of course, since sine and cosine both go through one full cycle during one turn of the circle, we have \( T = \tau \); i.e., the circle functions have periods equal to the circle constant. As a result, the “special” values of \( \theta \) are utterly natural: a quarter-period is \( \tau/4 \), a half-period is \( \tau/2 \), etc. In fact, when making Figure 12, at one point I found myself wondering about the numerical value of \( \theta \) for the zero of the sine function. Since the zero occurs after half a period, and since \( \tau \approx 6.28 \), a quick mental calculation led to the following result:

\[ \theta_\mathrm{zero} = \frac{\tau}{2} \approx 3.14. \]

That’s right: I was astonished to discover that I had already forgotten that \( \tau/2 \) is sometimes called “\( \pi \)”. Perhaps this even happened to you just now. Welcome to my world.

2.3 Euler’s identity

I would be remiss in this manifesto not to address Euler’s identity, sometimes called “the most beautiful equation in mathematics”. This identity involves complex exponentiation, which is deeply connected both to the circle functions and to the geometry of the circle itself.

Depending on the exact route chosen, the following equation can either be proved as a theorem or taken as a definition; either way, it is quite remarkable:

\begin{equation} \label{eq:eulers_formula} e^{i\theta} = \cos\theta + i\sin\theta. \qquad\mbox{Euler's formula} \end{equation}

Known as Euler’s formula (after Leonhard Euler), this equation relates an exponential with imaginary argument to the circle functions sine and cosine and to the imaginary unit \( i \). Although justifying Euler’s formula is beyond the scope of this manifesto, its provenance is above suspicion, and its importance is beyond dispute.

Evaluating Eq. (6) at \( \theta = \tau \) yields

\begin{equation} \label{eq:eulers_identity_tau_0i} e^{i\tau} = \cos \tau + i \sin \tau = 1 + 0i, \end{equation}

which simplifies to Euler’s identity:7

\begin{equation} \label{eq:eulers_identity_tau} e^{i\tau} = 1. \qquad\mbox{Euler's identity ($\tau$ version)} \end{equation}

In words, Eq. (8) makes the following fundamental observation:

The complex exponential of the circle constant is unity.

Geometrically, multiplying by \( e^{i\theta} \) corresponds to rotating a complex number by an angle \( \theta \) in the complex plane, which suggests a second interpretation of Euler’s identity:

A rotation by one turn is 1.

Since the number \( 1 \) is the multiplicative identity, the geometric meaning of \( e^{i\tau} = 1 \) is that rotating a point in the complex plane by one turn simply returns it to its original position.

As in the case of radian angle measure, we see how natural the association is between \( \tau \) and one turn of a circle. Indeed, the identification of \( \tau \) with “one turn” makes Euler’s identity sound almost like a tautology.

Not the most beautiful equation

Of course, the traditional form of Euler’s identity is written in terms of \( \pi \) instead of \( \tau \). To derive it, we start by evaluating Euler’s formula at \( \theta = \pi \), which yields

\begin{equation} \label{eq:eulers_identity_pi_unsimplified} e^{i\pi} = \cos \pi + i \sin \pi = -1 + 0i \end{equation}

and simplifes to

\begin{equation} \label{eq:eulers_identity_pi} e^{i\pi} = -1. \qquad\mbox{Euler's identity ($\pi$ version)} \end{equation}

But that minus sign is so ugly that Eq. (10) is almost always rearranged immediately, giving the following “beautiful” equation:

\begin{equation} \label{eq:eulers_pi_rearranged} e^{i\pi} + 1 = 0. \qquad\mbox{(rearranged)} \end{equation}

At this point, the expositor usually makes some grandiose but purely numerological statement about how Eq. (11) relates \( 0 \), \( 1 \), \( i \), \( e \), and \( \pi \)—sometimes called the “five most important numbers in mathematics”.

In this context, it’s remarkable how many people complain that Eq. (8) relates only four of those five numbers. Fine:

\begin{equation} \label{eq:euler_tau_zero} e^{i\tau} = 1 + 0. \end{equation}

Indeed, we saw in Eq. (7) that there is actually a \( 0i \) already included (from \( i \sin \tau \)):

\begin{equation} \label{eq:euler_tau_zero_i} e^{i\tau} = 1 + 0i. \end{equation}

Eq. (13), without rearrangement, actually does relate the so-called “five most important numbers in mathematics”: \( 0 \), \( 1 \), \( i \), \( e \), and \( \tau \).

Eulerian identities

Since you can add zero anywhere in any equation, the introduction of \( 0 \) in Eq. (12) is a somewhat tongue-in-cheek counterpoint to \( e^{i\pi} + 1 = 0 \), but the identity \( e^{i\pi} = -1 \) does have a more serious point to make. Let’s see what happens when we rewrite it in terms of \( \tau \):

\[ e^{i\tau/2} = -1. \]

Geometrically, this says that a rotation by half a turn is the same as multiplying by \( -1 \). And indeed this is the case: under a rotation of \( \tau/2 \) radians, the complex number \( z = a + ib \) gets mapped to \( -a - ib \), which is in fact just \( -1\cdot z \).

Written in terms of \( \tau \), we see that the “original” form of Euler’s identity (Eq. (10)) has a transparent geometric meaning that it lacks when written in terms of \( \pi \). (Of course, \( e^{i\pi} = -1 \) can be interpreted as a rotation by \( \pi \) radians, but the near-universal rearrangement to form \( e^{i\pi} + 1 = 0 \) shows how using \( \pi \) distracts from the identity’s natural geometric meaning.) The quarter-angle identities have similar geometric interpretations: evaluating Eq. (6) at \( \tau/4 \) gives \( e^{i\tau/4} = i \), which says that a quarter turn in the complex plane is the same as multiplication by \( i \); similarly, \( e^{i\cdot(3\tau/4)} = -i \) says that three-quarters of a turn is the same as multiplication by \( -i \). A summary of these results, which we’ll call Eulerian identities, appears in Table 1.

Rotation angle Eulerian identity
\( 0 \) \( e^{i\cdot0} \) \( = \) \( 1 \)
\( \tau/4 \) \( e^{i\tau/4} \) \( = \) \( i \)
\( \tau/2 \) \( e^{i\tau/2} \) \( = \) \( -1 \)
\( 3\tau/4 \) \( e^{i\cdot(3\tau/4)} \) \( = \) \( -i \)
\( \tau \) \( e^{i\tau} \) \( = \) \( 1 \)
Table 1: Eulerian identities for half, quarter, and full rotations.

We can take this analysis a step further by noting that, for any angle \( \theta \), \( e^{i\theta} \) can be interpreted as a point lying on the unit circle in the complex plane. Since the complex plane identifies the horizontal axis with the real part of the number and the vertical axis with the imaginary part, Euler’s formula tells us that \( e^{i\theta} \) corresponds to the coordinates \( (\cos\theta, \sin\theta) \). Plugging the values of the “special” angles from Figure 10 into Eq. (6) then gives the points shown in Table 2, and plotting these points in the complex plane yields Figure 14. A comparison of Figure 14 with Figure 10 quickly dispels any doubts about which choice of circle constant better reveals the relationship between Euler’s formula and the geometry of the circle.

Polar form Rectangular form Coordinates
\( e^{i\theta} \) \( \cos\theta + i\sin\theta \) \( (\cos\theta, \sin\theta) \)
\( e^{i\cdot0} \) \( 1 \) \( (1, 0) \)
\( e^{i\tau/12} \) \( \frac{\sqrt{3}}{2} + \frac{1}{2}i \) \( (\frac{\sqrt{3}}{2}, \frac{1}{2}) \)
\( e^{i\tau/8} \) \( \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{2}}i \) \( (\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}) \)
\( e^{i\tau/6} \) \( \frac{1}{2} +\frac{\sqrt{3}}{2} i \) \( (\frac{1}{2}, \frac{\sqrt{3}}{2}) \)
\( e^{i\tau/4} \) \( i \) \( (0, 1) \)
\( e^{i\tau/3} \) \( -\frac{1}{2} +\frac{\sqrt{3}}{2} i \) \( (-\frac{1}{2}, \frac{\sqrt{3}}{2}) \)
\( e^{i\tau/2} \) \( -1 \) \( (-1, 0) \)
\( e^{i\cdot(3\tau/4)} \) \( -i \) \( (0, -1) \)
\( e^{i\tau} \) \( 1 \) \( (1, 0) \)
Table 2: Complex exponentials of the special angles from Figure 10.
images/figures/tau_euler_circle
Figure 14: Complex exponentials of some special angles.

3 Circular area: the coup de grâce

If you arrived here as a \( \pi \) believer, you must by now be questioning your faith. \( \tau \) is so natural, its meaning so transparent—is there no example where \( \pi \) shines through in all its radiant glory? A memory stirs—yes, there is such a formula—it is the formula for circular area! Behold:

\[ A = \tfrac{1}{4} \pi D^2. \]

No, wait. The area formula is always written in terms of the radius, as follows:

\[ A = \pi r^2. \]

We see here \( \pi \), unadorned, in one of the most important equations in mathematics—a formula first proved by Archimedes himself. Order is restored! And yet, the name of this section sounds ominous… If this equation is \( \pi \)’s crowning glory, how can it also be the coup de grâce?

3.1 Quadratic forms

Let us examine this putative paragon of \( \pi \), \( A = \pi r^2 \). We notice that it involves the radius raised to the second power. This makes it a simple quadratic form. Such forms arise in many contexts; as a physicist, my favorite examples come from the elementary physics curriculum. We will now consider several in turn.

Falling in a uniform gravitational field

Galileo Galilei found that the velocity of an object falling in a uniform gravitational field is proportional to the time fallen:

\[ v \propto t. \]

The constant of proportionality is the gravitational acceleration \( g \):

\[ v = g t. \]

Since velocity is the derivative of position, we can calculate the distance fallen by integration:8

\[ y = \int v\,dt = \int_0^t gt\,dt = \textstyle{\frac{1}{2}} gt^2. \]

Potential energy in a linear spring

Robert Hooke found that the external force required to stretch a spring is proportional to the distance stretched:

\[ F \propto x. \]

The constant of proportionality is the spring constant \( k \):9

\[ F = k x. \]

The potential energy in the spring is then equal to the work done by the external force:

\[ U = \int F\,dx = \int_0^x kx\,dx = \textstyle{\frac{1}{2}} kx^2. \]

Energy of motion

Isaac Newton found that the force on an object is proportional to its acceleration:

\[ F \propto a. \]

The constant of proportionality is the mass \( m \):

\[ F = m a. \]

The energy of motion, or kinetic energy, is equal to the total work done in accelerating the mass to velocity \( v \):

\[ \begin{split} K = \int F\,dx = \int ma\,dx & = \int m\frac{dv}{dt}\,dx \\ & = \int m\frac{dx}{dt}\,dv \\ & = \int_0^v mv\,dv \\ & = \textstyle{\frac{1}{2}} mv^2. \end{split} \]

3.2 A sense of foreboding

Having seen several examples of simple quadratic forms in physics, you may by now have a sense of foreboding as we return to the geometry of the circle. This feeling is justified.

images/figures/circular-area
Figure 15: Breaking down a circle into rings.

As seen in Figure 15, the area of a circle can be calculated by breaking it down into circular rings of length \( C \) and width \( dr \), where the area of each ring is \( C\,dr \):

\[ dA = C\,dr. \]

Now, the circumference of a circle is proportional to its radius:

\[ C \propto r. \]

The constant of proportionality is \( \tau \):

\[ C = \tau r. \]

The area of the circle is then the integral over all rings:

\begin{equation} \label{eq:circular_area_tau} A = \int dA = \int_0^r C\,dr = \int_0^r \tau r\,dr = \textstyle{\frac{1}{2}} \tau r^2. \end{equation}

If you were still a \( \pi \) partisan at the beginning of this section, your head has now exploded. For we see that even in this case, where \( \pi \) supposedly shines, in fact there is a missing factor of \( 2 \). Indeed, the original proof by Archimedes shows not that the area of a circle is \( \pi r^2 \), but that it is equal to the area of a right triangle with base \( C \) and height \( r \). Applying the formula for triangular area then gives

\[ A = \textstyle{\frac{1}{2}} bh = \textstyle{\frac{1}{2}}Cr = \textstyle{\frac{1}{2}}\tau r^2. \]

There is simply no avoiding that factor of a half (Table 3).

Quantity Symbol Expression
Distance fallen \( y \) \( \textstyle{\frac{1}{2}}gt^2 \)
Spring energy \( U \) \( \textstyle{\frac{1}{2}}kx^2 \)
Kinetic energy \( K \) \( \textstyle{\frac{1}{2}}mv^2 \)
Circular area \( A \) \( \textstyle{\frac{1}{2}}\tau r^2 \)
Table 3: Some common quadratic forms.

Quod erat demonstrandum

We set out in this manifesto to show that \( \tau \) is the true circle constant. Since the formula for circular area was just about the last, best argument that \( \pi \) had going for it, I’m going to go out on a limb here and say: Q.E.D.

4 Conflict and resistance

Despite the definitive demonstration of the superiority of \( \tau \), there are nevertheless many who oppose it, both as notation and as number. In this section, we address the concerns of those who accept the value but not the letter. We then rebut some of the many arguments marshaled against \( C/r \) itself, including the so-called “Pi Manifesto” that defends the primacy of \( \pi \).

4.1 One turn

The true test of any notation is usage; having seen \( \tau \) used throughout this manifesto, you may already be convinced that it serves its role well. But for a constant as fundamental as \( \tau \) it would be nice to have some deeper reasons for our choice. Why not \( \alpha \), for example, or \( \omega \)? What’s so great about \( \tau \)?

There are two main reasons to use \( \tau \) for the circle constant. The first is that \( \tau \) visually resembles \( \pi \): after centuries of use, the association of \( \pi \) with the circle constant is unavoidable, and using \( \tau \) feeds on this association instead of fighting it. (Indeed, the horizontal line in each letter suggests that we interpret the “legs” as denominators, so that \( \pi \) has two legs in its denominator, while \( \tau \) has only one. Seen this way, the relationship \( \tau = 2\pi \) is perfectly natural.)10

The second reason is that \( \tau \) corresponds to one turn of a circle, and you may have noticed that “\( \tau \)” and “turn” both start with a “t” sound. This was the original motivation for the choice of \( \tau \), and it is not a coincidence: the root of the English word “turn” is the Greek word τόρνος (tornos), which means “lathe”. Using a math font for the first letter in τόρνος then gives us: \( \tau \).

Since the original launch of The Tau Manifesto, I have learned that Peter Harremoës independently proposed using \( \tau \) to “\( \pi \) Is Wrong!” author Bob Palais in 2010, John Fisher proposed \( \tau \) in a Usenet post in 2004, and Joseph Lindenberg anticipated both the argument and the symbol more than twenty years before!11 Dr. Harremoës in particular has emphasized the importance of a point first made in Section 1.1: using \( \tau \) gives the circle constant a name. Since \( \tau \) is an ordinary Greek letter, people encountering it for the first time can pronounce it immediately. Moreover, unlike calling the circle constant a “turn”, \( \tau \) works well in both written and spoken contexts. For example, saying that a quarter circle has radian angle measure “one quarter turn” sounds great, but “turn over four radians” sounds awkward, and “the area of a circle is one-half turn \( r \) squared” sounds downright odd. Using \( \tau \), we can say “tau over four radians” and “the area of a circle is one-half tau \( r \) squared.”

Ambiguous notation

Of course, with any new notation there is the potential for conflict with present usage. As noted in Section 1.1, “\( \pi \) Is Wrong!” avoids this problem by introducing a new symbol (Figure 3). There is precedent for this; for example, in the early days of quantum mechanics Max Planck introduced the constant \( h \), which relates a light particle’s energy to its frequency (through \( E = h\nu \)), but physicists soon realized that it is often more convenient to use \( \hbar \) (read “h-bar”)—where \( \hbar \) is just \( h \) divided by… um… \( 2\pi \)—and this usage is now standard.

But getting a new symbol accepted is difficult: it has to be given a name, that name has to be popularized, and the symbol itself has to be added to word processing and typesetting systems. Using an existing symbol allows us to route around the mathematical establishment.12

Rather than advocating a new symbol, The Tau Manifesto opts for the use of an existing Greek letter. As a result, since \( \tau \) is already used in some current contexts, we must address the conflicts with existing practice. Fortunately, there are surprisingly few common uses. Moreover, while \( \tau \) is used for certain specific variables—e.g., shear stress in mechanical engineering, torque in rotational mechanics, and proper time in special and general relativity—there is no universal conflicting usage.13 In the specific cases mentioned, we can either tolerate ambiguity or route around the few present conflicts by selectively changing notation, such as using \( N \) for torque,14 \( \tau_p \) for proper time, or even \( \tau_\odot \) or \( \uptau \) for the circle constant itself.

Despite these arguments, potential usage conflicts have proven to be the greatest source of resistance to \( \tau \). Some correspondents have even flatly denied that \( \tau \) (or, presumably, any other currently used symbol) could possibly overcome these issues. But scientists and engineers have a high tolerance for notational ambiguity, and claiming that \( \tau \)-the-circle-constant can’t coexist with other uses ignores considerable evidence to the contrary.

One example of such easily tolerated ambiguity occurs in quantum mechanics, where we encounter the following formula for the Bohr radius, which (roughly speaking) is the “size” of a hydrogen atom in its lowest energy state (the ground state):

\begin{equation} \label{eq:bohr_radius} a_0 = \frac{\hbar^2}{m e^2}, \end{equation}

where \( m \) is the mass of an electron and \( e \) is its charge. Meanwhile, the ground state itself is described by a quantity known as the wave function, which falls off exponentially with radius on a length scale set by the Bohr radius:

\begin{equation} \label{eq:hydrogen} \psi(r) = N\,e^{-r/a_0}, \end{equation}

where \( N \) is a normalization constant.

Have you noticed the problem yet? Probably not, which is just the point. The “problem” is that the \( e \) in Eq. (15) and the \( e \) in Eq. (16) are not the same \( e \)—the first is the charge on an electron, while the second is Euler’s number (the base of natural logarithms). In fact, if we expand the factor of \( a_0 \) in the argument of the exponent in Eq. (16), we get

\[ \psi(r) = N\,e^{-m e^2 r/\hbar^2}, \]

which has an \( e \) raised the power of something with \( e \) in it. It’s even worse than it looks, because \( N \) itself contains \( e \) as well:

\[ \psi(r) = \sqrt{\frac{1}{\pi a_0^3}}\,e^{-r/a_0} = \frac{m^{3/2} e^3}{\pi^{1/2} \hbar^3}\,e^{-m e^2 r/\hbar^2}. \]

I have no doubt that if a separate notation for Euler’s number did not already exist, anyone proposing the letter \( e \) would be told it’s impossible because of the conflicts with other uses. And yet, in practice no one ever has any problem with using \( e \) in both contexts above. There are many other examples, including situations where even \( \pi \) is used for two different things.15 It’s hard to see how using \( \tau \) for multiple quantities is any different.

By the way, the \( \pi \)-pedants out there (and there have proven to be many) might note that hydrogen’s ground-state wave function has a factor of \( \pi \):

\[ \psi(r) = \sqrt{\frac{1}{\pi a_0^3}}\,e^{-r/a_0}. \]

At first glance, this appears to be more natural than the version with \( \tau \):

\[ \psi(r) = \sqrt{\frac{2}{\tau a_0^3}}\,e^{-r/a_0}. \]

As usual, appearances are deceiving: the value of \( N \) comes from the product

\[ \frac{1}{\sqrt{2\pi}} \frac{1}{\sqrt{2}} \frac{2}{a_0^{3/2}}, \]

which shows that the circle constant enters the calculation through \( 1/\sqrt{2\pi} \), i.e., \( 1/\sqrt{\tau} \). As with the formula for circular area, the cancellation to leave a bare \( \pi \) is a coincidence.

4.2 The Pi Manifesto

Although most objections to \( \tau \) come from scattered email correspondence and miscellaneous comments on the Web, there is also an organized resistance. In particular, after the publication of The Tau Manifesto in June 2010, a “Pi Manifesto” appeared to make the case for the traditional circle constant. This section and the two after it contain a rebuttal of its arguments.16 Of necessity, this treatment is terser and more advanced than the rest of the manifesto, but even a cursory reading of what follows will give an impression of the weakness of the Pi Manifesto’s case.

While we can certainly consider the appearance of the Pi Manifesto a good sign of continuing interest in this subject, it makes several false claims. For example, it says that the factor of \( 2\pi \) in the Gaussian (normal) distribution is a coincidence, and that it can more naturally be written as

\[ \frac{1}{\sqrt\pi(\sqrt 2\sigma)}e^{\frac{-x^2}{(\sqrt 2\sigma)^2}}. \]

This is wrong: the factor of \( 2\pi \) comes from squaring the unnormalized Gaussian distribution and switching to polar coordinates, which leads to a factor of \( 1 \) from the radial integral and a \( 2\pi \) from the angular integral. As in the case of circular area, the factor of \( \pi \) comes from \( 1/2\times 2\pi \), not from \( \pi \) alone.

A related claim is that the gamma function evaluated at \( 1/2 \) is more natural in terms of \( \pi \):

\[ \Gamma(\textstyle{\frac{1}{2}}) = \sqrt{\pi}, \]

where

\begin{equation} \label{eq:gamma} \Gamma(p) = \int_{0}^{\infty} x^{p-1} e^{-x}\,dx. \end{equation}

But \( \Gamma(\frac{1}{2}) \) reduces to the same Gaussian integral as in the normal distribution (upon setting \( u = x^{1/2} \)), so the \( \pi \) in this case is really \( 1/2\times 2\pi \) as well. Indeed, in many of the cases cited in the Pi Manifesto, the circle constant enters through an integral over all angles, i.e., as \( \theta \) ranges from \( 0 \) to \( \tau \).

The Pi Manifesto also examines some formulas for regular \( n \)-sided polygons (or “\( n \)-gons”). For instance, it notes that the sum of the internal angles of an \( n \)-gon is given by

\[ \sum_{i=1}^n \theta_i=(n-2)\pi. \]

This issue was dealt with in “\( \pi \) Is Wrong!”, which notes the following: “The sum of the interior angles [of a triangle] is \( \pi \), granted. But the sum of the exterior angles of any polygon, from which the sum of the interior angles can easily be derived, and which generalizes to the integral of the curvature of a simple closed curve, is \( 2\pi \).” In addition, the Pi Manifesto offers the formula for the area of an \( n \)-gon with unit radius (the distance from center to vertex),

\[ A=n\sin\frac{\pi}{n}\cos\frac{\pi}{n}, \]

calling it “clearly… another win for \( \pi \).” But using the double-angle identity \( \sin\theta\cos\theta = \frac{1}{2} \sin 2\theta \) shows that this can be written as

\[ A = n/2\, \sin\frac{2\pi}{n}, \]

which is just

\begin{equation} \label{eq:area_polygon} A = \frac{1}{2} n\, \sin\frac{\tau}{n}. \end{equation}

In other words, the area of an \( n \)-gon has a natural factor of \( 1/2 \). In fact, taking the limit of Eq. (18) as \( n\rightarrow \infty \) (and applying L’Hôpital’s rule) gives the area of a unit regular polygon with infinitely many sides, i.e., a unit circle:

\begin{equation} \label{eq:lhopital} \begin{split} A & = \lim_{n\rightarrow\infty} \frac{1}{2} n\, \sin\frac{\tau}{n} \\ & = \frac{1}{2} \lim_{n\rightarrow\infty} \frac{\sin\frac{\tau}{n}}{1/n} \\ & = \tfrac{1}{2}\tau. \end{split} \end{equation}

In this context, we should note that the Pi Manifesto makes much ado about \( \pi \) being the area of a unit disk, so that (for example) the area of a quarter (unit) circle is \( \pi/4 \). This, it is claimed, makes just as good a case for \( \pi \) as radian angle measure does for \( \tau \). Unfortunately for this argument, as noted in Section 3 and as seen again in Eq. (19), the factor of \( 1/2 \) arises naturally in the context of circular area. Indeed, the formula for the area of a circular sector subtended by angle \( \theta \) is

\begin{equation} \label{eq:area_circular_sector} A(r, \theta) = \tfrac{1}{2}\theta r^2, \end{equation}

so there’s no way to avoid the factor of \( 1/2 \) in general. (We thus see that \( A = \frac{1}{2} \tau r^2 \) is simply the special case \( \theta = \tau \).)

In short, the difference between angle measure and area isn’t arbitrary. There is no natural factor of \( 1/2 \) in the case of angle measure. In contrast, in the case of area the factor of \( 1/2 \) arises through the integral of a linear function in association with a simple quadratic form. In fact, the case for \( \pi \) is even worse than it looks, as shown in the next section.

5 Getting to the bottom of pi and tau

It is time now to determine exactly what is wrong with \( \pi \). The argument hinges on an analysis of the surface areas and volumes of \( n \)-dimensional spheres and balls, which makes clear that \( \pi \) as typically defined doesn’t have any fundamental geometric significance. Interestingly, en route to a better understanding of the geometric meaning of \( \tau \), we will also uncover a surprising new constant that is also of significance to our story.

The resulting section is more advanced than the rest of this manifesto and can be skipped without loss of continuity; if you find it confusing, I recommend proceeding directly to the conclusion in Section 6. But if you’re up for a mathematical challenge, you are invited to proceed…

5.1 Surface areas and volumes in \( n \) dimensions

We start our investigation with the generalization of circles and circular disks to arbitrary dimensions. These objects are known as hyperspheres or \( n \)-spheres (the generalization of circles) and solid spheres or \( n \)-balls (the generalization of circular disks). They can be defined for all natural numbers as follows.

A \( 0 \)-sphere is the set of all points satisfying

\[ x^2 = r^2, \]

which consists of the two points \( \pm r \). These points form the boundary of a (closed) \( 1 \)-ball, which is the set of all points satisfying

\[ x^2 \leq r^2. \]

This is a line segment from \( -r \) to \( r \); equivalently, it is the closed interval \( [-r, r] \).

A \( 1 \)-sphere is a circle, which is the set of all points satisfying

\[ x^2 + y^2 = r^2. \]

This figure forms the boundary of a \( 2 \)-ball, which is the set of all points satisfying

\[ x^2 + y^2 \leq r^2. \]

This is a closed disk of radius \( r \). Similarly, a \( 2 \)-sphere (also called simply a “sphere”) is the set of all points satisfying

\[ x^2 + y^2 + z^2 = r^2. \]

This is the boundary of a \( 3 \)-ball (somewhat confusingly, also often called a “sphere”), which is the set of all points satisfying

\[ x^2 + y^2 + z^2 \leq r^2. \]

The generalization to arbitrary dimension \( n \), although difficult to visualize for \( n > 3 \), is straightforward: an \( (n-1) \)-sphere is the set of all points satisfying

\[ \sum_{i=1}^{n} x_i^2 = r^2, \]

which forms the boundary of the corresponding \( n \)-ball, defined as the set of all points satisfying

\[ \sum_{i=1}^{n} x_i^2 \leq r^2. \]

The “volume of a hypersphere (or \( n \)-sphere)” of dimension \( n-1 \) is then defined as the volume \( V_n(r) \) of the corresponding \( n \)-dimensional ball. It can be obtained by integrating the surface area \( A_{n-1}(r) \) at each radius via \( V_n(r) = \int A_{n-1}(r)\,dr \).

The subscripts on \( V_n \) and \( A_{n-1} \) are chosen so that they always agree with the dimensionality of the corresponding geometric object;17 for example, the case \( n = 2 \) corresponds to a disk (dimensionality \( 2 \)) and a circle (dimensionality \( 2 - 1 = 1 \)). Then \( V_2 \) is the “volume” of a \( 2 \)-ball (i.e., the area of a disk, colloquially known as the “area of a circle”), and \( A_{2-1} = A_1 \) is the “surface area” of a \( 1 \)-sphere (i.e., the circumference of a circle). When in doubt, simply recall that \( n \) always refers to the dimensionality of the ball, with \( n-1 \) referring to the dimensionality of its boundary.

Now, The Pi Manifesto (discussed in Section 4.2) includes a formula for the volume of a unit \( n \)-ball as an argument in favor of \( \pi \):

\begin{equation} \label{eq:unit_n_sphere_pi} \frac{\sqrt{\pi}^{n}}{\Gamma(1 + \frac{n}{2})}, \end{equation}

where the gamma function is given by Eq. (17). Eq. (21) is a special case of the formula for general radius, which is also typically written in terms of \( \pi \):

\begin{equation} \label{eq:n_sphere_pi} V_n(r) = \frac{\pi^{n/2} r^n}{\Gamma(1 + \frac{n}{2})}. \end{equation}

Because \( V_n(r) = \int A_{n-1}(r)\,dr \), we have \( A_{n-1}(r) = dV_n(r)/dr \), which means that the surface area can be written as follows:

\begin{equation} \label{eq:n_sphere_pi_r} A_{n-1}(r) = \frac{n \pi^{n/2} r^{n-1}}{\Gamma(1 + \frac{n}{2})}. \end{equation}

Rather than simply take these formulas at face value, let’s see if we can untangle them to shed more light on the question of \( \pi \) vs. \( \tau \). We begin our analysis by noting that the apparent simplicity of the above formulas is an illusion: although the gamma function is notationally simple, in fact it is an integral over a semi-infinite domain, which is not a simple idea at all. Fortunately, the gamma function can be simplified in certain special cases. For example, when \( n \) is an integer, we can show (using integration by parts) that

\[ \Gamma(n) = (n-1)(n-2)\ldots 2\cdot 1 = (n-1)! \]

Seen this way, \( \Gamma(x) \) can be interpreted as a generalization of the factorial function to real-valued arguments.18

In the \( n \)-dimensional surface area and volume formulas, the argument of \( \Gamma \) is not necessarily an integer, but rather is \( \left(1 + \frac{n}{2}\right) \), which is an integer when \( n \) is even and is a half-integer when \( n \) is odd. Taking this into account gives the following expression, which is adapted from a standard reference, Wolfram MathWorld, and as usual is written in terms of \( \pi \):

\begin{equation} \label{eq:surface_area_mathworld} A_{n-1}(r) = \begin{cases} \displaystyle \frac{2\pi^{n/2}\,r^{n-1}}{(\frac{1}{2}n - 1)!} & \text{$n$ even}; \\ \\ \displaystyle \frac{2^{(n+1)/2}\pi^{(n-1)/2}\,r^{n-1}}{(n-2)!!} & \text{$n$ odd}. \end{cases} \end{equation}

(Here we write \( A_{n-1} \) where MathWorld uses \( S_n \).) Integrating with respect to \( r \) then gives

\begin{equation} \label{eq:volume_mathworld} V_n(r) = \begin{cases} \displaystyle \frac{\pi^{n/2}\,r^n}{(\frac{n}{2})!} & \text{$n$ even}; \\ \\ \displaystyle \frac{2^{(n+1)/2}\pi^{(n-1)/2}\,r^n}{n!!} & \text{$n$ odd}. \end{cases} \end{equation}

Let’s examine Eq. (25) in more detail. Notice first that MathWorld uses the double factorial function \( n!! \)—but, strangely, it uses it only in the odd case. (This is a hint of things to come.) The double factorial function, although rarely encountered in mathematics, is elementary: it’s like the normal factorial function, but involves subtracting \( 2 \) at a time instead of \( 1 \), so that, e.g., \( 5!! = 5 \cdot 3 \cdot 1 \) and \( 6!! = 6 \cdot 4 \cdot 2 \). In general, we have

\begin{equation} \label{eq:double_factorial} n!! = \begin{cases} n(n-2)\ldots6\cdot4\cdot2 & \text{$n$ even}; \\ \\ n(n-2)\ldots5\cdot3\cdot1 & \text{$n$ odd}. \end{cases} \end{equation}

(By definition, \( 0!! = 1!! = 1 \).) Note that Eq. (26) naturally divides into even and odd cases, making MathWorld’s decision to use it only in the odd case still more mysterious.

To solve this mystery, we’ll start by taking a closer look at the formula for odd \( n \) in Eq. (25):

\[ \frac{2^{(n+1)/2}\pi^{(n-1)/2}\,r^n}{n!!} \]

Upon examining the expression

\[ 2^{(n+1)/2}\pi^{(n-1)/2}, \]

we notice that it can be rewritten as

\[ 2(2\pi)^{(n-1)/2}, \]

and here we recognize our old friend \( 2\pi \).

Now let’s look at the even case in Eq. (25). We noted above how strange it is to use the ordinary factorial in the even case but the double factorial in the odd case. Indeed, because the double factorial is already defined piecewise, if we unified the formulas by using \( n!! \) in both cases we could pull it out as a common factor:

\[ V_n(r) = \frac{1}{n!!}\times \begin{cases} \ldots & \text{$n$ even}; \\ \\ \ldots & \text{$n$ odd}. \end{cases} \]

So, is there any connection between the factorial and the double factorial? Yes—when \( n \) is even, the two are related by the following identity:

\[ \left(\frac{n}{2}\right)! = \frac{n!!}{2^{n/2}} \qquad (\text{$n$ even}). \]

(This can be verified using mathematical induction.) Substituting this into the volume formula for even \( n \) in Eq. (25) then yields

\[ \frac{2^{n/2}\pi^{n/2}\,r^n}{n!!}, \]

which bears a striking resemblance to

\[ \frac{(2\pi)^{n/2}\,r^n}{n!!}, \]

and again we find a factor of \( 2\pi \).

Putting these results together and setting \( \tau = 2\pi \), we see that Eq. (25) can be rewritten as

\begin{equation} \label{eq:volume_tau} V_n(r) = \begin{cases} \displaystyle \frac{\tau^{n/2}\,r^n}{n!!} & \text{$n$ even}; \\ \\ \displaystyle \frac{2\tau^{(n-1)/2}\,r^n}{n!!} & \text{$n$ odd}. \end{cases} \end{equation}

Eq. (27) is definitely an improvement on Eq. (22). Like Eq. (22), Eq. (27) depends explicitly on the parity of the dimension (i.e., whether \( n \) is even or odd), but unlike the faux simplicity of Eq. (22), which hides a huge amount of complexity in the \( \Gamma \) function, Eq. (27) involves no fancy integrals—just the slightly exotic but nevertheless elementary double-factorial function.

Eq. (27) appears to be yet another argument in favor of \( \tau \)—but, in a surprise twist, it turns out we can do even better by exploiting the natural symmetry of \( n \)-dimensional balls. We start by observing that a ball in \( n \) dimensions divides naturally into \( 2^n \) congruent pieces, corresponding to the \( 2^n \) families of solutions to \( \sum_{i=1}^{n} x_i^2 = r^2 \) (one for each choice of \( \pm x_i \)): in two dimensions, they are the four quadrants; in three dimensions, they are the eight octants; and so on in higher dimensions. Moreover, each congruent piece is effectively a copy of the solution to \( \sum_{i=1}^{n} x_i^2 = r^2 \) when all coordinates are positive (i.e., \( x_i > 0 \) for all \( i \)), corresponding to the first quadrant, the first octant, etc. The other pieces can be generated by rotating the first piece through an integer multiple of the angle between coordinate axes, namely, a right angle.

We thus see that the volume of an \( n \)-dimensional sphere is simply the volume of the first congruent piece multiplied by the number of such pieces, which is \( 2^n \). (Indeed, many derivations of the area of a circle do exactly this, calculating the area of the first quadrant and then multiplying by \( 2^2 = 4 \).) This suggests rewriting each case in Eq. (27) as

\begin{equation} \label{eq:volume_2_n_pieces} V_n(r) = 2^n \times \text{volume of first congruent piece}. \end{equation}

Looking at the even case in Eq. (27), we see that pulling out a factor of \( 2^n \) leaves us with a formula in terms of a power of \( \tau/2^2 \):

\begin{align*} V_n(r) & = \frac{\tau^{n/2}\,r^n}{n!!} & & \text{Eq. \eqref{eq:volume_tau} (even case)} \\ & = \frac{2^n\,(\tau^{n/2}/2^n)\,r^n}{n!!} & & \text{Multiply and divide by $2^n$} \\ & = \frac{2^n\,(\tau^{n/2}/(2^2)^{n/2})\,r^n}{n!!} & & \text{Unify exponent} \\ & = 2^n\frac{(\tau/2^2)^{n/2}}{n!!}\,r^n. & & \text{$a^c/b^c = (a/b)^c$} \end{align*}

One might reasonably wonder whether this is really worth the trouble, but amazingly the same trick works in the odd case as well. We see from Eq. (27) that there is already a factor of \( 2 \) in the odd case, so we need only factor out a \( 2^{n-1} \) to get an overall factor of \( 2^n \):

\begin{align*} V_n(r) & = \frac{2\tau^{(n-1)/2}\,r^n}{n!!} & & \text{Eq. \eqref{eq:volume_tau} (odd case)} \\ & = \frac{2 \cdot 2^{n-1} (\tau^{(n-1)/2}/2^{n-1})\,r^n}{n!!} & & \text{Multiply and divide by $2^{n-1}$} \\ & = \frac{2^n (\tau^{(n-1)/2}/(2^2)^{(n-1)/2})\,r^n}{n!!} & & \text{Unify exponent} \\ & = 2^n\,\frac{(\tau/2^2)^{(n-1)/2}}{n!!}\,r^n. & & \text{$a^c/b^c = (a/b)^c$} \end{align*}

Note that the extra factor of \( 2 \) in the odd case was exactly what we needed to get a power of the same constant as in the even case, namely, \( \tau/2^2 \). Thus, we see that \( \tau/2^2 \) plays a central role in the formula for the volume of an \( n \)-ball, and indeed it is special: as noted above, it is precisely the measure of the angle between any two axes in \( n \)-dimensional space—that is, it’s the measure of a right angle. For convenience, let’s call this quantity \( \lambda \) (lambda), chosen because the Greek letter itself looks a little like a right angle:

\begin{equation} \label{eq:lambda} \lambda = \frac{\tau}{2^2} = \frac{\tau}{4}. \qquad \text{measure of a right angle} \end{equation}

Substituting \( \lambda \) for \( \tau/2^2 \) in the volume formulas then gives

\begin{equation} \label{eq:volume_lambda_parity} V_n(r) = \begin{cases} \displaystyle 2^n\,\frac{\lambda^{n/2}}{n!!}\,r^n & \text{$n$ even}; \\ \\ \displaystyle 2^n\,\frac{\lambda^{(n-1)/2}}{n!!}\,r^n & \text{$n$ odd}. \end{cases} \end{equation}

Finally, note that, as \( n \) increases, the exponents on \( \lambda \) increase with period \( 2 \):19 \( \lambda, \lambda, \lambda^2, \lambda^2, \lambda^3, \lambda^3, \ldots \) If you’ve ever played around with the floor function, you might recognize this pattern: it’s just the floor of the half integers \( n/2 \) for \( n \geq 2 \). We can see this by noting that the floor of \( x \), written \( \floor{x} \), is simply the largest integer less than or equal to \( x \), which for positive numbers is equivalent to chopping off the fractional part (so that, e.g., \( \floor{3.7} = \floor{3.2} = 3 \)). The floor of half integers for \( n = 2, 3, \ldots \) then appears as follows:

\[ \floor{\frac{2}{2}} = 1, \quad \floor{\frac{3}{2}} = 1, \quad \floor{\frac{4}{2}} = 2, \quad \floor{\frac{5}{2}} = 2, \quad \floor{\frac{6}{2}} = 3, \quad \floor{\frac{7}{2}} = 3, \ldots \]

We see that this is exactly the same pattern as in the powers of \( \lambda \). In general, for positive integer \( k \) we have

\[ \floor{\frac{n}{2}} = \floor{\frac{2k}{2}} = \floor{k} = k = \frac{n}{2} \qquad \text{$n$ even} \]

and

\[ \floor{\frac{n}{2}} = \floor{\frac{2k + 1}{2}} = \floor{\frac{2k}{2} + \frac{1}{2}} = \floor{k} = k = \frac{n - 1}{2} \qquad \text{$n$ odd}. \]

In other words, we have

\[ \floor{\frac{n}{2}} = \begin{cases} \displaystyle \frac{n}{2} & \text{$n$ even}; \\ \\ \displaystyle \frac{n-1}{2} & \text{$n$ odd}, \end{cases} \]

which precisely matches the exponents in the even and odd cases of Eq. (30). This means that we can rewrite Eq. (30) as

\begin{equation} \label{eq:volume_identical_cases} V_n(r) = \begin{cases} \displaystyle 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{n!!}\,r^n & \text{$n$ even}; \\ \\ \displaystyle 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{n!!}\,r^n & \text{$n$ odd}. \end{cases} \end{equation}

At this point, we see that something astonishing has happened: the expressions in the even and odd cases of Eq. (31) are now identical! In the process of expressing the volume in terms of the \( 2^n \) congruent pieces of an \( n \)-ball, the double-factorial function \( n!! \), and the floor function \( \floor{n/2} \), we have completely eliminated the explicit dependence on parity. This means that we can write the volume of an \( n \)-dimensional ball as

\begin{equation} \label{eq:volume_lambda} V_n(r) = 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{n!!}\,r^n, \end{equation}

without breaking it into explicit even and odd cases.20 The corresponding surface-area formula then follows by differentiating Eq. (32) with respect to \( r \) and applying the relation \( n!! = n (n-2)!! \):

\begin{equation} \label{eq:surface_area_lambda} A_{n-1}(r) = 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{(n-2)!!}\,r^{n-1}. \end{equation}

The formula Eq. (32) is the product of three terms, two of which are conceptually quite simple. We saw in Eq. (28) that the factor of \( 2^n \) is the result of the number of congruent pieces into which an \( n \)-ball naturally divides. The factor of \( r^n \), meanwhile, is required by dimensional analysis: the volume should have units of \( (\text{length})^n \), and the only length scale in the system is the radius. Based purely on these considerations, we could infer that the volume of an \( n \)-ball must have the form

\[ V_n(r) = 2^n\,f(n)\,r^n, \]

where \( f(n) \) is a pure number that is some function of \( n \). The analysis above shows that this function is \( f(n) = \lambda^{\floor{n/2}}/n!! \), yielding Eq. (32).

Considering the case of a unit \( n \)-ball by setting \( r = 1 \), we get

\[ V_n(1) = 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{n!!}. \]

Thus, we see that \( \lambda^{\floor{n/2}}/n!! \) can be interpreted geometrically as the volume of the first congruent piece of a unit \( n \)-ball (e.g., the first quadrant, octant, etc.). Multiplying \( \lambda^{\floor{n/2}}/n!! \) by \( 2^n \) gives the volume of the full unit \( n \)-ball; multiplying again by \( r^n \) gives the volume for general radius \( r \). Similar considerations apply to Eq. (33), with the first congruent piece of a unit \( (n-1) \)-sphere having surface area \( \lambda^{\floor{n/2}}/(n-2)!! \). Multiplying by the same factor of \( 2^n \) and the power of \( r \) required by dimensional analysis (i.e., \( r^{n-1} \)) then gives the general form.

To my knowledge, Eq. (32) and Eq. (33) are the most compact expressions for the spherical volumes and surface areas in terms of elementary functions and fundamental constants. In the case of \( n = 2 \), they reduce to

\[ V_2 = 2^2\,\frac{\lambda^{\floor{\frac{2}{2}}}}{2!!}\,r^2 = \frac{1}{2} 2^2 \lambda r^2 = \frac{1}{2} \tau r^2 \]

and

\[ A_1 = 2^2\,\frac{\lambda^{\floor{\frac{2}{2}}}}{0!!}\,r = 2^2 \lambda r = \tau r, \]

where we have used the relation \( \tau = 2^2\,\lambda \). As required, these are simply the usual area (two-dimensional “volume”) and circumference (one-dimensional “surface area”) of a disk and circle, respectively.

5.2 Three families of constants

Equipped with the tools developed in Section 5.1, we’re now ready to get to the bottom of \( \pi \) and \( \tau \). To complete the excavation, we’ll use Eq. (33) and Eq. (32) to define two families of constants, and then use the definition of \( \pi \) (Eq. (1)) to define a third such family, thereby revealing exactly what is wrong with \( \pi \).

We saw in Section 5.1 that the most natural constant in the context of \( n \)-dimensional surface areas and volumes is \( \lambda \), the measure of a right angle, rather than \( \tau \). Where then does that leave us with respect to the latter? Why is \( \tau \) important? The answer is that \( \tau \) is by far the most important member of what we’ll refer to as “surface-area constants”.

We can define this family of constants, which we’ll call \( \tau_{n-1} \), by dividing Eq. (33) by \( r^{n-1} \), the power of \( r \) needed to yield a dimensionless constant for each value of \( n \):

\begin{equation} \label{eq:surface_area_constants} \tau_{n-1} \equiv \frac{A_{n-1}(r)}{r^{n-1}} = 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{(n-2)!!}. \end{equation}

Second, we’ll define a family of “volume constants” \( v_n \) by dividing the volume formula Eq. (32) by \( r^n \), again yielding a dimensionless constant for each value of \( n \):

\begin{equation} \label{eq:volume_constants} v_n \equiv \frac{V_n(r)}{r^n} = 2^n\,\frac{\lambda^{\floor{\frac{n}{2}}}}{n!!}. \end{equation}

With the two families of constants defined in Eq. (34) and Eq. (35), we can write the surface area and volume formulas (Eq. (33) and Eq. (32)) compactly as follows:

\begin{equation} \label{eq:surface_area_with_constants} A_{n-1}(r) = \tau_{n-1}\,r^{n-1} \end{equation}

and

\begin{equation} \label{eq:volume_with_constants} V_n(r) = v_n\,r^n. \end{equation}

Because of the relation \( V_n(r) = \int A_{n-1}(r)\,dr \), we have the simple relationship

\begin{equation} \label{eq:volume_in_terms_of_surface_area} v_n = \frac{\tau_{n-1}}{n}. \end{equation}

Thus, when discussing \( n \)-dimensional volumes, it is natural to use Eq. (38) to write the volume constants \( v_n \) in terms of the surface-area constants \( \tau_{n-1} \). Combining Eq. (38) with Eq. (37) gives

\[ V_n(r) = \frac{1}{n} \tau_{n-1} r^n, \]

which is the generalization of \( \frac{1}{2} \tau r^2 \) (Eq. (14)) to \( n \) dimensions.

Let us make some observations about these two families of constants. The family \( \tau_{n-1} \) has an important geometric meaning: by setting \( r=1 \) in Eq. (34), we see that each \( \tau_{n-1} \) is the surface area of a unit \( (n-1) \)-sphere, which is also the angle measure of a full \( (n-1) \)-sphere. In particular, by writing \( s_{n-1}(r) \) as the \( (n-1) \)-dimensional “arclength” equal to a fraction \( f \) of the full surface area \( A_{n-1}(r) \), we have the exact analogue of Eq. (5) in \( n \) dimensions:

\begin{equation} \label{eq:theta_n_dimensions} \theta_{n-1} \equiv \frac{s_{n-1}(r)}{r^{n-1}} = \frac{f A_{n-1}(r)}{r^{n-1}} = f\left(\frac{A_{n-1}(r)}{r^{n-1}}\right) = f\tau_{n-1}. \end{equation}

Here \( \theta_{n-1} \) is the \( n \)-dimensional generalization of radian angle measure (where as usual \( n \) refers to the dimensionality of the corresponding ball), and we see that \( \tau_{n-1} \) is the generalization of “one turn” to \( n \) dimensions. In the important special case \( n = 2 \), we have the \( 1 \)-sphere or circle constant \( \tau_{2-1} = \tau_1 = \tau \), leading to the diagram shown in Figure 10.

Meanwhile, the \( v_n \) are the volumes of unit \( n \)-balls. In particular, \( v_2 \) is the area of a unit disk:

\begin{equation} \label{eq:area_unit_disk} v_2 = \frac{\tau_1}{2} = \frac{\tau}{2}. \end{equation}

This shows that \( v_2 = \tau/2 = 3.14159\ldots \) does have an independent geometric significance. Note, however, that it has nothing to do with circumferences or diameters. In other words, \( \pi = C/D \) is not a member of the family \( v_n \).

So, to which family of constants does \( \pi \) naturally belong? Let’s rewrite Eq. (1) in terms more appropriate for generalization to higher dimensions:

\[ \pi = \frac{C}{D} = \frac{A_1}{D^{2-1}}. \]

We thus see that \( \pi \) is naturally associated with surface areas divided by the power of the diameter necessary to yield a dimensionless constant. This suggests introducing a third family of constants \( \pi_{n-1} \):

\begin{equation} \label{eq:diameter_constants} \pi_{n-1} \equiv \frac{A_{n-1}(r)}{D^{n-1}}. \end{equation}

We can express this in terms of the family \( \tau_{n-1} \) by substituting \( D = 2r \) in Eq. (41) and applying Eq. (34):

\[ \pi_{n-1} = \frac{A_{n-1}(r)}{D^{n-1}} = \frac{A_{n-1}(r)}{(2r)^{n-1}} = \frac{A_{n-1}(r)}{2^{n-1}r^{n-1}} = \frac{\tau_{n-1}}{2^{n-1}}. \]

We are now finally in a position to understand exactly what is wrong with \( \pi \). The principal geometric significance of \( 3.14159\ldots \) is that it is the area of a unit disk. But this number comes from evaluating \( v_n = \tau_{n-1}/n \) when \( n=2 \):

\[ v_2 = \frac{\tau_1}{2} = \frac{\tau}{2}. \]

It’s true that this happens to equal \( \pi_1 \):

\[ \pi_1 = \pi = \frac{\tau_1}{2^{2-1}} = \frac{\tau}{2}. \]

But this equality is a coincidence: it occurs only because \( 2^{n-1} \) happens to equal \( n \) when \( n=2 \) (that is, \( 2^{2-1} = 2 \)). In all higher dimensions, \( n \) and \( 2^{n-1} \) are distinct. In other words, the geometric significance of \( \pi \) is the result of a mathematical pun.

6 Conclusion

Over the years, I have heard many arguments against the wrongness of \( \pi \) and against the rightness of \( \tau \), so before concluding our discussion allow me to answer some of the most frequently asked questions.

6.1 Frequently Asked Questions

  • Are you serious? Of course. I mean, I’m having fun with this, and the tone is occasionally lighthearted, but there is a serious purpose. Setting the circle constant equal to the circumference over the diameter is an awkward and confusing convention. Although I would love to see mathematicians change their ways, I’m not particularly worried about them; they can take care of themselves. It is the neophytes I am most worried about, for they take the brunt of the damage: as noted in Section 2.1, \( \pi \) is a pedagogical disaster. Try explaining to a twelve-year-old (or to a thirty-year-old) why the angle measure for an eighth of a circle—one slice of pizza—is \( \pi/8 \). Wait, I meant \( \pi/4 \). See what I mean? It’s madness—sheer, unadulterated madness.

  • How can we switch from \( \pi \) to \( \tau \)? The next time you write something that uses the circle constant, simply say “For convenience, we set \( \tau = 2\pi \)”, and then proceed as usual. (Of course, this might just prompt the question, “Why would you want to do that?”, and I admit it would be nice to have a place to point them to. If only someone would write, say, a manifesto on the subject…) The way to get people to start using \( \tau \) is to start using it yourself.

  • Isn’t it too late to switch? Wouldn’t all the textbooks and math papers need to be rewritten? No on both counts. It is true that some conventions, though unfortunate, are effectively irreversible. For example, Benjamin Franklin’s choice for the signs of electric charges leads to the most familiar example of electric current (namely, free electrons in metals) being positive when the charge carriers are negative, and vice versa—thereby cursing beginning physics students with confusing negative signs ever since.21 To change this convention would require rewriting all the textbooks (and burning the old ones) since it is impossible to tell at a glance which convention is being used. In contrast, while redefining \( \pi \) is effectively impossible, we can switch from \( \pi \) to \( \tau \) on the fly by using the conversion

    \[ \pi \leftrightarrow \textstyle{\frac{1}{2}}\tau. \]

    It’s purely a matter of mechanical substitution, completely robust and indeed fully reversible. The switch from \( \pi \) to \( \tau \) can therefore happen incrementally; unlike a redefinition, it need not happen all at once.

  • Won’t using \( \tau \) confuse people, especially students? If you are smart enough to understand radian angle measure, you are smart enough to understand \( \tau \)—and why \( \tau \) is actually less confusing than \( \pi \). Also, there is nothing intrinsically confusing about saying “Let \( \tau = 2\pi \)”; understood narrowly, it’s just a simple substitution. Finally, we can embrace the situation as a teaching opportunity: the idea that \( \pi \) might be wrong is interesting, and students can engage with the material by converting the equations in their textbooks from \( \pi \) to \( \tau \) to see for themselves which choice is better.

  • Does any of this really matter? Of course it matters. The circle constant is important. People care enough about it to write entire books on the subject, to celebrate it on a particular day each year, and to memorize tens of thousands of its digits. I care enough to write a whole manifesto, and you care enough to read it. It’s precisely because it does matter that it’s hard to admit that the present convention is wrong. Since the circle constant is important, it’s important to get it right, and we have seen in this manifesto that the right number is \( \tau \). Although \( \pi \) is of great historical importance, the mathematical significance of \( \pi \) is that it is one-half \( \tau \).

  • Why did anyone ever use \( \pi \) in the first place? The origins of \( \pi \)-the-number are probably lost in the mists of time. I suspect that the convention of using \( C/D \) instead of \( C/r \) arose simply because it is easier to measure the diameter of a circular object than it is to measure its radius. But that doesn’t make it good mathematics, and I’m surprised that Archimedes, who famously approximated the circle constant, didn’t realize that \( C/r \) is the more fundamental number. As notation, \( \pi \) was popularized around 300 years ago by Leonhard Euler, based on the work of William Jones. For example, in his hugely influential two-volume work Introductio in analysin infinitorum, Euler uses \( \pi \) to denote the semicircumference (half-circumference) of a unit circle or the measure of a \( 180^\circ \) arc.22 Unfortunately, Euler doesn’t explain why he introduces this factor of \( 1/2 \), though it may be related to the occasional importance of the semiperimeter of a polygon. In any case, he immediately notes that sine and cosine have periodicity \( 2\pi \), so he was certainly in a position to see that he was measuring angles in terms of twice the period of the circle functions, making his choice all the more perplexing. He almost got it right, though: somewhat incredibly, Euler actually used the symbol \( \pi \) to mean both \( 3.14\ldots \) and \( 6.28\ldots \) at different times!23 What a shame that he didn’t standardize on the more convenient convention.

  • What is the strongest argument in favor of \( \pi \)?

    The strongest argument in favor of the number \( 3.14\ldots \) is that it is the area of a unit disk, though we saw in Section 5.2 that the equality between this constant and the number \( C/D \) is a coincidence. As for \( \pi \) proper, thinking in terms of \( C/D \) can be convenient in certain applications, such as water pipes or agricultural fields, where the diameter plays an especially important role.

  • What is the strongest argument against \( \tau \)?

    Based on Eq. (32) and Eq. (33), one might reasonably argue that \( \lambda \)—which we could call the hypersphere constant—is the more fundamental number. On the other hand, the choice \( n = 2 \) (\( 1 \)-spheres and \( 2 \)-balls, i.e., “circles” broadly defined) is by far the most important special case, with \( n = 3 \) (\( 2 \)-spheres and \( 3 \)-balls) running a distant second, and the importance of higher-dimensional hyperspheres being negligible by comparison. It thus makes sense to standardize on \( \tau \) even if the general case is arguably more natural in terms of \( \lambda \). Indeed, the vast majority of the time that \( \lambda \) enters mathematical expressions, it is via \( 2^2 \lambda = \tau \), so using \( \lambda \) in all cases would introduce factors of \( 2^2 = 4 \) everywhere, just as using \( \pi \) introduces factors of \( 2 \).

    In any case, with respect to the circle constant that is the subject of this manifesto, \( \pi \) is clearly a lost cause, and \( \lambda \) applies to more naturally to general hyperspheres, so \( \tau \) undoubtedly deserves the name. As the legendary mathematician John Conway once observed: “\( 2\pi \) is obviously the correct constant!”

  • Why does this subject interest you? First, as a truth-seeker I care about correctness of explanation. Second, as a teacher I care about clarity of exposition. Third, as a hacker I love a nice hack. Fourth, as a student of history and of human nature I find it fascinating that the absurdity of \( \pi \) was lying in plain sight for centuries before anyone seemed to notice. Moreover, many of the people who missed the true circle constant are among the most rational and intelligent people ever to live. What else might be staring us in the face, just waiting for us to discover it?

  • Are you like a crazy person? That’s really none of your business, but no. Like everyone, I do have my idiosyncrasies, but I am to all external appearances normal in practically every way. You would never guess from meeting me that, far from being an ordinary citizen, I am in fact a notorious mathematical propagandist.

  • But what about puns? We come now to the final objection. I know, I know, “\( \pi \) in the sky” is so very clever. And yet, \( \tau \) itself is pregnant with possibilities. \( \tau \)ism tells us: it is not \( \tau \) that is a piece of \( \pi \), but \( \pi \) that is a piece of \( \tau \)—one-half \( \tau \), to be exact. The identity \( e^{i\tau} = 1 \) says: “Be one with the \( \tau \). And though the observation that “A rotation by one turn is 1” may sound like a \( \tau \)-tology, it is the true nature of the \( \tau \). As we contemplate this nature to seek the way of the \( \tau \), we must remember that \( \tau \)ism is based on reason, not on faith: \( \tau \)ists are never \( \pi \)ous.

6.2 Embrace the tau

We have seen in The Tau Manifesto that the natural choice for the circle constant is the ratio of a circle’s circumference not to its diameter, but to its radius. This number needs a name, and I hope you will join me in calling it \( \tau \):

\[ \begin{split} \mbox{circle constant} = \tau & \equiv \frac{C}{r} \\ & = 6.283185307179586\ldots \end{split} \]

The usage is natural, the motivation is clear, and the implications are profound. Plus, it comes with a really cool diagram (Figure 16). We see in Figure 16 a movement through yang (“light, white, moving up”) to \( \tau/2 \) and a return through yin (“dark, black, moving down”) back to \( \tau \).24 Using \( \pi \) instead of \( \tau \) is like having yang without yin.

images/figures/tauism_rotated
Figure 16: Followers of \( \tau \)ism seek the way of the \( \tau \).

6.28 Tau Day

The Tau Manifesto first launched on Tau Day: June 28 (6/28), 2010. Tau Day is a time to celebrate and rejoice in all things mathematical.25 If you would like to receive updates about \( \tau \), including notifications about possible future Tau Day events, as well as posts on mathematics and related subjects, please join the Tau Manifesto mailing list. And if you think that the circular baked goods on Pi Day are tasty, just wait—Tau Day has twice as much pi(e)!

6.283 Acknowledgments

I’d first like to thank Bob Palais for writing “\( \pi \) Is Wrong!”. I don’t remember how deep my suspicions about \( \pi \) ran before I encountered that article, but “\( \pi \) Is Wrong!” definitely opened my eyes, and every section of The Tau Manifesto owes it a debt of gratitude. I’d also like to thank Bob for his helpful comments on this manifesto, and especially for being such a good sport about it.

I’ve been thinking about The Tau Manifesto for a while now, and many of the ideas presented here were developed through conversations with my friend Sumit Daftuar. Sumit served as a sounding board and occasional Devil’s advocate, and his insight as a teacher and as a mathematician influenced my thinking in many ways.

I have also received encouragement and helpful feedback from several readers. I’d like to thank Vi Hart and Michael Blake for their amazing \( \tau \)-inspired videos, as well as Don “Blue” McConnell and Skona Brittain for helping make \( \tau \) part of geek culture (through the time-in-\( \tau \) iPhone app and the tau clock, respectively). The pleasing interpretation of the yin-yang symbol used in The Tau Manifesto is due to a suggestion by Peter Harremoës, who (as noted above) has the rare distinction of having independently proposed using \( \tau \) for the circle constant. Another pre–Tau Manifesto \( \tau \)ist, Joseph Lindenberg, has also been a staunch supporter, and his enthusiasm is much-appreciated.

I got several good suggestions from Christopher Olah, particularly regarding the geometric interpretation of Euler’s identity, and Section 2.3.2 on Eulerian identities was inspired by an excellent suggestion from Timothy “Patashu” Stiles. Don Blaheta anticipated and inspired some of the material on hyperspheres, and John Kodegadulo put it together in a particularly clear and entertaining way. Then Jeff Cornell suggested a wonderful refinement with the introduction of \( \lambda = \tau/4 \), and correspondence with Hjalmar Peters helped further stimulate my understanding of the subject.

I’d also like to acknowledge my appreciation for the volunteer translators who have made The Tau Manifesto available in so many different languages: Juan Guijarro Ferreiro (Spanish); Daniel Rosen and Alexis Drai (French); Andrea Laretto (Italian); Gustavo Chaves (Portuguese); Axel Scheithauer, Jonas Wagner, and Johannes Clemens Huber, with helpful notes from Caroline Steiblin (German); Aleksandr Alekseevich Adamov (Russian); and Daniel Li Qu (simplified Chinese).

Finally, I’d like to thank Wyatt Greene for his extraordinarily helpful feedback on a pre-launch draft of the manifesto; among other things, if you ever need someone to tell you that “pretty much all of the [now deleted] final section is total crap”, Wyatt is your man.

6.2831 About the author

Michael Hartl is a physicist and entrepreneur. He is the author of over a dozen books, including Learn Enough Python to Be Dangerous and the Ruby on Rails Tutorial, and was cofounder and principal author at Learn Enough (acquired 2022). Previously, Michael taught theoretical and computational physics at the California Institute of Technology (Caltech), where he received a Lifetime Achievement Award for Excellence in Teaching and served as Caltech’s editor for The Feynman Lectures on Physics. He is a graduate of Harvard College, has a Ph.D. in Physics from Caltech, and is an alumnus of the Y Combinator entrepreneur program.

Michael is ashamed to admit that he knows \( \pi \) to 50 decimal places—approximately 48 more than Matt Groening. To atone for this, he has memorized 52 decimal places of \( \tau \).

6.283185 Dedication

The Tau Manifesto is dedicated to Harry “Woody” Woodworth, my eighth-grade science teacher. Although I gratefully received support from many teachers over the years, Woody believed in my potential to an extraordinary, even irrational (dare I say transcendental?) degree—confidently predicting that “someday they’ll be teaching the ‘Hartl theory’ in schools.” Given how many teachers have reached out indicating their support for and teaching of the material in The Tau Manifesto, I suppose in a sense Woody’s prediction has now come true.

1. Palais, Robert.\( \pi \) Is Wrong!”, The Mathematical Intelligencer, Volume 23, Number 3, 2001, pp. 7–8. Many of the arguments in The Tau Manifesto are based on or are inspired by “\( \pi \) Is Wrong!”. It is available online at https://www.math.utah.edu/~palais/pi.html.
2. The symbol \( \equiv \) means “is defined as”.
3. Image retrieved from Wikimedia on 2019-03-12. Copyright © 2016 by Ruleroll and used unaltered under the terms of the Creative Commons Attribution-Share Alike 4.0 International license.
4. The video in Figure 5 (available at https://vimeo.com/12914981) is an excerpt from a lecture given by Dr. Sarah Greenwald, a professor of mathematics at Appalachian State University. Dr. Greenwald uses math references from The Simpsons and Futurama to engage her students’ interest and to help them get over their math anxiety. She is also the maintainer of the Futurama Math Page.
5. Here \( B_n \) is the \( n \)th Bernoulli number.
6. These graphs were produced with the help of Wolfram|Alpha.
7. Here we’re implicitly defining Euler’s identity to be the complex exponential of the circle constant, rather than defining it to be the complex exponential of any particular number. If we choose \( \tau \) as the circle constant, we obtain the identity shown. As we’ll see momentarily, this is not the traditional form of the identity, which of course involves \( \pi \), but the version with \( \tau \) is the most mathematically meaningful statement of the identity, so I believe it deserves the name.
8. Technically, all the integrals should be definite, and the variable of integration should be different from the upper limit (as in \( \int_0^t gt'\,dt' \), read as “the integral from zero to tee of gee tee prime dee tee prime”). These minor abuses of notation are common in physics and other less formal mathematical contexts such as we are considering here.
9. You may have seen this written as \( F = -kx \). In this case, \( F \) refers to the force exerted by the spring. By Newton’s third law, the external force discussed above is the negative of the spring force.
10. Thanks to Tau Manifesto reader Jim Porter for pointing out this interpretation.
11. Lindenberg has included both his original typewritten manuscript and a large number of other arguments at his site Tau Before It Was Cool.
12. Perhaps someday academic mathematicians will come to a consensus on a different symbol for the number \( 2\pi \); if that ever happens, I reserve the right to support their proposed notation. But they have had over 300 years to fix this \( \pi \) problem, so I wouldn’t hold my breath.
13. The only possible exception to this is the golden ratio, which is often denoted by \( \tau \) in Europe. But not only is there an existing common alternative to this notation—namely, the Greek letter \( \varphi \) (phi)—this usage shows that there is precedent for using \( \tau \) to denote a fundamental mathematical constant.
14. This alternative for torque is already in use; see, for example, Classical Mechanics (3rd edition) by Goldstein, Poole, and Safko, p. 2, and Introduction to Electrodynamics (4th edition) by David Griffiths, pp. 170–171.
15. See, for instance, An Introduction to Quantum Field Theory by Peskin and Schroeder, where \( \pi \) is used to denote both the circle constant and a “conjugate momentum” on the very same page (p. 282).
16. The original Pi Manifesto has been removed (perhaps my rebuttal was a bit too effective?), so the link is now to an archived version.
17. This choice of notation is fairly standard; e.g., as of this writing it is the convention used in the Wikipedia article on the volume of an \( n \)-ball.
18. Indeed, the generalization to complex-valued arguments is straightforward: just replace real \( x \) with complex \( z \) in Eq. (17).
19. For convenience, we omit the value \( n = 1 \) corresponding to a \( 1 \)-ball (line segment), though it’s worth noting that Eq. (30) works even in this degenerate case.
20. Thanks to tau correspondent Jeff Cornell for bringing this remarkable simplification to my attention.
21. The sign of the charge carriers couldn’t be determined with the technology of Franklin’s time, so this isn’t his fault. It’s just bad luck.
22.pro quo numero, brevitatis ergo, scribam \( \pi \), ita ut sit \( \pi \) = Semicircumferentiae Circuli, cujus Radius = 1, seu \( \pi \) erit longitudo Arcus 180 graduum. “…for which number, because of brevity, I may write \( \pi \), so that \( \pi \) may be the equal of the semicircumference of a circle, whose radius equals 1, or \( \pi \) will be the length of an arc of 180 degrees.” Euler, Leonhard, Introductio in analysin infinitorum (1748), Volume 1, Chapter VIII, p. 93. https://scholarlycommons.pacific.edu/euler-works/101. Both definitions are equivalent to \( C/D \) since \( D = 2 \) when \( r = 1 \) and \( 180^\circ \) is \( \tfrac{1}{2}\,C/r \).
23. For instance, in his 1727 Essay Explaining the Properties of Air, Euler writes: “Sumatur pro ratione radii ad peripheriem, \( \mathrm{I} : \pi \)”, “It is taken for the ratio of the radius to the periphery [circumference], \( 1 : \pi \)…”
24. The interpretations of yin and yang quoted here are from Zen Yoga: A Path to Enlightenment through Breathing, Movement and Meditation by Aaron Hoopes.
25. Since 6 and 28 are the first two perfect numbers, 6/28 is actually a perfect day.