User:Waldyrious/Tau/Right angle
Some have suggested that pi/2 (tau/4) is the true circle constant.
The Pi Manifesto and Harremoes's "Al-Kashi’s constant τ" mention a proposal by Albert Eagle, quoted by Murray S. Klamkin and Charles W. McCutchen in this letter to The Mathematical Intelligencer:
“ | There are one or two other important innovations I have made which have nothing to do with elliptic functions and the first of which may cause an outcry at first; but its immense convenience must surely soon be realized. Most mathematicians must have often wished that there was a single symbol that could be written instead of or . When one thinks that for the elliptic functions we have the convenient symbols of and for the two quarter periods, it is really too absurd that for the circular functions, which are employed millions of times as often as the elliptic functions, we have no symbol for the quarter period at all, and have to express it as "half the half period."
It is natural that the practical man, measuring the diameter and the circumference of a cylinder, should want a symbol for the ratio of the two lengths. But a pure mathematician, noting that a diameter of a circle divides the circumference into two halves, would think it more reasonable to introduce a symbol for the ratio of half the circumference to the diameter. And he, perhaps rather surprisingly, would be showing better common sense about the matter than the practical man did! Seriously, who can want to have or printed instead of ? Or who won't much prefer to write than for the upper limit of a trig integral? Those who peruse the numerous formulae in my book will, I think, come to see that the finding of a single Greek letter to stand for was a necessity that was forced upon me. How immensely nicer books on Fourier's Theorem would look with it! |
” |
— Albert Eagle. Elliptic Functions as They Should Be. Galloway and Porter, Cambridge, 1958. |
The Tau Manifesto mentions an observation by Jeffrey Cornell:
“ | Tau Manifesto reader Jeff Cornell pointed out, to my utter astonishment, that the formulas [for surface area and volume of a hypersphere] can be simplified further using the measure of a right angle, which he called λ (lambda):
The biggest advantage of is that it completely unifies the even and odd cases, [...] eliminat[ing] the explicit dependence on parity. Applying this to the formulas for surface area and volume yields The simplification in these formulas appears to come at the cost of a factor of , but even this has a clear geometric meaning: a sphere in dimensions divides naturally into congruent pieces, corresponding to the families of solutions to (one for each choice of ). In two dimensions, these are the circular arcs in each of the four quadrants; in three dimensions, they are the sectors of the sphere in each octant; and so on in higher dimensions. What the formulas in terms of tell us is that we can exploit the symmetry of the sphere by calculating the surface area or volume of one piece—typically the principal part where for every —and then find the full value by multiplying by . This suggests that the fundamental constant uniting the geometry of n-spheres is the measure of a right angle. (I liken the difference between and to the difference between the electron charge and the charge on a down quark : the latter is the true quantum of charge, but using in place of would introduce inconvenient factors of 3 throughout physics and chemistry.) |
” |
— The Tau Manifesto, section 5: Getting to the bottom of pi and tau |
Harremoes's text also makes three additional observations (numbering and footnote mine):
“ | (1) Recently, David Butler has proposed to use the symbol to denote Eagle’s constant.[1] (2) In geometry the idea of using a right angle as unit dates back to Euclid. |
” |
— Peter Harremoës, Al-Kashi’s constant τ |
- ^ Butler's arguments are much less convincing than Jeff Cornell's above, however.
Conclusions: Overall, my take-away is that there might be a benefit to having a dedicated symbol for a quarter-turn (just like there there is one for a half-turn — ), but there's no convincing argument as to why it should take the place of as the primary circle constant.
Such a quarter-turn constant could be represented as the ∟ symbol (U+221F, ∟
) or one of its variants ⊾ (U+22BE, ⊾
) / ⦜ (U+299C, ⦜
), and such a choice would be quite intuitive and straightforward (and unlikely to be overloaded with unrelated meanings, like or ). Using ⦜, in particular, may help reinforce the notion that it is a right angle and not merely a rotated ∢ or ∡.
Another option could be repurposing Robert Palais' original three-legged pi, , which introduces a nice sequence of bisection between the circle constants (tau → tau/2 → tau/4, or 2*pi → pi → pi/2).
That said, it would be more intuitive to have the legs of the symbol directly represent how many parts the circle is divided into, so that the symbols themselves would resemble a fraction, with the denominator using a unary representation (aka tally marks). In this case, the symbol for the quarter-turn would need to have four legs:
(Of course, it would be typeset to look like an actual stand-alone symbol, instead of two pi's stuck together. For example, something similar to the "pfft" joke symbol shared by user plasmafrag on Tumblr on Tau Day 2023.)
Either way, this would be a nice way to keep Palai's legacy in popularizing the circle constant.