{"entities":{"Q2501204":{"pageid":2511947,"ns":120,"title":"Item:Q2501204","lastrevid":57956733,"modified":"2026-04-03T05:53:37Z","type":"item","id":"Q2501204","labels":{"en":{"language":"en","value":"Classical and modular approaches to exponential Diophantine equations. I: Fibonacci and Lucas perfect powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051318"}},"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":"Q2501204$29D18FEB-F3A1-4922-9CCC-BFA5307AFA3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d96f979e9205b6a92f6062611016629ec0a1889a","datavalue":{"value":{"text":"Classical and modular approaches to exponential Diophantine equations. I: Fibonacci and Lucas perfect powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2501204$9870A5AB-36F8-4070-BC6E-B0518208A6D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e79c0db3d3d9dd0eb769c6f7991fed06b4fb27a","datavalue":{"value":"1113.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501204$AA5144D3-1B63-4660-B3B1-102ACD271D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b1dd6492341a1d464442ce9b25f6c8849bbe3a9","datavalue":{"value":{"entity-type":"item","numeric-id":294191,"id":"Q294191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501204$7166E87C-FDB5-41A7-B13E-8B2FA6F88027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e9a4d2e8870a049d4574f16b4d4ac275116959","datavalue":{"value":{"entity-type":"item","numeric-id":168867,"id":"Q168867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501204$F9709D56-0F58-4EDC-B59F-301550777688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f43bf0f0ed97f42721f18513be8f4e02ef8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":168882,"id":"Q168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501204$AB4ECED4-A553-4A63-9026-37AE18735CA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501204$391B4FE2-5780-4660-A625-988551ABF06B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eb0b1efdc761df70e65c3012800f0bd5424c33d","datavalue":{"value":{"time":"+2006-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2501204$0B10CEA0-066F-4BBF-A9D1-CB3D8712E704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fac3023c1f80c6a0fb15bf271612162cc3fb05c","datavalue":{"value":"https://arxiv.org/abs/math/0403046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2501204$D37528FF-F1EA-4B91-AE16-DD1C44FC2D86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dbae3cb88511fdbfd029d305524ced82b8c5a65","datavalue":{"value":"The authors combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equation, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. The authors are going to -- present theoretical improvements to various aspects of the classical approach (through linear forms in logarithms), -- show how local information obtained through the modular approach (associate to a maybe -- existing solution of a Diophantine equation an elliptic curve) can be used to reduce the size of the bounds [for exponents and variables], and to show how this local information can be pieced together to prove that there are no missing solutions, -- solve various outstanding Diophantine equations. Using the described strategy, the authors show (after a short historical survey of known results) two spectacular results: The only perfect powers in the Fibonacci sequence \\(F_n\\) [\\(F_0=0, F_1=1, F_{n+2} = F_{n+1} + F_n\\)] are \\(F_0=0,\\; F_1=1,\\; F_2=1,\\; F_6=8\\) and \\(F_{12}=144\\), and, the only perfect powers in the Lucas sequence \\(L_n\\) [\\(L_0=2,\\; L_1=1,\\;\\) and \\(L_{n+2} = L_{n+1} + L_n\\)] are \\(L_1=1\\) and \\(L_3=4\\). The authors describe in a very lucid way the eight main steps for deducing these results. Relying in part on a paper of \\textit{M. Laurent, M. Mignotte} and \\textit{Y. Nesterenko} [J. Number Theory 55, No. 2, 285--321 (1995; Zbl 0843.11036)], the authors prove an important improvement of lower bounds for linear forms in three logarithms, \\[ \\Lambda = b_2 \\log \\alpha_2 - b_1 \\log \\alpha_1 - b_3\\log \\alpha_3, \\] where \\(b_j\\) are positive rational integers with gcd\\((b_1,b_2,b_3)=1\\), and the \\(\\alpha_j\\) are non-zero multiplicatively independent algebraic numbers. Given \\(\\rho \\geq e\\), and assume that several inequalities concerning the integers \\(K, L\\), \\(R, R_i\\), \\(S, S_i, T, T_i\\), all \\(\\geq 3\\), are fulfilled. Then either \\[ | \\Lambda| \\cdot \\max\\left\\{ \\frac{LRe^{LR| \\Lambda| /(2b_1)}}{2b_1}, \\frac{LSe^{LS| \\Lambda| /(2b_2)}}{2b_2}, \\frac{LTe^{LT| \\Lambda| /(2b_3)}}{2b_3} \\right\\} > \\rho^{-KL} \\] is true or one of the conditions (C1), (C2), (C3) holds. Here (C1) is \\[ \\exists r,s\\in\\mathbb{Z}, \\; rb_2 = sb_1 \\text{ with } 0