{"entities":{"Q1773157":{"pageid":1783899,"ns":120,"title":"Item:Q1773157","lastrevid":48470452,"modified":"2026-01-04T22:23:52Z","type":"item","id":"Q1773157","labels":{"en":{"language":"en","value":"A binomial coefficient identity associated with Beukers' conjecture on {A}p\u00e9ry numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2161272"}},"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":"Q1773157$CB6C1EB7-099C-4822-96BA-F69259AD28CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dec8ea1a60b125ea95e031dddac62852d00143a8","datavalue":{"value":{"text":"A binomial coefficient identity associated with Beukers' conjecture on {A}p\u00e9ry numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1773157$F13737C9-46C6-4B3F-94C0-0C01A5F24CF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a23d905447866222955d8f699680d60221d124c","datavalue":{"value":"1062.05016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773157$EB8E0262-C918-46AB-BEC0-5C345501DF04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773157$A1EA09CF-B2E6-4953-8E9D-71574FAB1B04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00916f50a25833282b599fa13c2d7aac3ea8143a","datavalue":{"value":{"time":"+2005-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1773157$F2CA32C5-B724-433D-98F4-F27ABD553F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf9173adc09904f79f24876f482bf046099d25a2","datavalue":{"value":"https://eudml.org/doc/124595","type":"string"},"datatype":"url"},"type":"statement","id":"Q1773157$12F27497-D71A-46DC-92FF-2130BD52F5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf36f4485577091fe21131e62bedaa7e9bf17930","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_11/Abstracts/v11i1n15.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1773157$73C968EC-8CB5-4B09-A542-09D29154A284","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea36d7c7d2df601631db918e1d08342e8432ba41","datavalue":{"value":"For a positive integer \\(n\\), the \\(n\\)th Ap\u00e9ry number is given by the binomial sum  \\[  A(n)=\\sum_{k=0}^n {n\\choose k}^2{n+k\\choose k}^2.  \\]  Let \\(\\alpha(n)\\) be determined by the formal power series expansion  \\[  \\sum_{m=1}^{\\infty} \\alpha(m)q^m=q\\prod_{n=1}^{\\infty}(1-q^{2n})^4(1-q^{4n})^4= q-4q^3-2q^5+24q^7+\\ldots.  \\]  \\textit{F. Beukers} [J. Number Theory 25, 201--210 (1987; Zbl 0614.10011)] conjectured that if \\(p\\) is an odd prime then \\(A((p-1)/2)\\equiv \\alpha(p)\\pmod {p^2}\\). This conjecture was confirmed by \\textit{S. Ahlgren} and \\textit{K. Ono} [J. Reine Angew. Math. 518, 187--212 (2000; Zbl 0940.33002)] who showed that it follows from the binomial identity  \\[  \\sum_{k=1}^n {n\\choose k}^2{n+k\\choose k}^2\\Bigl\\{1+2kH_{n+k}+2kH_{n-k}- 4kH_k\\Bigr\\}=0,  \\]  where \\(H_k\\) is the harmonic number given by \\(H_0=0\\) and \\(H_k= \\sum_{j=1}^k 1/j\\) for \\(k\\geq 1\\), whose only known proof was nonelementary. In this short note, the author gives an elementary and self-contained proof of a more general identity which implies the above one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773157$19C7F5B8-158A-43E0-862B-D3B8E4672D7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"703b972b22485bef255b74098d9fff85c5de5ec5","datavalue":{"value":{"entity-type":"item","numeric-id":168881,"id":"Q168881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773157$7A32C615-FA2F-41A1-BF50-55AE8A2E35BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773157$B1397D8F-D683-4179-949A-E775ECB79CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e85463c5600684bc92bff600b46e27e0010627a","datavalue":{"value":"11P83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773157$603C9631-1F69-4CF7-A3EC-B46F8E0E138C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f258a9b1b1d24c7115b432717fdb9c2de46b85a1","datavalue":{"value":"2161272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773157$AC8C13E8-621C-4295-AECA-6D77EB7DF4F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76966a8b26388a57cd14fff322c45ff1698b3c75","datavalue":{"value":"harmonic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773157$7E840DE9-4860-4714-AF33-7A390B69E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa054cada7c144063166b34492f4d946ff8af5c0","datavalue":{"value":"combinatorial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773157$7ACBBC4A-E39A-43BD-8006-B5646E5AE620","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"223bdee16789687e6537854fb7031406245289bf","datavalue":{"value":{"entity-type":"item","numeric-id":161491,"id":"Q161491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773157$687E82D9-1987-4990-8C70-814DAF3BE7E5","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":"Q1773157$001E4803-00D5-437A-BF77-6D84D6028C6E","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"58a4a0316461003db5b4eb68c93bb0bd18f82b3a","datavalue":{"value":"bafkreia2j6j3ffkmvcrk5puacp2tqt3wllbk3idnrgl43owbnkgax7ay7y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773157$A3E672AE-FCA0-45B6-94AB-9DDE1C7A709A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5e4e435bb1bb230bda8bd747bc21b671a221b9","datavalue":{"value":{"entity-type":"item","numeric-id":4205484,"id":"Q4205484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1581c2d5081c78578a818b42dc82c978717b8bb2","datavalue":{"value":{"amount":"+0.8491924405097961","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":"Q1773157$CD784A05-B3E7-4E80-8A18-0CA7BCF54EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d77ea4d51a9906a74971a42585472fc975aead","datavalue":{"value":{"entity-type":"item","numeric-id":1907266,"id":"Q1907266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6068cb71d59e115fe6944cc92e7e53303bee769","datavalue":{"value":{"amount":"+0.845443844795227","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":"Q1773157$4E113D0A-1B7B-4169-BBB5-CED6F95EA5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698b68183bda161681df9da818320c16fda95c0e","datavalue":{"value":{"entity-type":"item","numeric-id":1917897,"id":"Q1917897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6068cb71d59e115fe6944cc92e7e53303bee769","datavalue":{"value":{"amount":"+0.845443844795227","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":"Q1773157$C26C7780-B175-4162-9BA1-0AD0843FFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac4c9c81e3441798c4942bffc9320e7651701ab","datavalue":{"value":{"entity-type":"item","numeric-id":3772278,"id":"Q3772278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c5d89401dbba8affb25edc0f1d069b09293fab","datavalue":{"value":{"amount":"+0.8430269360542297","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":"Q1773157$47CD7F60-1345-414A-B2F0-3800E8AA5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a308f67db7dbeb1213a7ada1f0871fa0137bacf","datavalue":{"value":{"entity-type":"item","numeric-id":779925,"id":"Q779925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d550a463fa91e520e6af8c013518d1ce4a97f9b4","datavalue":{"value":{"amount":"+0.8292074203491211","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":"Q1773157$E54C377E-5D57-4322-893C-7AD50295C8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1773157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1773157"}}}}}