Iracionálne číslo

Z Wikipédie

Iracionálne číslo je každé reálne číslo, ktoré nie je racionálne, teda nedá sa vyjadriť pomerom dvoch celých čísel. Presnejšie, iracionálne číslo je každé reálne číslo ktoré sa nedá vyjadriť v tvare $\textstyle\frac{m}{n}$ , kde $m$ a $n$ sú celé čísla pričom $n$ je nenulové. Príkladom iracionálneho čísla je $\sqrt{2}$ .

[úprava] História

Už starovekí grécki geometri vedeli, že dĺžky niektorých úsečiek sa k sebe nemajú ako žiadne dve celé kladné čísla. To sa dá v jazyku modernej matematiky ekvivalentne formulovať tak, že pomer dĺžok týchto úsečiek je iracionálne číslo. Medzi takéto dvojice úsečiek patria napríklad strana a uhlopriečka štvorca alebo strana a diagonála pravidelného päťuholníka. Takýmto dvojiciam dĺžok gréci hovorili nesúmeratelné dĺžky.

Treba pripomenúť, že staroveká grécka matematika považovala za čísla iba celé kladné čísla, čiže to, čomu sa dnes v jazyku modernej matematiky hovorí prirodzené čísla. Grécki geometri pôvodne verili tomu, že ktorékoľvek dve dĺžky sú v takom istom vzájomnom pomere, ako nejaké kladné celočíselné násobky nejakej pevne zvolenej dĺžky. Jeden z pôvodných zámerov gréckej matematiky bolo zredukovať otázky estetickej hodnoty geometrických tvarov na otázky vlastností prirodzených čísel skrývajúcich sa za pomermi dĺžok, ktoré možno na skúmaných útvaroch odmerať. Objavom nesúmerateľných dĺžok bol tento ambiciózny program odsúdený na rýchly koniec. Traduje sa, že stúpenci Pythagorovej školy existenciu nesúmerateľných dĺžok tajili. Ale ani napriek tomuto, na svoju dobu šokujúcemu objavu, gréci nepripustili, že by číslom mohlo byť aj niečo iné, než celé kladné číslo. Desiata kniha Euklidovych základov sa venuje podrobnému študiu nesúmerateľnosti ale aj pomerov dĺžok všeobecne.

Pojem iracionálneho čísla tak ako ho používame dnes, bol zavedený oveľa neskôr. Adjektívum iracionálne poukazuje iba na to, že takéto čísla nie sú racionálne v zmysle definície.

[úprava] Vlastnosti

iracionálne čísla sú husto usporiadané
množina iracionálnych čísel je nespočítateľná
všetky transcendentné čisla sú iracionálne

[úprava] Dôkaz iracionality čísla $\sqrt{2}$

Dokazujeme nepriamo. Predpokladáme, že $\sqrt 2$ je racionálne číslo. To znamená, že existujú celé čísla $p$ a $q$ také, že

$\frac{p}{q}=\sqrt 2$

pričom $q$ je rôzne od nuly a $p$ a $q$ sú nesúdeliteľné.

Umocnením oboch strán rovnice na druhú dostaneme, že $p 2 / q 2 = 2$ . Z nenulovosti $q$ vyplýva $p 2 = 2 q 2$ , teda číslo $p 2$ je párne. Keďže $p 2$ je štvorec, znamená to, že aj samo $p$ je párne a možno ho teda vyjadriť v tvare $p = 2 m$ kde $m$ je nejaké celé číslo. Keď posledný vzťah skombinujeme so vzťahom $p 2 = 2 q 2$ zistíme, že $2 m 2 = q 2$ , čo znamená, že aj $q 2$ je párne číslo. Znovu, keďže $q 2$ je štvorec, znamená to, že aj $q$ je párne.

Takto sme dokázali, že $p$ aj $q$ sú párne čísla a teda číslo 2 je ich spoločným deliteľom. Ale to je spor s predpokladom, že $p$ a $q$ sú nesúdeliteľné.