„Végtelen leszállás” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
→‎√k irracionális, ha nem egész: A korábbi szöveg egyértelműen elírás, mivel a legnagyobb, √k-nál nem kisebb egész bármely √k-ra a végtelen. A legnagyobb, √k-nál kisebb egész már értelmezhető, és így lesz igaz a bizonyítás.
a q nem nagyobb
31. sor:
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'' = <sup>''m''</sup>/⁄<sub>''n''</sub>, ahol <sup>''m''</sup> és ⁄<sub>''n''</sub> a lehető legkisebb természetes számok. Legyen továbbá ''q'' a legnagyobb egész, ami kisebbnem nagyobb √''k''-nál.
 
Ekkor