Talk:Basel problem

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated B-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
B Class
Mid Importance
 Field: Number theory (historical)

Headline text[edit]

I'm thinking of renaming this article "The Basel Problem" and adding a bunch of historical remarks and putting in broader context. I still think the proof can stay here, it would just be a part (about half) of the whole article. I don't think it would make it too long, and people not interested in the proof could just skip that section. I thought of having 2 articles, but it seemed redundant and just giving the proof without any remarks about the problem seemed strange. Revolver 15:31, 26 Feb 2004 (UTC)

I manually renamed this article Basel problem, (since the system wouldn't let me do this directly) so this article should be deleted. Revolver 20:28, 26 Feb 2004 (UTC)

Is it not worth keeping as a redirect? Angela. 02:18, Feb 29, 2004 (UTC)
Possibly...I find it hard to imagine someone linking to it, but it can't hurt. Revolver 02:41, 29 Feb 2004 (UTC)

That's a good idea...I forget simple things like, "why does this sum converge in the first place", assuming everyone has seen p-series in calculus, or something. There may be some other simple ways to approximate this that people used before Euler that might be interesting. Revolver 22:18, 3 Mar 2004 (UTC)

Overlooking the obvious?[edit]

It isn't clear to me from the article why this problem is called the Basel problem. Dataphile 19:49, Aug 22, 2004 (UTC)

Basel is the name of a town, somehow the town is related to the origin of the problem. I don't know exactly -- in math, so many things have so many names, math people often don't know why something's called what it is. Revolver 17:51, 24 Aug 2004 (UTC)


The Bernoulli family, which worked on the problem for a long time, were located in Basel. Johann Bernoulli taught Euler at the University of Basel.

Picture as proof[edit]

"First note that 0 < sin x < x < tan x. This can be seen by considering the following picture:"

It's definitely a cool picture. Can its owner change the 'theta' to an x? Do we need to point out that the angle is equal to the length of the circular arc AD?

I can 'see' that sin x < x, but I can only convince myself that x < tan x using calculus (e.g., the derivative of (tan x - x) is tan2x, which is > 0 for x in (0, pi/2), ...). Is that a failure of imagination on my part? Perhaps it's obvious that tan x grows faster than x.

Buster79

The area of the triangle OAE is tan(θ)/2. The area of the circle sector OAD is θ/2. The circle sector is contained within the triangle, so θ < tan(θ). Fredrik Johansson - talk - contribs 18:18, 24 January 2006 (UTC)

Thanks. I've added this to the article. Buster79 23:08, 2 September 2006 (UTC)

You can prove it easily by using Fourier transform[edit]

I will not go into details, but the proof starts with the function absolute value of x on the interval [-pi,+pi] You calculate the Fourier transform of the function. Later you can seperate the sum into odd and even numbers and find out that the sum equals pi^2/6.

The Riemann zeta formula can be approached by Parseval's theorem.

The point of the proof in this article is that it needs only elementary methods. There are several proofs of this problem (there is an article called "Six ways to sum a series" which gives 6 of them), but most of them require more advanced machinery.

Basel problem extended[edit]

The Basel problem can be extended to find the closed forms for every N. An approximate sequence can be found in the OEIS, A111510. Included is an expression of Pi where the odd and even terms of Triangular(n)define the differences. Would the contributers to the Basel problem pages care to comment and to suggest the best way to include this? Marc M. 20-6-06

Irrelevant topic[edit]

The last topic in the article on the Basel problem reads as follows:

"Use in the calculation of π: In 1881, Ernesto Cesaro showed that the probability of two integers being relatively prime equals 6 / π2, which is the reciprocal of ζ(2). By the above proof, Cesaro's theorem thus allows a value for π to be calculated from a large collection of random integers, by determining the proportion of them which are relatively prime."

I don't see how this uses the result of the Basel problem, ζ(2) = π2 / 6, at all; it just mentions it in passing. Likewise, the phrase "By the above proof" is unnecessary, since the application of Cesaro's theorem goes along just fine without using the above proof at all. Moreover, it's very misleading to say that π can be calculated by this method. If you pick 100 pairs of random numbers from 1 to 10, and every possible pair shows up once, you will "calculate" π ≈ 3.086. (There are 63 pairs that are relatively prime.) No matter how many pairs are selected, the result will be an algebraic number, and π is transcendental. I suggest the entire paragraph be removed from the article. Did I miss anything? Gwil 20:03, 27 September 2006 (UTC)

Fundamental Theorem of Algebra unnecessary[edit]

I object to the following:

If p(t) is a polynomial of degree m, then p has no more than m distinct roots. Proof: This is a consequence of the fundamental theorem of algebra.

The statement "If p(t) has degree m, then p has no more than m distinct roots" can be proven by elementary methods, whereas the FTA is much more difficult (it's usually proven with complex analysis). Specifically, the "no more than m distinct roots" theorem follows from the factor theorem ( (x - r)|p(x) if and only if p(r) = 0, a consequence of polynomial division), together with an induction argument to show that the product of (x - rj) over all the roots rj of p(x) divides p(x), and an application of the fact that degree(f * g) = degree(f) + degree(g) for nonzero polynomials f and g.

Moreover, the "no more than m distinct roots" theorem holds in the polynomial ring of any integral domain, whereas the FTA is a very special fact about the complex numbers.

I would recommend that the line "Proof: This is a consequence of the fundamental theorem of algebra." be replaced by an outline of the actual proof from the factor theorem. --Gene496 08:35, 27 July 2007 (UTC)

While Euler is credited with the solution, i.e., an exact answer, is pi^2/6 an exact number? pi itself is the sum of an infinite series as is the original Basel series! SEIBasaurus 70.118.127.94 17:41, 7 August 2007 (UTC)

What you need to know[edit]

Just a comment on the "What you need to know" sub-section... love this, extremely helpful, should be present in more articles! Error792 03:20, 6 August 2007 (UTC)

Coprime?[edit]

Would it be worthwhile to add a wikilink to coprime, regarding the application of ζ(2) in evaluating the probability that two randomly chosen numbers are coprime? I just added a wikilink in the other direction, from that article to here. —David Eppstein (talk) 22:11, 15 December 2007 (UTC)

Long proof[edit]

This article has bothered me for a long time. I have looked for elementary proofs that were also simple, but found none. Perhaps it is not surprising that it took Euler quite a while to figure it out.

I like the elementary proof precisely because it is elementary. However, I think it is also very complicated and in most cases will not be interesting to the reader. On the one hand, I think it is too lengthy to be readable by most laypersons. On the other hand, I would think that almost anyone who is familiar with Fourier series would prefer that proof, because one can understand it at a glance, and remember it forever more (whereas I could not reproduce this proof without some effort, and I do math research...)

Because this proof is so well written and also elementary, I think it should be moved to its own article. I like Euler's "proof", and it should stay, and for completeness, we could leave the Fourier Series argument which I just put in, because that would give a very short airtight argument. However, right now, I think that most of our readers must stop reading somewhere in the "What you need to know" section.

Any objections?

Loisel (talk) 19:55, 23 July 2008 (UTC)

I think that several proofs on the same page is a good idea. The Fourier series argument is a very welcome addition, it's the proof usually taught in calculus courses. There are more proofs given in the external links. I prefer to have good outlines or section titles for the proofs instead of distributing them over several articles. So the reader can make a choice according to his/her level of mathematical education or specific interest, compare with Proof that the sum of the reciprocals of the primes diverges and Inequality of arithmetic and geometric means. Schmock (talk) 00:37, 24 July 2008 (UTC)

Nono, what I'm proposing is to segregate most of the proofs to an article, maybe, Proof that zeta(2)=π^2/6, much like Proof that the sum of the reciprocals of the primes diverges. This article could be more about the history of the Basel problem and maybe one proof as short as possible.

No?

Loisel (talk) 02:18, 24 July 2008 (UTC)

I prefer to have the elementary proof on the same page as the history of the problem, because this proof is potentially readable for people without a university education in mathematics. When we have several (at least 4) advanced proofs, a separate article might be a good idea. Personally, I prefer to have some proofs in the article zeta constant, in particular for ζ(2n). As far as I remember, Fourier methods also work in this more general case, but other proofs might be shorter. Schmock (talk) 08:06, 24 July 2008 (UTC)

My understanding of zeta(2n) is that you find an nth antiderivative of f(x)=x. So for instance, assume that . So g is periodic and n times differentiable. The constant terms are prescribed by the homology or something. Clearly, g(x) is a polynomial and for a fixed n, you can compute it. Hence, you can compute \int g^2. Furthermore, and that gives you the necessary formula.

But I don't know if there's an explicit formula for g. Do you know?

Loisel (talk) 23:44, 24 July 2008 (UTC)

A slicker proof from Fourier series[edit]

What is meant with "worked out in that article"? If it's the last link than the link is dead. Furthermore does the Parseval's identity on wikipedia not give the desired result for this prove. Mostly because here the Parseval's identity is stated wrong. 86.95.192.7 (talk) 08:59, 8 November 2008 (UTC)

Problem in proof.[edit]

It seems to me that the proof shown in the section "Euler attacks the problem" has a fallacy. Before I explain it, it should be said that the proof naturally can be used after it has been modified a bit.

It is stated that:

Actually this is only true for where since both sides equals 0 (which has been mentioned earlier in the proof). Generally we have:

But as noted before the proof is still valid. It should just be noted that the following calculations in the proof only are valid for where .

I haven't changed the article since I want to be sure I'm not making a mistake, but if you agree then please correct it.


—Preceding unsigned comment added by 82.211.210.23 (talk) 14:34, 15 November 2008 (UTC)

You are making a mistake. The formula is correct with a=1. The only problem is that Euler had no proof of this fact; it was compelling because it worked to solve the problem, but Euler died before the tools to prove it were developed. Nowadays this product expansion can be derived from Weierstrass's factorization theorem in complex analysis. 97.127.142.123 (talk) 06:36, 16 October 2009 (UTC)

Flaw in Euler's method[edit]

The fact that sin(x)/x has zeroes at +/-(pi, 2pi, 3pi, ...) doesn't mean sin(x)/x can be expressed as the product of terms in the form (1 - x/pi).

Maybe I'm missing something here but when you express a finite polynomial in terms of its linear factors (which is the assumption Euler is making here and the basis of his proof), it is of the form: (x - root1)(x-root2)...

x-pi is not the same as 1-x/pi —Preceding unsigned comment added by 76.182.194.195 (talk) 15:01, 19 February 2010 (UTC)

For a polynomial of degree n with roots z1, z2, ..., zn; p(z) = a (z-z1) (z-z2) ... (z-zn) -- that is, the polynomial is determined by its roots only up to a constant multiple. When 0 is not a root we can equally write p(z) = b (1-z/z1) (1-z/z2) ... (1-z/zn) where b = a (-z1) (-z2) ... (-zn). This form has its advantages, one being that b = p(0). -- ToET 16:45, 4 July 2010 (UTC)

Proof through Complex Analysis[edit]

Isn't there a proof which uses complex analysis for the same? --Hirak 99 (talk) 08:53, 12 August 2010 (UTC)

There's a proof using complex analysis already in the article, as the first proof: Basel_problem#A_rigorous_proof_using_Fourier_series. For many other proofs, see Robin Chapman's collection, also linked in the article. Shreevatsa (talk) 09:01, 12 August 2010 (UTC)

wouldt it be...[edit]

would it be too dare if someone (including me) could add the "folklore" [1]? it is about some other sum of reciprocals' solved problem :)

--kmath (talk) 02:33, 26 September 2012 (UTC)

broken link[edit]

Euler's solution of the Basel problem – the longer story PDF (61.7 KB) — Preceding unsigned comment added by 97.86.236.127 (talk) 20:51, 12 June 2013 (UTC)

the record holder's rectangles area will always be greater than the ideal rectangle - citation needed[edit]

"Because π is a transcendental number, the record holder's rectangles area will always be greater than the ideal rectangle."

What's the source for this? I don't see how π being transcendental, i.e. not a solution to an algebraic equation - implies that a well defined packing algorithm has to be greater than the ideal rectangle. For instance is easy to write out a program that can print out all the digits of π one after another. That a number is transcendental doesn't normally have much by way of implications for computability. Am going to add a citation needed tag to this. If it is "obvious" for some reason do explain and add some hint to the text to help readers who don't get it. Thanks! Robert Walker (talk) 18:26, 7 September 2014 (UTC)

A transcendental number has the implication of not being able to be computable exactly only approximately. Because of this, "the record holder's rectangles area will always be greater than the ideal rectangle". Even if you find pi to 10^1000 digits it is only approximately correct (the 10^1000 + n digit number would yet to be found). 98.95.5.178 (talk) 02:59, 11 September 2014 (UTC)
This is as confused as the sentence in the article. Either we have a proof that the rectangle with the exact area can be packed or we don't. If we do have such a proof, then there is a packing that is NOT greater than the ideal area. If we don't have such a proof, then any packing we do have uses greater area. This would be true regardless of whether the number in question were rational, algebraic, or transcendental. And whether or not such a packing exists is also different than whether the packing is computable. Additionally, transcendental numbers such as π are no more computable or uncomputable than rational numbers like 1/3 — neither is exactly representable in binary but both can be computed easily to arbitrarily high precision. In short, I agree with Robertinventor that being transcendental doesn't have much to do with the inequality between known and ideal packings. I think we should just remove this sentence. —David Eppstein (talk) 03:19, 11 September 2014 (UTC)

Removed square packing section[edit]

I removed the section on square packing. It was poorly written (see above comments) and had nothing to do with the subject of the article anyway.24.144.122.240 (talk) 19:22, 14 October 2015 (UTC)

Formatting per WP:MSM and WP:MOSMATH#Multi-letter names[edit]

@Slawekb: I see in your second revert message a correct point, and will fix the italicized use of trig functions. However, that was a secondary point of the edit, and your revert "throws out the baby with the bath water" by reverting instead of editing and consulting. Do you object to the entire edit or just the use of itallics for the trig functions? —Boruch Baum (talk) 13:08, 15 December 2015 (UTC)

The edit that I reverted replaced \sin with {{sin}}. Yes, I object to this edit in its entirety. Sławomir
Biały
13:19, 15 December 2015 (UTC)
@Slawekb: And would you care to share with anyone why may that be? —Boruch Baum (talk) 13:23, 15 December 2015 (UTC)
It is a clear and unambiguous violation of our manual of style, and basically all mathematics typesetting conventions in existence. Trigonometric functions are always typeset in roman case. But really the point of WP:BRD is that the onus is on you to justify the edit. I've already given my answer (WP:MSM). You need to say why ignoring the manual of style is justified. Sławomir
Biały
13:31, 15 December 2015 (UTC)
@Slawekb: You don't seem to be paying much attention either to what you are doing or what I have been saying, so let me try again. My edit primarily was a fix to excess vertical whitespace on the page (as was explicitly documented in the edit description, which you apparently ignored). You reverted a lot of work because you found a minor quibble with itallics that I have already agreed (above) to fix (maybe you didn't read the first sentence of the first paragraph of this thread). Before I continue to edit the page to comply with your correct point about the use of itallics, let me know what other objections you have with the edit, so that the main point of the edit can remain. As a general matter, if you re-read and think about what you've written, I think you'll come to agree that its neither sufficient nor courteous to cite a huge multi-faceted page as a source of objection without a specific description of your specific objection. —Boruch Baum (talk) 13:39, 15 December 2015 (UTC)
@Slawekb: Also, please use the {{replyto}} when adding to this thread, so that I receive notification of your new addition. —Boruch Baum (talk) 13:46, 15 December 2015 (UTC)
Ok, which parts of this edit do you wish to discuss? Please be specific. The only thing I see in that diff is replacing \sin and \cos with {{sin}} and {{cos}}. Also, I've pointed you to the specific paragraph WP:MOSMATH#Multi-letter functions. This is the entire reason that I object to each and every part of the edit that I reverted. I don't see any other part of that edit that I would even need another more nuanced explanation. But, even if so, in making large-scale typographical changes, the onus is ordinarily on the editor proposing the change to get consensus first. Per WP:MSM:
Large scale formatting changes to an article or group of articles are likely to be controversial. One should not change formatting boldly from LaTeX to HTML, nor from non-LaTeX to LaTeX without a clear improvement. Proposed changes should generally be discussed on the talk page of the article before implementation. If there will be no positive response, or if planned changes affect more than one article, consider notifying an appropriate Wikiproject, such as WP:WikiProject Mathematics for mathematical articles.
--Sławomir
Biały
13:49, 15 December 2015 (UTC)

────────────────────────────────────────────────────────────────────────────────────────────────────@Slawekb: Now we're getting somewhere. Great. Take a look at the consequences of the change and you'll see that what it accomplishes is that it GREATLY tightens the vertical white space between the numerator of the fraction and the fraction horizontal line. That is the objective of the edit, and that is what was meant by the edit comment "reduce numerator vertical spacing". If you take a look at the version before I started my edits, you'll see that there is problem with the vertical spacing of all fractions in which a trig function appears, compared to a simple fraction. The issue of italics is something that I agree with you on, and am prepared to commit to fix, but do you really want that huge vertical and inconsistent whitespace between the types of fractions? —Boruch Baum (talk) 14:13, 15 December 2015 (UTC)

I am not seeing the vertical whitespace problems you're having. That suggests that perhaps this is something best fixed by checking your preferences and browser configuartaion, rather than make changes that go against MoS. It isn't just the italics, but the display of the inline Greek letters. Please use either math tags or the template Template:Math. Sławomir
Biały
14:42, 15 December 2015 (UTC)
@Slawekb: Well, if you're telling me that you don't have the problem, I'm willing to take that on good faith, deduce from your report that my rendering engine is the issue (though that would be strange as its a standard and up-to-date version of Firefox), and remove the objection to reverting the edits I've made. —Boruch Baum (talk) 15:08, 15 December 2015 (UTC)