{"entities":{"Q572263":{"pageid":574030,"ns":120,"title":"Item:Q572263","lastrevid":42587903,"modified":"2025-07-04T10:11:41Z","type":"item","id":"Q572263","labels":{"en":{"language":"en","value":"On the inequality \\(0 < a^x - b^y\\le n\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555942"}},"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":"Q572263$A96D9495-6292-4B8C-94BD-81E0615A47C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d99f821cfeaff682fb3a614320002a17dac02572","datavalue":{"value":{"text":"On the inequality \\(0 < a^x - b^y\\le n\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q572263$E7265E4E-F5D1-4271-8D52-362F9449AAB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b405d3b197b8cc4f95e082d6d44840d254a00980","datavalue":{"value":"57.0236.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572263$8AE9765B-BE40-4F21-B4DA-673DBDAF5DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12300bc717a45ee895688c3ee38fafb1635024c6","datavalue":{"value":{"entity-type":"item","numeric-id":563658,"id":"Q563658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q572263$72E36B93-FE09-4854-9094-3FCA8425BF71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q572263$2EAFF79E-C05D-43CF-9440-1C98C3667034","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d3c36e8bcd547fe0d827d143d65090edd2df209","datavalue":{"value":"\\textit{G. P\u00f3lya} hat 1918 [Math. Z. 1, 143--148 (1918; JFM 46.0240.04)] bewiesen: Es seien \\(p_1\\),\\ldots, \\(p_r\\) \\(r\\) gegebene Primzahlen. Man bilde alle Potenzprodukte \\(p_1^{x_1}\\cdots p_r^{x_r}\\) (\\(x_\\varrho\\ge 0\\), ganz rational) und bezeichne sie, der Gr\u00f6\u00dfe nach geordnet, mit \\(a_1\\), \\(a_2\\),\\(\\ldots\\). Dann ist  \\[ \\lim_{n\\to\\infty}(a_{n+1}-a_n)=\\infty. \\]   Hieraus folgt, da\u00df die diophantische Ungleichung \\(m^x - n^y\\le c\\) (\\(m\\), \\(n\\), \\(c\\) vorgegebene ganze rationale Zahlen) nur endlich viele L\u00f6sungen \\(x\\), \\(y\\) hat, wenn \\(\\dfrac{\\log m}{\\log n}\\) irrational ist. Dieses Ergebnis erf\u00e4hrt in der vorliegenden Arbeit einige Erweiterungen:   Verf. behandelt den allgemeinen Ausdruck  \\[ am^x - bn^y\\qquad (a, b, m, n\\quad\\text{gegebene ganze Zahlen}). \\]    Seine Untersuchungen st\u00fctzen sich auf den bekannten Satz von \\(Siegel\\) \u00fcber die Approximation algebraischer Zahlen durch rationale, der ihm die Absch\u00e4tzung von Ausdr\u00fccken der Form \\(au^r - bv^r\\) f\u00fcr den Fall erm\u00f6glicht, da\u00df \\(a\\) und \\(b\\) nicht beide \\(r\\)-te Potenzen sind. Der allgemeine Fall wird auf diesen zur\u00fcckgef\u00fchrt. Aus dem Beweis ergibt sich, da\u00df es zu jeder Zahl \\(\\delta > 0\\) eine Zahl \\(x_0(\\delta)\\) gibt, so da\u00df f\u00fcr \\(x > x_0\\)  \\[ am^x - bn^y > m^{x(1-\\delta)} \\]   ist, wenn \\(am^x > bn^y\\) und \\(\\dfrac{\\log m\\cdot\\log a}{\\log n\\cdot\\log b}\\) irrational ist. Die letztgenannte Bedingung ist jedoch falsch angegeben, n\u00e4mlich in der dem Fall \\(a = b = 1\\) entsprechenden Form ``\\(\\dfrac{\\log m}{\\log n}\\) irrational.''   Ein zweites Theorem sch\u00e4tzt den Ausdruck  \\[ | at^z - cy^r | \\]  bei gegebenen positiven ganzen Zahlen \\(a\\), \\(c\\), \\(t\\), \\(r\\), w\u00e4hrend \\(z\\) und \\(y\\) alle ganzen Zahlen durchlaufen sollen, nach unten ab. Hieraus ergeben sich, als Folgerungen zwei S\u00e4tze:  (1) Sind \\(t\\) und \\(r\\) zwei positive ganze Zahlen \\(> 1\\), bildet man alle Potenzen \\(t^z\\) von \\(t\\) und die \\(r\\)-ten Potenzen \\(y^r\\) aller ganzen Zahlen \\(y\\) und ordnet sie der Gr\u00f6\u00dfe nach, so strebt die Differenz zweier aufeinanderfolgender Zahlen gegen \\(\\infty\\).  (2) Es sei \\((x) = x - [x]\\), \\(a\\) und \\(t\\) seien gegebene positive ganze Zahlen. Dann ist  \\[ \\lim_{n\\to\\infty}t^n(t^n\\sqrt a)=\\infty. \\]    Theorem III gibt einen Ausdruck f\u00fcr die Anzahl \\(N(a)\\) der positiven ganzzahligen L\u00f6sungen \\(x\\), \\(y\\) der Ungleichung  \\[ 0 < n^x - m^y\\leqq a\\qquad (m, n, a\\quad\\text{gegebene positive ganze Zahlen}) \\]    und die entsprechende Anzahl \\(M(a)\\) f\u00fcr \\(n^x + m^y \\le a\\). Es sei hier nur das abgek\u00fcrzte Ergebnis mitgeteilt:  \\[ N(a)=\\frac{(\\log a)^2}{2\\log n\\log m}+O(\\log a). \\]   F\u00fcr die oben erw\u00e4hnten P\u00f3lyaschen Zahlen gibt der Verf. die dem Theorem I analoge Absch\u00e4tzung \\(a_{n+1}-a_n\\ge a_n^{(1-\\delta)}\\), ferner in einem dem Theorem III entsprechenden Theorem IV f\u00fcr die Anzahl \\(T(x)\\) der L\u00f6sungen der Ungleichung \\(0 < a_h - a_l\\le x\\) die Formel:  \\[ T(x)=\\frac{(\\log x)^{2r}}{2t^2}+O(\\log x)^{2r-1}\\qquad (t=r!\\log p_1\\cdots\\log p_r). \\]     Die Arbeit enth\u00e4lt mehrere sinnentstellende Druckfehler.","type":"string"},"datatype":"string"},"type":"statement","id":"Q572263$BC1A7AF3-51DB-444E-9160-8ADDB26BF996","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc8865260844ef9b86725fe4c5ab0487e70bd0c9","datavalue":{"value":"11D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572263$3630F9C8-D503-486F-BA4E-71396A3E287F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572263$084742C3-A33A-49D0-BE9F-B2EC171CF14A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5eb04744be6b600a890616a37c713777b73596d","datavalue":{"value":"2555942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q572263$6F3AFC5E-7417-4BB5-9A55-DD5F878E238A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ef55e6245bdc5a35c8b1faed61811b845c4a50","datavalue":{"value":"diophantine inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q572263$B7EC2587-4427-42C0-836A-273C6E621918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89e6ec2881498b6694c122538213fcd071cd056","datavalue":{"value":"exponential diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q572263$069053F3-3D44-49CE-8212-52AABBAB14F0","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":"Q572263$418E1D01-A124-46CD-A2C9-0E413D6F0048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f86dda11a9854ce5fea396721992baa64eb53716","datavalue":{"value":{"entity-type":"item","numeric-id":5140033,"id":"Q5140033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q572263$94FD07FC-2D03-4381-A426-CD736763BD93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:572263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:572263"}}}}}