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 -val, -vel, és azt, hogy az eleme, jelöljük (szokás szerint) -val. Feltesszük, hogy a feladat állítása nem igaz, és épp olyan felbontás, amelyben nincs háromtagú számtani sorozat. Megmutatjuk, hogy ha , akkor és nem tartozhatnak ugyanahhoz a halmazhoz. Ha ugyanis , akkor csak , lehetne, ámde ekkor már sem -ban, sem -ben nem lehetne. Nyilván feltehetjük, hogy a az -ban van. Ekkor előző megállapításunk szerint csak lehet, és ezek miatt . Mivel feltevésünk szerint és számtani közepe -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 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. |