38 Uppgifter Normat 1/2008
ønsket. Vi skal vise, at uanset hvordan farvelægningen F ændres til en farvelæg-
ning, hvor alle hjørner har lige paritet, så bliver slutresultatet det samme. Betragt
derfor to forskellige om-malinger m
i
1
m
i
2
···m
i
k
og m
j
1
m
j
2
···m
j
l
, og antag, at
m
i
1
m
i
2
···m
i
k
hhv m
j
1
m
j
2
···m
j
l
ændrer F til F
0
hhv F
00
, hvor samtlige hjør-
ner har lige paritet både ved farvelægningen F
0
og ved F
00
. Vi skal bevise, at
F
0
= F
00
. Da om-malingen m
i
k
···m
i
2
m
i
1
ændrer F
0
tilbage til F , ses det, at om-
malingen M = m
j
1
m
j
2
···m
j
l
m
i
k
···m
i
2
m
i
1
ændrer F
0
til F
00
. Da m
i
m
j
= m
j
m
i
for i 6= j, kan vi bytte om på m’erne i M indtil vi får et udtryk af formen
M = m
p
1
m
p
2
···m
p
q
, hvor p
1
≤ p
2
≤ ··· ≤ p
q
. Da om-malingerne m
2
i
lader alle
farvelægninger uændrede, kan vi i M slette par af gentagne m
i
’er, indtil p’erne alle
er forskellige. Vi kan derfor antage, at p
1
< p
2
< ··· < p
q
. Lad os nu se på, hvordan
M ændrer pariteten af et hjørne P
i
. Hvis i ikke er et af tallene p
1
, p
2
, . . . , p
q
, æn-
dres pariteten af P
i
q gange, og ellers ændres den q −1 gange. Hvis alle hjørner har
lige paritet både før og efter anvendelsen af M, må der enten gælde, at talsættet
p
1
, p
2
, . . . , p
q
er tomt, eller at det indeholder alle tallene 1, 2, . . . , n. I første tilfælde
lader M alle farvelægninger uændrede, og en enkel overvejelse viser, at det samme
gælder i det andet tilfælde: m
1
m
2
···m
n
ændrer alle kanters farver præcis to gange.
Hermed er det bevist, at F
0
= F
00
. (Även löst av Con Amore Problemgruppe och
Peter Kirkegaard.)
496. (Bent Fuglede, København) Idet x, y, z indgår symmetrisk indfører vi de
elementarsymmetriske funktioner
a = x + y + z, b = xy + yz + zx, c = xyz,
hvorved x, y, z bliver rødderne i polynomiet
f(t) = t
3
− at
2
+ bt − c.
Til at begynde med udnytter vi ikke de to givne ligninger, men kun at f skal
have lutter reelle rødder. Lad α og β betegne rødderne i f
0
(t) = 3t
2
− 2at + b.
Hvis x, y, z er indbyrdes forskellige, adskilles de ifølge Rolles sætning af α og β,
som således bliver reelle og forskellige; og endvidere har f(α) og f(β) forskelligt
fortegn. Hvis dernæst for eksempel x = y 6= z, bliver α = x, medens β adskiller
y og z, og nu bliver f(α)f(β) = 0. Er endelig x = y = z, bliver α = β = x og
f(α) = f(β) = f(x) = 0. I alle tilfælde er således α og β reelle og f (α)f (β) ≤ 0.
Ved division med rest fås identiteten
f(t) =
t
3
−
a
9
f
0
(t) +
2
9
3b − a
2
t +
ab
9
− c
.
Indsættes f
0
(α) = f
0
(β) = 0 samt α + β = 2a/3 og αβ = b/3, fås
243f(α)f(β) = 4b(3b − a
2
)
2
+ 4a(3b − a
2
)(ab − 9c) + 3(ab − 9c)
2
= −9a
2
b
2
+ 36b
3
+ 36a
3
c − 162abc + 243c
2
≤ 0.
Her er for øvrigt venstre side (bortset fra en positiv konstant faktor) netop diskri-
minanten D for trediegradspolynomiet f; og f har jo som bekendt tre reelle rødder