{"entities":{"Q427171":{"pageid":428938,"ns":120,"title":"Item:Q427171","lastrevid":51490364,"modified":"2026-01-18T11:53:24Z","type":"item","id":"Q427171","labels":{"en":{"language":"en","value":"A pretty binomial identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046070"}},"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":"Q427171$51E45D56-FEEA-43E7-BA1A-24BB1E84D52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcfe76b25737e6eac4b1271cf631d6dc2240c624","datavalue":{"value":{"text":"A pretty binomial identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q427171$FC304438-182B-4213-8C7B-9A03B40EBA46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535c5f5c714a435241f0398589addceed9ff4da9","datavalue":{"value":"1250.11023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$8C33EE01-AF78-46CD-A594-3E97AE658B84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7941ee054fae9147c5c1f09817f484ea950444b","datavalue":{"value":"10.4171/EM/189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$94A63BD5-49A1-499C-8E87-88F05C6BC42A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a35b4af3fff787ed500ed932fe2889ed6310dd3b","datavalue":{"value":{"entity-type":"item","numeric-id":427170,"id":"Q427170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$DF12F236-663B-47D2-BF4C-FC30AC52D260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"616404221ad8df3b72d08945b1e32e312ee4ef25","datavalue":{"value":{"entity-type":"item","numeric-id":244363,"id":"Q244363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$93D9C655-00B5-4A0B-9C4C-5C6FF58B8403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed54319b688d2b3553f73540b6ff7b464a9d52cf","datavalue":{"value":{"entity-type":"item","numeric-id":188885,"id":"Q188885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$F93930CE-377C-44FF-A93D-312D537EB680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b793c14a4c32a56beebc3cffab38f9a56d9f32c","datavalue":{"value":{"entity-type":"item","numeric-id":590359,"id":"Q590359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$D85AA6F2-F263-4E6F-8F0A-2D98A20B7969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a40a615f059399ece2c21316094de4d75bf6d39c","datavalue":{"value":{"entity-type":"item","numeric-id":921242,"id":"Q921242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$DC646AB8-6B9C-4B6B-96E0-6A305398490D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"255223deab9a614645300983eff9e9b445f432d0","datavalue":{"value":{"entity-type":"item","numeric-id":207920,"id":"Q207920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$7FFE6B93-20A6-4EBD-AEB8-A704485B69C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b947ce7f91b8cd4bd8b2fce7e70b93d373e39b9","datavalue":{"value":{"time":"+2012-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q427171$5D4B3E7D-C99E-4EE7-9E13-5D9E17207E55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$FFF398FB-61B9-428B-9B61-65D6FABD2825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$180BF3AF-685B-4835-A9E6-1AF9DD1A161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$0C105906-F853-4A9D-8B42-A82BE6454117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"66c5e126e77da3f40558cf621d2ab9aa4679bb8b","datavalue":{"value":"33C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$2A028C01-D25C-46F6-9304-EC625D897ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$CEBAF178-2485-46A2-B80A-08549AFE1B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7130af84553eb0b76a1139bccdb9af642e72146f","datavalue":{"value":"6046070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$D4F83202-3320-4E29-85A7-DDB3BB3F3881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6718826e0a2d35c69bfe9bb0cd27b2d1e0fe0135","datavalue":{"value":"binomial sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q427171$0158956B-D2AB-49EE-B0E4-3330EBE80A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c05d2d2701af3b6434b3996545064daab0dcbdc","datavalue":{"value":"hypergeometric functions, WZ method","type":"string"},"datatype":"string"},"type":"statement","id":"Q427171$F9DFFDA5-3E25-4AAD-B8D5-5B20FC1DE64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"651ce55b604abc1fd46c922b30e69b614b3815a8","datavalue":{"value":"constant term identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q427171$15A7263A-9927-47DA-AE8B-8452F5EF7B3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$2081B499-22D7-43CA-8232-5BA937B96203","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":"Q427171$3ED2BA21-B93C-4F40-B3E7-2962C1DBEEB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"052ff71d9229399aca3e5f2b8d4fddd4888917f4","datavalue":{"value":{"entity-type":"item","numeric-id":1039630,"id":"Q1039630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$DF928D8B-75DF-4421-8DAA-9A21D4FF8029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856bb348ff51bc4876fbc5bfd33fc8117415219c","datavalue":{"value":{"entity-type":"item","numeric-id":1343656,"id":"Q1343656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$26D8291C-6B73-4466-9313-5D3A8F7FC56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f1334bc78bb4c03427c41fbbf6a2e2abc497e0","datavalue":{"value":{"entity-type":"item","numeric-id":5937197,"id":"Q5937197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$A594A415-8BA2-442C-84E3-265C38E5D547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fe34a38f81ff5ae54dffe1830655b9b93c533b","datavalue":{"value":{"entity-type":"item","numeric-id":3154381,"id":"Q3154381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$82F0CE88-00DE-45E7-BD09-977902A75AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb464d80f1d2327db7ee755680013e3dc152cb23","datavalue":{"value":{"entity-type":"item","numeric-id":3412698,"id":"Q3412698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$916C7ED5-4603-4631-8FCF-4198399C07E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daaa0e597604eaa9a08a427375513a137c4b78b7","datavalue":{"value":{"entity-type":"item","numeric-id":4361610,"id":"Q4361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$A60204A9-3F58-4379-A4FD-15BAC8559EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90f86fe8d09763fca1421da1eabdf755d7afa2","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$C07D26DC-EDA4-464F-A59A-A5BEFA2E6EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68520ba72b1d653825cb47ec4292c4a950873e29","datavalue":{"value":{"entity-type":"item","numeric-id":3588135,"id":"Q3588135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427171$02646F4D-1BFA-4618-9232-2BE8F12FFACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"746f528fe0449e2f0bafa260c5cdea8a0d9aa83f","datavalue":{"value":"https://doi.org/10.4171/em/189","type":"string"},"datatype":"url"},"type":"statement","id":"Q427171$CE5A565D-6CED-4C6C-A194-D24135511AF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c61b9190236f81b759bfb89bb6b80fe674123239","datavalue":{"value":"W2076736123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427171$B86987D6-8859-4DBA-A8D8-E5ED9E516896","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7de065ba8dc47557ddd06d7a2860d7ddcae21837","datavalue":{"value":"This paper presents five proofs of the pretty identity NEWLINE\\[NEWLINE\\sum^m_{k=0} 2^{-2k} {{2k}\\choose {k}} {{2m-k}\\choose {m}} = \\sum^m_{k=0} 2^{-2k} {{2k}\\choose {k}} {{2m+1}\\choose {2k}}NEWLINE\\]NEWLINE coming from the evaluation at \\(a=1\\) of the polynomial NEWLINE\\[NEWLINEP_m(a)= 2^{-2m} \\sum^m_{k=0}2^k{2m-2k \\choose m-k} {m+k \\choose m}(a+1)^kNEWLINE\\]NEWLINE found by \\textit{G. Boros} and \\textit{V. H. Moll} [J. Comput. Appl. Math. 130, No. 1-2, 337--344 (2001; Zbl 1011.33005)] while studying NEWLINE\\[NEWLINEP_m(a): ={1\\over\\pi} 2^{m+3/2} (a+ 1)^{m+1/2} N_{0,4}(a;m)NEWLINE\\]NEWLINE introduced in order to evaluate NEWLINE\\[NEWLINEN_{0,4}(a;m): =\\int^\\infty_0 {dx\\over (x^4+2a x^2+1)^{m +1}}, \\;a>-1,\\;m=1,2, \\dotsNEWLINE\\]NEWLINE which has been further explored by [\\textit{G. Boros} and \\textit{V. H. Moll}, Irresistible integrals. Symbolics, analysis and experiments in the evaluation of integrals. Cambridge: Cambridge University Press. (2004; Zbl 1090.11075)], [Sci., Ser. A, Math. Sci. (N.S.) 11, 1--12 (2005; Zbl 1105.33001)], by \\textit{G. Boros, V. H. Moll} and \\textit{S. Riley} [Sci., Ser. A, Math. Sci. (N.S.) 11, 1--12 (2005; Zbl 1105.33001)] and by \\textit{T. Amdeberhan} and \\textit{V. H. Moll} [Ramanujan J. 18, No. 1, 91--102 (2009; Zbl 1178.33002)].NEWLINENEWLINEIn the \\(introduction\\) the authors recall the entertaining works by \\textit{G. E. Andrews} [Math. Intell. 16, No. 4, 16--18 (1994; Zbl 1019.00501)] and by \\textit{D. Zeilberger} [Math. Intell. 16, No. 4, 11--14, 76 (1994; Zbl 1019.00504)] with the aim to stimulate a reflection on what is admissible as a proof.NEWLINENEWLINEThe \\textit{first proof} uses the WZ method introduced by \\textit{H. S. Wilf} and \\textit{D. Zeilberger} [Invent. Math. 103, No. 3, 575--634 (1991; Zbl 0739.05007)], developed by [\\textit{M. Petkov\u0161ek, H. S. Wilf} and \\textit{D. Zeilberger}, \\(A=B\\). With foreword by Donald E. Knuth. Wellesley, MA: A. K. Peters. (1996; Zbl 0848.05002)] and by \\textit{I. Nemes, M. Petkov\u0161ek, H. S. Wilf} and \\textit{D. Zeilberger} [Am. Math. Mon. 104, No. 6, 505--519 (1997; Zbl 0905.68082)] and implemented in modern symbolic languages, for instance \\texttt{Maple}.NEWLINENEWLINEThe \\textit{second proof} is based on producing \\textit{Laurent polynomials} whose constant terms give the two sides, respectively.NEWLINENEWLINEThe \\textit{third proof} is an excursion into the hypergeometric functions whose terms are evaluated through a classical formula of Gauss reported by [\\textit{G. E. Andrews, R. Askey} and \\textit{R. Roy}, Special functions. Encyclopedia of Mathematics and Its Applications. 71. Cambridge: Cambridge University Press. (1999; Zbl 0920.33001)].NEWLINENEWLINEThe \\textit{fourth proof} is a contour integration approach based on complex analytic techniques and on the Cauchy's residue theorem in order to establish identities involving binomial coefficients.NEWLINENEWLINEThe \\(fifth\\) is a combinatorial \\(proof\\) based on the bijection between \\(X\\) (the set of lattice paths in the plane that start at \\((0,0)\\), taking unit \\(N=(0,1)\\), \\(S=(0,-1)\\), \\(E=(1,0)\\) and \\(W=(-1,0)\\), of odd length \\(2m+1\\) and ending at the \\(y\\)-axis) and \\(Y\\) (a set formed by all paths on the \\(x\\)-axis that start and end at \\(0\\), take steps \\(e=+1\\) and \\(w=-1\\), and have length \\(4m+2\\)). The proof is partial since the authors admit to have been unable to find a combinatorial interpretation of the left hand side of the identity, \\(i.e.\\) of NEWLINE\\[NEWLINE\\sum^m_{k=0} 2^{-2k} {{2k}\\choose {k}} {{2m-k}\\choose {m}}NEWLINE\\]NEWLINE and they invite the reader to produce one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q427171$A1316D6D-438E-443B-9AAA-EC2E5399EEF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db5c5018e25c1a86a52bc59a03087a682fccef8","datavalue":{"value":{"entity-type":"item","numeric-id":4632511,"id":"Q4632511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91de6a141671ffd30342af5fe0ed99a623ff6700","datavalue":{"value":{"amount":"+0.7616615295410156","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":"Q427171$FB74F833-C0EF-4500-9E0C-FC29C13D6643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c77393e69ec3242f2ed1bf2d158166319779ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5455230,"id":"Q5455230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b657339e3ced6ab15c33f745bceddd63b493cb82","datavalue":{"value":{"amount":"+0.7528972625732422","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":"Q427171$797AE44C-C95A-415C-80FD-CBEC489FF7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299ace73aebb390d621507003b163973a98fb4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3684123,"id":"Q3684123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0765277eb574487178463fdf9f561dec9a7d7336","datavalue":{"value":{"amount":"+0.7510926127433777","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":"Q427171$0BC48A5C-F100-4657-9763-3095F6B30B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56b71f54c093e43c7f95ce37c379f2127e585f6","datavalue":{"value":{"entity-type":"item","numeric-id":5009648,"id":"Q5009648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2557a818e23e57dd8535a8745a7a2ea85c45d6b5","datavalue":{"value":{"amount":"+0.748005211353302","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":"Q427171$E566AAF6-B148-41DA-AFBC-BA5D4E16A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba024505a3ed12d7adf867810758a0546ee7472","datavalue":{"value":{"entity-type":"item","numeric-id":3470469,"id":"Q3470469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63669e29400d0ce61554c3a0605e94ee3488d5b3","datavalue":{"value":{"amount":"+0.747914731502533","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":"Q427171$DA960C96-90BB-4F97-A83A-AABEEB5F0B63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:427171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:427171"}}}}}