Iracionalan broj

Iracionalni brojevi su oni brojevi koje ne možemo zapisati u obliku razlomaka

  gdje su a i b cijeli brojevi i 

Primjeri (transcedentnih) iracionalnih brojeva su:





Algebarski iracionalni brojevi su , , 

desno

Racionalni brojevi su gusto poredani po brojevnoj pravoj ali ga ipak ne ispunjavaju. Postoji mnogo tačaka (iracionalnih brojeva)) koji se ne mogu izmjeriti jediničnom dužinom (nisu srazmjerne s jediničnom dužinom). Primjer: prikaz   √2 na brojevnoj pravoj. 
 Iracionalnost kvadratnog korena iz 2 
 Euklidov dokaz 
Euklid je svojevremeno dokazao da korijen od 2 ne može biti racionalan, na slijedeći način:

 dopustimo da korijen od 2 jest racionalan.
 onda je  , gdje n i m su cijeli brojevi koji nemaju općeg djelioca (jer bi ga inače mogli skratiti). 
Ali onda , , gdje n i m su cijeli brojevi.
Vidi se jasno da se  dijeli na 2. Međutim, to bi podrazumijevalo da se i n dijeli na 2 jer samo parni brojevi proizvode kvadrate koji se dijele na 2 (, na primjer, ali ; dokaz nije složen).
 Sad je pitanje: je li m paran ili ne? Ako se n dijeli na 2, onda 
, i
, . 
Ovo pak znači  i m je dijeljivo na 2. 
Ali sad smo došli do zaključka da se i m i n dijele na 2, pa razlomak nije u najprostijem obliku; došli smo do kontradikcije ->  je iracionalan.

 Drugačiji dokaz 

[[Datoteka:|thumb|200px|right|Jednakokraki pravougli trougao]]

Primjenom iste metode na drugačiji način možemo dokazati  iracionalan je manje poznat ali zaslužuje  da se predstavi. Dakle, ako je  tada se geometrijskom metodom, jednostavnom lenjir i šestar konstrukcijom može demonstrirati da je .

Ovo je dokaz u kome nema računa već isključivo geometrije, pa se može smatrati prihvatljivim starim helenskim geometrima.

 Iracionalnost zlatnog presjeka 
Kada se duž podijeli na dva dijela na način da se duži dio prema cjelini odnosi na isti način kao kraći dio prema dužem, tada smo duž podijelili u zlatnom odnosu. Kaže se još da smo napravili zlatni presjek, čiji je odnos

Pretpostavimo da je ovaj broj racionalan, i predstavimo ga odnosom  	.

gdje su n i m uzajamno prosti. Neka je n dužina cjeline, a m dužina dužeg dijela. Tada je dužina kraćeg dijela n − m. Slijedi da je tada

.

Ali ovo znači da smo pojednostavili razlomak koji, prema pretpostavci, nije mogao biti pojednostavljen, skraćen. To je kontradikcija, znači pretpostavka da je   racionalan nije tačna.

Transcendentni i algebarski iracionalni brojevi

Skoro svi iracionalni brojevi su transcendentni a istovremeno su svi transcendentni brojevi iracionalni.

Poznati su sljedeći primjeri
 je iracionalno za 
 je iracionalno za 
 je iracionalno

Drugi način konstrukcije iracionalnog broja je iracionalni algebarski broj tj. kao nula polinoma sa cjelobrojnim koeficijentima.

Posmatrajmo jednačinu:

gdje su koeficijenti  cijeli brojevi. Pretpostavimo da postoji realan broj  takav da je 

Jedini mogući racionalni korjen ovog polinoma je oblika 

gdje je   djelilac   i  je delilac . Postoji konačan broj kandidata i svi se mogu provjeriti pojedinačno. Ako nijedan od njih nije korjen , tada  mora biti iracionalno.

Ova tehnika može biti korištena da se pokaže da je

  iracionalan, jer je tada  
  odnosno

Ovaj polinom nema racionalne korjene (jedini kandidati su ).
Zato što algebarski brojevi čine polje, mnogi iracionalni brojevi mogu biti konstruisani kombinovanjem transcendentnih i algebarskih brojeva.

Na primjer  ,  i  su iracionalni (i transcendentni).

Jednostavan dokaz iracionalnosti za neke logaritme
Logaritmi su vjerovatno najjednostavniji za dokazivanje iracionalnosti. Slijedi dokaz svođenjem na kontradikciju, da je 
iracionalan
Ako je    racionalan. 
Znači postoje prirodni brojevi  i , takvi da je .
Tada je  

2 na neki prirodan broj je uvijek parno, a 3 na neki prirodan broj je uvijek neparno. Slijedi početna pretpostavka je pogrešna.

Slučajevi kao što je  se dokazuju slično.

Iracionalni brojevi i decimalni razvoj

Često se pogrešno zaključuje da matematičari definišu iracionalan broj u smislu decimalnog razvoja, nazivajući broj iracionalnim ako decimalni razvoj ima beskonačno cifara, a cifre se ne ponavljaju. Nijedan matematičar ne uzima ovo kao definiciju jer izbor osnove 10 za brojni sistem je prozvoljan a prava definicija je bolja i jednostavnija. Mada, istini za volju, tačno je da je broj oblika n/m, gdje su n i m prirodni brojevi, ako i samo ako decimalni prikaz ima konačan broj cifara ili se cifre ponavljaju beskonačno u grupama. Ovo je moguće pokazati običnim školskim dijeljenjem n sa m jer samo m mogućih ostataka postoji. Ako je 0 ostatak, decimalni ispis se završava. Ako se 0 nikad ne pojavljuje tada se postupak može ponoviti najviše (m − 1) puta prije nego što se ponovo isti ostaci pojave. Poslije toga, ostatak se ponavlja i decimalne cifre se ponavljaju.
Primjer:

Pošto je dužina ponavljajuće grupe cifara 3, pomnožimo sa 

i oduzmimo A od obe strane

Brojevi za koje se ne zna da li su iracionalni
Ne zna se da li su    i  iracionalni ili ne.

Ne postoje prirodni brojevi m i n za koje se zna da li je   iracionalno ili ne.

Nije poznato ni za , ,  da li su iracioalni

Skup iracionalnih brojeva
Skup iracionalnih brojeva nema standardnu oznaku kao što je to slučaj sa skupom prirodnih brojeva N, skupom cijelih brojeva Z, skupom racionalnih brojeva Q ili skupom realnih brojeva R.

Skup iracionalnih brojeva je neprebrojiv, dok je skup racionalnih brojeva prebrojiv a realnih brojeva neprebrojiv. Skup algebarskih iracionalnih brojeva, znači netranscendentnih, je prebrojiv.

Koristeći apsolutnu vrijednost za mjerenje rastojanja, iracionalni brojevi čine metrički prostor koji nije kompletan. Pa ipak, ovaj metrički prostor je homeomorfan kompletnom metričkom prostoru svih nizova prirodnih brojeva; homeomorfizam je dat beskonačnim razvojem verižnih razlomaka. Ovo pokazuje da u prostoru iracionalnih brojeva važi iskaz Berove teoreme o kategoriji.
Neki zanimljivi iracionalni brojevi
Konstanta Koupland-Erdoš

dobijena spajanjem prostih brojeva u niz jeste iracionalan broj.

 Također pogledajte 
 Proračunljiv broj
 Zlatni rez
 Kvadratni korijen od 3
 Kvadratni korijen od 5


Kategorija:Skupovi realnih brojeva