{"entities":{"Q2620145":{"pageid":2630888,"ns":120,"title":"Item:Q2620145","lastrevid":44504406,"modified":"2025-11-23T09:49:17Z","type":"item","id":"Q2620145","labels":{"en":{"language":"en","value":"Sur le dernier th\u00e9or\u00e8me de Fermat. (Divisibilit\u00e9 par 3 et par 5.)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2540037"}},"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":"Q2620145$BD347B6A-FED1-409B-8365-80D9951B18A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"043343aba8d1e0f82ae0efa4df7a38681257afb6","datavalue":{"value":{"text":"Sur le dernier th\u00e9or\u00e8me de Fermat. (Divisibilit\u00e9 par 3 et par 5.)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2620145$464AD545-8583-4FC8-9083-5818E65C1E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc13cd9a8b7b963dce59ec0889406e4911eace0d","datavalue":{"value":"60.0928.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2620145$4C84EE33-0621-4DAB-A910-90BC1575E593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f323240f008c4971efe1714730fe8910358cee","datavalue":{"value":{"entity-type":"item","numeric-id":559843,"id":"Q559843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2620145$4C6E3A7B-0F16-4EDD-A5EE-CC36F3160D7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3564fffbea34e6cdc8d4dfaafa1f98a44041b0cc","datavalue":{"value":{"entity-type":"item","numeric-id":558939,"id":"Q558939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2620145$B7DA2C75-5236-4EA4-9044-DF6F11049DBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2620145$1A8C3794-8497-49CD-802B-9D17414447B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b034e3e3d83fe2a9f350c26e843f207926c205dd","datavalue":{"value":"Verf. hat in einer fr\u00fcheren Arbeit (1931; F. d. M. \\(57_{\\text{I}}\\), 192) den folgenden Satz bewiesen:  Ist \\(n\\) eine Primzahl der Form \\(6h - 1\\), so hat die \\textit{Fermats}che Gleichung  \\[  x_1^n + x_2^n + x_3^n = 0 \\tag{1}  \\]  keine L\u00f6sung in ganzen Zahlen \\(x_1,x_2,x_3\\), die s\u00e4mtlich zu \\(3\\) teilerfremd sind.  Verf. behauptet nun, da\u00df derselbe Satz gilt, wenn \\(n\\) eine Primzahl der Form \\(6h+1\\) ist. Leider ist der gegebene Beweis nicht richtig.  G\u00e4be es n\u00e4mlich eine L\u00f6sung von (1) mit \\(x_1x_2x_3 \\neq 0 (\\mod 3)\\), so m\u00fc\u00df te \\(x_1 \\equiv x_2 \\equiv x_3 (\\mod 3)\\) sein. Man setze  \\[  x_i = \\varepsilon + 3^{\\alpha _i} \\lambda _i \\;(i = 1,2,3), \\tag{2} \\]  wo \\(\\varepsilon = \\pm 1\\) und \\(\\alpha _i \\geq 1\\) und \\(\\lambda _i\\) ganze Zahlen sind. Aus (1) folgt ferner  \\[  \\sum _{i=1}^3 x_i^{3n} = 3x_1^n x_2^n x_3^n. \\tag{3} \\]  Verf. setzt nun (2) in (3) ein und folgert hieraus  \\[  (\\frac {3n - 1}{2}) (\\sum _{\\nu =1}^3 3^{2\\alpha _\\nu } \\lambda _\\nu ^2) \\equiv n(3^{\\alpha _2+\\alpha _3}\\lambda _2 \\lambda _3 + 3^{\\alpha _2+\\alpha _1}\\lambda _3 \\lambda _1 + 3^{\\alpha _1+\\alpha _2}\\lambda _1 \\lambda _2) (\\mod 27). \\tag{4} \\]  Wie eine leichte Rechnung zeigt, folgt aber, dann und nur dann (4) aus (2) und (3), wenn  \\[  \\frac {n(3n - 1)(3n -2)}{2} \\varepsilon ^{3n-3} (\\sum _{\\nu =1}^3 3^{3\\alpha _\\nu } \\lambda _\\nu ^3) \\equiv 0 (\\mod 81),  \\]  also  \\[  \\sum _{\\nu =1}^3 3^{3(\\alpha _\\nu -1)} \\lambda _\\nu \\equiv 0 (\\mod 3)  \\]  ist. Dies brauchte aber nicht erf\u00fcllt zu sein.  Ferner bahauptet Verf., da\u00df f\u00fcr eine ungerade Primzahl \\(n\\) die Gleichung (1) keine L\u00f6sungen haben kann, f\u00fcr die \\(x_1x_2x_3\\) zu \\(5\\) teilerfremd ist. Auch der hierf\u00fcr gegebene Beweis ist nicht stichhaltig. Verf. zeigt, da\u00df wenn es solche L\u00f6sungen g\u00e4be, sie bei geeigneter Numerierung der Kongruenz  \\[  x_1^n + 2x_2^n \\equiv 0 (\\mod 5)  \\]  gen\u00fcgen m\u00fc\u00dften. Aus dieser einen m\u00f6glichen Kongruenz werden durch Umformung zwei sich widersprechende Kongruenzen erhalten; dies ist nat\u00fcrlich nur durch einen Rechenfehler m\u00f6glich.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2620145$D277C7B4-1693-4570-B056-9488B0B93E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e40313a2d029b156f07a3b40595ed25eb34157f","datavalue":{"value":"2540037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2620145$22EC803D-96E8-40B6-AB00-0E467A504404","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":"Q2620145$70868EEB-8EB8-4FE2-87D4-88577047B1E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2620145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2620145"}}}}}