Matt’s post on the harmonic series has inspired me to share with you some nonsense due to Euler, leading to a beautiful non-proof of the following identity:
In my opinion, this is one of the few non-proofs that every mathematician should know.
An Infinite Product
Euler discovered the identity while thinking about polynomials. Recall that any polynomial can be expressed as either a sum or as a product:
Given the form on the left, you need only find the roots of the polynomial to obtain the form on the right.
Euler wondered whether this might work with the following “polynomial”:
The roots of this function are just , so perhaps there is an infinite product for sine of the form:
The tricky part is finding the constant . Usually is the coefficient of the highest-order term, but the power series for sine has no highest-order term. Indeed, since the coefficients of are approaching zero, there is a good argument that should be infinitesimal.
After a bit of thought, Euler spotted a solution to this problem. We know that:
But clearly:
so should be the reciprocal of the infinite product on the right. This leads to the following guess:
The amazing thing is that this product formula actually works! It’s called the Euler-Wallis formula for sine, Wallis presumably being the first to prove it rigorously. Today you can find it in complex analysis books as a corollary to the Weierstrass factorization theorem.
Consequences
A Product for Pi
The above formula has a whole range of applications. For example, watch what happens if you plug in :
Solving for gives a nice product formula (the Wallis product):
The Promised Non-Proof
Euler, however, was more interested in the relationship between the product and the Taylor series. Consider the equation:
Presumably the infinite product on the right should “multiply out” to give the infinite sum on the left. Equating the coefficients of gives the following remarkable equation:
Multiply through by to get .
More p-Series
It is possible to get even more information about -series this way. Equating the coefficients of gives the formula:
It follows that:
Using a similar method, one can derive correct formulas for for every even value of . Interestingly enough, very little is known about for odd values of . For example, it is conjectured that the sum is irrational for every odd value of , but this has only been proven for (see the Wikipedia articles on zeta constants and Apéry’s constant).
Is This Really Nonsense?
First of all, I should state for the record that all of the above formulas have been proven rigorously. (See this article for a fairly elementary approach.)
That’s not what I’m interested in.
About a year ago, I was browsing around on MathSciNet when I stumbled upon this review of a paper entitled “What is Nonstandard Analysis?” It had the most marvelous sentence:
As a particularly interesting example [the author] discusses Euler’s original proof for the product formula for the sinefunction in which Euler, as customary for the founders of the calculus, freely used expressions such as “infinitely large” and “infinitely close”. The author shows how Euler’s proof in a natural way can be made precise within the context of nonstandard analysis.
I briefly looked at the paper, but the description of nonstandard analysis seemed somewhat technical, so I filed it and went back to learning geometry.
Recently, however, I read and understood Terence Tao’s wonderful post on nonstandard analysis using ultrafilters. This has made me very excited about learning nonstandard analysis, for the following reasons:
1. It is supremely cool. (This has always been true. See above.)
2. It is related to ultrafilters and ultralimits. These things are good friends of mine, since they are useful for understanding the amenability of groups.
3. At the end of his post, he mentions a non-standard proof of Gromov’s theorem on groups of polynomial growth. Wow.
As soon as I have time, I’m hoping to go through both Luxemburg’s paper and the van den Dries and Wilkie paper, as well as any other cool but nonstandard papers that present themselves.
Of course, there are already an enormous number of subjects that I’d like to learn. I guess I’ll just have to add this to the list.
July 13, 2007 at 8:05 am |
Re NSA
Now if you could just persuade the mathematical (teaching) establishment that it is worthy of some attention……..
December 19, 2016 at 5:54 pm |
I used Keisler’s calculus text, along with a traditional advanced calculus text, to teach advanced calculus this semester. The students liked the course, and I introduced them to some of the more advanced topics in nonstandard analysis, in part because they asked, and in part because Keisler’s text is aimed at freshmen, and this class was comprised mainly of juniors and seniors.
July 13, 2007 at 9:24 am |
The book Euler: The Master of us All has a lot of examples of things like this which Euler did which turned out to be what one might call “rigorizable”. See my blurb about that book, which I’ve updated to include a link to this post.
July 13, 2007 at 11:16 am |
…Nonstandard analysis was already number 50 on the list.
July 13, 2007 at 1:15 pm |
Really? I thought I had left it off. In any case, it should be higher up.
I need to do something about that list becoming too long.
July 22, 2007 at 2:25 pm |
Glad to see W. A. Luxemburg linked to. He was my Math advsor at Caltech (1968-1973), and is still active there as Professor Emeritus.
December 19, 2016 at 5:56 pm |
That’s very cool. I met Professor Luxemburg in 1988 at a NSA conference in Northampton, Mass. I would like to visit with him again someday.
July 22, 2007 at 3:54 pm |
I am confused by something: if I look at the x^1 rather than the x^3 term in your expansion for sin x, I find that
1+1+1+…=1
But every reasonable way of regulating this divergent sum I know of (e.g. via analytic continuation of the zeta function) gives -1/2.
so why does the expansion of sin x give a non-standard regularization of this sum?
July 22, 2007 at 6:02 pm |
Check again. The expansion of the Euler-Wallis formula has only one x^1 term, and its coefficient is the product
1 x 1 x 1 x . . . = 1
July 23, 2007 at 9:59 am |
oops! you are right of course
July 23, 2007 at 10:38 am |
Some of the things you mentioned are not really non-proofs. For example you can really multiply the infinite products above and they converge locally unformely so the taylor expansions do multiply and you indeed get a holomorphic function whose only zeroes are , etc
July 24, 2007 at 4:08 pm |
Yes indeed. The main part of the proof that’s difficult to make rigorous using classical methods is the derivation of the infinite product for sin x. You can prove it using complex analysis, and I also hear that some complicated elementary treatments exist, but I’m curious whether non-standard analysis is capable of sweeping all of the details under the rug.
(Important philosophical principle: Details belong under rugs.)
On a worrisome note, I recently discovered the review for this paper, which seems to indicate that Luxemberg’s account may not be the whole story. From the review:
I haven’t yet read either paper, so I can’t speak to whether the criticism is justified.
August 2, 2007 at 12:43 pm |
[…] the fact (demonstrated nicely by Jim on this very blog) that . What do we […]
April 23, 2008 at 2:52 pm |
Don’t bother with Nonstandard Analysis (NSA); its just Limit theory in disguise. IMO the best version of analysis is Smooth Infinitesimal Analysis (SIA), which uses nilsquare infinitesimals and the concept of microstraightness. The best book on the subject is A Primer of Infinitesimal Analysis by J L Bell. SIA is better than NSA / Limit theory because:
1. In SIA differential calculus can be reduced to simple algebra.
2. SIA facilitates the use of microadditivity in physical derivations.
3. NSA / Limit theory leads to contradictions like the Banach-Tarski paradox
whereas SIA does not.
4. SIA does not employ the arbitrary ‘taking the standard part’ trick of NSA.
The logic of SIA is Intuitionistic or Constructive logic. It does not contain the Axiom of Choice or the general applicability of the law of excluded middle. These are required for Cardinal numbers, so you can’t believe in infinite and infinitesimal numbers at the same time (see The Foundation of Mathematics, Stewart and Tall).
February 20, 2009 at 10:46 pm |
“Euler’s nonsense” is an oxymoron, and ignorance is not
an argument:
Kanovei V.G.
Correctness of the Euler method of decomposing the sine function into an infinite product. (Russian)
Kanovei, V. G.
Uspekhi Mat. Nauk 43 (1988), no. 4(262), 57–81, 255; translation in Russian Math. Surveys 43 (1988), no. 4, 65–94, MathSciNet.
April 11, 2019 at 11:01 pm |
these must search profound specially in russian
April 26, 2019 at 2:02 pm
in first these of EULER results stated prof dr mircea orasanu and prof drd horia orasanu that followed so are found in GOURSAT BOOK with EDITOR GAUTHIER
May 12, 2009 at 11:24 pm |
“Wallis presumably being the first to prove it rigorously”
It’s good that you hedged your bets with the the word ‘presumably’. Wallis died before Euler was even born. What he did to have his name associated with the formula is to state the special case for .
September 16, 2010 at 8:24 am |
This is an excellent article posted on the subject of Euler’s Nonstandard Nonsense. If you have more articles about that so shared it and Thank you for sharing your information about that article.
Customized Term Papers
July 3, 2014 at 5:00 am |
This is really brilliant! Thanks for showing us that how Euler derive his infinite product representation of sine. Although I know this is not a rigorous proof, the step involving lim x –> 0 sin x / x = 1 really convinced me, because only this product will give the limit 1 and having the roots of 0, +-pi, +-2pi… at the same time. This help a lot since I don’t know Fourier series and complex analysis, one only need to know elementary calculus to understand this!
March 20, 2016 at 2:30 am |
Simple visualization animating the first 8 pairs of factors:
Red lines show the factors containing positive roots and blue lines show the factors containing negative roots as they are added. Dotted lines represent the factors accumulated from previous iterations. Light gray line represents the base factor f(x) = x.
Green line shows the approximant, notice the reasonable convergence in the interval [-pi, pi] as more factors are added.
http://gph.is/1RueuPT
March 20, 2016 at 2:34 am |
Small bug – you wrote “Presumably the infinite product on the right should “multiply out” to give the infinite sum on the left. ” but the equation is actually oriented the other way, with the factorized form on the LHS and the summation form on the RHS.
March 23, 2019 at 3:16 pm |
these appear in many paper of specially and prof dr mircea orasanu and prof drd horia orasanu admitted that these are as followed that permitted to calculus of many trigonometric values and more for trigonometric functions and also in case became a whole new subject of research concerning the mathematics of the infinite (e.g., an endless series, as 1, 2, 3,…, and even more complicated sets), and his theory was heavily dependent on the device of the one-to-one correspondence. In thus developing new ways of asking questions concerning continuity and infinity, Cantor quickly became controversial.
March 29, 2022 at 2:26 pm |
[…] Weierstrass factorization of sin (You can find Euler’s semi standard proof of this here) : […]