An Algebraic approach to determining cos(2pi/5)

The identity

\cos \left ( \cfrac{2\pi}{5}\right ) = \cfrac{1}{4}(\sqrt{5}-1)

can be determined most directly by studying the pentagram and arriving at the value by observing certain similarity relations between different lengths within the pentagram. That approach however requires many preliminaries in geometry and specific knowledge about pentagrams, which is great if you already know them, but which makes it cumbersome if all you want is to dispel some doubts as to whether its true. I’d therefore would like to lay out an alternate approach which requires only fairly rudimentary knowledge about polynomials and complex numbers, though still quite a lot. Okay. Let’s make the Faustian bargain.

The approach here is to solve the equation

z^5 - 1 = 0

since this equation has five roots of the form \alpha_ k= \cos(2\pi k / 5) +  i\sin(2\pi k / 5) so \cos(2\pi / 5) will be the real part of one of the solutions.

To solve the equation we first factor out z - 1 using either polynomial division or the generalized conjugate rule.

z^5 - 1 = (z - 1)(z^4 + z^3 + z^2 + z + 1)

Plan: To find the real part of the roots \alpha of the equation z^4 + z^3 + z^2 + z + 1 = 0

Firstly let us remark:

The equation z^4 + z^3 + z^2 + z + 1 = 0 has no real solutions and since the polynomial has real coefficients the 4 non-real solutions come in conjugate pairs.

Now the conjugate pair part is important since this means that if \alpha is a root then so is \bar{\alpha} and the polynomial  z^4 + z^3 + z^2 + z + 1 must contain the factor

(z - \alpha)(z - \bar{\alpha}) = z^2 - (\alpha + \bar{\alpha})z + |\alpha|^2

Since the roots \alpha all lie on the unit circle we have |\alpha|= 1 and further we note that \alpha + \bar{\alpha} is twice the real part of \alpha which is precisely the quantity we want to determine. So what we really need to find is the coefficient a  and b in the factorization

z^4 + z^3 + z^2 + z + 1 = (z^2- az + 1)(z^2 - bz + 1) .

Computing the product we get

(z^2- az + 1)(z^2 - bz + 1) = z^4 - (a + b)z^3 + (2 + ab)z^2 - (a + b)z + 1

And then by comparing coefficients we get the system of equations

\begin{cases}a + b = -1 & \\ ab = -1\end{cases}

Oh look! It’s a good old sum-product system of equations which can be solved by solving the quadratic equation

x^2 - (a + b)x - ab = 0

x^2 + x - 1 = 0

which has the solutions

x = \cfrac{1}{2}(-1 \pm \sqrt{5})


\begin{cases}a =  \cfrac{1}{2}(\sqrt{5} - 1)& \\ b = -\cfrac{1}{2}(\sqrt{5} + 1) &\end{cases}

And finally

\cos(2\pi/5) = \cfrac{a}{2} = \cfrac{1}{4}(\sqrt{5} - 1)

since this is largest of the two roots.



Mathing the Goethe Barometer

Barometer_Goethe_01In my home when I grew up there used to hang a weird glass fixture above the stair leading to the basement. It was always half full with water but I never really paid it much attention. At some point I asked what it was for and got some cryptic answer from my mom that it was for predicting whether it would rain. Ignoring something which was obviously magic I never did figure out how it worked until much later learning about mercury  barometers in high school at least the principle became clear.

That thing which used to hang above the stairway was a so called Goethe Barometer. Now for a long time I had maintained an image in my mind that the bulbous shape of the device was mostly for aesthetic purposes or to store excess fluid to limit the effect of evaporation and while those are probably part of the reason they’re not the most interesting one.

In thinking about this design we should think of it as a variation of a U-shaped tube with one end capped. One can imagine calibrating the device by originally having the tube be open at both ends at which point the surface level in both columns are level, and this is retained when one end of the tube is capped so long as the enclosing process doesn’t compress the volume.. If the atmospheric pressure then decreases a difference in pressure between the trapped gas pocket at one end and the atmosphere  is established and the water level at the open is raised as it is pushed up by this difference in pressure. Pascals law tells us the difference in pressure between the trapped gas and the atmosphere is related to the height difference of the two levels according to

p' - p= \rho g h

Thus such a device can be used as a form of barometer. One of the problems though is that it’s difficult to extract absolute pressure information from the system. Ideally we’d like to be able to derive the pressure difference relative to the pressure when the barometer was closed but unfortunately the pressure in the trapped volume is not constant as a water level change can only occur if the volume of the enclosed gas changes which necessitates a change in it’s pressure .

Thus while qualitative information about whether the pressure is higher or lower than the pressure at sealing can be gathered, the relation isn’t straight forward.

What we’ll do now is to try to arrive at a formula relating the height difference in an ideal barometer and see if we can gather some insights as to why the Goethe barometer looks the way it does in the process. We’ll use this diagram for the principal quantities during calibration and after a pressure change.


We have two kinds of relations from which to mathematically extract the quantities., geometric and physical.

Geometric constrains. Under the condition that the liquid is in-compressible constrains exist relating the height changes.

A_1 h_1 = A_2 h_2 (The volume of the liquid is constant)

h = h_1 + h_2

Physical contraints We neglect temperature variations, capillary forces, vapor pressure and other presumably secondary phenomena and assume the principal physics are Pascals law and the pressure in the trapped gas being governed by the ideal gas law.

p_0 V_0  = p_1(V_0 + A_1 h_1) (Ideal gas law)

p_1 - p = \rho g h (Pascals law)

Solution: Out goal will be to relate exterior pressure, p to the height difference h. From the geometric constraints we get

h = h_1 + h_2 = \cfrac{A_2}{A_1}h_2 + h_2 = \left (1 + \cfrac{A_2}{A_1} \right )h_1

p_1 = p_0 \cfrac{V_0}{V_0 +  A_1 h_1} = \cfrac{p_0}{1 + \cfrac{A_1}{V_0}h_1}  = \cfrac{p_0}{1 + \cfrac{A_1}{V_0 \left (1 + \cfrac{A_2}{A_1}\right )}h}

p = \cfrac{p_0}{1 + \cfrac{A_1}{V_0 \left (1 + \cfrac{A_2}{A_1}\right )}h} - \rho g h

Now let us think about what characterizes the Goethe Barometer, the fact that the back containing the trapped gas is so much wider than the tubular part open to the air. Eyeballing it A_2 / A_1 < 0.02 so in the grand scheme of things it can be neglected which besides implying h \approx h_2 and h_1 \approx 0 also simplifies the expression

\boxed{p = \cfrac{p_0}{1 + \cfrac{A_1}{V_0}h} - \rho g h} \quad (A_2/A_1 \approx 0)

In effect one will have to include the volume of the trapped gas as A_1 / V_0 is the same order of magnitude as h in the real case with normal open air pressure variations, and this equation doesn’t simplify further. Also if the surface bordering the trapped gas changes in area as it moves vertically this equation fails and you need to compute directly using the volume changes instead of going via the areas.

One could imagine using a very very large V_0 in which case the trapped gas volume would remain close to original pressure.

p_2 = p_0 - \rho g h_2



Finally, since many classrooms often contain a genuine U-tube where the area of the two openings are the same I’ll write down the equation for that case

\boxed{p = \cfrac{p_0}{1 + \cfrac{h}{2h_0}} - \rho g h} \quad (A_2/A_1 = 1)

Okay, I think that’s all for now though the model could use some developement principally with respect to temperature corrections, both at equilibrium and changes induced by the work involved in compressing or expanding the gas.


The height and hypotenuse of a right triangle

So I’ve recently started a three semester teachers program at the Stockholm university in order to be formally certified to teach within the Swedish educational system. It’s mostly reading and informal cognition theory, becoming more aware of how students approach materials and how to critically analyse the sequencing and structure of instruction, what values to impart and all that good stuff.

In reading the material this week however I came across a pretty neat problem which I’d like to present some solutions for. So in Skott et al’s Matematik för lärare \delta Didaktik (Mathematics for teachers), page 270 we find a suggested seminar acticity which mentions the following (meta problem).

“A math book contains the following exercise: “Consider the right triangle with hypotenuse 8, and altitude relative to the hypotenuse 5. What is the area?” This exercise contains an error. Find it.”

So superficially this is about the concept of computing the area of a triangle using base(foot) and height(altitude)and the student will be reminded of the important idea that a triangle has more than one height depending on what is considered the base (or “foot”), but in actuality it about first reaching a conclusion about the hypothenuse and hypothenuse-height not being independent quantities but in fact connected by mathematical relations.

Since the reader might want to solve or engage with the problem themselves I’ve inserted the read-more breaker here to act as a loose spoiler-marker but the point here will be to investigate some different ways of presenting the solution.

Continue reading

On schemes for learning to solve quadratic equations

So I’ve recently been teaching the Math2c course at a swedish upper secodnary school and had some reasons to be thinking about quadratics because that’s like one third of the content of the course. Or well teaching is actually a bit charitable this time as the students at this particular school are among the most consistently diligent at self-study in the country that peppering them with instruction they’ve already read actually slows them down, but the role of instruction and individual work in learning mathematics at different levels is a discussion for another time.

So the model of teaching quadratics in most of the books I’ve seen typically runs something like this.

  1. You start out some preliminaries about factoring techniques like the patterns a^2 - b^2 = (a + b)(a - b) and a^2 + ba  = a(a + b)
  2. You learn to solve the simplest quadratic x^2 = a by essentially explaining the pattern x = \pm \sqrt{a}
  3. You state the zero-product property (ZPP), that ab = 0 implies a = 0 or b = 0, and solve some quadratics that have already been factored like (x + 2)(x - 5) = 0.
  4. You learn the factoring method for solving quadratics without a constant term x^2 + px = 0 by factoring x(x + p) = 0 and then applying the ZPP.
  5. You (might) learn how to complete the square
  6. You quickly use the method of completing the square to run though the proof of the pq-formula x = -\cfrac{p}{2} \pm \sqrt{\left ( \cfrac{p}{2} \right )^2 - q}. (This does not use the ZPP nor the conjugate rule)
  7. You spend a couple of hours drilling the aforementioned methods possibly.

Now functionally this route of progression definitely works for conveying how to solve these kinds of equations, but there are still some things I don’t quite like about it. First of all the methods reduce to three separate cases which superficially seem to have nothing to do with eachother

  1. x^2 = a \Rightarrow x = \pm a
  2. x^2 - bx = 0 \Rightarrow x(x - b) = 0 \Rightarrow x = 0\, \text{or} x = b
  3. x^2 + px + q = 0 \Rightarrow -\cfrac{p}{2} \pm \sqrt{\left ( \cfrac{p}{2} \right )^2 - q}

So whenever one solves a problem like this you first have to use identification of type, which is actually a lot harder to do than people who can already do it think it is. Also pedagogically the arrow of progression isn’t clear. Step 1 as presented has nothing to do with 2. The knowledge of step 3 is not used beyond step 4, and if the only use of completing the square initially is to prove the pq-formula the student will forget about this super important pattern and will have to relearn it at uni if ever.

I’ve thus been thinking if the scheme for learning how to work with quadratics might instead be replaced with:

  1. Preliminaries on factoring, difference of squares, square of sum, distributive property.
  2. Zero product rule and applying it to factored equations (x - 1)(x - 2) = 0 (This should be complemented by graphing)
  3. Solving x^2 - a = 0 by factoring with the difference of squares and applying the zero product rule. x^2 - 16 = (x + 4)(x - 4) and x^2 - 3 = x^2 - (\sqrt{3})^2 = (x + \sqrt{3})(x - \sqrt{3}) and sneaking in problems the type (x + 1)^2 - 4 = 0
  4. Solving x^2 - bx = 0 by factoring with the distributive property
  5. Learning to complete the square x^2 + px= (x + p/2)^2 - (p/2)^2
  6. Solving general quadratics by completing the square and then factoring with the conjugare rule
    x^2 - 4x + 3 = (x - 2)^2 - 4 + 3 = (x-2)^2 - 1 = (x - 2 +1)(x -2 - 1) = (x -1)(x - 3)
  7. Derive the pq-formula from the factoring. (Now this is admitedly a lot messier than the normal way with \pm)

Now there are many downsides to this scheme, for example step 3 being harder than the normal way on account of the normal way of applying operations to both sides is more analogous to solving linear equatons ax + b = 0 ,which is why it’s probably not used but it would be interesting to try it (or hear about if these is a book or school system) which approaches it this way. The final step 6, the method of factoring a general quadratic directly with the difference of squares is a technique which I find would be a useful addition to the scheme as I think it neatly exposes the connection between the three different forms in which you can write a quadratic expression in an algorithmic way instead of in a more formally logical way (invoking the general factor theorem).

Finally I’d just also like to summarize the method outlined in step 2 as a full algorithm because it more or less superceedes all of those messy “6-different ways, factoring by grouping methods” which I get when I google factoring.

Full algorithm for factoring a quadratic expression over the reals

  1. Rearrange all the terms so that you have expression = zero
  2. Complete the square of the expression (ignore if there is no linear term)
  3. Rewrite the constant term as a square (possibly by) a = (\sqrt{a})^2
  4. Apply the conjugate rule to the difference of two squares

x^2 -2x-15 = (x - 1)^2 - 1 - 15 = (x - 1)^2 - 16 = (x - 1)^2 - 4^2 = (x - 1 + 4)(x - 1 - 4) = (x + 3)(x - 5)

An application of continued fractions to composite electrical resistor design

I was teaching Ohms laws law and introductory circuit calculations bout two days ago at a Swedish gymnasium, a subject  which I’m about as adept as now as I was when I myself took the class 7 or so years ago. There are basically only two formulas one has to learn in that course and those are the two effective resistance formulas for resistors in series and resistors in paralell

R = R_1 + R_2 + ... + R_n, \qquad \cfrac{1}{R} = \cfrac{1}{R_1} + \cfrac{1}{R_2} + ... + \cfrac{1}{R_m}

Not sufficient to describe circuits with more complicated  typologies such as bridges like the Wheatstone bridge but sufficient for at least engaging in some basic design.

The problem which came to mind as I was reviewing the material was how one would set out to build a circuit element with a specified resistance from a given set of elements. Usually it’s the other way around. You get the component and  you compute the resistance but the inverse problem of getting a specified resistance and then designing the circuit from some pieces if of course a lot more interesting and as we shall see in this special case surprisingly straightforward.

Let us study this particular problem: “Given a set of resistors with resistance R how does one combine these to form an element with a specified fractional resistance \cfrac{p}{q}R“. If we want an integer multiple or integer fraction or a specific resistance then things are straightforward, just chain p together to get a resistance pR or put q in parallell to R/q and this is the smallest number of equal number of components you need. seriesnadparalellresistors.png

For fractional resistances of a more general form however there are clearly very different ways you can go about designing the circuit and there are different benefits to them

Solution one: Construct $latex $q$ chains with p resistors each and put those chains in parallel

mWastefulResistor1.pngThe chains have resistance p R and putting $latex $q$ of them in paralell reduces the total resistance by a qth to p R / q.

Solution two: Another is to first create p blocks of $latex $ resistors in paralell and then put those in series.paralellfirstthenseries.pngHowever both of these solution has the disadvantage that it requires  a total number of pq resistors to complete it which for most fractions becomes very impractical.

My question was therefore if there was a simple way to get a component with this resistance but which wouldn’t require quite so many resistors. Let us just start off by making clear that it is possible. These two components you see below both have the same resistance 2R/3


but the right one was built using only 3 resistors instead of 6 which is (if you count by means of manufacturing cost) is a more effective solution. And the process or computing the resistance of the latter composition betrays the coming idea

\cfrac{2}{3} = \cfrac{1}{1 + \frac{1}{2}}

(I will henceforth just set R = 1) Usually one would have used ^(-1)-notation for the parallell coupling but not doing that reveals the continued fraction expression associated with this construction.

The central idea can be laid out as follows inductively. If you want to design a component with resistance $p/q$ (where p/q is a reduced fraction such that p < q) perform euclidean division and rearrange it according to


\cfrac{p}{q} = \cfrac{p}{dp + r} = \cfrac{1}{d + \cfrac{r}{p}} = \cfrac{1}{\cfrac{1}{1/d} + \cfrac{1}{p/r}}

We now recognize the right hand side as the expression for the resistance of two resistor with resistance 1/d and p/r in parallel. The idea can diagrammaticaly be represented by


The 1/d resistor is constructed by putting d resistors in parallel and the p/r resistor is constructed by repeating the induction step.**

This can be streamlined by first computing the continued fraction of a fraction and then move backwards to form these construction steps . Take for example the continued fraction for 7/24

\cfrac{7}{24} = \cfrac{1}{3 + \cfrac{1}{2 + \cfrac{1}{3}}}= [0; 3,2,3]

which now contains a recipe for designing the composite resistor


Where the top 3-parallell component corresponds to [0;3,2,3], the 2-series at the bottom to [0;3,2,3], and the 3 in series at the bottom to [0;3,2,3].

Not all continued fractions will however have so small numbers in the expansion and especially when the numerator and denominator are fibonnacci numbers we’ll still end up with having to use a very large number of resistors.

What is kind of nice though is that irrational numbers which have a quickly convergent continued fraction can be approximated pretty accurately. \pi for example has a continued fraction [3;7,15,1,292,1,1,…] which means you can use the approximation \pi \approx [3;7,15,1] = [3;7,16] which using only 26 resistors gives 6 digits of pi which is pretty neat. A


I’ve got half a mind to build this circuit to see if it checks out but unfortunately cheap hobby resistors only have about 1% accuracy to them so you’d only really end up with 3 digits tops.

EDIT: Many of the diagrams in the original publications had errors in them which made them not agree with the text and which were corrected around one hour later.

Magnet assisted one way crank

This evening I took a trip by the Museum of Technology in Stockholm. Its somewhat recently undergone a redesign since last I was there maybe 7 years ago and I was interested in seeing how its turned out. General judgement is that it is now absolute heaven for families with small children with lots of novel contraptions and controller less video games while there is a little less on offer with respect to showcasing historical mechanism but still a fair trade.

I had gone primarily to get some stimulus and inspiration for mechanical configurations and mechanism which are simple enough to turn into elementary physics problems but which aren’t completely disjointed from applications. Like the hand crank wheel turning mechanism on a quaint car-like thing where the crank moves a rack back and forth which is linked to an elongated arm connected to the wheel joint.


The principal novelty however which I would like to point to a little was one I found in a machine that wasn’t even working. It was another crank mechanism where by turning a crank you set in motion a sequence of chains and gears which lifted some balls up to some slides of different curvature illustrating the principles of Brachistochrone problem. Everything about this machine was delightfully improvised which is why the electronics had broken down rendering the thing inoperable but what I want to talk about instead is a curious element in the crank mechanism.


It is admittedly hard to make out in this image but the odd parts were the two rubber elements which are in contact with eachither in the middle.

When the crank is pushed forward nothing of note happens. The whole axis, rubber parts and all, move together, turn the chains and everything works.

It is when you try to push the crank in the reverse direction that something novel happened. Since the machine isn’t supposed to be run in reverse reasonably there are two possible things that might happen, either there is a ratchet somewhere which prevent reverse motion entirely or you put in something similar to a freewheel that the crank becomes disengaged and you move it backwards with zero resistance.

Neither of those things happened here however. Now at first if you pulled it in the reverse there is a full stop, seemingly there is a rachet somewhere down the line, however if you try to turn the crank back harder the right rubber element somewhat dramatically begins to slip and you can turn back the crank almost freely.


This feels really really weird when this happens but also oddly familiar. A snapping you shouldn’t encounter in a purely mechanical system. The reason for how these rubber elements stuck together when the torque of the crank was low such as in the forward motion and the gentle reversed motion is that they weren’t sticking together by friction at all. There was pair of magnets embedded in the rubber keeping them together.


When the torque on these rubber elements becomes too high the magnets are pulled apart and the crank can move backward freely.


This was just so bafflingly weird this must have been an improvised fix to some problem they realized too late was present in the overall design. My guess is that the problem is that the ratchet preventing backwards motion of the system (not explicitly the crank) is located too far way from the crank somewhere down the line in a way that the reverse torque puts strain on something in the fixture, wood or plastic, which risks breaking if pulled back too hard. This is for children after all and if they can break it they will. The magnets guarantee that the torque on the axis has a manageable maximum at which the magnetic link snaps instead of something else in the machine..


Greatest common divisor of two consequetive triangle numbers

Currently thinking of simple problems which showcase how the Euclidean algorithm can be applied to deducing more theoretical results. It’s a largely abandoned algorithm in the Swedish primary and secondary educational systems and I suspect it’s mostly because it is a)hard to teach other than out of habit and b) the computational skill of students is too unreliable for them to work enough problems in a short enough time for it to be taugh within a few classes. (and c) it’s not as useful as other things like elementary geometry)

The problem which I’m going to review here was just inspired by the pretty well known result that two consecutive Fibonacci numbers are relatively prime where a proof by the Euclidean algorithm is delightfully elegant but once you’ve shown that one in an educational setting I only think it fair to have available some problems showcasing the same method and which are of equivalent difficulty.

Finding the greatest common divisor of two triangle numbers only superficially applies the Euclidean algorithm and its division into two cases makes it necessary to identify the two cases first.

The two distinctive cases are when the index of the largest of two consecutive triangle numbers is even and the other when it is odd. A triangle number being alternately defined by

T_{n} = 1 + 2 + 3 + ... + n = \cfrac{n(n + 1)}{2}\qquad \text{or} \qquad T_{n} = T_{n-1} + n.

Case 1. The larger one has an odd index. T_{2n}, T_{2n +1}. Applying the Euclidean algorithm we have

T_{2n + 1} = T_{2n} + 2n + 1

T_{2n} = 2n(2n + 1)/2 = n(2n + 1) + 0

After two steps we get that the greatest common divisor was 2n + 1 and we summarize

\boxed{\gcd(T_{2n}, T_{2n + 1}) = 2n + 1}

Case 2: The larger one has an even index. T_{2n-1}, T_{2n} Applying the Euclidean algorithm again we have

T_{2n} = T_{2n-1} + 2n

T_{2n-1} = (2n-1)2n/2 = (2n-1)n = (n - 1)2n + n

(n -1)2n = 2n + 0

and we have thus found that if the larger triangle number has an even index then the greatest common divisor is n.

\boxed{\gcd(T_{2n-1}, T_{2n}) = n}

Interesting way droplets hang on the tip of a needle

A nonmathematical post but nevertheless something I novel I noticed this evening and which made me think that I should probably investigate this a bit further.

I recently bought a cheap digital microscope and  have been randomly looking up close at things to verify some of my previous explanations for various phenomena. One being how small droplets of liquid produce pretty vivid dots when they lie on the surface of the screen of your phone. The basic physics is that the droplets forms a semispherical lense which magnifies the individual pixels of the screen making them partially visible even from afar as illustrated by this image of a ~1mm droplet on a Samsung Galaxy S3 screen.  0120-26.jpgand here slightly more magnified.0120-25.jpg

As I was applying the droplets however dipping various small thin things like needles I realized dropping the droplets from needles was no good because the droplet hangs on the tip of a needle in a rather curious way. 0120-8.jpg

Or rather it doesn’t hang from the tip at all. This is to be compared with how droplets would hang from things which arent sharp at the tip like a pencil lead0120-14.jpg

and sharpening the pencil lead at the tip with a knife the same effect is produced 0120-23.jpg

In a way this isn’t that strange given that one of the effects which retains the droplet is that the tip isn’t inside the droplet for if it was there would be no (discontinous) barrier towards decreasing the surface tension by simply sliding while with a blunt tip releasing to form a spherical droplet requires a discontinuous increase in surface area and I suppose the probability of it sticking at all would go down.

(Details on the formation of these droplets by the way is by means of dipping it pretty deep and have an originally even coating slide down and accumulate at the tip.)

Nevertheless I can’t quite make out the details of what the origin of the force that is fulling the droplet upwards is coming from, whether it is driven principally by surface tension or adhesion. Because it the needle is shaken a bit and the droplet pushed down a fraction of a millimeter it will climb back up.

The 7 Tetris block circumference problem

Fancified name in the title aside I was checking out some worksheets for geogebra yesterday and came across one which had predefined tetris block elements. I played around building different shapes, originally wondering if you could make a periodic pattern out of an even ditribution of tetris blocks but I eventually landed on a different question which will be the topic of this prost.

So you start with the 7 basic tetris blocks as featured in the image below.sevenbasictetrisSo these pieces you can stick together into chunks in an amazing number of ways and each new figure naturally has some circumference. Assuming all the pieces fit rogether in one chunk the maximal circumference such a figure can have is 56 (think about it) but the question quickly becomes: What is the least circumference such a composite piece can have?

Here are some of the initial trial and error solutions which I played around with

Tetriscompositesnominimalcircumferencebut there nevertheless is a packing with even smaller circumference and it is proving the existence and minimality of this packing that will be the theme of this post.

Continue reading

The connection between diameter and pi

So I was having the worst headache and lying in bed thinking about simple geometry problems waiting for the pain killer to kick in. One of the things I did was compute the perimeter/circumference of the Reuleaux triangle. Okay so that one’s parameter is composed of three sixths of a circle with radius twice the widthof the triangle so if the width of the triangle is D that’s O = 3 \cdot 2\pi D / 6 = \pi D. Similarly for all the other Reuleaux polygons the (n = 2k+1)-sided reuleaux polygon O = n \cdot 2\pi/(2n) D = \pi D. Huh… I thought. That’s kind of odd. All of these figures with constant widths have the same circumference formulas as the circle which of course has constant width called the diameter.

And looking up the wiki-article on shapes of constant widths and this is apparently a thing proven in 1860. All curves with constant width have a perimeters which is \pi times it’s width. and it’s called Barbier’s theorem.

I also get the feeling that this should be possible to be reworked into a pro-pi argument in the tau-vs-pi debate. Of course by the law of the equivalence between pi and tau implies it could be made into a pro-tau-argument as well but since I’ve never seen it come up in one of those debates I would like to see what happens when a tauist brings up that defining the circle constant via the diameter of a circle was a mistake since the radius is a more fundamental property and then have the piist counter that at least there is a whole class of objects with diameters and they all have perimeters which are \pi times the diameter : P