Sie sind auf Seite 1von 3

Ober Zerlegungen in n-te Potenzen

mit lauter verschiedenen Grundzahlen.


Von

R. S p r a g u e in B e r l i n - C h a r l o t t e n b u r g .

Zu Beginn der Zahlenreihc tiberwiegen ffir n > 1 die Falle, in denen


keine Zerlegung in n-te P o t e n z e n yon d u r c h w e g verschiedener GrSSe
m(iglich ist.
Doch ist ihre Anzahl stets endlich:
Zu jedem n existiert eine Schranke g . , oberhalb welcher jede Zahl als
Summe yon paarweis ungleichen n-ten P o t e n z e n dargestellt werden kann.
Dieser Satz wird im folgenden bewiesen. - -
Der Beweis beruht auf der K o n s t r u k t i o n einer von n abhli.ngigen
Zahl s, oder kurz s, deren s~mtliche Vielfache m s in der F o r m
c~+c~+.., mit 0 < c , < c 2 < . . .
darstellbar sind.
Um diese Z e r t e g b a r k e i t der V i e l f a c h e n mSglichst durchsiehtig z u
machen, werden ftir s selbst nicht weniger als 2 " - 1 derartige Zer-
legungen verlangt, nitmlieh (grof~e lateiniSehe Buehstaben bezeiehnen
Potenzsummen, kleine: nattirliche Zahlen)
S , , S~, . . ., S.~,~_,,
und die Gesamtheit der Summanden aller S~ soil tiberdies eine Menge
n-ter Potenzen yon lauter verschiedenen u n g e r a d e n Zahlen bilden.
Unter diesen Annahmen ergibt sich aus
m. ~ t~ + t~- 2 ~ + t~- 2 ~'~ + t~. 2 ~ + -.- O ~ = t ~ < 2 "-
(i ---- O, 1 , . . ,)
zun~chst
ms ~ tos+ t,s.2"+ t~s.2"-"+...
und~ wenn ffir die yon Null verschiedenen t~s die P o t e n z s u m m e n
Ti = S~ + S,~ + " " + Stl
eingesetzt werden, in
ms ~ To + T,. 2" + 7'~. 2 TM + - . 9
eine Darstellung der b e h a u p t e t e n Art.
Denn nach den Voraussetzungen fiber die Si enth~lt kein Ti zwei
gleiche Glieder (dies W o r t bleibe auf n-te Potenzen beschr~nkt) und
die Glieder von T~.2 ~" und Tk.2 k" unterscheiden sich ftir i =[= k eben
dutch das verschieden h~tufige A u f t r e t e n des Primfaktors 2. - -
R. Sprague: Uber Zerlegungen in n-te Potenzen usw. 467

Zur Konstruktion einer solchen Zahl s dient jede Identitfit in x


v o n d e r Gestalt
(1) (x + a,) " + - . . + (x + a~) n _---- (x + ap~,) n + . . . + (x + a.~p)'~
O<a~; a~7=ak, i=l=k (i,k'~ 1,2,...,2p).
Hier d a f t
a~---- l ( m o d . 2) (i ----- 1, 2 , . : . , 2 p )
angenommen werden; sonst bewirkt dies die Substitution
7+1
x -- 2
Mit (1) gilt ftir jedes d
( x + a, + d) '~ + . . . + ( x + ap + d)" =_ ( x + %§ + d)" + . . . + (x + a~,, + d) ~.
Hierin sollen nun der GrOfle d gewisse Werte
d~__~0 (i : 1 , 2 , . . . , n )
erteilt werden. Die linken und rechten Seiten der betreffenden
Gleichungen m6gen L~ und R~ heii~en:
L~ = ( x + a , + d ~ ) ' ~ + . . . + ( x + a p + d l ) '~ (i ~ 1,2, n)
Ri -- (x+ap~,+d~)'~+ ... +(x+a.,,+d~) '~. "" "'
Jedes der 2 ~ Produkte
(2) L,L~ . . . L,_,L,,~ L,L~ . . . L,,_,R~, . .., R , R . , . . . R,,
stellt eine Summe von p~ Gliedern der Form
(3) l ( x + a,, + d,) . . . ( x + ak~, + d~)]" (1 "< k~. ~ 2 p)
dar.
Geniigen (tie d~ den Bedingungen
d,---- 0(mod. 2) ii, j = 1, 2 , . . . , n i
ak + d~ 7= a~ + dj 'fiir '~ ~ j I k , 1 -~-- 1, 2, , 2 pJ,
so ergeben a[le ( 2 p ) ~ Ausdrticke (3) bei geradem x einen ungeraden
Wert und kein P a a r yon ihnen ist identisch gleich. Daher existiert
eine kleinste nicht-negative gerade Zahl, die, ftir x eingesetzt, diese
samtlichen (2 p)~ Glieder yon (2) zu paarweis versehieclenen ungeraden
Zahlen macht.
In (2) liegen d'ann 2 ~ Zerlegungen ein und derselben Zahl vor mit
den ffir die Zerlegungen von s geforderten Eigenschaften. Also daft,
mit diesem W e f t von x in L , L , . . . L~,
s -- L,L~...L.
gesetzt werden. - -
Die Gtiltigkeit von (1) ist, wie Koeffizientenvergleichung lehrt, gleich-
bedeutend mit der Gtiltigkeit des Systems von n Gleiehungen
k k ~ k
(5) a,+..-+a~ ~ a/,~,+...+a.~p, k ~ 1,2,.,.,n.
Da nun aus
(6) a ~ + . 9 "+ a ~ ~ - a l*:. , + " ' + a ~ 1 , k k ~ 1,2,...,v
468 1%.Sprague: ~ber Zerlegungen in n-te Potenzen usw.

unmitteib~r, identisch in h~,


k . k ~ k k
al + "'" + at § / ] a/+~ § " " § a'~t+
(7) _t_(a,.,+h~),~ + ... +(a,~+h~)k : l + ( a , + h , . ) k + . . . +(a,_l_h~,)~ '
k ~ t, 2, . . . , v , ~ + l
folgt, gewinnt man ein Beispiel fiir ( 5 ) a u f bekannte~), h6chst ein-
fache Weise,
Man geht etwa aus von
1k%7 k ~ 3 k § k, k ~--- 1
und w~thlt
hl ~ 2 i+~ (i ~- l ~ 2 , . . . , n - - 1 )
fiir den iterierten 0 b e r g a n g yon (6) nach (7).
Der ( n - - 1 ) - t e Schritt ftihrt zu einem System wie (5) mit p ~ 2",
und zwar sind die a~ die u n g e r a d e n Zahlen yon 1 his 2 "+-~- 1 in dieser
Verteilung: stellt man sie dyadisch dar, so geh~ren zur linken Seite
L; genau diejenigen mit u n g e r a d e r Quersumme, zu R, die mit gerader.
Hiernach gilt die Za.hl
s~ ~ L , L . ~ . . . L,~
als bestimmt; sie ist zugleich mit p gerade. - -
Schlie61ieh sei z eine aicht durch s. teilbare Zahl,
z ~_ r ( m o d , s~), O<r~s,-1.
Subtrahiert man von z die ersten r der s ~ 1 Zahlen
(8) (s~+l)', (~.s,+lp, ..., ((s~--l).s,+l) '~,
so ergibt sich ein Vielfaches ms~ yon s~ und
m s ~ + ( s ~ + 1)n+ .-- + ( r s ~ + 1)~
~tellt wegen der Zerlegbarkeit yon m s , jedenfalls eine Zerlegung yon
in n-re P o t e n z e n dar, wenn m_~ 0 ausf~llt.
Nun greifen die Voraussetzungen iiber s, noch einmal ein. Die
Zahlen (8) sind s~mtlich grS~er als s~ und ungerade. Das erste Merk-
real unterscheidet sie y o n den ungeraden, das zweite yon den geraden
Gliedern in der Zerlegung ffir ms,,.
Daher ist z in lauter verschiedene n-te Potenzen zerlegbar, sofern
die S u b t r a k t i o n aller Zahlen (8) miiglich, d. h.
z~_~(s,+ 1)" + (2 s, + 1 ) " + . . . + ( ( s , - 1 ) s , + i)"
ist.
Also hat die Schranke

gewiB die b e h a u p t e t e Beschaffenheit.


~) DmKSO~-BoDEWm, Einftihrtmg in die Zahlentheorie, Leipzig u. Berlin 1931
(B. G. Teubner), 4. Kap., besonders w 32--35.

(Eingegangen am 29. Januar 1947.)