{"entities":{"Q6042807":{"pageid":13176963,"ns":120,"title":"Item:Q6042807","lastrevid":98594915,"modified":"2026-06-05T18:01:57Z","type":"item","id":"Q6042807","labels":{"en":{"language":"en","value":"Proofs of McIntosh's conjecture on Franel integrals and two generalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7681931"}},"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":"Q6042807$CB96FF57-7058-44F1-BB5A-6E8FA3B0D343","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055da6f6661037599c8c1d52721e8f6c93da0928","datavalue":{"value":{"text":"Proofs of McIntosh's conjecture on Franel integrals and two generalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6042807$7695FC9B-1402-478B-BA23-BF78B95B83D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf38e8975e5172989bd1cf22f34de25dfd397ddd","datavalue":{"value":"1530.11026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$079C519E-5EA8-4B46-96EF-DA8C8A287F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834a2d9797314fe7903b7333bf72ef1a9b4d7df9","datavalue":{"value":{"entity-type":"item","numeric-id":180189,"id":"Q180189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$26C82292-60E8-40A2-B560-57B6994C43D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88c24999d85e7a20b3f93d7170a80e43f641913","datavalue":{"value":{"entity-type":"item","numeric-id":6042806,"id":"Q6042806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$52E82F96-B78C-4653-BE79-2791C7C3B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd80c4f8a7c88a4bd018de319af16d97fbbd474","datavalue":{"value":{"entity-type":"item","numeric-id":177021,"id":"Q177021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$D2FAD560-DF34-4DFA-9B36-3B7680C73ACA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$AD637394-F1E5-4C9D-9239-F603926B3CE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e4c1e2e99f4a92e25ea29c7e68e8be697695342","datavalue":{"value":{"time":"+2023-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6042807$36E329C3-94BA-45AC-8213-2E4A8E9395AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b2c10cfbe4029d4efb0421fb48f484dceb1440","datavalue":{"value":"https://arxiv.org/abs/2211.06504","type":"string"},"datatype":"url"},"type":"statement","id":"Q6042807$998686B3-42C5-4E05-943D-61F0E379F76E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba1a06fb7ab876e4e79cb1d67bfd79b7e3a3a4c6","datavalue":{"value":"\\textit{J. Franel} [Nachr. Ges. Wiss. G\u00f6ttingen, Math.-Phys. Kl. 1924, 198--201 (1924; JFM 50.0119.01)] gave the formula \\[ I(a,b) := \\int_0^1 ((ax))((bx))\\,dx = \\frac{(a,b)^2}{12ab}, \\] where \\(a\\) and \\(b\\) are positive integers, \\((a, b) := \\operatorname{gcd}(a,b)\\), and \\(((x)) := x - \\lfloor{x}\\rfloor - 1/2\\) is the sawtooth function; here \\(\\lfloor{x}\\rfloor\\) denotes the greatest integer~\\(\\le x\\). By the integrand's asymmetry about the midpoint \\(x = 1/2\\), it is easy to see that the corresponding integral of the product \\(((ax))((bx))((cx))\\) is \\(I(a,b,c) = 0\\). Then, the interest is to study \\[ I(a,b,c,e) := \\int_0^1 ((ax))((bx))((cx))((ex))\\,dx, \\] where \\(a, b, c\\) and \\(e\\) are positive integers, or, with greater generality, \\[ I(a_1,a_2,\\dots,a_n) := \\int_0^1 ((a_1x))((a_2x)) \\cdots ((a_nx))\\,dx, \\] where \\(n\\) is any even, positive integer.  In 1996, McIntosh stated some properties for \\(I(a,b,c,e)\\), and conjectured that \\[ f(a, b, c, e) := \\frac{240 a^3 b^3 c^3 e^3 (a,b,c) (a,b,e) (a,c,e) (b,c,e)} {(a,b)^2 (a,c)^2 (a,e)^2 (b,c)^2 (b,e)^2 (c,e)^2 (a,b,c,e)^4} I(a,b,c,e) \\] is an integer for any positive integers \\(a, b, c, e\\).  The paper under review proves McIntosh's conjecture, and states a similar theorem for \\(I(a_1,a_2,\\dots,a_n)\\).  Moreover, \\(((x)) = B_1(x-\\lfloor{x}\\rfloor)\\) where \\(B_1(x) = x-1/2\\) is the Bernoulli polynomial of degree \\(1\\) (i.e., \\(((x))\\) is the first Bernoulli periodic function). Then, the paper gives a further generalization in which \\(((x))\\) is replaced by the periodic function \\(B_k(x-\\lfloor{x}\\rfloor)\\) with \\(B_k(x)\\) any Bernoulli polynomial of odd degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042807$89959445-C2BD-40B3-8050-74FF3BE7505C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c38693943fecc7fd1e135a95bf8a5acf7353b2b","datavalue":{"value":{"entity-type":"item","numeric-id":270083,"id":"Q270083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$9508CDD9-62AE-46B5-AFFB-E39A1333DF5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2accb57c4f6d8612edc3fe6c9dd2ea40016db3f","datavalue":{"value":"11B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$486C3668-05CA-43BA-9F6B-8085E7894D99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b16d4653651e4a6d4d08445a8c1c5678ed98d01","datavalue":{"value":"7681931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$F317D0A3-1D86-4667-8CB9-DB834860FD90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6505e76b85c3ee2a56245ab819006b0c08a2bc3a","datavalue":{"value":"Franel integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042807$64963B8F-6D5B-4C4E-884D-EB2D106D6FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf93c41b128940f879db937054dffa17135b962","datavalue":{"value":"Bernoulli functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042807$18058C1C-B62E-4983-8A00-B3B639608CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f50923407d44bf402586c7ec5a60a808bf4c83","datavalue":{"value":"McIntosh's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042807$1727061B-80A5-4909-9CEB-0A8CCE5E354E","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":"Q6042807$95792357-E6F5-45F8-9B37-7E690382CEA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a28f6d45a88558849374f3724bdbeea57ef1ac","datavalue":{"value":"W4366437246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$95181306-FCC0-420D-B906-865B802AE4DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44899040f8e913c44f9f1122d633167f3061b9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4575417,"id":"Q4575417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$CA1477AF-EE2C-4D10-9E9A-AEC87E5FCA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d42c6b590812fa291614afe095989b115c3c237","datavalue":{"value":{"entity-type":"item","numeric-id":4883480,"id":"Q4883480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$2A603A6B-3769-473F-9614-70162296D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7ec862a8275a3b63e88c6f1fcf6736e9cae2d6","datavalue":{"value":{"entity-type":"item","numeric-id":3579593,"id":"Q3579593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$2D3F9059-489E-4FA1-85D9-4ECFCCFC1711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50fadb919359f248db656ccbce0baf00c05bb32e","datavalue":{"value":{"entity-type":"item","numeric-id":5796093,"id":"Q5796093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$63A5F153-8CBE-4D7B-A840-FD5A804C1770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8665980002ad89521d7044f9ebc88154b702802b","datavalue":{"value":{"entity-type":"item","numeric-id":4068685,"id":"Q4068685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$AD8B4C6D-8EAF-4968-B5D9-86AA4CFE22BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620456458ef1db02bdc0cdcacf14faf60f974aed","datavalue":{"value":{"entity-type":"item","numeric-id":5663963,"id":"Q5663963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042807$E1C8F163-B4E0-469D-8905-A8E29272E9BB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43a3e368076eb71fef940057d6d4366b957445dd","datavalue":{"value":"Q123201944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$46E346D9-23C4-4FEE-88B4-6FCAA9A90A07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f05fe505ed38d1f72da658d249535c6be3ef54b","datavalue":{"value":"10.1016/J.AIM.2023.109041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042807$BACF79B0-7D6C-4D38-8441-F19CCA16C446","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a2962bf358c8a0d235b13ed5a43ffedd1d6234","datavalue":{"value":{"entity-type":"item","numeric-id":4250388,"id":"Q4250388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b4862f4f8b0e7954bbed7adbf556088aa8b35f","datavalue":{"value":{"amount":"+0.8110752701759338","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":"Q6042807$8ED47BD3-1564-458D-8ECF-1ED5E9CD3F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe88e56ab9e77a85bcd9feeded6beb87e70e2103","datavalue":{"value":{"entity-type":"item","numeric-id":3139945,"id":"Q3139945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bf417f237e0fe56b5d105757788aae7838aefd","datavalue":{"value":{"amount":"+0.8018366098403931","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":"Q6042807$1D18C539-837F-45F0-A538-185DA73ED140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09ab8f56fe659663d2da1b70469c9fabd043f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4883480,"id":"Q4883480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4323acfab0c907a46831f5128edde1bf99cbf076","datavalue":{"value":{"amount":"+0.7843757271766663","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":"Q6042807$3D5E9A2A-73D3-47E1-815E-EC1087B5F2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfb3eb9a5fc3a934b84ab4276b33d1af9ca302","datavalue":{"value":{"entity-type":"item","numeric-id":4298996,"id":"Q4298996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e4b31c78e6666fef760145cdf1c51fb6e350bb","datavalue":{"value":{"amount":"+0.7720110416412354","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":"Q6042807$90DAFDC0-3E02-4668-A649-F14A2BD3F22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef52ba8b0127ac8c8019ea2e8f2247e79308d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3097160,"id":"Q3097160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7608285fa91cea4840943f3911f554845f84786c","datavalue":{"value":{"amount":"+0.7319985032081604","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":"Q6042807$07527FC7-41E9-4630-9274-BB03811C6886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of McIntosh's conjecture on Franel integrals and two generalizations","badges":[]}}}}}