Feladat: 1978. évi Nemzetközi Matematika Diákolimpia 22. feladata Korcsoport: 16-17 Nehézségi fok: nehéz
Füzet: 1978/október, 53. oldal  PDF  |  MathML 
Témakör(ök): Konstruktív megoldási módszer, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1978/szeptember: 1978. évi Nemzetközi Matematika Diákolimpia 22. feladata

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Először megmutatjuk, hogy ha van olyan ni>j számpár, amelyekre ai<aj, akkor az egyenlőtlenség bal oldalát csökkenthetjük azzal, hogy ai-t és aj-t felcseréljük. Ugyanis a változás

(aji2+aij2)-(a1i2+ajj2)=(aj-ai)(1i2-1j2)<0.
Mivel az a1,a2,...,an számokat csak véges sokféleképpen permutálhatjuk, a cseréket elég sokszor elvégezve a számaink már monoton nőnek, s közben a bal oldal értéke minden esetre nem nőtt. S mivel ekkor már a11,a22,...,ann, kapjuk, hogy az legalább
112+222+333+...+nn2=k-1n1k,
amit bizonyítani kellett.
 

Megjegyzés. Ugyanezzel a gondolatmenettel látható be a következő állítás is: ha
x1x2...xnésy1y2...yn
tetszőleges számsorozatok, i1,i2,...,in pedig az 1,2,...,n számok tetszőleges permutációja, akkor
k=1nxkyn+1-kk=1nxkyikk=1nxkyk.