106
$\begingroup$

What is the oldest open problem in mathematics? By old, I am referring 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?

$\endgroup$
10
  • 49
    $\begingroup$ Existence of odd perfect numbers? $\endgroup$ Jun 4, 2010 at 18:54
  • 55
    $\begingroup$ 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. $\endgroup$ Jun 4, 2010 at 18:55
  • 9
    $\begingroup$ 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 $\endgroup$
    – Tony Huynh
    Jun 4, 2010 at 19:20
  • 6
    $\begingroup$ 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. $\endgroup$ Jun 4, 2010 at 19:23
  • 6
    $\begingroup$ @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). $\endgroup$
    – coudy
    Jun 4, 2010 at 19:42

10 Answers 10

89
$\begingroup$

Existence or nonexistence of odd perfect numbers.

Update: Goes back at least to Nicomachus of Gerasa around 100 AD, according to J J O'Connor and E F Robertson. Nichomachus also asked about infinitude of perfect numbers.

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

$\endgroup$
19
  • 12
    $\begingroup$ Surely you would say that Fermat's Last Theorem (before it was solved) was an open problem dating back to Fermat! $\endgroup$ Jun 4, 2010 at 20:03
  • 10
    $\begingroup$ 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. $\endgroup$ Jun 4, 2010 at 21:04
  • 8
    $\begingroup$ 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! $\endgroup$ Jun 4, 2010 at 22:17
  • 5
    $\begingroup$ Also I think there's a difference between "crediting X with posing Y as an open problem (when they really said they'd answered Y)" and simply saying "Y is an open problem which dates back at least to the work of X (who falsely claimed to have solved it)." They're different in two ways, first "credit" is too positive a word for this situation, and second "posing X as an open problem" is only one of way that a problem can first appear in the literature. $\endgroup$ Jun 4, 2010 at 22:53
  • 23
    $\begingroup$ @TonyK: I bet Nicomachus had a proof, probably a very remarkable one, but the margin of his papyrus... well, you know how it is. $\endgroup$ Jun 5, 2010 at 3:42
44
$\begingroup$

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 https://www.jstor.org/stable/2320381.

$\endgroup$
3
  • $\begingroup$ Not as old or well-defined, but the systematic construction of quasicrystals appeared to be considered around 1200 CE: peterlu.org/content/… $\endgroup$ Jun 4, 2010 at 19:45
  • $\begingroup$ I have not read the reference, but is it true that no currently known (unconditional) general algorithm (allowed to be slow) can determine if an integer $n$ is congruent or not? Can you mention a particular $n$ for which the status (congruent or not) is unknown? $\endgroup$ Apr 29, 2016 at 15:10
  • 2
    $\begingroup$ @JeppeStigNielsen: If you read the relevant Wikipedia article, then you will know as much as I do about congruent numbers :-) $\endgroup$
    – TonyK
    Apr 29, 2016 at 15:26
30
$\begingroup$

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.

$\endgroup$
8
  • $\begingroup$ Is there evidence that the Greeks asked this question? $\endgroup$ Jun 4, 2010 at 22:44
  • 3
    $\begingroup$ 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. $\endgroup$ Jun 4, 2010 at 22:53
  • 2
    $\begingroup$ 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?) $\endgroup$ Jun 4, 2010 at 23:00
  • 22
    $\begingroup$ 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. $\endgroup$ Jun 5, 2010 at 1:33
  • 14
    $\begingroup$ @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. $\endgroup$ Jun 5, 2010 at 8:05
28
$\begingroup$

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.

$\endgroup$
1
  • 6
    $\begingroup$ 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. $\endgroup$ Jul 7, 2010 at 1:27
13
$\begingroup$

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 https://en.wikipedia.org/wiki/Archimedes%27s_cattle_problem

$\endgroup$
4
  • 10
    $\begingroup$ 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. $\endgroup$
    – Ron Maimon
    Aug 1, 2011 at 13:09
  • 3
    $\begingroup$ I retract my answer. $\endgroup$ Jul 6, 2022 at 15:35
  • $\begingroup$ As per my answer (and others) here, modern classical scholarship seems to be that the problem is essentially authentic — that certainly some version of the problem genuinely goes back to Archimedes, and the specific poetic text of it we have today may be by Archimedes himself or, if not, was probably based on earlier versions that descended from him. $\endgroup$ May 28, 2023 at 12:51
  • $\begingroup$ I retract my retraction. $\endgroup$ Oct 27, 2023 at 17:56
10
$\begingroup$

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.

$\endgroup$
4
  • 28
    $\begingroup$ "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. $\endgroup$ Oct 2, 2010 at 17:53
  • 4
    $\begingroup$ quick googling strongly suggests that you're right. It's amazing how prevalent in internet (and in EB!) the contrary information is. $\endgroup$ Oct 2, 2010 at 18:25
  • 5
    $\begingroup$ Did EB confuse twin primes with perfect numbers? $\endgroup$ Apr 11, 2014 at 7:43
  • $\begingroup$ Google seems to suggest the following "The first statement of the twin prime conjecture was given in 1846 by French mathematician Alphonse de Polignac, who wrote that any even number can be expressed in infinite ways as the difference between two consecutive primes" $\endgroup$ Jul 1, 2023 at 6:19
8
$\begingroup$

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 orbits in general triangular (or polygonal) billiards (in the case of irrational angles) remains open. (

Troubetzkoy, Serge, Dual billiards, Fagnano orbits, and regular polygons, Am. Math. Mon. 116, No. 3, 251-260 (2009). arXiv:0704.0390 , jstor. ZBL1229.37033, MR2491981. ).

$\endgroup$
3
  • $\begingroup$ 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 $\endgroup$ May 29, 2011 at 15:47
  • $\begingroup$ 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. $\endgroup$
    – algori
    May 29, 2011 at 22:12
  • $\begingroup$ 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 $\endgroup$ May 31, 2011 at 7:16
3
$\begingroup$

The Perfect Cuboid problem was being considered in the early 18th century (according to https://mathworld.wolfram.com/EulerBrick.html )

I don't know if any ancient Greeks are on record as having considered the problem; but that doesn't seem beyond the bounds of possibility, although I would guess that in those times they were preoccupied mostly with 2-D problems.

$\endgroup$
2
  • 2
    $\begingroup$ This is not a big-list question… $\endgroup$
    – Dirk
    May 9, 2014 at 16:05
  • 2
    $\begingroup$ 'I would guess that in those times they were preoccupied mostly with 2-D problems.' See: en.wikipedia.org/wiki/Doubling_the_cube $\endgroup$
    – HJRW
    May 10, 2014 at 18:53
0
$\begingroup$

What about the time which elapsed between the question of squaring the circle ( which I was always taught was posed by the Greeks), and the proof that $\pi$ is transcendental in 1882(?) by Lindemann- admittedly not now an open problem, but an impressive time lapse.

$\endgroup$
1
0
$\begingroup$

Zeno's paradoxes are among the oldest puzzles at the intersection of mathematics, philosophy, and physics (in alphabetical order). The traditional resolution of Zeno's paradoxes of motion involves modeling them in terms of the real line and interpreting the iterated procedure as an infinite series.

As pointed out in one of the comments, Heisenberg's uncertainty principle provides another way of accounting for the puzzle, by arguing that it has no physical meaning.

H. Jerome Keisler in his article "The hyperreal line" (207–237) in the collection

Real numbers, generalizations of the reals, and theories of continua. Edited by Philip Ehrlich. Synthese Library, 242. Kluwer Academic Publishers Group, Dordrecht, 1994

provides a different mathematical resolution of the puzzle in terms of the hyperreal continuum.

More recently (2013), Terry Tao notes the mathematical significance of these paradoxes by noting that they "make the important point that real analysis cannot be reduced to a branch of discrete mathematics, but requires additional tools in order to deal with the continuum" (see https://mathscinet.ams.org/mathscinet-getitem?mr=3026767).

In a review of Graham Oppy's book, John H. Mason makes the following intriguing comment, indicative of the richness of the issues involved: Have you ever briefly called upon Zeno's paradoxes when introducing the notion of limit to students? For example, the fact that Achilles really does catch the tortoise is only because he crosses distances halving in length in intervals of time also halving in length; the arrow does actually get to its target, even though it has to surmount an infinite number of decreasingly small intervals. This book addresses these and many other paradoxes involving infinitely large and infinitely small quantities with philosophical precision and reasoning. It reveals that there are much larger issues at stake than are perhaps commonly recognised, and certainly than are `dismissed' with the Cauchy-Weierstrass formalism of limits. See https://mathscinet.ams.org/mathscinet-getitem?mr=2238333

$\endgroup$
18
  • 11
    $\begingroup$ OK, I'll bite. Surely this is resolved by the notion of convergence of infinite series? $\endgroup$
    – HJRW
    May 8, 2014 at 15:39
  • 3
    $\begingroup$ The Wikipedia page does not suggest anywhere that the mathematical content of the paradox is unresolved. Any remaining problems seem to involve the question of how motion in the physical world should be described. Heisenberg's Uncertainty Principle strongly indicates that infinitely dividing the trajectory of a real-world moving object is not a meaningful thing to do. $\endgroup$
    – S. Carnahan
    May 9, 2014 at 8:35
  • 11
    $\begingroup$ I tend to think that the possibility of various ways to model mathematically the idea of motion make it an open problem of physics rather than mathematics. $\endgroup$ May 9, 2014 at 9:57
  • 4
    $\begingroup$ My point in the section containing the quote is that from a modern perspective, Zeno's paradoxes can be interpreted as a precursor to the modern theory of the continuum, by highlighting the need for a continuous axiom for the real numbers, as well as the need to specify higher order initial conditions in order for higher order equations of motion to be well posed. $\endgroup$
    – Terry Tao
    May 11, 2014 at 15:48
  • 6
    $\begingroup$ I agree that Zeno's paradoxes have mathematical significance. I do not agree that they currently pose a mathematical open problem, which is the focus of the question under discussion. $\endgroup$
    – Terry Tao
    May 11, 2014 at 15:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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