{"entities":{"Q1297448":{"pageid":1308198,"ns":120,"title":"Item:Q1297448","lastrevid":70091598,"modified":"2026-04-13T12:23:08Z","type":"item","id":"Q1297448","labels":{"en":{"language":"en","value":"A bijective proof of Riordan's theorem on powers of Fibonacci numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1321805"}},"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":"Q1297448$332634B1-F5E5-4174-9CC1-033C9D08888C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d02ce7bb05d393f5a39fc5c2ec05084a6dc6e45","datavalue":{"value":{"text":"A bijective proof of Riordan's theorem on powers of Fibonacci numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297448$E51CE95E-5254-4513-A7C2-557C2A03C9F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c98031a4a4d14f000ed055f084d817daee70667","datavalue":{"value":"0936.11010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$470B4CB0-8FC6-4919-AD4D-01AC99B13514","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d9829d3b9d9fd8e99205fb4df6f4a3f6742b74a","datavalue":{"value":"10.1016/S0012-365X(98)00341-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$0E810E1F-62A0-45B8-8D57-C709AF23F879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fdd997bf3cce9a4333e95a016b76c77ef64a44","datavalue":{"value":{"entity-type":"item","numeric-id":168797,"id":"Q168797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$1D3A56A6-8551-482F-A73A-A15923430D30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$1A4E2D05-FBF4-4EB1-AAFD-DCC8644D8C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64de9f2bb832c71add0c79b2983f83a99eaea78d","datavalue":{"value":{"time":"+2000-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297448$359CA135-4CD9-4CC4-A1E8-DE1657F3E63D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ea5dd9f16fff015380a502e5b47bd7197ba424b","datavalue":{"value":"Let \\(F_n\\) and \\(L_n\\) be the \\(n\\)-th Fibonacci and Lucas numbers, respectively, and define \\(F_k(x)=\\sum_{n=0}^{\\infty}{F_n^kx^n}\\). The author proves the following recurrence given by Riordan:  \\[ (1-L_kx-(-1)^kx^2)F_k(x)=1+kx\\sum_{j=1}^{\\lfloor k/2 \\rfloor} {(-1)^j/ja_{kj}F_{k-2j}((-1)^jx)}. \\]  This recurrence follows directly from the following relation:  \\[  F_n^k=L_kF_{n-1}^k-(-1)^kF_{n-2}^k+\\delta_{n,0}+ \\sum_{m,j \\geq 1} b_{mk}\\binom m j (-1)^{jn} F_{n-1}^{k-2j}, \\]  where  \\[ b_{mk}=k/m {k-m-1\\choose m-1}\\text{ and }\\delta_{n,0}=1\\text{ if }n=0,\\text{ and }\\delta_{n,0}=0\\text{ if }n>0. \\]  Let \\(A(n)=\\{(a_1, \\ldots ,a_r):r \\geq 0, a_i \\in \\{ 1,2 \\}, a_1+ \\cdots + a_r=n \\},\\) let \\(B(n)=A(n) \\cup A(n-2),\\) and define \\(M_n^k\\) and \\(N_n^k\\) to be \\((A(n))^k\\) and \\((A(n-1))^k \\times B(k),\\) respectively.    The author's proof of the relation above begins with the fact that \\(F_n= |A(n)|\\) and \\(L_n= |B(n)|.\\) The author constructs a map \\(m_n^k\\) from \\(N_n^k\\) to \\(M_n^k\\) that extends the bijection, given by Werman and Zeilberger in their proof of Cassini's identity, from \\((A(n) \\times A(n))-(2,2,\\ldots, 2)\\) to \\((A(n-1) \\times A(n+1))-(2,2, \\ldots, 2).\\) The author is able to establish the relation above by determining the domain, range, and injectivity of \\(m_n^k.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297448$978974F2-FA39-409F-8270-646AF262D567","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d14ef8dd53582d3e88540dc9c63dde6832f37878","datavalue":{"value":{"entity-type":"item","numeric-id":1297447,"id":"Q1297447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$588EF066-872E-4F03-890E-1F726C1BC424","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$4A7AD823-9C7B-473C-96D9-DED880BF6145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$56314471-616C-4EAB-97EC-69B852C2FFD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d1ca83fe2e4b91a03cc700898941e3243d0c307","datavalue":{"value":"1321805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$20447083-6BB3-4577-8E01-798C86A8D599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f919daf07d32d8cf0a19b0a8f56c9fda2fe44dcf","datavalue":{"value":"Fibonacci numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297448$5BD199B2-F70C-45F6-8CBA-18792DF51B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2f36793ed60a1d3805ee31b4f834564375dd3d","datavalue":{"value":"Lucas numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297448$71745F2B-6C2F-4D2D-9ED1-5C3691B6B0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd14bcfea8a464098e222ddb2610cf86f039d66","datavalue":{"value":"Cassini's identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297448$70E1C072-A4ED-4D7E-AE56-E50F7028E2CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f8a6a07a91168594783327f985c7d26653511ab","datavalue":{"value":"Q122917959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$5DA4540D-FABE-48E8-A983-B44622BA6F35","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":"Q1297448$51B4448B-B53F-4242-AB8B-DF18D72FED46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$BE5EBCCB-D104-44F3-BA0B-01B62D17FF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573836582b05abe1760990ee3384322998b075e3","datavalue":{"value":{"entity-type":"item","numeric-id":774436,"id":"Q774436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$EB3B393A-CB72-4DDC-B038-295861563EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2628001cb55d7048b26e32fc983217892060ba58","datavalue":{"value":{"entity-type":"item","numeric-id":1066146,"id":"Q1066146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297448$C86329C5-85FC-4252-9871-2D0813630EAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ff22429ae0b21f985799626c0945f9f6688044c","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(98)00341-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1297448$DBD65BB0-1592-4F09-9EB1-C41AFADC2C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae1bb328189b3f330423bae56a18b338e00bdb89","datavalue":{"value":"W1966180209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297448$53C3437C-E0CE-4964-AEF0-B1587D06F511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a790e74e7c9644da45198b6c4ab1c4c1f5c07c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4888641,"id":"Q4888641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d883dabd47daadd542aa9bc8afe74d642ca8491","datavalue":{"value":{"amount":"+0.764170229434967","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":"Q1297448$98CB799A-8A6A-4984-A918-8326C36A6D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4d24d92361f2f5d4340a4e0f2bd09cc6b214e0","datavalue":{"value":{"entity-type":"item","numeric-id":2829052,"id":"Q2829052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33e0097df46b00d1ed5908793b792e32163be34","datavalue":{"value":{"amount":"+0.7621209621429443","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":"Q1297448$9A3FF053-B218-40D9-B8FC-99AC7F60FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04fc2d365bc8db321c1c49a469059778780fa88","datavalue":{"value":{"entity-type":"item","numeric-id":4916827,"id":"Q4916827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3be5dc0a050b2eea05133a98f627db4c7577fa","datavalue":{"value":{"amount":"+0.7597169280052185","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":"Q1297448$AF39342C-0FD4-4633-9EAE-B2B72C24AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f673d5f95586140312b5d6fa8fb98db5edb12022","datavalue":{"value":{"entity-type":"item","numeric-id":3377539,"id":"Q3377539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc1427366db616859c3a52a48735452ec2e096b","datavalue":{"value":{"amount":"+0.7549859881401062","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":"Q1297448$29A15502-74D7-4AB5-AD2A-44A035A4E8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ee3e63adb93ef9b5307c9188bc576a9fada36e","datavalue":{"value":{"entity-type":"item","numeric-id":2970266,"id":"Q2970266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650671ea1fdbf6d975a3ce49c8f68a810d456948","datavalue":{"value":{"amount":"+0.7528516054153442","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":"Q1297448$024C4B35-FBC7-416E-B43B-A29DA0368739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bijective proof of Riordan's theorem on powers of Fibonacci numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bijective_proof_of_Riordan%27s_theorem_on_powers_of_Fibonacci_numbers"}}}}}