现充|junyu33

Happy Tau Day 2025

TL;DR of "The Tau Manifesto."

The original text defines τ=2π=6.283 to replace the current circle constant π and lists several reasons for doing so. In addition, I have also included one more reason.

Definition of a Circle

The definition of a circle is:

The set of all points in a plane that are at a fixed distance from a given point.

Here, the fixed distance is the radius r. Therefore, defining the mathematical constant π as Cr is more natural than defining it as Cd.

Trigonometry

In the radian system, a full circle is defined as 2π, 180° is defined as π, and a quarter circle is defined as π2, which is counterintuitive.

If we define τ=2π, then τn corresponds exactly to 1n of the circumference. At the same time, the periods of trigonometric functions such as sin, cos, sec, and csc become τ, which indeed appears more elegant.

Integration

We divide the circle into rings of various sizes and integrate from the inside out:

S=0rCrdr=τrdr=12τr2

In classical physics, formulas of the form 12variable2 frequently appear. For example (integration steps omitted):

The method for solving such "quadratic" formulas is related to integration. Therefore, if τ were used instead of π, you might have been able to derive the integral formula for the area of a circle on your own a few years earlier.

Interior and Exterior Angles of Regular Polygons

Although the sum of the interior angles of a regular polygon is always a multiple of π, the sum of the exterior angles is always τ (and the curvature integral of any simple closed loop also equals τ). Therefore, τ still holds a slight advantage.

Area Formula for Regular Polygons

Let An be the area of a regular n-gon with apothem 1. Then:

An=nsinπncosπn

But we can apply the double-angle identity:

An=n2sinτn

This formula clearly appears more concise than the previous one and, like the integral formula above, includes the constant 12. We continue simplifying:

=τ2sinτnτn

Here, you may notice a familiar pattern: sinxx. Now, let n. In this limit, A equals the area of a unit circle, while the right-hand side approaches the limit of sinxx as x0, which is 1. Therefore:

A=limnτ2sinτnτn=τ2

This is exactly the value of 12τr2 when r=1.

Euler's Formula

We know that the original form of Euler's formula is:

eix=cosx+isinx

If we let x=τ, then we have:

eiτ=1

This is more elegant than eiπ=1.

Other Important Formulas

There are many commonly used formulas, such as:

Polar coordinate integration formula:

02π0f(r,θ)rdrdθ

Normal distribution function:

f(x)=1σ2πe(xμ)22σ2

Fourier transform formulas:

f(x)=F(k)e2πikxdkF(k)=f(x)e2πikxdx

Cauchy integral formula:

f(a)=12πiγf(z)zadz

Roots of unity formula:

zn=1z=e2πi/n

All of these contain the constant 2π, which demonstrates that τ indeed has its value.

Surface Area and Volume of the n-Dimensional Unit Hypersphere

We define the n-dimensional unit hypersphere as the closed region bounded by the (hyper)surface:

i=1nxi2=1

The surface area is a measure of its boundary (i=1nxi2=1), while the volume is a measure of both its boundary and interior (i=1nxi21). Therefore:

The volume formula is:

Vn=πnΓ(1+n2)

The surface area formula is:

Sn=2πnΓ(n2)

Since the Gamma function itself is non-trivial, the original author believed this gives the formula a "false appearance of simplicity" (I have reservations about this view) and replaced it with a double factorial form, introducing an additional case analysis:

Vn=τn2n!!×((n%2)+1)Sn=τn2(n2)!!×((n%2)+1)

Although this case analysis can be offset by introducing a new constant λ=τ4 to form:

Vn=2nλn2n!!Sn=2nλn2(n2)!!

This, however, introduces an additional symbol λ, which seems to deviate from the theme of using τ to replace π. We will not discuss this further for now.

An interesting property is that for any n>2,nN+, we have:

VnVn2=τnSnSn2=τn2

This is a rather elegant conclusion—at least it appears simpler by a constant factor of 2 compared to the corresponding recurrence using π.

"Pi" in n-Dimensional Space

To demonstrate that π=τ2 is merely a coincidence, the original author attempted to generalize the concept of "pi" to n dimensions.

The generalization is straightforward: by removing the radius r=1 from Sn and Vn, they become two dimensionless constants, denoted as τn (the surface area constant family) and σn (the volume constant family).

Thus, we have:

Sn=τnrn1,Vn=σnrn

Recall the earlier integral formula for a circle:

Vn(r)=Sn(r)dr

Therefore:

σnrn=τnnrn

That is, σn=τnn. One can verify this equality using the earlier formula. Additionally, τn can be interpreted as a "hyper-angle measure" (referred to as "angle measure" in the original text, though its practical utility remains unclear).

Similarly, the author generalized π=CD to πn=Sn(r)Dn1, which simplifies to:

πn=Sn(r)Dn1=τnrn1Dn1=τn2n1

Hence, the author argues that π=π2=τ22 is merely a coincidence, as 2n1 equals 2 only when n=2.

τ^2 ≠ g

At a certain point in history, the value of π2 was numerically equal to the gravitational acceleration g. In 1668, John Wilkins proposed a definition of the meter: the length of a pendulum with a period of 2 seconds would be 1 meter. However, because the value of g varies across different regions of the Earth, this definition was eventually abandoned.

If τ had been popular back then instead of π, probably no one would be wondering today whether π2=g is a coincidence.