Feladat: 1991. évi Nemzetközi Matematika Diákolimpia 13. feladata Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Ujváry-Menyhárt Zoltán 
Füzet: 1991/november, 338 - 339. oldal  PDF  |  MathML 
Témakör(ök): Legnagyobb közös osztó, Skatulyaelv, Szitaformula, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1991/szeptember: 1991. évi Nemzetközi Matematika Diákolimpia 13. 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.

Válasszuk ki az S halmazból a 2, a 3, az 5 és a 7 többszöröseit. Ezek közül akárhogyan választunk ki 5 számot, lesz kettő, amelyek ugyanannak a prímnek a többszörösei, tehát nem relatív prímek. Az S-ből kiválasztott elemek száma a szita-formula segítségével kiszámolva 216. Ezért a keresett n egész legalább 217.
Bebizonyítjuk, hogy n=217 esetén már teljesül a feltétel. Ehhez vizsgáljuk meg, hogy legfeljebb hány elem lehet S-nek egy olyan részhalmazában, amelyben nincs 5 olyan szám, amelyek páronként relatív prímek. A fent megadott 216 elemű halmaz kiválasztásakor elhagytuk a prímek és az 1 közül négy kivételével az összeset, a prímnégyzetek közül is négy kivételével az összeset, és ezeken kívül még hat darab két prím szorzataként felírható számot:

111311231117131711191319

Az eredeti feltételnek nem megfelelő bármely halmazban is a prímek és az 1 közül legfeljebb 4 lehet, különben lenne 5 szám, amelyek páronként relatív prímek, így ezek közül legalább annyit el kell hagyni, mint az előző példában. Ugyanez igaz a prímnégyzetekre is. Már csak az kell, hogy ezeken kívül még legalább 6 elemet el kell hagyni. Alább megadok 6 db 5 elemű diszjunkt halmazt, amelyek S részhalmazai, prímet és prímnégyzetet nem tartalmaznak, és mindegyikben páronként relatív prímek vannak, tehát mindegyik halmaznak legalább egy elemét el kell hagyni az S-ből ahhoz, hogy a feltétel ne teljesüljön.
A halmazok:
{23;33;523;719;1113}{26;317;53;713;1123}{24;34;519;723;1117}{27;323;529;711;1319}{25;35;513;717;1119}{28;319;511;729;1317}

Tehát, ha kiválasztunk S-ből egy 217 elemű halmazt, akkor az vagy tartalmaz egyet az előbbi 6 halmazból, vagy tartalmaz 5 prímet, vagy található benne 5 prímnégyzet. Ekkor van benne 5 szám, amelyek páronként relatív prímek. Tehát a keresett n szám a 217.