19
$\begingroup$

This question is mostly idle curiosity, and certainly is not related to any research activities of my own. The motivation and background are as follows. I am currently teaching a Freshman Seminar in which one of the main texts is Hofstadter's book Gödel, Escher, Bach. In one of its dialogs, the Tortoise explains that he has found a counterexample to Fermat's Last Theorem, and the exponent $n$ in question is the unique positive integer not appearing in the continued fraction expansion of $\pi$ — and this is enough information for you also to find it.

This is funniest if the following were true at the time of GEB's writing (1978):

(a) it was widely believed, but not known, that every positive integer appears somewhere in the continued fraction expansion of $\pi$;

(b) proving this was far beyond the technology of the time, and even saying anything useful about which numbers do and don't appear (beyond calculating the first few numbers that do appear) looks interminable.

Based on what little I know about similar problems, my guess is that (a) and (b) are both true, and remain true today. Evidence for this impression is OEIS sequence A225802. But this is far from my area of expertise. Thus, my questions are:

  1. Were (a) and (b) true in 1978?
  2. Do they remain true today?
$\endgroup$
5
  • 6
    $\begingroup$ Hopefully someone can expand on this (to make it more suitable as a formal answer), but the quick version is yes: (a) and (b) were true in 1978 and remain true today. $\endgroup$
    – Henry Cohn
    Apr 23, 2014 at 3:40
  • 1
    $\begingroup$ It is conjectured that the geometric mean of these integer-valued coefficients is Kinchin's Constant, ~ 2.68545 ... the conjecture is well-grounded in ergodic theory $\endgroup$ Apr 23, 2014 at 4:22
  • 2
    $\begingroup$ That's an intense freshman seminar! $\endgroup$ Apr 23, 2014 at 5:59
  • $\begingroup$ @NateEldredge Well, we're not actually going into much of the mathematics, but I want to be able to give a correct answer if asked. $\endgroup$ Apr 23, 2014 at 14:48
  • $\begingroup$ Just having GEB on the reading list puts it in the "intense" category as far as I'm concerned :) $\endgroup$ Apr 23, 2014 at 16:02

1 Answer 1

17
$\begingroup$

The Gauss-Kuzmin Theorem says that if $x$ is chosen uniformly at random from (say) $[0,1)$ (thanks, John Bentin) then as $n\to\infty$ the probability that the $n$th partial quotient of $x$ is $k$ tends to $$\log_2{(k+1)^2\over k(k+2)}$$ It was widely believed in 1978, and is still widely believed today, that $\pi$ acts, in this regard, like a random number. We are 36 years closer to proving this today than we were in 1978.

$\endgroup$
2
  • 1
    $\begingroup$ Should "chosen uniformly at random from the reals" be "chosen uniformly at random from a real interval"? (There is no uniform distribution on the reals.) $\endgroup$ Apr 23, 2014 at 7:42
  • $\begingroup$ Statistics are the same for $[0,1)$ and $[n,n+1)$. $\endgroup$ Apr 24, 2014 at 0:10

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.