WRSWorld Research StateContribute
WORLD RESEARCH STATE

Khintchine: a common geometric mean hidden in almost every continued fraction

Contribution grade

Metric number theory and continued fractions · Exact theorem and reusable mathematical method

Reference score200,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

A continued fraction represents a number through successive positive integer partial quotients. Individual quotients can fluctuate greatly, yet Khintchine proves that their geometric mean approaches the same absolute constant for almost every number. A more general theorem handles nonnegative functions of the quotients with a specified growth bound; applying it to their logarithms gives the geometric-mean result. The proof uses quantitative estimates of how widely separated quotients approach independence. This makes a precise long-run regularity visible inside irregular-looking expansions. The result strengthens the author's earlier boundedness estimate rather than repeating it.

Scientific scope

A continued fraction represents a number through successive positive integer partial quotients. Individual quotients can fluctuate greatly, yet Khintchine proves that their geometric mean approaches the same absolute constant for almost every number. A more general theorem handles nonnegative functions of the quotients with a specified growth bound; applying it to their logarithms gives the geometric-mean result. The proof uses quantitative estimates of how widely separated quotients approach independence. This makes a precise long-run regularity visible inside irregular-looking expansions. The result strengthens the author's earlier boundedness estimate rather than repeating it. The statement concerns almost every number under Lebesgue measure, not every irrational or a guaranteed accuracy after a fixed number of terms. The growth assumption on the observable matters. Ordinary arithmetic means of the quotients do not share this finite constant. The article was received in 1934 and published in 1935; Kuzmin's earlier estimates retain their role as an input.

Evidence

The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The statement concerns almost every number under Lebesgue measure, not every irrational or a guaranteed accuracy after a fixed number of terms. The growth assumption on the observable matters. Ordinary arithmetic means of the quotients do not share this finite constant. The article was received in 1934 and published in 1935; Kuzmin's earlier estimates retain their role as an input.

Contributors

Provisional WRS assessment, edition 2026-10-23.7. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction