33
$\begingroup$

What are best examples of questions in mathematics that are not interesting until one knows the answers, whose answers themselves are what is interesting?

The thing that prompts me to post this is just one example. I've seen others, but they escape me at the moment. Here it is:

A torus is embedded in just the usual way in $\mathbb R^3$. It has parallels of latitude and meridians of longitude. A curve that meets every parallel of latitude at the same angle, or, equivalently, meets every meridian of longitude at the same angle, is a loxodrome. Suppose that angle is so chosen, given the shape of the particular torus, that the loxodrome goes through all $360^\circ$ of longitude in just the length it takes to go through all $360^\circ$ of latitude, returning there to its starting point. (There must be some conventional terminology for describing these windings, but I don't know it.) The question is: What are the curvature and torsion at the various points along this curve? Doubtless some will consider this question interesting, but to me, and, I suspect, to many, the answer, because it is so unexpected, is where this starts to get interesting. The answer is that the curvature is constant --- the same at all points on the curve --- and the torsion is everywhere $0$. (And it's really easy to deduce from that the precise value of the curvature.) I believe this was discovered in the 1890s and is stronger than the celebrated theorem of Villarceau, published in 1848. Villarceau's theorem says that a plane bitangent to a torus intersects the torus in two circles. This proposition does not assume as a hypothesis, but rather has as a (trivial corollary of its) conclusion, that the curve lies in a plane.

$\endgroup$
12
  • 3
    $\begingroup$ Somewhat subjective, isn't it? I find the Whitehead problem to be very uninteresting, but the answer itself is quite interesting. $\endgroup$
    – Asaf Karagila
    Mar 24, 2015 at 7:39
  • 5
    $\begingroup$ I think this is what the Reversal badge on MathOverflow is supposed to be for: mathoverflow.net/help/badges/50/reversal. Doesn't look like there are many! $\endgroup$ Mar 24, 2015 at 10:27
  • 14
    $\begingroup$ @ChrisHeunen Then should we downvote this question a lot so the question can be an answer to itself? $\endgroup$
    – Kimball
    Mar 24, 2015 at 12:53
  • 6
    $\begingroup$ I have to say I am shocked that this question has received so many upvotes and has not yet been closed. This question is very subjective and MO is not for collecting bits of mathematical trivia. This question could perhaps have some value if it were geared toward understanding how it is that uninteresting questions have interesting answers (see Timothy Chow's answer, for instance), but in its current form I don't see the point of it and it is attracting a lot of dubious answers. Pietro Majer's comment is also illustrative of the arbitrariness of this question. $\endgroup$ Mar 25, 2015 at 23:28
  • 4
    $\begingroup$ @GerryMyerson I don't understand. I am acting as an ordinary voter (i.e., I'm not exercising any moderator powers; I waited until four votes were cast), and I join four others to vote to close this as "primarily opinion-based". If you disagree, I invite you to post at meta. $\endgroup$
    – Todd Trimble
    Mar 26, 2015 at 13:51

8 Answers 8

61
$\begingroup$

Uninteresting question: find $$\int_0^1{x^4(1-x)^4\over1+x^2}\,dx$$ Interesting answer: $${22\over7}-\pi$$

$\endgroup$
9
  • 1
    $\begingroup$ That one actually crossed my mind while I pondered this question, but at the moment of posting it I had forgotten it. ${}\qquad{}$ $\endgroup$ Mar 24, 2015 at 6:01
  • 2
    $\begingroup$ @Ilya, there has been work on finding integrals that involve other approximations to $\pi$. For example, see austms.org.au/Publ/Gazette/2005/Sep05/Lucas.pdf $\endgroup$ Mar 24, 2015 at 10:07
  • 15
    $\begingroup$ Is this the easiest proof that $\pi < 22/7$? :) $\endgroup$ Mar 24, 2015 at 16:06
  • 2
    $\begingroup$ @Bill Johnson, it depends on what "easiest" means. Archimedes proved $\pi < \frac{22}{7}$, but I doubt he could have evaluated that integral. $\endgroup$
    – Nathan
    Mar 24, 2015 at 16:50
  • 3
    $\begingroup$ There is also a Wikipedia article, originally created by me: en.wikipedia.org/wiki/Proof_that_22/7_exceeds_%CF%80 ${}\qquad{}$ $\endgroup$ Mar 24, 2015 at 19:41
37
$\begingroup$

Another classical geometry problem with a similar flavor to Michael's example:

Let $C$ be a smooth convex plane curve, let $L$ be a small line segment, let $P$ be the mid-point of $L$. Slide $L$ around the curve, keeping the endpoints on $C$, so $P$ traces out a curve $C'$ inside of $C$. What is the area between $C$ and $C'$? For any particular curve $C$, this seems (to me) to be a rather uninteresting calculus problem. What's interesting, of course, is that the answer is independent of $C$ and depends only on the length of $L$.

(Actually, one can mark any point $P$ on $L$, and then the area depends on the lengths of the two sub-segments of $L$.)

$\endgroup$
12
  • 3
    $\begingroup$ That looks very surprising. Is anyone aware of any 'fundamental' reason which could explain this invariance phenomenon ? $\endgroup$
    – Hachino
    Mar 24, 2015 at 11:57
  • 8
    $\begingroup$ Interesting, indeed. Though I know it might not matter much to folks here, this has a real-world application, too. If the line segment represents a cutting tool, the area is the material removed by the tool motion. Understanding rates of material removal is very important in manufacturing. References, please?? $\endgroup$
    – bubba
    Mar 24, 2015 at 12:17
  • 8
    $\begingroup$ I am guessing that $C$ is supposed to be closed? $\endgroup$ Mar 24, 2015 at 16:04
  • 2
    $\begingroup$ @RobinSaunders Probably it's fine for non-convex curves with signed area, as you say. It's also okay for piecewise smooth curves. In any case, the proof is a lovely application of Green's theorem, and from the proof one should be able to see how to formulate it more generally than I did in the answer that I gave. But note, for example, if $L$ is too long and $C$ is too small, it may not be possible to slide $L$ around inside $C$, so some restrictions are necessary. $\endgroup$ Mar 24, 2015 at 16:46
  • 4
    $\begingroup$ This looks like Mamikon's "visual calculus": its.caltech.edu/~mamikon/VisualCalc.html $\endgroup$
    – zeb
    Mar 25, 2015 at 0:04
16
$\begingroup$

According to Gauss, Fermat's Last Theorem is an example.

$\endgroup$
4
  • $\begingroup$ Not sure if this example qualifies. $\endgroup$ Mar 25, 2015 at 21:40
  • 8
    $\begingroup$ on the contrary, I think this is the ultimate example. $\endgroup$ Mar 26, 2015 at 0:17
  • $\begingroup$ How did Gauss formulate this sentiment? (I guess he hadn't access to this MO question) $\endgroup$
    – Vincent
    Feb 16, 2016 at 16:09
  • 2
    $\begingroup$ It's a rather popular quotation. Here it is: I confess that Fermat's Theorem as an isolated proposition has very little interest for me, because I could easily lay down a multitude of such propositions, which one could neither prove nor dispose of. [A reply to Olbers' attempt in 1816 to entice him to work on Fermat's Theorem.] Quoted in J. R. Newman, The World of Mathematics (New York 1956). $\endgroup$ Feb 22, 2016 at 15:00
12
$\begingroup$

Gerry Myerson's integral and Joe Silverman's geometry problem fall into the category of problems that seem uninteresting at first because they can be answered by a straightforward calculation that is not expected to yield any insight after the answer is obtained.

Another potential category consists of problems that seem hopelessly difficult but that turn out to be tractable. As an example, I propose the question, "What are all the finite simple groups?" Superficially, this might seem (almost) as hopeless, and therefore as uninteresting, as the question, "What are all the finite groups?" Only when you know that there is a nice answer that can actually be proved does the question reveal itself to be extremely interesting.

$\endgroup$
4
$\begingroup$

How many lines in $\mathbb{CP}^3$ meet four lines in general position?

Given the `linear' nature of the problem one may be tempted to guess $0,1$ or $\infty$. But the answer is actually 2.

The proofs are also pretty interesting:

(1) Degenerate into two pairs of intersecting lines; the two lines are the intersection of the two planes containing them, and the line passing through the intersection point. Then infer that the number is an intersection number (so topological), and therefore independent of the configuration. Making this last claim rigorous was one of Hilbert's problems.

(2) Use the fact that three general lines determine a quadric surface in $\mathbb{CP}^3$. The fourth line will intersect the quadric in two more points. Now draw the two lines as rulings on that quadric in those points. Here it is also easy to see that there cannot be more than 2 lines with this property.

$\endgroup$
4
$\begingroup$

Watson's integral. Seemingly uninteresting question: calculate $$W_S=\frac{1}{\pi^3}\int\limits_0^\pi\int\limits_0^\pi\int\limits_0^\pi \frac{dx\,dy\,dz}{3-\cos{x}-\cos{y}-\cos{z}},$$ produces truly amazing answer: $$W_S=\frac{\sqrt{6}}{96\pi^3}\Gamma\left(\frac{1}{24}\right)\Gamma\left(\frac{5}{24}\right)\Gamma\left(\frac{7}{24}\right)\Gamma\left(\frac{11}{24}\right)= \frac{\sqrt{3}-1}{96\pi^3}\left[\Gamma\left(\frac{1}{24}\right) \Gamma\left(\frac{11}{24}\right)\right]^2.$$ See http://link.springer.com/article/10.1007%2Fs10955-011-0273-0 (70+ Years of the Watson Integrals, by I. J. Zucker).

$\endgroup$
4
  • $\begingroup$ Rather subjective statement about the question... I would say the question is even VERY interesting, and consider it as an additional gadget that it has this amazing answer. Which in turn provokes the definitely interesting question: What about the $n$-fold such integral? Sadly I cannot access the paper. $\endgroup$
    – Wolfgang
    Mar 26, 2015 at 8:07
  • $\begingroup$ @Wolfgang Try this link inp.nsk.su/~silagadz/Watson_Integral.pdf $\endgroup$ Mar 26, 2015 at 8:32
  • $\begingroup$ Sorry - why is this amazing? $\endgroup$
    – gsvr
    Mar 26, 2015 at 11:47
  • 1
    $\begingroup$ This is, of course, rather subjective to call it amazing. However, for me, these forms of the answer indicate that there is a deeper story behind them which allows to interrelate these funny expressions. By the way Watson's original result was $$W_S=(18+12\sqrt{2}-10\sqrt{3}-7\sqrt{6})\left[\frac{2}{\pi}K(k_6)\right]^2,$$ where $k_6=(2-\sqrt{3})(\sqrt{3}-\sqrt{2})$ and $K$ is the complete elliptic integral of the first kind. $\endgroup$ Mar 26, 2015 at 13:23
3
$\begingroup$

I hereby propose as one of innumerable possible answers to this question: Hilbert's 10th problem.

Doubtless it's an interesting problem, to those who are interested in that sort of thing; otherwise Hilbert would not have included it in his list. But to me, and again I suspect, to many, the answer is a lot more interesting than the question, partly, but not only, because it is surprising.

The problem is this: Is there an algorithm that given any polynomial in any finite number of variables with coefficients in $\mathbb Z$, correctly answers the question: is at least one tuple of integers a zero of this polynomial?

To understand the answer, let's establish some defintions:

  • A set $S$ of members of $\mathbb Z^n$ is diophantine if there is some $m\in\mathbb Z^+$ and some polynomial function $f$ in $m+n$ variables $y_1,\ldots,y_m,x_1,\ldots,x_n$ with coefficients in $\mathbb Z$ such that $(x_1,\ldots,x_n)\in S$ if and only if $\exists y_1,\ldots,y_m\in\mathbb Z\ f(y_1,\ldots,y_m,x_1,\ldots,x_n)=0$.
  • A set $S$ of members of $\mathbb Z^n$ is decidable if there is some algorithm that, given a member of $\mathbb Z^n$ correctly answers the question: Is this a member of $S$?
  • A set $S$ of members of $\mathbb Z^n$ is semi-decidable if there is some algorithm that, given a member of $\mathbb Z^n$, runs forever if the input is not a member of $S$, and ultimately halts if it is a member of $S$.

Obviously a set is decidable if and only if both the set and its complement are semi-decidable. The existence of semidecidable sets that are not decidable was discovered in the 1930s by several people working independently (I think including Stephen Kleene, Alan Turing, Alonzo Church and maybe others?) and some of them are noteworthy sets, e.g. the set of all satisfiable formulas in first-order logic.

Obviously all diophantine sets are semi-decidable.

The result that laid Hilbert's 10th problem to rest is Matiyasevich's theorem:

All semi-decidable sets are diophantine.

An immediate corollary is that no algorithm of the kind sought by Hilbert can exist.

In 1970, Yuri Matiyasevich finished off the proof, which had been worked on over a couple of decades by Julia Robinson, Martin Davis, and Hillary Putnam.

$\endgroup$
9
  • 5
    $\begingroup$ I would say that the problem is interesting and natural. Hilbert almost surely thought there would be an algorithm and was undoubtedly aware that many natural algorithmic problems are naturally (as opposed to the Halting problem) diophantine problems. $\endgroup$ Mar 24, 2015 at 17:04
  • $\begingroup$ @BenjaminSteinberg : OK, so your point is simply to agree with my second paragraph? $\endgroup$ Mar 24, 2015 at 17:55
  • $\begingroup$ For semi-decidable, you may want to change it to say "may run forever if the input is not a member" because all decidable sets are semi-decidable (the current wording does not make it seem so). $\endgroup$ Mar 24, 2015 at 18:18
  • 8
    $\begingroup$ I think it should not be referred to as just Matiyasevich's theorem, since (as you say) Davis, Robinson, and Putnam spent years and years on preliminary groundwork. Technically what Matiyasevich did in 1970 was prove the Fibonacci sequence is Diophantine; this by itself might not seem terribly exciting, but due to the work of the other three, all four knew that this technical result would imply the J.R. (Julia Robinson) hypothesis which in turn settled Hilbert's 10th. The theorem is often referred to as "the MRDP theorem". $\endgroup$
    – Todd Trimble
    Mar 24, 2015 at 18:49
  • 6
    $\begingroup$ My point is to disagree with the question being uninteresting. I think the question of which diophantine problems have solutions goes back to the earliest days of mathematics and is as natural as any mathematical problem I can imagine and I am not a number theorist. So I really don't think the problem was uninteresting until the answer was known. $\endgroup$ Mar 24, 2015 at 20:35
-2
$\begingroup$

One question which I think might be fitting is:

How many prime numbers are there?

After you learn about infinitude of primes you might think that there is nothing really much to say about the topic. But if we try to consider how many primes there are asymptotically, we reach a very interesting field of research, which I believe gave rise to the analytic number theory.

$\endgroup$
3
  • 2
    $\begingroup$ I understand that this might not be precisely in the flavor that OP was asking for, but I'd gladly hear what the person who down-voted has to say. $\endgroup$
    – Wojowu
    Mar 25, 2015 at 21:44
  • 3
    $\begingroup$ Most mathematicians (including Euclid) might feel that the question is immensely interesting -- that's why it doesn't fit the category of "questions that are initially uninteresting" $\endgroup$ Mar 26, 2015 at 7:57
  • $\begingroup$ @DominicvanderZypen I see your point. Thanks. $\endgroup$
    – Wojowu
    Mar 26, 2015 at 14:40

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