Iracionálne číslo

Iracionálne číslo je každé reálne číslo, ktoré nie je racionálne, čiže sa nedá vyjadriť pomerom dvoch celých čísel. Teda, iracionálne číslo je každé reálne číslo ktoré sa nedá vyjadriť v tvare , kde  a  sú celé čísla pričom  je nenulové. Príkladom iracionálneho čísla je .

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úmerateľné 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 pomerom 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.

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

Dôkaz iracionality čísla  
Dokazujeme sporom. Predpokladajme, že  je racionálne číslo. To znamená, že existujú celé čísla  a  také, že

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

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

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

Pozri aj 
 Racionálne číslo
 Transcendentné číslo

Zdroje 
 P. Vopěnka, Úhelný kámen evropské vzdělanosti a moci. PRÁH 2003. ISBN 80-7252-022-9 (K histórii objavu nesúmerateľných dĺžok.)