{"entities":{"Q810075":{"pageid":811923,"ns":120,"title":"Item:Q810075","lastrevid":64505820,"modified":"2026-04-11T20:20:20Z","type":"item","id":"Q810075","labels":{"en":{"language":"en","value":"Exponential diophantine equations and the irrationality of certain real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212138"}},"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":"Q810075$89E6B7D9-052D-4284-9122-F96431788943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef9bce10c5c5d0bfa373b2158cec6eeb22f36ae","datavalue":{"value":{"text":"Exponential diophantine equations and the irrationality of certain real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810075$AEA5A431-B5DC-4F68-8788-B1666F67E804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aa90761f51f82ffd2c3d8b17a2c038dd693dd63","datavalue":{"value":"0733.11010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$E8ED0EAE-4188-4C52-89B8-2C98E9E6EDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"648529ef294797df559fbb283b32dc7cb8b44bf4","datavalue":{"value":"10.1016/0022-314X(91)90038-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$F2907CBF-296A-4F56-B5B6-50685388A81D","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":"Q810075$473E45F3-45E9-4ED7-A4EA-2FCAB457EE5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q810075$E282F193-A7D4-4D43-B2C6-F79C4027D2D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a93851ae3e1a0d9045324a9a3c0cc21e41a54219","datavalue":{"value":"Mahler proved the irrationality of the decimal fraction \\(0.(1)(g)(g^ 2)..\\). where \\(g\\geq 2\\) is a fixed integer and \\((g^ n)\\) denotes the number \\(g^ n\\) in decimal form. Later, Shan and Wang proved that if g,h\\(\\geq 2\\) are fixed integers and \\((n_ k)_{k\\in {\\mathbb{N}}}\\) a strictly increasing sequence of non-negative integers, then the positive real number (written in base h) \\(0.(g^{n_ 1})_ h(g^{n_ 2})_ h...\\) is irrational if we denote by \\((a)_ h\\) the number a written in base h. The author proves some further generalisations of which we give a typical example.    Let \\(a_ 1,...,a_ n\\), \\(u_ 1,...,u_ n\\) be non-zero algebraic numbers such that \\(u_ i/u_ j\\) is not a root of unity for \\(1\\leq i<j\\leq n\\) and \\((n_ k)_{k\\in {\\mathbb{N}}}\\) a strictly increasing sequence of non- negative integers such that the numbers \\(f_ k=\\sum^{n}_{i=1}a_ iu_ i^{n_ k}\\) are positive integers (e.g., the Fibonacci sequence). Let \\(\\theta =0\\cdot (f_ 1)_ h(f_ 2)_ h(f_ 3)_ h..\\) and denote by T(x) the number of digits of \\((f_ 1)_ h(f_ 2)_ h...(f_ x)_ h.\\) Then  \\[  | \\theta -p/q| \\quad >\\quad h^{-T(C_ 1q^ 2)}\\text{ for all } (p,q)\\in {\\mathbb{Z}}\\times {\\mathbb{N}},  \\]  where \\(C_ 1\\) is an effectively computable number depending only on the \\(u_ i\\) and h. The author also proves some results on exponential diophantine equations, the following of which is used in the proof of the above irrationality result: let \\(a_ 1,...,a_ n\\), \\(u_ 1,...,u_ n\\) (n\\(\\geq 2)\\) be non- zero algebraic numbers such that \\(u_ 1,...,u_ n\\) and the numbers \\(u_ i/u_ j\\) \\((1\\leq i<j\\leq n-1)\\) are no roots of unity; then there exists an effectively computable number C, depending only on \\(n,u_ 1,...,u_ n\\), such that the equation  \\[  \\sum^{n-1}_{i=1}a_ iu_ i^{x_ 1}+a_ nu_ n^{x_ 2}=1  \\]  has at most C solutions in \\(x_ 1,x_ 2\\in {\\mathbb{Z}}\\). The author derives this result from \\textit{H. Schlickewei}'s explicit upper bound for the number of solutions of S-unit equations in several variables [Invent. Math. 102, No.1, 95-107 (1990; Zbl 0711.11017)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q810075$4D9205D7-B0FF-46B6-89A7-8F002DB2FA6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$6544D858-FEFC-4779-B3CE-4EC31EAB61B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c4d8defd21b53e7641f92a39f901060616e4cc6","datavalue":{"value":"11J72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$D6F4C990-30DB-47D8-A7C8-07EDD35AED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$FF40E838-4728-434C-9385-EBEBA9552B89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39bb9e795f62e7e970604e93a9b2e09c3993b42c","datavalue":{"value":"4212138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810075$8A69AF14-E0C3-47D1-AF4C-25D8D061EDD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"181ac7f46a6a8b497a01e221acb6f9c6add2280c","datavalue":{"value":"irrationality","type":"string"},"datatype":"string"},"type":"statement","id":"Q810075$D9F1BE7A-8BD2-4B9D-8854-BBC2C6FDBD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86baeecba4119798ce0290b4fbf51219fb9dea21","datavalue":{"value":"decimal fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q810075$FE91C863-D5D2-446A-80AD-6FA0E2364574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b5eecd025b6af5264e65bf36c6a5849fda8289","datavalue":{"value":"number of digits","type":"string"},"datatype":"string"},"type":"statement","id":"Q810075$628FB1D2-1FDA-46A9-A82D-DC8C19036188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89e6ec2881498b6694c122538213fcd071cd056","datavalue":{"value":"exponential diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q810075$AF63ECD1-B0C0-4B1E-BED4-CAB3773D2A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be261e755c3c00f7c7aeb692193996f552039b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1079592,"id":"Q1079592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$DE980394-9C72-4641-B427-069EABE5CBBF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"814d841b755c5d45a363377f763e212a3bff6b1a","datavalue":{"value":{"entity-type":"item","numeric-id":587177,"id":"Q587177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$5278C914-90A3-4D8C-BA52-765B591CF43A","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":"Q810075$29016CEB-7790-4773-BD68-8D63CF336546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd3aa847045ad1c12b0b8abdadf4fab98aa4984","datavalue":{"value":{"entity-type":"item","numeric-id":799725,"id":"Q799725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$40A0F41C-F503-430E-89B6-1CDD707A8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616e3b060288c3b1b9ed1677fa8025b6627132d","datavalue":{"value":{"entity-type":"item","numeric-id":3263792,"id":"Q3263792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$1D7B49BE-916F-4B13-BAF3-DF35B257A5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744012ca7dd924bc3e48b94b717a23cc7d9ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":1148936,"id":"Q1148936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$BB275CE7-9F65-47A3-8FF1-C51D3F408D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb6a4e036748b359c5fac080f1f3aa9cc573662","datavalue":{"value":{"entity-type":"item","numeric-id":1081630,"id":"Q1081630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$4D714EED-770F-4156-A242-4818F0974172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6078fa297a27555f4c86872320ee3d53b2c862","datavalue":{"value":{"entity-type":"item","numeric-id":4774098,"id":"Q4774098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$D74BA727-F696-42A0-93E1-19F6DF009DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fc87d8550ce644d26f5c581f93cc0e098ee2a","datavalue":{"value":{"entity-type":"item","numeric-id":922582,"id":"Q922582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$A28CCCB2-6775-422A-A931-1039A4A8DA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f45fa869c9c4f05d97bf1bc717ce1ef7fe7c67","datavalue":{"value":{"entity-type":"item","numeric-id":1081632,"id":"Q1081632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$E4CFC6A9-3113-4DF4-B1F6-5C5E3592C26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87babdb5548e75fc3c1280e4ead07ba960dac13b","datavalue":{"value":{"entity-type":"item","numeric-id":1119685,"id":"Q1119685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$C90559C5-9180-4354-9780-D3E04D2CBA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6892faf9fa8a94d7253933c01179ba7f93ef058","datavalue":{"value":{"entity-type":"item","numeric-id":1084433,"id":"Q1084433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810075$BC2532E8-CDE3-4DDB-AEB6-74D02911E6A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e712700e4fc632f8a203b76e8da15e77ef07a11a","datavalue":{"value":{"entity-type":"item","numeric-id":799725,"id":"Q799725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c2187db99479e2d4857fbf0aaff97b47053d2b","datavalue":{"value":{"amount":"+0.847509503364563","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":"Q810075$4A464435-C795-40F8-873E-25C3C31049A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b9ec0b1d2817bd18f8b9a0b7c42c037dc7c18d","datavalue":{"value":{"entity-type":"item","numeric-id":4213370,"id":"Q4213370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ab8728bc3b86321050cb41923fe6fc7cf9b0e9","datavalue":{"value":{"amount":"+0.8437066674232483","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":"Q810075$261D8536-17FA-4076-8667-A05B17114EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b1e36883c67578b4ea3b18478ff921ef6bb04e","datavalue":{"value":{"entity-type":"item","numeric-id":416017,"id":"Q416017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6f58c015cad91d117ede0197370054725656d3","datavalue":{"value":{"amount":"+0.8421234488487244","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":"Q810075$8F69DE6F-5730-4A34-867C-268029DF17B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599bf0c93699176a9ddb6d9590215fb5d6250dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2898884,"id":"Q2898884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c619db0dbcb6f3e8aaff99c2788dbde24e371ec","datavalue":{"value":{"amount":"+0.7977051734924316","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":"Q810075$079520C5-08DA-4763-9E7A-CE27EB122C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7f3075c9dd2572b9ea84db745e39a683d6b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":4684635,"id":"Q4684635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be273604531697b6f88c705c48f6631a044f99b1","datavalue":{"value":{"amount":"+0.7901775240898132","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":"Q810075$5E60BB08-459B-4F71-80EB-5C53876CE00E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponential diophantine equations and the irrationality of certain real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exponential_diophantine_equations_and_the_irrationality_of_certain_real_numbers"}}}}}