现充|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: sin⁡xx. Now, let n→∞. In this limit, A∞ equals the area of a unit circle, while the right-hand side approaches the limit of sin⁡xx as x→0, 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=cos⁡x+isin⁡x

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π∫0∞f(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)e−2πikxdx

Cauchy integral formula:

f(a)=12πi∮γf(z)z−adz

Roots of unity formula:

zn=1⇒z=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=1nxi2≤1). 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=τ⌊n2⌋n!!×((n%2)+1)Sn=τ⌊n2⌋(n−2)!!×((n%2)+1)

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

Vn=2nλ⌊n2⌋n!!Sn=2nλ⌊n2⌋(n−2)!!

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,n∈N+, we have:

VnVn−2=τnSnSn−2=τn−2

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=τnrn−1,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)Dn−1, which simplifies to:

πn=Sn(r)Dn−1=τnrn−1Dn−1=τn2n−1

Hence, the author argues that π=π2=τ22 is merely a coincidence, as 2n−1 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.