Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What is the oldest open problem in mathematics ? By old, I am refering to the date the problem was stated.

Browsing wikipedia list of open problems, it seems that the Goldbach conjecture (1742, every even integer greater than 2 is the sum of two primes) is a good candidate.

The Kepler conjecture about sphere packing is from 1611 but I think this is finally solved (anybody confirms ?). There may still be some open problem stated at that time on the same subject, that is not solved. Also there are problems about cuboids that Euler may have stated and are not yet solved, but I am not sure about that.

A related question: can we say that we have solved all problems handed down by the mathematicians from Antiquity ?

share|improve this question
Existence of odd perfect numbers? –  Andrey Rekalo Jun 4 '10 at 18:54
Since this is a question about a point-of-fact rather than a big-list question, people should not post new answers unless they also provide an argument that their proposal predates all previously given answers. –  Noah Snyder Jun 4 '10 at 18:55
The Kepler Conjecture has been solved, but there is some controversy since the proof makes extensive use of computers. There is a project underway to produce a formal proof called Project Flyspeck. code.google.com/p/flyspeck –  Tony Huynh Jun 4 '10 at 19:20
As Noah hints at in his answer, I imagine you can throw a rock into the ocean and hit an unsolved number theory question from ancient Greece. –  Gunnar Magnusson Jun 4 '10 at 19:23
@Gunnar. I am not asking if the Greeks could have asked some mathematical problem that we can't solve today. I am asking if they actually asked such a problem, which is very different (see my comment to Noah's answer). –  user6129 Jun 4 '10 at 19:42
show 3 more comments

7 Answers

up vote 38 down vote accepted

Existence or nonexistence of odd perfect numbers.

Update: Goes back at least to Nicomachus of Gerasa around 100 AD, according to http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Perfect_numbers.html Nichomachus also asked about infinitude of perfect numbers.

(Goes back at least to Descartes 1638 http://mathworld.wolfram.com/OddPerfectNumber.html and arguably all the way back to Euclid.)

share|improve this answer
Surely you would say that Fermat's Last Theorem (before it was solved) was an open problem dating back to Fermat! –  Noah Snyder Jun 4 '10 at 20:03
@Noah. Thanks for the link. It definitely answers my second question. –  user6129 Jun 4 '10 at 20:03
Should we credit someone with posing X as an open problem if he made a claim implying that X is true? That's debatable. Dickson, History of theory of numbers, vol 1 says that Nicomachus classified $\textit{even}$ numbers into abundant, deficient and perfect and that he claimed that every perfect number is obtained by Euclid's rule. However, it's not clear that Nicomachus knew of existence of odd abundant numbers! So while we may speculate that Nicomachus has considered the question, as far as I can tell, there is no indication of it in his book. That makes the situation different from FLT. –  Victor Protsak Jun 4 '10 at 21:04
So the reason I'm slightly uncomfortable going back all the way to Euclid is that "find all perfect numbers" is too imprecise a question to be called an open problem. Otherwise we could say "find all prime numbers" is a problem going back to whenever people started looking for them. "All perfect numbers are odd" or "there are infinitely many perfect numbers" are both well-formed specific problems. And certainly they were problems raised by Nicomachus as you can't (bogusly) answer a question without first having a question! –  Noah Snyder Jun 4 '10 at 22:17
@TonyK: I bet Nicomachus had a proof, probably a very remarkable one, but the margin of his papyrus... well, you know how it is. –  Nate Eldredge Jun 5 '10 at 3:42
show 13 more comments

The Congruent Number problem (Which integers are the areas of right triangles with rational sides?) dates back to an Arab manuscript written before 972 AD, according to http://www.jstor.org/pss/2320381.

share|improve this answer
Not as old or well-defined, but the systematic construction of quasicrystals appeared to be considered around 1200 CE: peterlu.org/content/… –  Steve Huntsman Jun 4 '10 at 19:45
add comment

Another unsolved problem from ancient Greek times is: which regular $n$-gons are constructible by ruler and compass? We know, since Gauss, that this problem reduces to finding all the Fermat primes, but we don't know that we have found them all yet.

share|improve this answer
Is there evidence that the Greeks asked this question? –  Gerald Edgar Jun 4 '10 at 22:44
Do you know whether the question was explicitly asked, outside of the context of trisecting the angle? I thought that a revolutionary aspect of Gauss's discovery was that it had been assumed no cases beyond classically known were possible, but I don't know whether there was a specific claim made to that effect. –  Victor Protsak Jun 4 '10 at 22:53
Why wasn't constructing the 7-gon a famous question like squaring the circle, doubling the cube, and trisecting the angle? If the Greeks did consider this an open problem, why was it considered less important than the others? (Or is the emphasis of those three problems something that happened later?) –  Noah Snyder Jun 4 '10 at 23:00
I can't say that the Greeks explicitly asked the question about $n$-gons, but they considered enough special cases that the question probably crossed their minds. Euclid has $n=3,4,5,6,15$ and there were attempts for $n=7$. Archimedes gave a construction of the 7-gon using "neusis" (a sliding ruler device that also allows trisection of angles) so the 7-gon problem was certainly of interest to the Greeks. –  John Stillwell Jun 5 '10 at 1:33
@coudy: I think it very plausible that the Greeks asked whether there are $n$-gons that can't be constructed with ruler and compass, and that they thought $n=7$ is an example (because they were willing to use neusis to construct it).However, under your reference/date conditions I'm afraid no question from ancient Greek times is going to qualify. There is no exact date for the works of Euclid or Archimedes, and we don't have the original manuscripts. –  John Stillwell Jun 5 '10 at 8:05
show 2 more comments

Albrecht Dürer's conjecture states that every convex polytope has a non-overlapping edge unfolding (see here for the intro). This problem was raised in 1525, revived by Shephard in 1975, and remains wide open.

share|improve this answer
I would like to supplement Igor's post: There seems to be no evidence that Dürer recognized this as a problem that needed a proof. I believe the problem was first posed as a clear problem in need of resolution in the Shephard paper Igor cited. So this runs into the same issue discussed by Noah and Victor et al. in the comments to Noah's accepted answer. –  Joseph O'Rourke Jul 7 '10 at 1:27
add comment

According to Encyclopaedia Britannica, "Greek mathematician Euclid (flourished c. 300 bce) gave the oldest known proof that there exist an infinite number of primes, and he conjectured that there are an infinite number of twin primes," which makes the twin prime conjecture remarkably old.

share|improve this answer
"which would make the twin prime conjecture remarkably old". There's nothing on twin primes in the Elements, or, as far as I know, in any of Euclid's other writings that have survived. –  Franz Lemmermeyer Oct 2 '10 at 17:53
quick googling strongly suggests that you're right. It's amazing how prevalent in internet (and in EB!) the contrary information is. –  Łukasz Grabowski Oct 2 '10 at 18:25
Did EB confuse twin primes with perfect numbers? –  Wlodzimierz Holsztynski Apr 11 at 7:43
add comment

Not exactly what you are asking for, but a candidate for the longest time elapsing between the proposal and the solution of a problem: the Archimedes cattle problem, proposed by Archimedes and solved by A. Amthor in 1880. See http://en.wikipedia.org/wiki/Archimedes%27_cattle_problem.

share|improve this answer
It is dubious to attribute this to Archimedes--- it has the flavor of European 17-19th century puzzle mathematics, and it's attribution to Archimedes is folklore. –  Ron Maimon Aug 1 '11 at 13:09
add comment

This is not older than the rest, but old enough I believe: In 1775 Fagnano constructed periodic orbits for acutangular triangular billiards. The question about the existence of periodic oribits in general triangular (or poligonal) billiards (in the case of irrational angles) remains open. ( http://iml.univ-mrs.fr/editions/preprint2007/files/troubetzkoy_fagnano.pdf ).

share|improve this answer
Schlage-Puchta posted a paper to the arxiv recently with the title "On Triangular Billiards" which appears to provide the last piece in such a characterization. (I have concern about some things he states about Jacobsthal's function in that paper, but it doesn't appear to stop his main proof.) Gerhard "Ask Me About Jacobsthal's Function" Paseman, 2011.05.29 –  Gerhard Paseman May 29 '11 at 15:47
Gerhard -- are you referring to arxiv.org/abs/1105.1629? This paper is on the classification for rational triangles, not on the existence of periodic trajectories in general (obtuse) triangles. –  algori May 29 '11 at 22:12
Indeed I am referring to that paper. I apologize for my carelessness; I should have checked the literature with more care, and noticed the acute case specifically. Thank you for your clarification. Gerhard "Needs To Read Some More" Paseman, 2011.05.31 –  Gerhard Paseman May 31 '11 at 7:16
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.