Feladat: 1990. évi Nemzetközi Matematika Diákolimpia 12. feladata Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Balog József 
Füzet: 1990/november, 338 - 339. oldal  PDF  |  MathML 
Témakör(ök): Konstruktív megoldási módszer, Maradékosztályok, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1990/szeptember: 1990. évi Nemzetközi Matematika Diákolimpia 12. 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.

Kétségkívül ez a feladat volt az első versenynap legkönnyebb feladata, főleg azok számára, akik nem szeretik a geometriát. Ugyanis a megoldás folyamán csupa ,,természetes'' ötletet kell csak felhasználni, tulajdonképpen józan ész elegendő hozzá.
Legyenek a pontok nevei rendre A1, A2, ..., A2n-1. (Ha valamilyen Ai-t említünk, amelyre i2n, vagy i0, akkor az i modulo (2n-1) értendő.)
Könnyen kialakulhat az a sejtésünk, hogy n-től függően n-1 vagy n a megfelelő k.
Próbáljunk ,,rossz'' színezést találni. Vizsgáljuk a következő sorozatot

An-2;A2(n-2);A3(n-2);...;Ai(n-2),(*)
amelyre teljesüljön, hogy A(i+1)(n-2) már előfordul a sorozatban. Ez az A(i+1)(n-2) pont csak az An-2 lehet, hisz minden ponttól két pont van n-2 távolságnyira, s a többi pontnál ezek a szomszédok. Így
(i+1)(n-2)n-2(mod(2n-1)),
vagyis
(i+1)(n-2)=n-2+a(2n-1),
(ahol a megfelelő egész szám), így
i(n-2)=a(2n-1).(1)
Ha i=2n-1, akkor a sorozatunk az összes pontot tartalmazza. Közülük n darabot kiválasztva lesz köztük szomszédos (An-2 és Ai(n-2) szomszédosnak tekintendő), hiszen különben Aj(n-2) kiválasztása esetén A(j+1)(n-2) nem választható ki, s az egyértelmű hozzárendelés miatt n pontot kiválasztva n pontot zárunk ki, ami összesen már több, mint 2n-1. Nyilván n-1 pont kiválasztható, ilyen p1. az A2(n-2);A4(n-2);...;A(2n-2)(n-2). Tehát ha i=2n-1, akkor k=n.
Nézzük meg azt, hogy milyen n-re lehetséges i2n-1. Ekkor n-2-nek és 2n-1-nek van 1-nél nagyobb közös osztója, ami csak a (2n-1)-2(n-2)=3 lehet, éspedig abban az esetben, ha n=3e+2 alakú. Vagyis i=2n-13 lehetséges még. Ekkor a (*) sorozatban éppen a 3-mal osztható sorszámú pontok találhatóak. A sorszámokhoz 1-et, ill. 2-t adva kaphatjuk az alábbi sorozatokat:
A1(n-2)+1;A2(n-2)+1;...;A2n-13(n-2)+1,(**)A1(n-2)+2;A2(n-2)+2;...;A2n-13(n-2)+2.(***)
A három sorozat tartalmazza az összes pontot. Az előzőekhez hasonlóan igazolható, hogy ha egy sorozat 2n-13 elemet tartalmaz, akkor legfeljebb n-23 elem színezhető ki úgy, hogy a színezés rossz legyen. Ez mindhárom esetben megtehető, így adódik, hogy n-2 pontot még ki lehet színezni rosszul, n-1-et azonban már nem.
Tehát: ha n=3e+2 alakú, akkor k=n-1, különben k=n.