{"entities":{"Q722471":{"pageid":724320,"ns":120,"title":"Item:Q722471","lastrevid":56651412,"modified":"2026-03-18T09:46:49Z","type":"item","id":"Q722471","labels":{"en":{"language":"en","value":"On an equation of Sophie Germain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6909679"}},"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":"Q722471$5FF6ECA5-4DA6-416B-AF4F-BD6EA08651D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be931c1b1905030b795b90973e8352645198631","datavalue":{"value":{"text":"On an equation of Sophie Germain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q722471$C68CB4B2-4642-415A-835D-EB1ACC0CA78D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2621d1955bcdb7a5ffbe5289248ef39cdafca448","datavalue":{"value":"1393.39017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$0DED0F93-FF0F-4E1F-80FB-B046EAD6718E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4154038aa4d2741d65c50c744b0302e3f9ecc2fa","datavalue":{"value":{"entity-type":"item","numeric-id":722470,"id":"Q722470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$B1FA2467-DFC2-4A39-B998-2C08DA07B7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e2d2ea9d8c77f0184b9bdfdec92bb36e072cae6","datavalue":{"value":{"entity-type":"item","numeric-id":264162,"id":"Q264162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$7F2821DE-CB19-413F-8600-A14F1EE33EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82ad22c39ad24a152caffb607e93a401dffa1969","datavalue":{"value":{"entity-type":"item","numeric-id":264169,"id":"Q264169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$639F4A3B-56F0-4961-8169-98EE5C284B55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12982252bdbf08365fdfe453232fb6e734596979","datavalue":{"value":{"entity-type":"item","numeric-id":189241,"id":"Q189241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$7280500E-FC93-4AFE-A4B3-E098EE653C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc8ead1e0a28b70e88525b0ff5541d1c12dd7ebc","datavalue":{"value":{"time":"+2018-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q722471$6F3FE036-0562-4E99-A24C-05F5A784AB55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"764639d141fab88daacad79ebc1bbfd759903e01","datavalue":{"value":"In one of her works, Sophie Germain mentioned the following identity  \\[  a^{4}+4b^{4}= \\left((a+b)^{2}+b^{2}\\right)\\cdot \\left((a-b)^{2}+b^{2}\\right).  \\]  To be more precise, she only mentioned the following ones  \\[  p^{2}+4= (p^{2}-2)^{2}+4p^{2}  \\]  and  \\[  p^{4}+q^{4}=(p^{2}-q^{2})^{2}+2p^{2}q^{2}=\\left(p^{2}+q^{2}\\right)^{2}-2p^{2}q^{2}.  \\]  Inspired by the very first identity, the authors consider the following functional equation  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x - y) + f (y)\\right) .  \\]  It is immediately seen that the function \\(f (x) = cx^{2}\\) is a solution of this equation. The authors ask if there are any solutions of this equation other than \\(f (x) = cx^{2}\\). Since the above functional equation is investigated without any regularity conditions of the functions in question, the first guess is that the equation may be equivalent to the equation for a quadratic function:  \\[  f (x + y) + f (x- y) = 2f (x) + 2f (y).  \\]   In this paper the authors show that only some solutions of the above quadratic functional equation satisfy the first functional equation.  The main results of the paper can be found in Section 2. Here, the statements are proved.  Henceforth let \\((G, +)\\) be an abelian group and \\(R\\) be an integral domain.  Lemma 1. Let \\(\\mathrm{char}(R)\\neq 2\\). If a function \\(f: G\\to R\\) satisfies equation  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x- y) + f (y)\\right)  \\]  for all \\(x, y\\in G\\), then \\(f\\) is even.  Lemma 2. If \\(f: G \\to R\\) satisfies  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x- y) + f (y)\\right)  \\]  for all \\(x, y \\in G\\) then \\(f (2x) = 4f (x)\\) for all \\(x \\in G\\).  Theorem 1. Let \\(\\mathrm{char}(R) \\neq 2\\). If \\(f: G \\to R\\) satisfies  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x- y) + f (y)\\right)  \\]  for all \\(x, y \\in G\\) then it is quadratic.  Theorem 2. Let \\(\\mathrm{char}(R) \\neq 2\\), \\(f: G \\to R\\). Then \\(f\\) satisfies the functional equation  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x- y) + f (y)\\right)  \\]  for all \\(x, y \\in G\\), if and only if, there exists a unique biadditive and symmetric function \\(A : G^{2} \\to R\\) satisfying  \\[  A(x, x)A(y, y) = A(x, y)^{2} \\qquad \\left(x, y \\in G\\right)  \\]  and such that \\(4f (x) = A(x, x)\\) for all \\(x\\in G\\).  Theorem 3. Let \\(R\\) be a unique factorization domain with \\(\\mathrm{char}(R)\\neq 2\\). The function \\(f: G \\to R\\) satisfies  \\[  f (x)^{2} + 4f (y)^{2} = \\left(f (x + y) + f (y)\\right)\\cdot \\left( f (x- y) + f (y)\\right)  \\]  for all \\(x, y \\in G\\), if and only if, there exist an additive function \\(a : G \\to R\\) and a constant \\(\\gamma \\in R\\) such that \\(f = \\gamma a^{2}\\) .","type":"string"},"datatype":"string"},"type":"statement","id":"Q722471$E4B968AD-EA7E-4521-8E6F-CDBC5FFD600B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2185371d91565d19495b376e7db15489759549b7","datavalue":{"value":{"entity-type":"item","numeric-id":480878,"id":"Q480878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$EB9F5DD0-7187-4F36-8CF3-D388D77CFF01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ebf154b072c83dae5f778e71c2977f30812c361","datavalue":{"value":"39B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$AE4D836B-9D5E-453F-B2DA-2C87C1834EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcb07b0caa31148ebf1f30c299a7ceaa89fd4542","datavalue":{"value":"39B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$C8B7D09D-6AF9-48A0-BCE9-22FA1BEDB346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba7a0f626b40f2f0685d4ff8e04f6e3f86913be8","datavalue":{"value":"39B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$BA22D773-72E3-4636-8E66-7D8302D3DC6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f65f60a667354fb54ddbbf8ac39067e7624abab1","datavalue":{"value":"6909679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$E37228FF-8103-4525-8BE9-F7584556336E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bf4fe5cf0e1491cee5baf5c2f94a22b1489946","datavalue":{"value":"Sophie Germain identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q722471$589E3C8A-B4C8-4ED5-8075-6C1FF46C7BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef989faea4587ece38855aee9f44f0788f8654c7","datavalue":{"value":"quadratic functional equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q722471$C717886D-E769-4DCB-9346-AD5CE7974F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae454e809a3115ebf8f5b73021d7ec092e754b49","datavalue":{"value":"biadditive and symmetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q722471$3BE64794-8DDB-41E2-B1F4-DFB6A3304D1A","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":"Q722471$68255873-2C9F-41C0-A93F-6D8E38A6B079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93f1f38f38dee30d81a04a9c7cc42ab355abc12f","datavalue":{"value":"https://doi.org/10.1007/s00025-018-0820-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q722471$06A46A15-3D42-4072-830E-B0E906FC1788","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9dc813bb355a5f59129398f5fcc0b9570e409ea","datavalue":{"value":"W2796157521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$F116969E-AEA8-4DC5-B51A-554CECDD532C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33db55fbf9bcc2447b7df65857b806d0daf976e9","datavalue":{"value":{"entity-type":"item","numeric-id":3688837,"id":"Q3688837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$61CE4611-4C04-4F54-9A3E-A411EE06C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b3895532612305888048fb40685f5ccb514e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5530030,"id":"Q5530030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$C2D45294-A075-494B-A165-9A18D2F2A763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0969188ff293057207535fb62919b42490685f26","datavalue":{"value":{"entity-type":"item","numeric-id":3992445,"id":"Q3992445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$C60C9FA9-2233-4C11-B87C-547E7E0C3635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae613f0d97ab6cd3b97194b2a8e1ae3a92563c8","datavalue":{"value":{"entity-type":"item","numeric-id":1378149,"id":"Q1378149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722471$00B4271F-E265-428D-B701-62EBF7D3C875","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf6b0f09d3e4060f252003c8b5b916959eeb9c3a","datavalue":{"value":"10.1007/S00025-018-0820-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722471$82EB364E-21CF-4AD6-851B-A79CD5A380E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b0b17178a75bcb80ea817d9d3ddbe6a6c872ee","datavalue":{"value":{"entity-type":"item","numeric-id":3762647,"id":"Q3762647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f030d0f66342d11770010f947598f163feb74d33","datavalue":{"value":{"amount":"+0.87176514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$E0145716-15E9-4E19-A858-1B64D226592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fe4ec40e2cca0f9d5117415df7e04f9724f08a","datavalue":{"value":{"entity-type":"item","numeric-id":2774572,"id":"Q2774572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672e3c9f1cfb3224f310c77d8692b1a250d5be80","datavalue":{"value":{"amount":"+0.86873865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$2DC0DD21-80DD-4E11-B228-6592B785F3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a8bb2410bfd1578da58cc22db05f7a72ed69fb","datavalue":{"value":{"entity-type":"item","numeric-id":5842009,"id":"Q5842009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ccaa8c156b54ccbeca7331bd0fa82f29149db9","datavalue":{"value":{"amount":"+0.867656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$CAF3FB88-D665-4BE9-A993-0213539697FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80dfdf68719509f912232caa1475b20c5d222159","datavalue":{"value":{"entity-type":"item","numeric-id":4378071,"id":"Q4378071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e24377979c39b8f09148920e72abd5f14b569b","datavalue":{"value":{"amount":"+0.86424786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$4D67FFC7-343F-488E-A0B6-FDC92C92EC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b8380eea1f1c65c14644f2e5225fdc1a8dd43e","datavalue":{"value":{"entity-type":"item","numeric-id":4546006,"id":"Q4546006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0560c81188f209c12132735865dc07406c1c84","datavalue":{"value":{"amount":"+0.8628905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$DEF6FBCA-52F0-49F8-B5EB-A219929C0E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f32db88f3ec44287ac803effbfba671de921f7","datavalue":{"value":{"entity-type":"item","numeric-id":4385598,"id":"Q4385598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00eff8a91c8d8fc7b0291ef9c592d905a099585","datavalue":{"value":{"amount":"+0.8624214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$F2DE8B0B-A37F-42D7-8020-ADEF885F1B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6935f3c7702366a02801da39fea5f947d8a3240d","datavalue":{"value":{"entity-type":"item","numeric-id":446268,"id":"Q446268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00eff8a91c8d8fc7b0291ef9c592d905a099585","datavalue":{"value":{"amount":"+0.8624214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$1AD8D3F8-E381-4867-809E-CD377A12CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783e889e68196717900fafdb001ee63e3a59a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4297302,"id":"Q4297302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01736c85e735b35b2a83d4e61fd9cdbe2b97c1de","datavalue":{"value":{"amount":"+0.8592957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q722471$2405E109-5274-4C88-896F-96A33AD5D922","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":"Q722471$5E9D8EC6-7261-417F-8A81-CB5169E0EBCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:722471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:722471"}}}}}