{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
    "title": "Khintchine: a common geometric mean hidden in almost every continued fraction",
    "summary": "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.",
    "boundary": "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.",
    "area": "Metric number theory and continued fractions",
    "topic": "Mathematics",
    "year": 1935,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
    "target": {
      "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
      "version": 1,
      "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
    },
    "humans": [
      "A. Khintchine"
    ],
    "authors_complete": true,
    "human_role_note": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-khintchine-metrische-kettenbruchprobleme-1935",
        "title": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
        "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf",
        "date": "1935"
      }
    ],
    "geography": {
      "country_codes": [
        "RU"
      ],
      "location_basis": "Original byline explicitly says Moscow. Present-day location labels follow the retained platform convention; they do not assert nationality,modern-state ownership or territorial jurisdiction at the historical date.",
      "source_url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf",
      "target": {
        "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
        "version": 1,
        "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
          "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "RU": "Russia"
      }
    },
    "points": "200000",
    "published_grade": {
      "id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
      "entry_id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
        "version": 1,
        "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
      },
      "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.",
      "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.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
        "version": 1,
        "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "A. Khintchine",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
            "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
            "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "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.",
        "domain": "Metric number theory and continued fractions"
      },
      "sources": [
        {
          "citation": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
          "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf"
        }
      ],
      "statement": "# Khintchine: a common geometric mean hidden in almost every continued fraction\n\n## An average that ignores the identity of the number\n\nContinued fractions repeatedly take an integer part, invert the remainder and continue. The resulting positive integers are called partial quotients. They can jump from a small value to a very large one. Khintchine shows that their geometric mean nevertheless approaches one common constant for almost every real number. The surprise is not that each quotient settles down; it generally does not. A long-run aggregate becomes predictable.\n\n## Multiply first, then take a root\n\nThe geometric mean of n positive numbers is the nth root of their product. Equivalently, average their logarithms and exponentiate. For the classroom pair two and eight, the arithmetic mean is five while the geometric mean is four. These averages answer different questions. The paper proves a general theorem for certain nonnegative functions of the partial quotients; choosing the logarithm gives the geometric-mean result and its explicit infinite product.\n\n## One simple irrational is an exception\n\nThe square root of two has continued fraction [1;2,2,2,...]. Every partial quotient after the initial integer is two, so their geometric mean is exactly two at every length. This differs from the common constant, approximately 2.685. There is no contradiction: the theorem says almost every number, not every irrational. An exceptional set can be small in measure while containing important and easy-to-describe examples.\n\n## The digits are not independent coin tosses\n\nNeighboring partial quotients are related. The proof uses quantitative control of how dependence weakens with separation, drawing on Kuzmin results. It also limits the growth of the observable being averaged. These assumptions matter when passing from finite estimates to an almost-everywhere limit. Ordinary arithmetic means of the quotients have different behavior, so replacing the geometric mean by an arithmetic one changes the mathematical problem.\n\n## Try a bounded comparison\n\nAsk your agent to generate a few continued-fraction prefixes using exact rational arithmetic and compare their two kinds of mean. Include the square-root-of-two pattern as a deliberate exception. Require it to report the truncation length and arithmetic precision. A few computed prefixes can illustrate behavior, but do not certify that a named number has the typical limit. The original paper was received in 1934 and published in 1935.\n\n## Scientific scope\n\nThe 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.\n\n## Sources for this explanation\n\n- [Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)](https://www.numdam.org/item/CM_1935__1__361_0.pdf): 1935paper,printed368general mean theorem and376geometric-mean corollary;introduction and Kuzmin-dependent estimates precede them.\n",
      "summary": "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.",
      "title": "Khintchine: a common geometric mean hidden in almost every continued fraction"
    },
    "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
      "version": 1,
      "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:7f0100d8e80dedf6cef1f320915e671b62f1f7800960fed3d9f908f1d99b2d08"
  },
  "target": {
    "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
    "version": 1,
    "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
    "entry_id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
    "revision": 1,
    "title": "Khintchine: a common geometric mean hidden in almost every continued fraction",
    "context": "Metric number theory and continued fractions",
    "track": "Exact theorem and reusable mathematical method",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "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.",
    "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_summary": "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.",
    "references": [
      {
        "title": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
        "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
      "version": 1,
      "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "200000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "khintchine-almost-everywhere-continued-fraction-geometric-mean-1935",
    "target": {
      "record_id": "urn:uuid:3a6d5e7e-f471-4829-a8a5-07b9223faad8",
      "version": 1,
      "content_hash": "sha256:78b5ec56a77473527a07d9f333d867f81b455674b174e05f4f0b39ae4d636bc3"
    },
    "sections": [
      {
        "title": "An average that ignores the identity of the number",
        "text": "Continued fractions repeatedly take an integer part, invert the remainder and continue. The resulting positive integers are called partial quotients. They can jump from a small value to a very large one. Khintchine shows that their geometric mean nevertheless approaches one common constant for almost every real number. The surprise is not that each quotient settles down; it generally does not. A long-run aggregate becomes predictable."
      },
      {
        "title": "Multiply first, then take a root",
        "text": "The geometric mean of n positive numbers is the nth root of their product. Equivalently, average their logarithms and exponentiate. For the classroom pair two and eight, the arithmetic mean is five while the geometric mean is four. These averages answer different questions. The paper proves a general theorem for certain nonnegative functions of the partial quotients; choosing the logarithm gives the geometric-mean result and its explicit infinite product."
      },
      {
        "title": "One simple irrational is an exception",
        "text": "The square root of two has continued fraction [1;2,2,2,...]. Every partial quotient after the initial integer is two, so their geometric mean is exactly two at every length. This differs from the common constant, approximately 2.685. There is no contradiction: the theorem says almost every number, not every irrational. An exceptional set can be small in measure while containing important and easy-to-describe examples."
      },
      {
        "title": "The digits are not independent coin tosses",
        "text": "Neighboring partial quotients are related. The proof uses quantitative control of how dependence weakens with separation, drawing on Kuzmin results. It also limits the growth of the observable being averaged. These assumptions matter when passing from finite estimates to an almost-everywhere limit. Ordinary arithmetic means of the quotients have different behavior, so replacing the geometric mean by an arithmetic one changes the mathematical problem."
      },
      {
        "title": "Try a bounded comparison",
        "text": "Ask your agent to generate a few continued-fraction prefixes using exact rational arithmetic and compare their two kinds of mean. Include the square-root-of-two pattern as a deliberate exception. Require it to report the truncation length and arithmetic precision. A few computed prefixes can illustrate behavior, but do not certify that a named number has the typical limit. The original paper was received in 1934 and published in 1935."
      }
    ],
    "references": [
      {
        "title": "Metrische Kettenbruchprobleme (Compositio Mathematica 1, 361–382)",
        "url": "https://www.numdam.org/item/CM_1935__1__361_0.pdf",
        "locator": "1935paper,printed368general mean theorem and376geometric-mean corollary;introduction and Kuzmin-dependent estimates precede them."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}