{"entities":{"Q1898759":{"pageid":1909501,"ns":120,"title":"Item:Q1898759","lastrevid":69229086,"modified":"2026-04-13T05:37:20Z","type":"item","id":"Q1898759","labels":{"en":{"language":"en","value":"The \\(p\\)-adic theorem of finite increments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 800331"}},"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":"Q1898759$4777E6A8-3456-4F6C-B9D9-885FD4543BE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f80d09753f500e642b608513a7af8dc2d90468c","datavalue":{"value":{"text":"The \\(p\\)-adic theorem of finite increments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898759$DC01F898-3286-40E4-A34B-803DA4DFCA1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"967ebda38bf504bf31d0197d82471a12e7ec7455","datavalue":{"value":"0831.26015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898759$4D3BA8A8-F699-460F-915D-005F41CED0AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36242a81c7a3642547ca317682ba1b2d71313a33","datavalue":{"value":{"entity-type":"item","numeric-id":1167780,"id":"Q1167780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$6F58A5DE-DEAC-4F6B-AD9D-BB821B17B48F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a9d16aa5bebe85061c7fdc74495e498a84ff06e","datavalue":{"value":{"entity-type":"item","numeric-id":172400,"id":"Q172400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$01979741-0502-43B1-B6AF-C358B6CAE016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e77e7fcae230862b11b18a6591362a47c16c948f","datavalue":{"value":{"time":"+1996-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898759$B7224D3A-4B63-46F1-A72B-5BA09B4959A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9baa848db21b7662cdbb826e2abe68aa98cb4173","datavalue":{"value":"http://www.numdam.org/item?id=AMBP_1995__2_1_245_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898759$24256FE8-6F89-4D3F-BA54-2A2532922BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a6cb91f118913d501106260b4eee4499da663a0","datavalue":{"value":"https://eudml.org/doc/79120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898759$10F1C984-FC12-48CC-BD30-0BE3E9635FCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c13c9f7dd1a2b0e86d27f8061df7fa910a32b063","datavalue":{"value":"Let \\(K\\) be a complete valued extension of the \\(p\\)-adic number field. It is well-known that there is no mean value theorem for functions with domain and range in \\(K\\), as there exist \\(C^1\\)-injections with everywhere vanishing derivative. But even polynomials behave badly: let \\(f: x\\mapsto x^p\\), then \\(f(1)- f(0)= 1\\neq f'(c)\\) for all \\(c\\) in the unit disk.   Yet, in this elegant paper the author shows that if \\(f: x\\mapsto \\sum_{n\\geq 0} a_n x^n\\) is analytic on \\(B_k:= \\{\\lambda\\in K: |\\lambda|\\leq 1\\}\\) (where the \\(a_n\\) are taken from a \\(K\\)-Banach space and \\(|a_n|\\to -\\)) then \\(|f(t+ h)- f(t)|\\leq |h||f'|\\) (where \\(|f'|= \\max|na_n|\\)) for all \\(t, h\\in B_k\\), \\(|h|\\leq r_p= p^{1/(1- p)}\\).   It is shown that this result no longer holes if we admit \\(|h|> r_p\\). Three applications are given. First yet another proof of the Kummer and von Staudt congruences about Bernoulli numbers, also some binomial congruences and a fixed point theorem.   Also the following second-order result is proved. With \\(f\\), \\(t\\) as above we have  \\[ |f(t+ h)- f(t)- f'(t) h|\\leq |{1\\over 2} t^2||f''| \\]  provided \\(|h|\\leq p^{1/2p}\\) if \\(p\\geq 3\\), \\(|h|\\leq {1\\over \\sqrt 2}\\) if \\(p= 2\\). As an application one deduces the fact that the numerator of \\(1+ {1\\over 2}+\\cdots+ {1\\over p} n\\) is divisible by \\(p^2\\) (\\(p\\) odd). Finally, a \\(p\\)-adic Rolle theorem is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$B045F4DC-949F-4B71-A4C9-9B16BDA8A8F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"134cea8c4d995c5d0f1adf064cbe5ac1001a5d7f","datavalue":{"value":"26E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898759$A68720A5-7A2A-4355-ACCC-292332790947","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4008b0fd06b42844d3cb215b1f99d498f19fa3e0","datavalue":{"value":"800331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898759$E3542247-0CE0-4AD0-9861-3A9A73DD2C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b2bd8b3b5934e20aab7d66a5c5df989d4bbc7d","datavalue":{"value":"\\(p\\)-adic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$FC7700D2-BA4E-471A-A276-33345111C8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec81c52207dc1f1d46b1e3026e816c58be0f46ec","datavalue":{"value":"mean-value theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$2FA63BD2-C8CE-4B0C-B178-F6AE3ABBF72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e36ba3fdaabc4fe77f0631cce88bcd832dffa09","datavalue":{"value":"Kummer and von Staudt congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$9A6FC13F-7E39-4CE9-A825-EC4EF0D00BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083d2f9f3217683f1b6f78d6299477d8b7dfe8de","datavalue":{"value":"Bernoulli numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$056DDC65-2106-4109-8FFB-80C2E1AA16A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f883472cabdffd0ddcb9bc3090f036e3bf8fcd5","datavalue":{"value":"binomial congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$18B4EE3E-82AF-4983-869E-A1FF06E7F530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$7CF676F9-5569-4CEA-9407-B1304F11364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb4e42ee25ea39fb6aa642f0db277d7fd8392f3","datavalue":{"value":"Rolle theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898759$BD59F71E-3D6B-48A2-B3FF-7B5116F8033B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2754645012ab9c924ce8ba5b2423646e9179d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":1105817,"id":"Q1105817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$6EE91E8D-4B4B-4929-83B1-5F97F47CD9D3","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":"Q1898759$BCEB6643-BFA3-4873-8F8F-58D999D79BF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"155b4aa513a67ef70f156cf76ec7c9a98edf894a","datavalue":{"value":"W2328944698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898759$5B162746-2711-408F-8BE4-85D5A442A67D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68dced8ac53c7f6a04c50703ff1ca16e7247d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":5834732,"id":"Q5834732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$3EDBB160-B22E-43B7-96D4-0DFBB9C4BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a0fa23e1455e2aa23db37fa61f05b25d3712a9","datavalue":{"value":{"entity-type":"item","numeric-id":3982581,"id":"Q3982581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$2F18335D-06DB-4AF2-9EAF-56A37BDE8A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb06752e1fa56dec66cb63f504c03098b157a51e","datavalue":{"value":{"entity-type":"item","numeric-id":1174221,"id":"Q1174221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$2B9DD617-BE56-4B42-9E30-AF2AAAD23219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85756d7ae214338d1e47489608fadaed868a4320","datavalue":{"value":{"entity-type":"item","numeric-id":5566639,"id":"Q5566639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$2B9AF7A4-2302-4BC9-AE61-201769C1BDCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98779de3e251b60b5664a5100642262aeef83c94","datavalue":{"value":"10.5802/AMBP.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898759$F7A956F6-CC3F-4771-B035-1BFA568F8EFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f6fc1a1e88dbcd0e27a4c2dddb0dfb563f73af","datavalue":{"value":{"entity-type":"item","numeric-id":4462092,"id":"Q4462092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2edfb96e2a0d3b2030f7eb630367368330a5804","datavalue":{"value":{"amount":"+0.7774930000305176","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":"Q1898759$D97B5E64-7F19-428A-88F4-D6E8A6BE8D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89ccca971c36b09a005fb131583feec98bd1e78","datavalue":{"value":{"entity-type":"item","numeric-id":1393557,"id":"Q1393557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0218c9a8694d65a049d2585e35f75fbe267cb1a","datavalue":{"value":{"amount":"+0.7681732773780823","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":"Q1898759$0A12A706-0126-4EF1-9BA6-9E3DBBBB901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6ebcb485d960a3ec3d617425d8e9333f76fbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4492826,"id":"Q4492826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc1f886b6ec422ea8ff81c6c4107a14f0060ea7","datavalue":{"value":{"amount":"+0.7673664689064026","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":"Q1898759$F74D960C-13C4-4715-93B9-01E635E08B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03358296717a7158c5a13e68dfa77965f762291","datavalue":{"value":{"entity-type":"item","numeric-id":3502564,"id":"Q3502564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba77f9ebc902e80adc4388b59db7d8d82c4941ae","datavalue":{"value":{"amount":"+0.7519213557243347","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":"Q1898759$C474B868-C264-4509-AAF0-B7C944D6452B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898759$51068273-E690-4CEB-B260-7C5B175C12BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(p\\)-adic theorem of finite increments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(p%5C)-adic_theorem_of_finite_increments"}}}}}