{"entities":{"Q868892":{"pageid":870740,"ns":120,"title":"Item:Q868892","lastrevid":64962339,"modified":"2026-04-11T23:23:58Z","type":"item","id":"Q868892","labels":{"en":{"language":"en","value":"A simple (inductive) proof for the non-existence of 2-cycles of the \\(3x+1\\) problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129741"}},"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":"Q868892$D1C48ED0-8A30-4AF0-A931-C620CD15036D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7c6aad904730c08972970379c54980dac6ef36a","datavalue":{"value":{"text":"A simple (inductive) proof for the non-existence of 2-cycles of the \\(3x+1\\) problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868892$CFE94A6A-F9A4-4A5F-98F7-3D17770F853B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6d057fd1e9c45250db6752484faf4c1caae872","datavalue":{"value":"1111.11016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$ECCCEB40-7145-4721-9CA7-62F8EE7EBF63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f5bf32967b21d8f4491c6eb9d38899b0706eeec","datavalue":{"value":{"entity-type":"item","numeric-id":868891,"id":"Q868891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$85E9A3BA-13A1-452B-9796-8931E5EF242D","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":"Q868892$A63BDCDE-DD03-4AAF-9AA4-C1E275CA88F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a3e704c51126050d068b3f11b9ffa0001836f09","datavalue":{"value":{"time":"+2007-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868892$AC28DDCF-A497-47D1-B3C6-C0C4B14C7BFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4295e75829340db3641a99d5b7cc5691268b06e9","datavalue":{"value":"When \\(x\\) is a positive integer, define \\(T(x)=\\frac{1}{2}(3x+1)\\) if \\(x\\) is odd and \\(T(x)=\\frac{1}{2}x\\) if \\(x\\) is even. It is conjectured that for every positive integer \\(x\\) the iterates of \\(T\\) eventually produce the cycle (1,2). A 2-cycle for the \\(3x+1\\) problem is a cycle having two odd local minima \\(x_0\\) and \\(x_1\\) of the shape \\(x_i=a_i2^{k_i}-1\\). The author provides a new proof that there are no 2-cycles other than the trivial one given by \\((1,2,1,2)\\). This is achieved by deriving upper and lower bounds for the quantity \\(a_0a_1\\) associated to a non-trivial 2-cycle and then applying work of \\textit{B. M. M. de Weger} [Algorithms for Diophantine equations. CWI Tract, vol.\\ 65, Centre for Mathematics and Computer Science, Amsterdam (1989; Zbl 0687.10013)] on linear forms in logarithms to deduce that the bounds are contradictory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q868892$F0F43C3F-D144-474F-9F3D-87A10B2AFB1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1bec6b97b9f8dcb6611879883f445f066ef7cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":591372,"id":"Q591372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$425C073B-64A9-45EC-A6D2-756DBC258CCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$5A3F198F-3CAE-48B4-8036-5CA4BAC3A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$46838050-4624-40EF-A3EB-A4438E8D3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40403c8d2e7a94c90fbb74b962301e3fe3da68bd","datavalue":{"value":"11J86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$AFCC7062-623F-4D66-B1AB-8244F66B5FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b417b6bb3fc8103248af667c273aebbb1940b6ac","datavalue":{"value":"5129741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$566A80CA-700D-4452-96A3-A5C17C411972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ee7a5bc2a1d1c92f59d71164d6067d3c5c67de","datavalue":{"value":"\\(3x+1\\) problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q868892$AC8D0309-AFC7-4E2E-9D2C-C5486767DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q868892$86B9008F-22DC-4A55-AF63-AEC3137F1106","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":"Q868892$31EFE29B-5EF2-4FF4-8BB7-7AC6D18173C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f41559a6b794832c6187398abd2e4f667b8bf63e","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2006.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q868892$1D95DFF9-D45F-4049-BDFC-2872AE78CB88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d40bd648582f562014c3ea1fda6647f94ceb4b","datavalue":{"value":"W2162335506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$03EEB543-0452-406C-9B96-48640E1958EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15c65f7cb4bb603b7e190ecae8ab47753e2f970","datavalue":{"value":{"entity-type":"item","numeric-id":4050665,"id":"Q4050665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$6F3F72C7-70BC-4774-9964-A14EACD8FDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0dd7e89e3535e41ecf877390a9a5f81fe6eaef","datavalue":{"value":{"entity-type":"item","numeric-id":4177640,"id":"Q4177640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$9DC0260B-CE99-4829-AC9A-B1B7D68CB346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755a04235b003b0874d8209787a45b24323f4dda","datavalue":{"value":{"entity-type":"item","numeric-id":3369474,"id":"Q3369474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$087A802F-7A46-48B4-9923-415EAA201830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d209315c4d3e50a930d2c08bd8b6d13760b965a","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$12C27A83-3941-4281-9997-58DF93E772F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a9fd6cfdb1a03666aa75df0e5e47e33a761d96","datavalue":{"value":{"entity-type":"item","numeric-id":5390195,"id":"Q5390195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$DE512006-D55E-4054-9F15-F2A52AB92492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89959f088d276878c19863eadc73effc7278785","datavalue":{"value":{"entity-type":"item","numeric-id":1907846,"id":"Q1907846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$2808ED9E-914D-41CA-99CB-8D22FBDA6728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5942ba377de6416164d5c2ed7c1079ecb5b1bd3","datavalue":{"value":{"entity-type":"item","numeric-id":4671854,"id":"Q4671854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$8251BFE0-8491-4624-82CD-890F814525A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74c36cb21521a5c798726cc50f14578334075fd","datavalue":{"value":{"entity-type":"item","numeric-id":4677368,"id":"Q4677368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$E4D7040C-EABA-43D5-818C-66EBBF3A7F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba64805be06409b822426f2282fc2f3c3968b858","datavalue":{"value":{"entity-type":"item","numeric-id":3929795,"id":"Q3929795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$D25EA032-9815-4771-94E4-47AD7CC01A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab59db7612454ebc6e2b96993e0f12d9ea29979","datavalue":{"value":{"entity-type":"item","numeric-id":4129521,"id":"Q4129521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$7C5FDEF4-4158-4D5D-BA68-0A6A9F283FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371865ce2db0f4f46f1c29a3637282d9ab91fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":3481772,"id":"Q3481772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868892$A543B6E4-5F1A-48DB-8E43-EE26F2FB0B5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e8d743fbd5af8d5eabd37fa1f469d1b1b50555","datavalue":{"value":"10.1016/J.JNT.2006.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868892$D04ACF69-FCC8-4201-94C8-FEBB3EA71846","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f47f244ef8e7128a08678f8eda388ff5f7f48d0","datavalue":{"value":{"entity-type":"item","numeric-id":4671854,"id":"Q4671854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b79fdfebaf2f4e05b25f5f4fde31e771c158ac","datavalue":{"value":{"amount":"+0.915876030921936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868892$38AE395B-C3BE-42E2-A9BB-AF89292E9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dba32103dc4153aa92a545f444d6424f0fa28ca","datavalue":{"value":{"entity-type":"item","numeric-id":4713052,"id":"Q4713052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2c6121df5f4ab4fd33dbd56c8e06462d158430","datavalue":{"value":{"amount":"+0.91586035490036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868892$0EED7022-8477-406A-9C2D-DBC73167B1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99108331e9516e2d86700ca0e9861b06379fbc71","datavalue":{"value":{"entity-type":"item","numeric-id":685592,"id":"Q685592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce57032e6744cc67f9295ae14472bfeae037d944","datavalue":{"value":{"amount":"+0.831979513168335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868892$B308B491-BE82-4A1C-BFFC-B3D713DDA2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be885a306ca55b90c2223b9ba4c6a71d48b9464","datavalue":{"value":{"entity-type":"item","numeric-id":4764699,"id":"Q4764699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ef04c0419c88cdd4e5e6c9dafc5e4513fcb9f6","datavalue":{"value":{"amount":"+0.8311604857444763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868892$F2494977-D364-4D4F-B85A-C6771DF8593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7dc9b4b087818f0668a5df66203d018871243b5","datavalue":{"value":{"entity-type":"item","numeric-id":4327038,"id":"Q4327038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b5331da2147484c0783a039063940aaa4350f1","datavalue":{"value":{"amount":"+0.8198859691619873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868892$770DE53B-0A5E-4842-9305-92A3C94C2547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple (inductive) proof for the non-existence of 2-cycles of the \\(3x+1\\) problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_(inductive)_proof_for_the_non-existence_of_2-cycles_of_the_%5C(3x%2B1%5C)_problem"}}}}}