Feladat: Gy.1872 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1980/május, 209. oldal  PDF  |  MathML 
Témakör(ök): Részhalmazok, Indirekt bizonyítási mód, Számtani sorozat, Természetes számok, Gyakorlat
Hivatkozás(ok):Feladatok: 1979/december: Gy.1872

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.

Jelöljük a két részhalmazt A-val, B-vel, és azt, hogy n az A eleme, jelöljük (szokás szerint) nA-val. Feltesszük, hogy a feladat állítása nem igaz, és A,B épp olyan felbontás, amelyben nincs háromtagú számtani sorozat. Megmutatjuk, hogy ha n4, akkor (n-1) és (n+1) nem tartozhatnak ugyanahhoz a halmazhoz. Ha ugyanis n-1A,n+1A, akkor csak n-3B,n+3B lehetne, ámde ekkor n már sem A-ban, sem B-ben nem lehetne. Nyilván feltehetjük, hogy a 7 az A-ban van. Ekkor előző megállapításunk szerint csak 5B,9B lehet, és ezek miatt 3A,11A. Mivel feltevésünk szerint 3 és 11 számtani közepe A-beli, ellentmondásra jutottunk, tehát állításunk igaz.

 

Megjegyzés. Belátható az is, hogy már az első 9 természetes számot sem lehet úgy két halmazba rakni, hogy egyikben se legyen 3 elemű számtani sorozat. Az első 8 számra ez még nem igaz, mint azt az A={1,2,5,6},B={3,4,7,8} felbontás mutatja. Amint azt Szemerédi Endre matematikus nemrég bizonyított tételéből kiolvashatjuk, ha elég sok számot bontunk két halmazba, tetszőleges hosszú számtani sorozatok létezését is lehet bizonyítani.