188 Uppgifter Normat 4/2008
Lösningar till tidigare uppgifter i Normat
497. (Ebbe Thue Poulsen, Mårslet, DK.) Vi betragter betingelsen
(1) k er divisor i
k
X
i=1
x
i
.
a. Hvis x
1
, x
2
, . . . , x
n
er en permutation af tallene 1, 2, . . . , n, så er
n
X
i=1
x
i
=
n
X
i=1
i =
n(n + 1)
2
,
således at (1) er opfyldt for k = n, hvis og kun hvis n er ulige.
For n = 1 er problemet trivielt, og for n = 3 er (1) opfyldt for k = 1, 2, 3, hvis
vi vælger (x
1
, x
2
, x
3
) = (1, 3, 2). Vi skal se, at dette er de eneste værdier af n, for
hvilke problemet a. har en løsning, så antag, at n ≥ 5 er ulige, at x
1
, x
2
, . . . , x
n
er en
permutation af tallene 1, 2, . . . , n, og at (1) er opfyldt for alle k. Ifølge antagelserne
er n − 1 divisor i
n−1
X
i=1
x
i
=
n
X
i=1
x
i
− x
n
= n
n + 1
2
− x
n
= (n − 1)
n + 1
2
+
n + 1
2
− x
n
,
og altså er x
n
=
n+1
2
+ m(n − 1) for et helt tal m. Nu er
n+1
2
− (n − 1) = −
n−3
2
< 1 og
n+1
2
+ (n − 1) = n +
n−1
2
> n ,
og da 1 ≤ x
n
≤ n, må m være 0 og x
n
= (n + 1)/2.
Ifølge antagelserne har vi endvidere, at n − 2 er divisor i
n−2
X
i=1
x
i
=
n−1
X
i=1
x
i
− x
n−1
= (n − 1)
n + 1
2
− x
n−1
= (n − 2)
n + 1
2
+
n + 1
2
− x
n−1
.
Som ovenfor følger heraf for n ≥ 5, at x
n−1
= (n + 1)/2 = x
n
i modstrid med
antagelsen om, at x
i
’erne er en permutation af tallene 1, 2, . . . , n.
b. Ja, der findes uendelige følger x
1
, x
2
, . . ., som indeholder ethvert positivt helt tal
netop en gang, således at (1) er opfyldt for ethvert k. Sådanne følger kan konstrueres
rekursivt. Vi beskriver rekursionsskridtet.
Lad x
1
, x
2
, . . . , x
n
være givet således, at (1) er opfyldt for k = 1, 2, . . . , n, og lad z
være et positivt helt tal forskelligt fra samtlige x
i
. Vi skal se, at der findes et positivt
helt tal y forskelligt fra z og fra samtlige x
i
således, at følgen x
1
, x
2
, . . . , x
n
, y, z
opfylder (1) for k = 1, 2, . . . , n + 2. Dertil observerer vi, at hvis y vælges således, at
n
X
i=1
x
i
+ y = m(n + 1)(n + 2) + (n + 1)z