„Van der Waerden-tétel” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Kope (vitalap | szerkesztései) →Irodalom: kat |
Kope (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
2. sor:
A tétel szerint, ha <math>k,r</math> egynél nagyobb természetes számok, akkor van olyan (legkisebb) <math>W(k,r)</math> természetes szám, hogy a következő állítás igaz: akárhogyan osztjuk <math>
== Bizonyítás ==
Az állítás igazolása ''k''-ra vonatkozó indukcióval történik. A ''k''=2 eset nyilvánvaló: ha a az 1-től ''r''+1-ig terjedő természetes számokat ''r'' részre osztjuk, valamelyik rész tartalmaz két elemet, ezek pedig kéttagú számtani sorozatot alkotnak. Tehát <math>W(2,r)=r+1</math>.
Ezt az eredményt Bartel Leendert van der Waerden 1927-ben igazolta.
== Lásd még ==
* [[Hales–Jewett-tétel]]
* [[Szemerédi-tétel]]
|