## On Wronski’s Definition of π

Joseph Nebus has recently written a couple of posts (here and here) in which he discusses an interesting attempt by Józef Maria Hoëne-Wronski to create a purely numerical definition of the mathematical constant π which is independent of the classical, geometric definition of “the ratio of the circumference of a circle to its diameter.” This has been a goal of many mathematicians, since the idea of π seems like it is more fundamental to mathematics than a definition based on circles would make it seem– as evidenced by the fact that it shows up in areas of mathematics which are seemingly unrelated to circles. Wronski’s idea, to this end, was the following formula:

At first glance, the formula seems inherently nonsensical. After all, is not a number, and therefore cannot be utilized in numerical operations in this way. However, one can get a sense of what Wronski may have *intended* by this equation. It appears that Wronski wanted to utilize to represent an infinite number, and modern mathematics actually gives us several tools for handling this sort of idea. One which might be of particular use, here, is Non-Standard Analysis with its infinite and infinitesimal Hyperreal numbers. In NSA, we have the ability to perform calculations with and upon infinite numbers perfectly consistently and reasonably.

First things first, let’s translate Wronski’s equation into a more modern form. Borrowing from the work Joseph Nebus already did in his second post on the subject, we can replace all the ‘s in the equation with ‘s, instead, in order to get:

Now, we can use our tools from NSA to find suitable substitutes for in the above equation. One immediate problem which a mathematician might notice is that replacing the three symbols with positive, infinite Hyperreal numbers , , and will lead to different solutions for the equation when one uses different values for , , and .

However, Wronski died well before Georg Cantor‘s brilliant work showing that there are different sizes of infinite sets was even published, let alone accepted by mainstream mathematicians. As such, it is very reasonable to assume that Wronski believed his symbol was referring to a single, specific quantity, rather than a range of possible infinite quantities. So, let’s replace all symbols with a single positive, infinite Hyperreal number, . This gives us:

Starting with the expression within the braces, we can explore to find something which may be a bit easier to work with. This takes a little bit of work, but we can show that:

Let’s zoom in on our equation a little bit more, now. The expression is a Complex Hyperreal number which is infinitely close to the Real number, . As such, its reciprocal is also infinitely close to . Given this information, we know that the expression must simplify into some infinitesimal Complex Hyperreal number. Let’s call this number for Hyperreals and .

Similarly, we know that is a non-Complex Hyperreal number which is infinitely close to . Let’s call this number , where epsilon is some non-zero infinitesimal. Multiplying this by our earlier result yields . We can then take this expression and substitute it for the entire braced expression from our full equation:

This, in turn, can now be simplified to:

We’re still far from anything which clearly resembles the π which we all know and love, but now we are getting to a place where we can really start to see some of the implications of Wronski’s definition. Notably, either , or else NSA seems to show that Wronski’s π is not a Real number. As such, it seems like Wronski’s definition is a failure if — presumably, Wronski was not attempting to redefine π out of the set of Real numbers!

However, it seems quite dubious that it would be the case that . Looking back for a moment, we defined our as the Real part of the expression . Let’s break this down a bit further, now. The term is a Complex Hyperreal number which is infinitely close to the Real number, ; let’s call it , for infinitesimal Hyperreals and . I’ll spare my readers a few more convoluted formulae (feel free to work this out yourself!), but if and only if . However, it seems fairly clear that

One of the properties of for all Real is that it has a magnitude equal to 1. This means that for any Complex number such that and are Real and that , it will be true that . The Transfer Principle of the Hyperreals allows us to extend this statement over the Hyperreal numbers, as well. Since the Complex Hyperreal which we were concerned with is , we therefore know that . Since is non-Complex, we know that its square must be positive or zero. Similarly, must be positive and greater-than-or-equal-to 1. As such, the only way for to be true is in the case that .

For this to be the case, then . In order for this to be true, it must be the case that . However, this contradicts our initial definition for as a positive, infinite Hyperreal number.

Unfortunately, it seems that Wronski’s attempt to create a non-geometric definition for π simply does not work. That said, I’m still very curious about his thought process, here. What led him to this particular formulation, in the first place? Is it, perhaps, possible to salvage his work? Could there be some actual truth hidden underneath the apparent incoherence? It will certainly be fun to unravel this puzzle even further.

If you interpret N as a finite real number and then take the limit as N->infinity (the “safe” way to handle these things that we all learned in school)… you get 2pi. Close, but no cigar! Whether that corresponds in any way to Wronski’s reasoning, I don’t know…

(Unlike Nebus, I cheated by just throwing it at a CAS, namely Sagemath. It’s interesting to see that Sagemath doesn’t take it all the way to 2pi if you ask for the limit, but instead gives a complex logarithmic expression that you can simplify pretty easily by putting the 1+i and 1-i into polar form. If you instead just evaluate it numerically, you get something with a real part that looks like 2pi and a tiny imaginary part from rounding error. It’s amusingly reminiscent of what happens with the hyperreals.)