„Végtelen leszállás” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
→Példa: √''k'' irracionális, ha nem egész |
a →Források: refek megjelenítése |
||
41. sor: | 41. sor: | ||
azaz √''k'' kifejezhető kisebb suzámokkal, ami ellentmondás.<ref>{{Citation | last = Sagher | first = Yoram | year = 1988 | month = February | journal = [[American Mathematical Monthly]] | volume = 95 | page = 117 | title = What Pythagoras could have done}}</ref> |
azaz √''k'' kifejezhető kisebb suzámokkal, ami ellentmondás.<ref>{{Citation | last = Sagher | first = Yoram | year = 1988 | month = February | journal = [[American Mathematical Monthly]] | volume = 95 | page = 117 | title = What Pythagoras could have done}}</ref> |
||
==Jegyzetek== |
|||
{{jegyzetek}} |
|||
==Források== |
==Források== |
||
* "Das kleine Einmaleins des klaren Denkens: 22 Denkwerkzeuge für ein besseres Leben" von Christian Hesse, Verlag: Beck; Auflage: 2 (14. Mai 2009) |
* "Das kleine Einmaleins des klaren Denkens: 22 Denkwerkzeuge für ein besseres Leben" von Christian Hesse, Verlag: Beck; Auflage: 2 (14. Mai 2009) |
A lap 2012. december 2., 20:30-kori változata
A végtelen leszállás' egy indirekt bizonyítási módszer, ami azon alapul, hogy a természetes számok minden részhalmazának van legkisebb eleme. A módszert Pierre de Fermat fejlesztette ki, és sok eredményéhez ezzel a módszerrel jutott el. A nagy Fermat-tétel n = 4-hez tartozó speciális esete például belátható végtelen leszállással.
A huszadik század számelmélete újra felfedezte a végtelen leszállást. Hozzákapcsolódott az algebrai számelmélethez és az L-függvényekhez. Mordell eredménye, hogy az elliptikus görbék racionális pontjainak csoportja végesen generált, szintén végtelen leszállással adódott. André Weil ezt az eredményt terjesztette ki magasságfüggvény használatával; ez később úttörőnek bizonyult. A Mordell-Weil tétel nyomán egy egészen új elmélet alakult ki.
Általános eljárás
Az érvelés indirekt, tehát feltesszük, hogy a bizonyítandó állítás nem igaz, vagyis hogy a szóban forgó egyenlet megoldható a természetes számok halmazán. Tudjuk, hogy a természetes számok minden részhalmazának van legkisebb eleme, ezért ha minden feltételezett megoldásból újabb, természetes számokból álló megoldást tudunk készíteni, akkor ellentmondást kaptunk, és a szóban forgó egyenlet nem oldható meg a természetes számok halmazán.
Másként, az egyenlet megoldáshalmazának is van legkisebb eleme, mivel a megoldáshalmaz a természetes számok halmazának része. Ebből készítünk egy még kisebb megoldást a feladat és a természetes számok tulajdonságainak felhasználásával. Ez ellentmond annak, hogy a legkisebb megoldásból indultunk ki, tehát az egyenlet megoldhatatlan.
A megoldhatatlanság induktív bizonyítása
Tegyük fel, hogy egy legkisebb megoldásból tudunk még kisebb megoldást csinálni! Ezen nyugszik a végtelen leszállás alapelve, és amihez konkrét bizonyítás szükséges.
- Az indukció megkezdése: A legkisebb megoldás nem lehet a 0, mert akkor lenne a 0-nál kisebb természetes szám. Mivel nincs ilyen szám, ezért ellentmondásra jutottunk.
- Az indukciós feltevés: Feltesszük, hogy már minden k ≤ k0-ra bizonyítva van, hogy nem lehet legkisebb megoldás.
- Az indukciós lépés: Mivel k0 nem lehet a legkisebb megoldás, ezért annak a k ≤ k0 számok között kell lennie. Ez ellentmond az indukciós feltevésnek.
Tehát a legkisebb megoldás nem létezik, így semmilyen megoldás nincs, tehát az egyenlet megoldhatatlan.
Példák
A 2 négyzetgyöke irracionális
pozitív. Feltesszük indirekt, hogy racionális, tehát vannak olyan természetes számok, hogy . Négyzetre emelve kapjuk az egyenletet, aminek megoldásai az természetes számok. Állítjuk, hogy egy adott megoldásból készíthető egy megoldás, ami abban az értelemben kisebb, hogy .
Az egyenlőtlenség miatt , tehát is természetes szám. Hasonlóan, miatt , és így szintén természetes szám. Emellett még is teljesül.
Az egyenlet felhasználásával: tehát is megoldása az egyenletnek.
Tudjuk, hogy ha az egyenlet megoldható, akkor van olyan megoldás is, amiben y minimális. Azonban ahogy láttuk, ilyen nincs, mert tetszőleges megoldásból lehet kisebbet készíteni. Eszerint a racionális volta nem állja meg a helyét, tehát irracionális.
Hasonlóan, ha tetszőleges megoldás helyett a legkisebb megoldásból indulunk ki, akkor a kisebb megoldás létezése megcáfolja annak legkisebb voltát. Érvelhetünk úgy is, hogy minden -hoz is készíthető kisebb y, tehát készíthető y-oknak végtelen sorozata, ami a természetes számok alulról korlátos volta miatt lehetetlen, tehát ismét ellentmondáshoz jutunk.
√k irracionális, ha nem egész
Legyen k pozitív egész. Belátjuk, hogy ha √k nem egész, akkor irracionális.
Feltesszük, hogy mégis racionális. Legyen √k = m/⁄n, ahol m és ⁄n a lehető legkisebb természetes számok. Legyen továbbá q a legnagyobb egész, ami nem kisebb √k-nál.
Ekkor
azaz √k kifejezhető kisebb suzámokkal, ami ellentmondás.[1]
Jegyzetek
- ↑ Sagher, Yoram (1988), "What Pythagoras could have done", American Mathematical Monthly 95: 117
Források
- "Das kleine Einmaleins des klaren Denkens: 22 Denkwerkzeuge für ein besseres Leben" von Christian Hesse, Verlag: Beck; Auflage: 2 (14. Mai 2009)
- Matroids Matheplanet: A végtelen leszállás