{"entities":{"Q798702":{"pageid":800550,"ns":120,"title":"Item:Q798702","lastrevid":64418475,"modified":"2026-04-11T19:44:09Z","type":"item","id":"Q798702","labels":{"en":{"language":"en","value":"The distribution of continued fraction approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871474"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$9ABF8374-55E8-461E-B13F-2536C895BAC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e156fc8cc95b4369e7070e20d2d2a897374507f","datavalue":{"value":{"text":"The distribution of continued fraction approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798702$40D48DE8-C7E9-4994-9BD7-73CC90997E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0cf146563294399859f7f733d151386c15b644","datavalue":{"value":"0547.10030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798702$6C258720-2A21-4BE9-896C-B7C5C3493B11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1ecb5cd6e872cb227b7bdad64a445884e49aec","datavalue":{"value":"10.1016/0022-314X(84)90083-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798702$030F534E-2EEE-48F7-84EE-577B352AFAE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a6d128b6a220a4d373d17f2e88855fceb57250","datavalue":{"value":{"entity-type":"item","numeric-id":536602,"id":"Q536602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$04617854-3BA7-47FD-9B05-47E56E3C14E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$94D1BA27-7354-4F17-AED2-59AD5D1A4BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798702$5620075E-7642-40B3-9347-E05242698E34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11dcac284745b0e63d170a989e8ce8f44ba30da2","datavalue":{"value":"Let x be an irrational number and \\(p_ n/q_ n\\), \\(n=1,2,..\\). the sequence of convergents of its regular continued fraction expansion. Define \\(\\theta_ n(x):=q_ n| q_ nx-p_ n|\\). It was conjectured by H. W. Lenstra, jun. that for almost all x the sequence \\(\\theta_ n\\), \\(n=1,2,..\\). is distributed in the unit interval according to the density function \\(f(\\theta):=(\\log 2)^{-1} \\min (1,\\theta^{- 1}-1).\\)    In this paper a probabilistic version of this conjecture is proved. Let \\(\\ell_ n(\\theta) d\\theta\\) be the probability that \\(\\theta_ n(x)\\) lies between \\(\\theta\\) and \\(\\theta +d\\theta\\). Then \\(\\ell_ n(\\theta)=f(\\theta)+O(g^ n)\\), \\(n\\to\\infty \\), with \\(g=(\\sqrt{5}-1)/2\\). The proof of this depends upon the following lemma: \\(\\sum q_ n^{- 2}=(\\log 2)^{-1}z+O(g^ n),\\) \\(n\\to\\infty \\), where the summation is extended over all possible denominators \\(q_ n\\) of order n for which \\(q_{n-1}<zq_ n\\). This is proved in a direct and elegant way, using some formulae of Euler and Kuz'min's theorem with the sharp estimate \\(c^ n\\), \\(c=0,303663...\\), given by \\textit{E. Wirsing} [Acta Arith. 24, 507-528 (1974; Zbl 0283.10032)]. The remainder term is \\(g^ n\\) because \\(c^ 2<g.\\)    Lenstra's conjecture as stated at the beginning has in the mean time been proved by \\textit{W. Bosma}, the reviewer and \\textit{F. Wiedijk} [Indagationes Math. 45, 281-299 (1983; Zbl 0519.10043)], using ergodic methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798702$2A36DF3D-C441-4308-8AE2-7583C574AA5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5648d57cf9b82b961864414b7326649c4d02c6a2","datavalue":{"value":"11J70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798702$B7FEA96B-1710-473A-8806-72EC5462A4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60e34aad7a008d1af33d80ab68d235c199c3462a","datavalue":{"value":"11K16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798702$CC1D4092-4337-4305-A311-CCF65AD00446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de28eb798dbab3e2038231593aca38b19a222388","datavalue":{"value":"3871474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798702$DFE4A2F6-AB3F-4854-8CCC-B38BB5A98EBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc39e253a8c32ed3b86091d8f6f1445506eee983","datavalue":{"value":"Lenstra conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q798702$5C91A465-90CB-4E0A-B39B-873933DE02E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc11fe8e80371dd5322381189964e99ef3c21284","datavalue":{"value":"random real number","type":"string"},"datatype":"string"},"type":"statement","id":"Q798702$1BA0B1F9-6106-4125-AA4B-A3A2B75FD989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae54c5de06fbd9a85765ded860f97c7987603c5","datavalue":{"value":"limiting probability distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q798702$63D742E5-C4BF-4A33-8911-AE1EEC86D174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58754dd3c1ff8d813eccec870d12617ddf7de6fa","datavalue":{"value":"regular continued fraction expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q798702$CA475BE1-91A2-451A-BF24-7749D6090702","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1add0a24c13c1c8839703f8fba767e96bc55e3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1340676,"id":"Q1340676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$990D7314-E754-4577-9B49-4178CF1BD7B8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$75D73064-5B89-40FC-B0F7-B8477993244B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd54a4f8c1daa90fe823a94fb25cb510bde18c7","datavalue":{"value":{"entity-type":"item","numeric-id":4170819,"id":"Q4170819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$7531D015-F2C6-464F-9AA9-65B143D235D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287f2998fae63bbdc4f103a3eaa8b7ac1d2ea009","datavalue":{"value":{"entity-type":"item","numeric-id":3669515,"id":"Q3669515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$DEB4059B-4024-4E8B-922E-6E881A2E29FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce37e2cc38e9fc346eb06859ac5f03f2721555c7","datavalue":{"value":{"entity-type":"item","numeric-id":3260326,"id":"Q3260326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$0697A792-49A6-4117-9A77-02D64D9FE70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd2412ff1dfbf63da179871d633257874f6511d","datavalue":{"value":{"entity-type":"item","numeric-id":3289938,"id":"Q3289938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$1255BB00-BB77-4369-8D94-6B623F28034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$092ABCF7-5C62-4C58-BC1E-295410987AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1493781408014df9090bbcf85eb6f5d1caedc731","datavalue":{"value":{"entity-type":"item","numeric-id":4769113,"id":"Q4769113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798702$A52FBA5D-6ED7-4C35-8EDF-4760D4A6BFD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb10f1adfccc957eaad0f2be727a1b2284e132f","datavalue":{"value":{"entity-type":"item","numeric-id":1568912,"id":"Q1568912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4687b37b2d0ed799422e1c5a47e796892143ff9","datavalue":{"value":{"amount":"+0.8041748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$57445FC2-C4C5-4BD2-8A0E-EAF64ACB9151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbb3d2d51df626c2536373565b93eea78dc7e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3808154,"id":"Q3808154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e20a6b1307950a076452adcd775d9bdafcbdbb1","datavalue":{"value":{"amount":"+0.80380267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$F75F88D2-80B1-4345-8608-04A716C3CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fa7eb2581e4812b9d0d2b1361753f70b1f5fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3474728,"id":"Q3474728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccaedacba0ff7a1a689df27fd774937c30f8974","datavalue":{"value":{"amount":"+0.7938714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$C54744AE-ECB7-4098-A245-E98A5863BD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2138ef61d35a255055d6319aa958fdb164f29143","datavalue":{"value":{"entity-type":"item","numeric-id":2494364,"id":"Q2494364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45771df1c5a2a43fd98534290cb0ad37ca84cc09","datavalue":{"value":{"amount":"+0.7908525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$89A3D299-8310-4634-9854-6184E7A90917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09725824bbc3a0ec2e5ef6aabf28a27f671822c","datavalue":{"value":{"entity-type":"item","numeric-id":1279568,"id":"Q1279568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6d572af4499023fa5f40d2ff12bc2b2f1b067c","datavalue":{"value":{"amount":"+0.7879362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$F2F84A34-48D1-4B3A-88DC-7B6A1858C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f70d98e3327110e93dbc6b72c34b1a127f97bd2","datavalue":{"value":{"entity-type":"item","numeric-id":1383520,"id":"Q1383520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628f5f27b6a6b6f0083ff72de39eab16d3b56096","datavalue":{"value":{"amount":"+0.7806636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$2B8D28C6-F72F-4FE7-97DA-D47767DA495F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da342a5126582940b49bfe99c1525d40c2cb442a","datavalue":{"value":{"entity-type":"item","numeric-id":1182526,"id":"Q1182526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df19d16a200000b495f2af2d3700b51ba9df1edc","datavalue":{"value":{"amount":"+0.77731144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$9E7CB1A1-6EB0-416A-83C7-261951F12FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e651313e8107daa5d452934f6bd83b2aeb99f1","datavalue":{"value":{"entity-type":"item","numeric-id":2893501,"id":"Q2893501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3550535d3e5dae100b90ee0721141cd19f9418","datavalue":{"value":{"amount":"+0.7764227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$38E9FB00-BFD5-4F8E-81FE-7652FE508738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4457220b9f3002b588bbf845d73edf7b3f8013","datavalue":{"value":{"entity-type":"item","numeric-id":3029066,"id":"Q3029066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13a7843324c8eef80929555cee8fe03788700a5","datavalue":{"value":{"amount":"+0.7727142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$30C66826-76B7-45BA-9F87-DC91D07AB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b270548572612fa17a1730851151d01668dd45f","datavalue":{"value":{"entity-type":"item","numeric-id":1193290,"id":"Q1193290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9209f2edf8a74caa55c579dda8b9bce08e7956a2","datavalue":{"value":{"amount":"+0.77246165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798702$5DC43669-61F0-4815-9813-8ACAFB3580B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The distribution of continued fraction approximations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_distribution_of_continued_fraction_approximations"}}}}}