{"entities":{"Q2646693":{"pageid":2657436,"ns":120,"title":"Item:Q2646693","lastrevid":79005866,"modified":"2026-05-06T12:56:14Z","type":"item","id":"Q2646693","labels":{"en":{"language":"en","value":"\u00dcber die Diophantische Gleichung \\(ax^4+bx^2y^2+cy^4=ez^2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3037872"}},"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":"Q2646693$3629E0C2-8B62-48DE-BB41-9DD62092EC3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"119bd39139c489add6044671bc06d7651463af24","datavalue":{"value":{"text":"\u00dcber die Diophantische Gleichung \\(ax^4+bx^2y^2+cy^4=ez^2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2646693$3A4830EC-8E07-4A6E-886C-6C261B81AA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caee0f6a5db407dfc5802daff6c5de3cb2bcf530","datavalue":{"value":"0023.29403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$F5E6160F-9290-48BB-9E9C-73E57F8877C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd12745d943871aa54d6b5730fd68b52b3cc19a0","datavalue":{"value":"10.1007/BF01450019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$8AC70CBB-F1C4-43A6-AB89-BEE11E880277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0d258890fc2cb0e63d211229939954c1b59edac","datavalue":{"value":{"entity-type":"item","numeric-id":774081,"id":"Q774081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646693$19954854-A331-4920-B751-0E7E96617688","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646693$E1251A70-0D91-4771-BFF4-B046DFFA0724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2646693$2B537101-1A66-4FFC-B68F-33E40051CEB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f5ee43f478917346f230e5e8100e0f32bb9c730","datavalue":{"value":"https://eudml.org/doc/160050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2646693$4FB9B3A0-4A42-4EB2-B2F9-70CA028501B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20d6972df6643823209c7d2312cf86417e601c4b","datavalue":{"value":"Es handelt sich um die Beziehungen, die zwischen folgenden drei Aufgaben \u00fcber die diophantische Gleichung  \\[ ax^4 + bx^2 y^2 + cy^4 = ez^2\\tag{1} \\]   bestehen:   1. \u00fcber die L\u00f6sbarkeit zu entscheiden und im Falle der L\u00f6sbarkeit eine L\u00f6sung anzugeben;   2. falls die Gleichung l\u00f6sbar ist, eine Basis des L\u00f6sungsmoduls anzugeben;   3. alle Gleichungen der Form (1) anzugeben, die sich birational mit rationalen Koeffizienten in   \\[ x^4 + bx^2 y^2 + cy^4 = z^2\\tag{2} \\]   transformieren lassen.   Zu 2. ist zu bemerken, da\u00df, wenn man statt (1) die aus ihr durch die Substitution \\(x/y = \\xi\\), \\(z/y^2 = \\eta\\) hervorgehende Gleichung   \\[ a\\xi^4 + b\\xi^2 + c = e\\eta^2 \\]   vom Geschlechte 1 und deren rationale L\u00f6sungen betrachtet, die L\u00f6sungen nach einem Satze von Mordell hinsichtlich der aus dem Additionstheorem der elliptischen Funktionen entspringenden Addition einen Modul mit endlicher Basis bilden.   Es wird nun folgendes gezeigt: 2. und 3. k\u00f6nnen gel\u00f6st werden, wenn 1. f\u00fcr gewisse, endlich viele Gleichungen gel\u00f6st ist; kennt man eine Basis des L\u00f6sungsmoduls der (l\u00f6sbaren) Gleichung   \\[ x^4 + bcx^2y^2 + ace^2y^4 = z^2, \\tag{3} \\]   so kann 1. f\u00fcr (1) gel\u00f6st werden und alle mit (2) birational \u00e4quivalenten Gleichungen k\u00f6nnen angegeben werden; schlie\u00dflich k\u00f6nnen 1. und 2. gel\u00f6st werden, wenn alle zu einer gewissen Gleichung des Typus \\(x^4 + bx^2 y^2 + cy^4 = z^2\\) birational \u00e4quivalenten Gleichungen bekannt sind. Den Primdivisoren ersten Grades des durch \\(a\\xi^4+b\\xi^2 + c = e\\eta^2\\) definierten Funktionenk\u00f6rpers entsprechen die L\u00f6sungen von (1) eineindeutig, wenn unwesentlich verschiedene nur als eine L\u00f6sung gerechnet werden. Einfache \u00dcberlegungen zeigen, da\u00df stets e = 1 angenommen werden kann und da\u00df unter den Gleichungen   \\[  r(ar^2x^4 + brx^2y^2 + cy^4) = z^2 \\tag{4} \\]   nur endlich viele wesentlich verschiedene l\u00f6sbare vorkommen, was f\u00fcr das weitere wichtig ist. Jede L\u00f6sung \\(x, y\\) von (1) mit \\(e =1\\) f\u00fchrt, wenn eine feste L\u00f6sung \\(x_0, y_0, z_0\\) zugrunde gelegt wird, zu einer L\u00f6sung \\(x', y', z'\\) einer Gleichung   \\[  s(ds^2x'^4 - 2bsx'^2y'^2 + y'^4) = z'^2,\\quad d = b^2 - 4ac, \\tag{5} \\]  wo \\(s\\) nach dem \u00fcber (4) Bemerkten nur endlich vieler Werte f\u00e4hig ist. Dies l\u00e4uft darauf hinaus, da\u00df \\(K = P(\\xi, \\eta)\\) in einen unverzweigten quadratischen Erweiterungsk\u00f6rper \\(K' = P(\\xi', \\eta')\\) eingebettet wird, dessen Primdivisoren ersten Grades durch Normbildung mit denen von \\(K\\) in Zusammenhang gebracht werden. Das gleiche Verfahren, auf (5) angewandt, liefert endlich viele l\u00f6sbare Gleichungen   \\[  s'(acs'^2x''^4 + bs'x''^2y''^2 + cy''^4) = z''^2, \\tag{6}  \\]   unter denen die urspr\u00fcngliche wieder vorkommt, weil ja zu dem elliptischen K\u00f6rper mit den halben Perioden \u00fcbergegangen wurde, der mit dem urspr\u00fcnglichen isomorph ist. Das Verfahren f\u00fchrt au\u00dferdem zu einer birationalen Transformation von \\(a\\xi^4 + b\\xi^2 + c= e\\eta^2\\) in die Weierstra\u00dfsche Normalform, mittels deren alle zu (2) \u00e4quivalenten Gleichungen (1) angegeben werden k\u00f6nnen, falls das Problem 1. f\u00fcr gewisse endliche Gleichungen gel\u00f6st ist. Damit ist auch der Zusammenhang zwischen 1. und 3. hergestellt.   Um 2. mit 1. und 3. in Verbindung zu bringen, werden die Formeln f\u00fcr das Additionstheorem in \\(x, y, z\\) aufgestellt und dazu benutzt, eine homomorphe Abbildung des L\u00f6sungsmoduls auf die Gruppe der Quadratrestklassen der den L\u00f6sungen durch (5) zugeordneten Zahlen \\(s\\) herzustellen. Daran schlie\u00dft sich ein Beweis des Mordellschen Satzes, der insofern konstruktiv ist, als er eine Basis des L\u00f6sungsmoduls liefert, falls je eine L\u00f6sung der l\u00f6sbaren unter den Gleichungen (4) und (5) bekannt ist und sonst wenigstens ein Existenzbeweis ist. Die Anzahl der Basiselemente unendlicher Ordnung ist \\(\\rho_1 + \\rho_2 - 2\\), wenn \\(2^{\\rho_1}\\) die Anzahl der l\u00f6sbaren Gleichungen (4), \\(2^{\\rho_2}\\) die Anzahl der l\u00f6sbaren Gleichungen (5) ist. Alle \u00dcberlegungen bleiben mit geringen Ab\u00e4nderungen g\u00fcltig, wenn ein algebraischer Zahlk\u00f6rper zugrunde gelegt wird. Da jede Gleichung vom Geschlechte 1 birational in die Form \\(a\\xi^4 + b\\xi^2 + c= e\\eta^2\\) transformiert werden kann, wenn dem Zahlk\u00f6rper passende algebraische Zahlen adjungiert werden, so ergeben sich aus dem obigen entsprechende Tatsachen \u00fcber beliebige diophantische Gleichungen vom Geschlechte 1, wenn ein Verfahren bekannt ist, aus den L\u00f6sungen in einem Erweiterungsk\u00f6rper, die schon im Grundk\u00f6rper liegenden auszusondern. Ein solches Verfahren wird angegeben; es f\u00fchrt die Aussonderung einer Basis des L\u00f6sungsmoduls aus einer als bekannt angenommenen Basis der L\u00f6sungen im Erweiterungsk\u00f6rper auf die L\u00f6sung eines Systems von linearen Gleichungen und Kongruenzen zur\u00fcck, das f\u00fcr die Koeffizienten gilt, mittels deren sich die gesuchten Basiselemente durch die bekannten ausdr\u00fccken.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646693$9F91AE37-B3EC-49ED-B808-0D0A0D9AE6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cec21971d51bae007370b0b5028f33db8ff96f2","datavalue":{"value":"11D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$401F70CB-C7E4-4E3E-A627-635077B9C5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$05AFA176-8E07-477D-8667-7586847B001C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10576632230b87156fa506b3d5ded295ddfe2a2e","datavalue":{"value":"3037872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$45A9168D-6F96-4FAF-9F48-F60429C70B9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c6bc79785f3ac356d47777137d6f5e52bc60d6","datavalue":{"value":"quartic Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646693$3FFA9E4E-04B6-422A-9569-09EE5DE092D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4feffb1750ee650fe9d17a2b26c759b767a34e1","datavalue":{"value":"rational solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646693$9F30CCCA-DB1B-4181-B81D-36EDA3597F56","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":"Q2646693$9E44A152-4458-4291-ACB9-EB5802760868","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c587ebbe6bef7f8273f843ebafd828ec95ee57","datavalue":{"value":{"entity-type":"item","numeric-id":5760529,"id":"Q5760529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646693$4934A3D1-B46C-4475-903D-93E7459FB550","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44237cc70a19e782354abf783cc498a80934d431","datavalue":{"value":"W2913816090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646693$9459663D-710F-4523-BCD9-97B9CCE790EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc0eef676dd47ba38121611b1ac6d7086e0f5d3","datavalue":{"value":{"entity-type":"item","numeric-id":4173433,"id":"Q4173433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eabcba702c232877e772bfac79959a75af30a77","datavalue":{"value":{"amount":"+0.94654083","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":"Q2646693$6990D163-FEB4-479F-BD53-8429F5831570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbbc95bef916b32f7e3f95115d56cd9dccc06e6","datavalue":{"value":{"entity-type":"item","numeric-id":3415736,"id":"Q3415736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3206357ae360bcfd2e7ca87a4adeb95b355a0a72","datavalue":{"value":{"amount":"+0.92208576","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":"Q2646693$A40C5039-7B36-4636-B1C1-AF9A1C5B7DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d371c2bb9e3d30023018122fe3551123da19aa","datavalue":{"value":{"entity-type":"item","numeric-id":2650413,"id":"Q2650413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ca4128bc2f9cc8f6ce8b27ce0b2ebeee7b237b","datavalue":{"value":{"amount":"+0.91116166","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":"Q2646693$075DE267-5E42-4236-82DA-05E7042AE723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2661b9aea35984560e348caa08a0484095449f1","datavalue":{"value":{"entity-type":"item","numeric-id":5558015,"id":"Q5558015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5480730d7f054d654290176ac7c0706362b93d8f","datavalue":{"value":{"amount":"+0.90610015","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":"Q2646693$E9BE0A2A-AA7B-40C8-95D2-4C4626A8C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40bb4d4ccc392091d070d62d5fb6d4f19028e23","datavalue":{"value":{"entity-type":"item","numeric-id":4756899,"id":"Q4756899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ec2db0b8374c9bb7bb9c70a22a83330e63dfba","datavalue":{"value":{"amount":"+0.9027641","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":"Q2646693$D844776D-6887-4C13-89FA-1484DFAC9450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746ad576871573ae6877b17470e9e1cb36865efa","datavalue":{"value":{"entity-type":"item","numeric-id":4388693,"id":"Q4388693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b72048464b1633b89f56f0cfc51afb76454483f","datavalue":{"value":{"amount":"+0.90043217","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":"Q2646693$4C56EE35-767A-41EF-97D4-812F24E86E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f6021fb5ae64d8bfd87e688a14bacc76169479","datavalue":{"value":{"entity-type":"item","numeric-id":4848198,"id":"Q4848198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74ccffa55490688bd6b5e082f7030d56edd4bb3","datavalue":{"value":{"amount":"+0.9002347","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":"Q2646693$20381139-D97A-4A12-8006-815E8627BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f67a8c3177143da6b9506bb2f7c4d239ae37ad","datavalue":{"value":{"entity-type":"item","numeric-id":1924893,"id":"Q1924893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503428d44d41498eff1b9a6c9d331558f54a7c3b","datavalue":{"value":{"amount":"+0.89974666","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":"Q2646693$A1F3A3D8-60FC-4B77-8D74-23D6D4949433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35920b6efaf5de34fd3ee0270a8ac53deeeacdb3","datavalue":{"value":{"entity-type":"item","numeric-id":3666931,"id":"Q3666931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e341617384b65f7fdc40e6b6aa37ecaea21570f","datavalue":{"value":{"amount":"+0.8994288","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":"Q2646693$D481CBA6-7D63-407B-A0C3-505D83905573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Diophantische Gleichung \\(ax^4+bx^2y^2+cy^4=ez^2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Diophantische_Gleichung_%5C(ax%5E4%2Bbx%5E2y%5E2%2Bcy%5E4%3Dez%5E2%5C)"}}}}}