{"entities":{"Q2883390":{"pageid":2894115,"ns":120,"title":"Item:Q2883390","lastrevid":79718399,"modified":"2026-05-06T14:33:24Z","type":"item","id":"Q2883390","labels":{"en":{"language":"en","value":"A simple proof of Lerch's formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6032399"}},"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":"Q2883390$EAC4CB27-0CE2-415F-8987-157D98CCE18A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a12719b9fe9503264dfdd8e4dd2bdfede556487","datavalue":{"value":"1259.11017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883390$C40C73E2-7353-4902-8DE0-EC69EEFBB348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d14163225be168f7274ce7eefe25dad901b1ef5","datavalue":{"value":{"entity-type":"item","numeric-id":268447,"id":"Q268447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883390$057CDF2B-829E-4994-BA23-FAE72943F747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eef77934b576d16fdff17db0b068033afe8d839","datavalue":{"value":{"entity-type":"item","numeric-id":1410754,"id":"Q1410754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883390$5E83D683-62A7-4ADA-989E-62B7617B3F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c389f58e38360b59868aca1b4ab367674832e721","datavalue":{"value":{"time":"+2012-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883390$EA0CC14C-F8BE-44ED-B2B9-86010478A42C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"223fe586607c60b0738504f3419a7d40d2a118fe","datavalue":{"value":"11A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883390$2C383714-642A-4F12-A036-888D1CAEADD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88f1455f22673b64de7dcb029f955d543edf2b64","datavalue":{"value":"6032399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883390$CFC3D6B7-73AA-4BE0-B5B9-A9CCDC6A4A9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912c541c8f5878bc98d28050e2a68234658216da","datavalue":{"value":"Irrational numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883390$897E033A-9739-4995-8374-4DE564A30EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e21f64875b8b23958df14a0f3fae0988757f87b","datavalue":{"value":"Beatty sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883390$F5277AAB-A013-4490-A8FB-F76324A908DC","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":"Q2883390$86B27203-1AD3-4C36-BF53-29A9A943B777","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aff7a1f1e87f87d5e5a58b1aa799d0b4a25d0f3","datavalue":{"value":{"text":"A simple proof of Lerch's formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883390$5BB2B225-2BC1-4575-BC37-84EC3171BE39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69d86d930ab7d15bf408652a51d91c5a2a483e7c","datavalue":{"value":{"entity-type":"item","numeric-id":6648219,"id":"Q6648219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883390$D4E00304-00BE-4627-B54F-59AE7A75F666","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f69d86aa5ae4279f1e2b96b681260ccf39c36005","datavalue":{"value":"Let \\(\\alpha\\) be a positive irrational number. In 1904 M. Lerch proposed as a question (No. 1547 in L'Interm\u00e9diaire des Math\u00e9maticiens) the following identity: NEWLINE\\[NEWLINE\\sum^{m}_{k=1} [k\\alpha] + \\sum^{[m\\alpha]}_{k=1}[k \\tfrac{1}{\\alpha}] = m[m\\alpha],NEWLINE\\]NEWLINE where \\([n]\\) means the integer part of \\(n\\).NEWLINENEWLINEIn 1926 S. Beatty proposed as a problem (No. 3173 in Am. Math. Mon.) the following Lemma: Let \\(x>1\\) and \\(y>1\\) be irrational numbers such that \\(\\frac{1}{x}+\\frac{1}{y}=1\\). Then the sequences \\(\\left\\{[nx]:n\\geq1\\right\\}\\) and \\(\\left\\{[ny:\\geq1]\\right\\}\\) form a partition of the set of the natural numbers \\(\\left\\{1, 2, 3, \\ldots\\right\\}\\).NEWLINENEWLINEThe authors of the present paper apply consequence of this lemma in their proof of the Lerch's formula.NEWLINENEWLINEAs a consequence of Lerch's formula the authors deduce the following identity: NEWLINE\\[NEWLINE\\sum^{F_{n}}_{k=1}([k\\alpha]+k\\alpha^{2})+ \\sum^{F_{n+1}}_{k=1}[k\\tfrac{1}{\\alpha}]+\\sum^{F_{n+2}}_{k=1}[k\\tfrac{1}{\\alpha^{2}}]= \\sum^{F_{n}}_{k=1}[k\\alpha^{3}]+ \\sum^{F_{n+3}}_{k=1}[k\\tfrac{1}{\\alpha^{3}}]NEWLINE\\]NEWLINE.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883390$5FECF8A2-A9F8-40D2-B379-1A27E14E5A5A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ea2949b2a2fa312d98171c86fcf25780bedacde","datavalue":{"value":{"entity-type":"item","numeric-id":589835,"id":"Q589835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883390$8B317500-6144-4FED-AF03-186F6CBD0142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ee552e9b546bde71bffc0b7afe5708e88d6ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2097509,"id":"Q2097509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bf1f59f9cf255287e8ad5888550a81b1866193","datavalue":{"value":{"amount":"+0.7628015875816345","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":"Q2883390$20AC532F-88D3-4A7C-AA37-403FDEF4CD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44dfc063b27e90fff5bd79e8598f8e70eb28add1","datavalue":{"value":{"entity-type":"item","numeric-id":4414880,"id":"Q4414880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c2823d1d86201edd3c0902de0076927207e20f","datavalue":{"value":{"amount":"+0.761226236820221","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":"Q2883390$7324A985-C714-490E-A18A-5E73E1BF02E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5feb7ca6fb4c7daade5fe49491b518fe0a557002","datavalue":{"value":{"entity-type":"item","numeric-id":1069964,"id":"Q1069964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0efdce0edb9c1e3447a2e55a86866be77a6a20","datavalue":{"value":{"amount":"+0.7498551607131958","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":"Q2883390$312E719C-0A3B-4350-A47E-5E6CA73912F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3069a53425852c63a8fdaa49f53963b545a430","datavalue":{"value":{"entity-type":"item","numeric-id":1345271,"id":"Q1345271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22de7488435e17569204604e867fe7317b0f8d7d","datavalue":{"value":{"amount":"+0.735245943069458","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":"Q2883390$17762ABE-84D0-434A-BD06-751B7166C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144226474e481ceea96fcf9335b9578d357d0bea","datavalue":{"value":{"entity-type":"item","numeric-id":2857822,"id":"Q2857822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7634d7339f7cbab3b2f6bb0c91bcf2a8c989ad38","datavalue":{"value":{"amount":"+0.7322611212730408","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":"Q2883390$BE6986D4-A9FD-4592-8412-E49D511EA655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of Lerch's formula","badges":[]}}}}}