Inventiones math.

4, 229--237 (1967)

Zur Darstellung definiter Funktionen

als Summe von Quadraten
ALBRECHT PFISTER (G6ttingen)

1. Einleituag
Ziel dieser Arbeit ist der Beweis von
Theorem 1. Sei R e i n reellabgeschlossener Ki~rper und f ( X 1 , ..., Xn)
eine positiv definite Funktion in R ( X 1 , ..., Xn), d.h. f ( a l . . . . . an)>=O fi~r
alle (al . . . . . a~)eR n, wo f definiert ist. Dann ist f ( X 1. . . . . Xn) S u m m e
yon 2 ~ Quadraten aus R ( X 1. . . . , X~).
Das Problem, definite Funktionen als Summe von Quadraten dar-
zustellen, geht zuriick auf HILaERT. Er zeigte zuerst [4], dab fiir n > 2
ein positiv definites Polynom nicht notwendig Summe von Polynom-
quadraten ist. Sp/iter bewies er, dab fiirn = 2 wenigstens eine Darstellung
als Quadratsumme rationaler Funktionen m6glich ist und dab man mit
4 Quadraten auskommt [5]. Ferner vermutete er, dab fiir beliebiges n
eine Quadratsummendarstellung mSglich ist (Problem 17 in [6]). Dieses
Problem wurde von ARTIN [1] gel6st, jedoch gibt sein Beweis keine
Auskunft fiber die Anzahl der ben6tigten Quadrate. Insbesondere blieb
es offen, ob eine nur von n und nicht von f abh~ingige obere Schranke
fiJr die Anzahl der Quadrate existiert. In Richtung auf diese ,,quantita-
tive" Seite des Problems wurde erst kiirzlich durch Ax [2] ein Fort-
schritt erzielt, der Theorem 1 fiir n = 3 bewies und die Richtigkeit der
Schranke 2 n fiJr beliebiges n vermutete. Es soil jedoch gleich hier betont
werden, dab die Zahl 2 ~ in Theorem 1 nur als obere Schranke anzusehen
ist und dab man m6glicherweise selbst fiir n = 2 mit weniger Quadraten
auskommt. Die beste bekannte untere Schranke ist n + 1. Sie ergibt sich
aus einer Arbeit von CASSELS[3], in der gezeigt wird, dab 1 + X 2 + . . . + X2
nicht Summe von n Quadraten ist.
Der Beweis von Theorem 1 erfolgt durch ZuriJckfiJhrung auf
Theorem 2. In jeder nichtreellen algebraischen Erweiterung L yon
R (X 1, ..., X~) ist -- 1 eine S u m m e yon 2 n Quadraten.
Obwohl es bereits Ax getan hat, werde ich die Herleitung yon Theo-
rem 1 aus Theorem 2 hier noch einmal durchfiJhren, erstens um allzu
viele Verweise auf die Literatur zu vermeiden und zweitens, weil in [2]
durch eine Bemerkung am Ende des Beweises von Proposition1 der
17 Iaventionesmath., Vol. 4
230 A. PFISTER:

irreffihrende Eindruck entstehen k6nnte, dab man den Satz von ARTIN
gar nicht benfitzt.
Theorem 2 ergibt sich unmittelbar aus
Theorem 3. Sei L ein nichtreeller K6rper. Der K6rper L(i) habe die
Eigenschaft: Jede quadratische Form in mehr als 2" Veriinderlichen besitzt
eine nichttriviale Nullstelle. Dann ist - 1 Summe yon 2" Quadraten in L.
DaB die Voraussetzung yon Theorem 3 erffillt ist, folgt aus dem
yon LA~G [8] bewiesenen
Theorem 4. Ein K6rper vom Transzendenzgrad n fiber einem alge-
braisch abgesehlossenen K6rper hat die Eigenschaft C,, d.h. jede Form
vom Grad d in mehr als d" Veriinderlichen besitzt eine nichttriviale Null-
stelle.
Der Beweis yon Theorem 3 ist im Gegensatz zu dem kohomologischen
Beweis von Ax ganz elementar und wird im folgenden in allen Einzel-
heiten durchgeffihrt.
Professor Ax bin ich ftir die Zusendung seines Manuskripts yon [2]
zu groBem Dank verpflichtet. Ferner danke ich Dr, CASSELSund seinen
Schfilern ELL:SON und MCGETTRICKftir die vielen Diskussionen, die ich
wfihrend meines Gastaufenthaltes in Cambridge mit ihnen hatte.

2. Hilfss/itze fiber quadratische Formen

Bevor wir mit den Beweisen yon Theorem 3 und Theorem 1 beginnen,
entwickeln wir noch einmal kurz die ben6tigten S/itze fiber Quadrat-
summen und multiplikative quadratische Formen, die bis auf kleinere
Abfinderungen bereits in [10, 11] bewiesen wurden.
Wir betrachten nichtsingul/ire quadratische Diagonalformen fiber
einem beliebigen K/Arper K:

~o(x)=~aix~ oderkurz ~P=(al .... , a ~ mit fiai•0.

/=I 1

Unter Einftihrung der DiagonalmatrixA mit den Koeffizienten at und

des SpaRenvektors x mit den Komponenten x~ k6nnen wir auch schrei-
ben: ~p(x)=x'Ax. Die zu ~p geh6rige symmetrische Bilinearform be-
zeichnen wir mit ( x , y ) ~ , = x ' A y = y ' A x .
Sind q~=(al, ...,am), ~ = ( b l , ..., b,) zwei Diagonalformen fiber K
und O:~a~K, so definieren wir:

ar al .... , a am), q7 @ ~b= ( a i .... , a,,, bx, ..., b,)

und
~p | q/=(al bl, ..., a,, bl, al b2 , ..., al b. . . . . . am b,).
 Darstellung definiter Funktionen als Summe von Quadraten 231

Satz 1. Seien al, ..., ak yon Null verschiedene Elemente aus K. Die
quadratische Form tp=(1, al)| "" | ak) sei anisotrop, d.h. fi2r jeden
Vektor x=~O mit Komponenten aus K ist auch tp(x)~O. Zu x:~O gibt es
dann eine 2k-reihige Matrix T~ i~ber K mit folgenden Eigenschaften:
T~'A T~= ~p(x) A, 1. Zeile yon T~= x'A.
Beweis durch Induktion nach k. Wir beginnen mit k = 0 und setzen
in diesem Fall ~p=(1). Offensichtlich erfiillt T~=(x) mit O:~x~K die
Behauptung. Der Satz sei also fiir ~p=(1, a l ) | 1 7 4 ak) mit einem
k > 0 bewiesen. Wir haben ihn jetzt fiir tp | (1, a) = ~pE) a r herzuleiten
(a=ak+~). Ist A die Matrix von tp, so hat ~p~)a~0 die Matrix

a~
Im folgenden seien x, y 2k-dimensionale Vektoren fiber K und z der
2k+ 1-dimensionale Vektor

Es gilt dann (~o@ a q~)(z) = ~o(x) + a q~(y). Aus z , 0 folgt x Je0 oder y , 0.
Man sieht unmittelbar, dab

bzw.

beide Behauptungen erfiillt. Wir kSnnen also x + 0 und y + 0 annehmen.

Da q~ anisotrop ist, gilt dann q~(x)+O, q~(y)+0 und die Induktions-
voraussetzung zeigt, dab die Matrizen T~ und Ty nichtsingul~ir sind. Wir
machen ffir T~ den folgenden Ansatz:

mit einer noch zu bestimmenden Matrix U. Offensichtlich erfiillt T~ die

zweite Behauptung. Die Bedingung
(T" - U'
T; ) ( A aO ) (_T~y aTy)
~a T;
(r;AT~+aT;A%, aT~ATy-aT;AU~
= [ a T ;' A T ~ - a U A' T y , a 2 T ;,A T y + a U a U ]

=(qa(x)+atp(Y))(O aOA)

17"
 232 A. PFISTER:

zeigt, dab wir U = A - 1 T ~ - I T ' A T y setzen miissen. Die Gleichungen

T" A Tx = CO(x) A, T~ A Tr = CO(y) A ergeben dann
U'A U= T;A Tx(T;-1A -~ T; - ' ) 7" A T,= T; A Tx(CO(y)- I A - ' ) T~A Ty
=CO(y)-I T; (A Tx A - ') T" A T~=CO(y)-1 7;(CO(x) 7" - ' )T'AT,
=CO(y)- 1 c0(x) T; A T,=cO(x) A
und damit die erste Behauptung fiir Tz.
Korollar 1. Sei cO=(1, a l ) | ..- | ak) und G~, die Menge der yon
cOi~ber K dargestellten und yon Null verschiedenen Elemente aus K, Dann
ist G~ eine Untergruppe der multiplikativen Gruppe K yon K.
Beweis. Ist cO anisotrop, so ist Satz 1 anwendbar und wir erhalten
fiir cO(x), cO(y)eG,:
cO(x)-1 =cO , da cOeine quadratische Form ist;

cO(x)cO(y)=cO(x) y 'A y = y' cO(x)A y = y ' T~ A Tx y=cO( T~ y) .

Ist cO isotrop und c h a r K = 2, so gibt es nach geeigneter Umnumerierung
von al, ..., ak eine Zahl l < k , so dab 0 = ( 1 , a l ) | | a~) anisotrop
und aUe Formen 0 | a~) mit l < i < k isotrop sind. Fiir l<i<=k gibt
es dann 21-dimensionale Vektoren u~+O, v~+O mit O(ui)+a i 0(v~)=0.
Nach dem bereits Bewiesenen werden dann die a~ und beliebige Produkte
aus den a i durch 0 dargestellt. Ist nun x ein beliebiger 2k-dimensionaler
Vektor, so werden alle Summanden yon

co(x)=x +al - . . . . . ak)

durch 0 dargestellt. Dasselbe gilt dann ffir die Summe, da 0 (u)+ ~ (v)=
O(u+v). Also ist G , = G 0 eine Gruppe.
Ist schlieBlich cO isotrop und charK~:2, so gilt bekanntlich G , = / ~ ,
womit alles bewiesen ist.
Korollar 2. Fi~rn = 2k ist die Menge G, der Elemente yon i~, die Summe
yon n Quadraten aus K sind, eine Gruppe.
Beweis. Man setze a t . . . . . ak=l in Korollarl.
Korollar 3. Sei K ein nichtreeller K6rper, d.h. - 1 Summe yon Qua-
draten in K. Die kleinste Zahl s, f i k welche - 1 e G~ gilt, ist eine Potenz
yon 2. s = s ( K ) heiflt die Stufe yon K.
Beweis. Sei 2k=<s < 2k§ 1 und
( l + e ~ + .-. +e~k_a)+(ez2~+ . . - + e ~ ) = 0 .
Beide Klammerausdriicke liegen in der Gruppe G2k. Division durch
1 + e ~ + .-. + e ~ - 1 ergibt daher - leG2~, d.h. s = 2 k.
 Darstellung definiter Funktionen als Summe von Quadraten 233

3. HerleRung yon Theorem 1 a u s T h e o r e m 2

Der Einfachheit halber fibernehme ich die folgende in [2] eingefiihrte
Bezeichnungsweise: Ist K ein Ring und a e K Summe yon m Quadraten
i n K , d.h.

a = ~ a~ mit a i e K ,
i=l

so schreiben wir kurz a=[-m--], a=[-~-] bedeute, dab a=V-~ fiir eine
hinreichend groBe natiirliche Zahl m gilt.
Sei also f(X1 . . . . . X , ) e R ( X t .... , X,) positiv definit. Nach dem Satz
von ARTIN [1] ist f=V~-] in R ( X , ..., X,). Mit K=R(X1, ..., X,-O,
X = X, und Theorem 2 fiir n - 1 statt n folgt dann Theorem 1 unmittelbar
aus
Satz 2. (Entspricht Proposition 1 yon [2].) Sei K ein formalreeller
Krrper und f ( X ) e K(X), f = [co ] bt K(X). Sei ferner - 1 = 12"- a ] in jeder
nichtreellen algebraischen Erweiterung L yon K. Dann ist f=L_~ in K(X).
Beweis. Durch Multiplikation mit dem Quadrat des Nenners k6nnen
wir f in ein Polynom verwandeln, und es geniigt, die Behauptung fiir
dieses Polynom zu beweisen. Sei also f e K [ X ] , f ( X ) = a o + . . . + a t X l
mit a t ~:0 ( f - - 0 ist trivial). Nach Voraussetzung existieren eine natiir-
liche Zahl t und Polynome gt(X) .... , gt(X), h(X) mit hoe0, so dab
t

f ( X ) h Z ( X ) = ~ g~(X) identisch in S .
i=1

Sei m der genaue Grad yon h, r das Maximum der Grade der g~. Sei
gi(X) = b~ X ' + . . . , h (X) = c X m+ . . . . Koeffizientenvergleich ergibt
t
atcZ=~,b 2 und l=2(r-rn).
1

Wir haben also f ( X ) = ao + ' " + a2 k X2 k mit a2 k= [ O0 I in K.

Der Beweis erfolgt nun in 3 Schritten.
1) k = 0 . Wir betrachten die Gleichung ao+x 2 =0. Sie ist irreduzibel
fiber K, da K reell ist. Sei ct eine Nullstelle und L = K(~t) die zugeh6rige
quadratische Erweiterung. L i s t nichtreell, also gibt es Zahlen b~, c~
aus K (i= 1. . . . , 2 "-1) mit ~ (b,+~ c,)2= - 1. Hieraus folgt 1 + ~ b 2 =
- ~ t 2 X c2=ao ~, o2, und X c24=0, da K reell. Division ergibt unter Be-
niitzung yon Korollar 2 zu Satz 1, dab ao = [~-a] in K.
2) Sei nun k > 0. Anwendung von 1) auf den Hauptkoeffizienten a2 k
yon f zeigt, dab a2k = [ ] in K. Da die 2"-fachen Quadratsummen in
K(X) ebenfalls eine Gruppe bilden, geniigt es also, die Behauptung
234 A. PHSTER :

fiir das normierte Polynom f/a2 k nachzuweisen, d.h. wir diirfen a2k = 1
annehmen. Ferner diirfen wir f als quadratfrei voraussetzen.
Sei nun ~ eine Nullstelle yon f u n d p(X) das zu ~ geh6rige normierte
irreduzible Polynom. Es gentigt zu zeigen: p = [ ] in K(X). In der durch
die Voraussetzung gegebenen DarsteUung

g,~(X)
f ( X ) = Zh2(X)

k6nnen wir (da f quadraffrei) annehmen, dab die g~ insgesamt teiler-

fremd sind. Insbesondere kSnnen nicht alle g~(ct) verschwinden, da sonst
p ein gemeinsamer Teiler der gi w/ire. In L=K(~) ist somit
t

eine nichttriviale Darstellung der Null als Summe yon Quadraten, d.h.
L i s t nichtreeU.
3) Es bleibt zu zeigen:
Lemma. Ist L=K(~) nichtreell mit s(L)<2 "-1 und ist p~K[X] das
zu c~geh6rige normierte irreduzible Polynom, so gilt p= [ ] in K(X).
Beweis durch Induktion nach l= [L:K] = Grad p.
Es existieren Polynome ht~K[X ] vom Grad < / ( i = 1. . . . . 2"-a), so
dab l + ~ h 2 ( c 0 = 0 in L, d.h. l + ~ h 2 ( X ) = p ( X ) q ( X ) in K[X] mit
einem Polynom q vom Grad < 1-2. Im Falle l= 2 ist q= qo eine Kon-
stante, und Koeffizientenvergleich zeigt, dab qo=12-~ in K und damit
p=[2~-] in K(X). Im Falle l > 2 sei fl eine Nullstelle yon q. Es ist dann
1 + ~ h2(fl)=0, d.h. s(K(fl))<2"-1. Die Induktionsannahme ergibt da-
her, dab der zu fl geh6rige normierte Primteiler yon q Summe yon
2" Quadraten ist. Dies gilt fiir jeden normierten Primteiler von q. Ferner
ist auch der Hauptkoeffizient yon q Summe von 2" Quadraten. Nach
Korollar 2 zu Satzl, angewendet auf den K6rper K(X), folgt daher
p = [ ] in K(X).
Bemerkung zu Satz 2. Ist f ~ K [ X ] ein Polynom und f=12"] in K(X),
dann gilt s o g a r f = [ ] in K[X]. Zum Beweis siehe [3]. Wir machenjedoeh
yon dieser Versch~rfung im weiteren keinen Gebrauch.

4. Beweis yon Theorem 3

1) Ohne Einschriinkung k6nnen wir voraussetzen, dab charL 4=2 und
i6L ist, da sonst - 1 =[~]. Seien nun ax, ..., a,, b, cei, beliebig. Nach der
Voraussetzung fiber L(i) stellt die quadratische Form tp=(1, a l ) |
 Darstellung definiter Funktionen als Summe von Quadraten 235

| (1, a,) das Element b + i c 4=0 tiber L(i) dar. Wir werden zuerst zeigen,
dab dann cp das Element b2+ c 2 fiber L darstellt. Diese Behauptung ist
trivial, wenn r in L isotrop ist. Sei also q~ anisotrop fiber L u n d seien
x, y Vektoren mit Komponenten in L, so dab
9(x+iy)=b+ic.
Dann gilt auch
tp(x-i y ) = b - i c .
Nach Satzl gibt es eine MatrixTx, so dab ffir z=Txy gilt: r
q~(x) q~(y), z 1 = 1. Komponente yon z=x'Ay=(x,y)+,. Sei ferner 1 der
Vektor mit der 1.Komponente 1 und allen anderen Komponenten 0.
Wir erhalten:

q3(y) cp ( - - ~z f + t . .1 ) = q g ( y ) (~q+~-( ~z )( - ~ 2i (z, 1~ _q~(1)t

+1

=tp(x)+ 2i zl--q~(y)=q~(x)+ 2i (x , y>~--q~(y)=cp(x + i y) =b+ ic

und mit
Z
U-------
e(y)
b2 +c2=tp(y)2 q~(u+ i 91 ) 9 ( u - i . 1).
Wir setzen

~0=(1)t~ cp' und u=(Vvl),

wo v ein (2"-1)-dimensionaler Vektor ist. Dann gilt:

( , + i. 1) ~ ( , - i. 1) = {(,1 + 0 2 + e ' (0} {(ul - i) ~ + ~ ' ( 0 }

= (u 12+ 1) 5 + ~' (v) 2 + 2 (u ~ - 1) ~' (v)
=(u2 + l )2 + q~'(v)Z- 2(u2 + l ) qy (v) + 4u2 q~'(v)
=(u~ + l-~o'(v))~ +~'(2ul v)=~(w)
f fir
w = { u2 + 1 - q~'(v)]
\ 2ulv ]"
Also wird b2+ c 2 durch q~ fiber L dargestellt.
2) Wir k6nnen nun zeigen, dab jede Summe von 2"+1 Quadraten
in L bereits Summe von 2" + 1 - 1 Quadraten ist. Hieraus folgt, da L
nichtreell, - 1 = [ 2 ~ - S T ] und daraus nach Korollar 3 zu Satzl die
Behauptung - 1 = D-~.
236 A. PFISTER:

A n n a h m e : ei+e2+---+e22~+t
2 2 ist nicht Summe von 2 " + 1 - 1 Qua-
draten. Insbesondere sind d a n n alle Teilsummen von Null verschiedcn.
Wir setzen
b = e i, c=e2, a,=eZ,+l+...+e2,+l ( i = 1 . . . . . n).

N a c h dem eben Bewiesenen gibt es d a n n Elemente xt, ..., x2- aus L,

so dal3
e 2 + e 22 = x 2l + a l x 22+ a 2 ( x a +2a l x 2 ) +
. . .

+an(x22._~+l+ --- + 0 1 ... a , , _ i x 2 , ) ,

also
e2+e22+ ..- + e 22, + l = e l 2 + e 2 2 + a I + ... + a n
=x~ + a l ( l + x 2 ) + a z ( l + x~ + a l x~)+ ...
+a,(l+x2._l+l+ --- + a 1 ... a . - 1 x2.),

und das ist nach Korollar 2 zu S a t z l eine S u m m e yon 1 + 2 + 4 + - - .

+ 2" = 2" + 1 _ 1 Q u a d r a t e n : Widerspruch.
Zusatz zu Theorem 3. Im Fall charL4=2 ist sogar jedes Element yon
L eine S u m m e yon 2" Quadraten.
Beweis. W e n n s ( L ) < 2 " , so gilt ffir jedes Element a 6 L a = l s + l I,
also sicher a = [2-a]. Sei also s ( L ) = 2 n u n d - 1 = e t 2 + .-. + e 2 . . Wir w/ihlen
d a n n al . . . . , a,_ 1, b, c genau wie eben, w/ihrend an = - a ein beliebiges
Element aus L sei. D a s ergibt mit gewissen neuen x l e L

--l=xZl+al(l+x2)+ ... + a . _ l ( l + x 2 . - ~ + l + ... + a , ... a n - z x ~ . - , )

--a(x~,,-,+ l + ... + a l ... a , - i x22~),

also a - ~ = i l + 1 + 2 + 4 + . . - + 2"-1 [=12--w]. D a der Koeffizient bei a

nicht verschwinden kann, folgt daraus a=J2~l.

5. Ausblick auf verwandte Probleme

Es ist zu vermuten, daB T h e o r e m 1 auch ffir eine beliebige Erweite-
rung L v o m Transzendenzgrad n fiber R anstelle des rationalen F u n k -
tionenk6rpers R ( X 1. . . . , X,) richtig bleibt; genauer ausgedrfickt, daB
jede Q u a d r a t s u m m e in L bereits S u m m e yon 2" Q u a d r a t e n ist. Falls L
nichtreeU, also jedes Element Q u a d r a t s u m m e ist, folgt dies unmittelbar
aus d e m Zusatz zu T h e o r e m 3. Ist jedoch L formalreell, so liefert der
Beweis yon T h e o r e m 3 (in dem die Voraussetzung L nichtreell erst a m
SchluB eingeht) n u t das schw/ichere Resultat: Jede Q u a d r a t s u m m e ist
S u m m e y o n 2 n + l - 1 Quadraten.
Des weiteren ist zu vermuten, daB in einem nichtreellen K 6 r p e r L
v o m Transzendenzgrad n fiber R sogar jede quadratische F o r m in m e h r
 Darstellung definiter Funktionen als Summe von Quadraten 237

als 2 n Ver/indedichen eine nichttriviale Nullstelle besitzt. Diese A u s s a g e

ist die Einschr~inkung auf q u a d r a t i s c h e F o r m e n einer allgemeineren Ver-
m u t u n g v o n LANG [9], dal3 n~imlich ein solcher K 6 r p e r L ein Cn-K6rper
ist. Bewiesen ist bisher n u r die auf q u a d r a t i s c h e F o r m e n eingeschr~nkte
V e r m u t u n g i m F a l l n = 1. (Ein neuer Beweis ergibt sich leicht aus d e m
Beweis von T h e o r e m 3 u n d d e m Zusatz.) Bereits d e r F a l l n = 2 sieht
recht schwierig aus. D i e allgemeinere Langsche V e r m u t u n g ist sogar
fiir n = 1 n o c h offen.
SchlieBlich k a n n m a n n o c h n a c h Verallgemeinerungen von T h e o r e m 1
auf a n d e r e G r u n d k 6 r p e r anstel|e des reellabgeschlossenen K/Srpers R
fragen. Besonders interessant w/iren A u s s a g e n fiir den r a t i o n a l e n Z a h l -
k 6 r p e r Q. Es ist naheliegend, zu vermuten, d a b j e d e positiv definite
F u n k t i o n in Q ( X , . . . . . X,,) S u m m e y o n 2 n+2 Q u a d r a t e n ist. N a c h LAN-
DAU [7] trifft dies fiir n < 1 zu. D e r allgemeine F a l l k a n n mit Hilfe von
T h e o r e m 3 u n d einer leichten U m a r b e i t u n g der A r b e i t [8] v o n LANG
auf die folgende A u s s a g e zurfickgefiJhrt w e r d e n : I m GauBschen Zahl-
k b r p e r Q(i) besitzt j e d e s System v o n r q u a d r a t i s c h e n F o r m e n in m e h r
als 4 r g e m e i n s a m e n Ver/inderlichen eine nichttriviale Nullstelle. A b e r
die Richtigkeit dieser letzten A u s s a g e ist m e h r als zweifelhaft.

Literatur

1. AR~N, E. : ~ber die Zerlegung definiter Funktionen in Quadrate. Hamb. Abh. 5,

100 -- 115 (1927) = Collected Papers 273 -- 288.
2. Ax, J. : On ternary definite rational functions. (To appear in Proc. London Math.
Soc.)
3. CASSELS,J.W.S.: On the representation of rational functions as sums of squares.
Acta Arithm. 9, 79--82 (1964).
4. HILBERT,D.: ~ber die Darstellung definiter Formen als Summe von Formen-
quadraten. Math. Ann. 32, 342--350 (1888)=Ges. Abh. II, 154--161.
5. -- tiber tern/ire definite Formen. Acta Math. 17, 169-- 197 (1893)= Ges. Abh. II,
345-- 366.
6. -- Mathematische Probleme. G5ttinger Nachr. 1900, 253-- 297= Ges. Abh. III,
290-- 329.
7. LANDAU,E. : (]ber die Darstellung definiter Funktionen durch Quadrate. Math.
Ann. 62, 272--285 (1906).
8. LAN~, S. : On quasi-algebraic closure. Ann. of Math. 55, 373--390 (1952).
9. -- The theory of real places. Ann. of Math. 57, 378-- 391 (1953).
10. PFISrER,A.: Darstellung von --1 als Summe yon Quadraten in einem K6rper.
London J. of Math. 40, 159-- 165 (1965).
l 1. - - Multiplikative quadratische Formen. Arch. Math. 16, 363--370 (1965).

Mathematisches Institut
der Universit/it
3400 G/Sttingen
Bunsenstr. 3-- 5

(Eingegangen am 28. August 1967)