Kinchin's Constant Magic Trick: Continued Fractions and Universality

This article explores a mathematical magic trick involving irrational numbers, continued fractions, and geometric means, ultimately revealing Kinchin's constant.

The Magic Trick Setup

The trick begins by asking someone to choose one of several irrational numbers. An irrational number is defined as a number whose decimal expansion never terminates and never repeats. Examples provided include famous numbers like pi and Euler's number (e), as well as less common ones like the cube root of two. The chosen number is kept secret initially.

The magician then writes something down without knowing the chosen number, setting it aside for later.

The Chosen Number and Mathematical Tools

The participant reveals their choice: the cube root of two. The trick then proceeds using two mathematical tools:

1. Continued Fractions: This involves representing a number as a sum of an integer and the reciprocal of another number, which in turn is represented similarly, and so on. For an irrational number, this process continues indefinitely.

   • Example with the cube root of two:
     • The cube root of two is approximately 1.2599.
     • Subtract the integer part (1), leaving 0.2599.
     • Take the reciprocal of this fractional part (1/0.2599), which is approximately 3.846.
     • Subtract the integer part (3), leaving 0.846.
     • Take the reciprocal (1/0.846), which is approximately 1.182.
     • Subtract the integer part (1), leaving 0.182.
     • Take the reciprocal (1/0.182), which is approximately 5.49.
     • This process generates a sequence of integers: 1, 3, 1, 5, and so on.
   • This sequence is written compactly as [1; 3, 1, 5, ...], where the semicolon separates the initial integer part from the subsequent integers in the reciprocals. For irrational numbers, this sequence is infinite.

2. Geometric Mean: Unlike the ordinary arithmetic mean (summing numbers and dividing by their count), the geometric mean involves multiplying numbers and then taking the n-th root, where n is the count of numbers multiplied.

   • Example with the continued fraction sequence (1, 3, 1, 5):

3. Geometric mean of the first two (1, 3): `sqrt(1

4. 3) = sqrt(3)`

5. Geometric mean of the first three (1, 3, 1): `cbrt(1

6. 3

7. 1) = cbrt(3)`

8. Geometric mean of the first four (1, 3, 1, 5): `(1

9. 3
10. 1
11. 5)^(1/4) = (15)^(1/4)`
    • The concept is extended to an infinite list of numbers by considering the limit of the geometric means of increasingly longer finite prefixes of the sequence. If these values converge to a specific number, that number is considered the geometric mean of the infinite sequence.

The Reveal: Kinchin's Constant

The magician uses a computer to calculate the geometric mean of the first 367 terms of the continued fraction expansion of the cube root of two. The result, rounded to three decimal places, is 2.685.

The participant is then asked to read the number written down at the beginning of the trick. It is also 2.685.

The Secret Behind the Trick

The surprising revelation is that any irrational number chosen from the initial list would have yielded the same result: approximately 2.685. This number is known as Kinchin's constant.

Properties of Kinchin's Constant

• Universality (Probabilistic): For a randomly chosen real number (a decimal string), there is a 100% probability that the geometric mean of its continued fraction expansion will be Kinchin's constant.
• Exceptions: Despite the 100% probability, there are exceptions.
  • Rational Numbers: For rational numbers (fractions or whole numbers), the continued fraction expansion terminates, so the geometric mean is not Kinchin's constant. While the probability of picking a rational number at random is technically zero, it doesn't mean it's impossible.
  • Specific Irrational Numbers: Some famous irrational numbers also do not yield Kinchin's constant:
    • The Golden Ratio (phi): Its continued fraction is [1; 1, 1, 1, ...]. The geometric mean of this sequence is clearly 1, not Kinchin's constant.
    • Quadratic Irrationals: Numbers like the square root of two (which was intentionally excluded from the initial choices) do not yield Kinchin's constant because their continued fractions exhibit a repeating pattern (a loop).
    • Euler's Number (e): This number also has a predictable pattern in its continued fraction, preventing it from converging to Kinchin's constant.
• Known vs. Unknown:
  • We know that 100% of numbers (in a probabilistic sense) yield Kinchin's constant.
  • We know many specific numbers that don't yield it.
  • However, we don't know any specific number that has been rigorously proven to yield Kinchin's constant. The numbers in the initial list (like the cube root of two) are statistically expected to, but a formal proof for any individual number is extremely difficult and has not yet been achieved.
• Derivation: Kinchin's constant is derived from an abstract, probabilistic argument.

Jane Street Sponsorship

The video also includes a sponsorship message for Jane Street, a quantitative trading firm. They are described as a world-leading firm with offices in major cities globally, known for their clever and puzzle-oriented workspaces. They offer internship programs for curious, clever individuals who enjoy numbers and problem-solving, regardless of prior finance experience. Interns receive competitive compensation, and travel and accommodation are covered. Opportunities exist in quantitative trading, machine learning, software engineering, and research.