Iracionalni brojevi (iz latinskog; prefiks i - ne + ratio - omjer, razmjer), su oni brojevi koje ne možemo zapisati u obliku razlomaka.
Primjeri (transcendentnih) iracionalnih brojeva su:
- [math]\displaystyle{ \begin{align} e & \approx 2.71828 18284 59045 23536 02874... \\ \pi & \approx 3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 5923... \end{align} }[/math]
Algebarski iracionalni brojevi su korijen iz 2, 3, 5...
Vidi promjer za jedno od objašnjenja čemu služi broj π.
Racionalni brojevi su gusto poredani po brojevnom pravcu, ali ga ipak ne ispunjavaju. Postoji mnogo točaka (iracionalnih brojeva)) koje se ne mogu izmjeriti jediničnom dužinom (nisu sumjerljive s jediničnom dužinom). Primjer: prikaz √2 na brojevnom pravcu.
Euklidov dokaz
Euklid je svojevremeno dokazao da korijen od 2 ne može biti racionalan, na sljedeći način:
- dopustimo da korijen od 2 jest racionalan (vidi dokaz kontradikcijom).
- onda je √2 = n/m, gdje su n i m cijeli brojevi koji nemaju zajedničkog djelitelja (jer bi inače razlomak mogli skratiti). Ali onda [math]\displaystyle{ \frac{n^2}{m^2} = 2 }[/math], [math]\displaystyle{ n^2 = 2m^2 }[/math], gdje n i m su cijeli brojevi. Vidi se jasno da je [math]\displaystyle{ n^2 }[/math] dijeljiv s 2. Međutim, to bi podrazumijevalo da je i n dijeljiv s 2 jer samo parni brojevi proizvode kvadrate koji su dijeljivi s 2 ([math]\displaystyle{ 4^2 = 16 }[/math], na primjer, ali [math]\displaystyle{ 5^2 = 25 }[/math]; dokaz nije složen).
- Sad je pitanje: je li m paran ili ne? Ako je n dijeljiv s 2, onda [math]\displaystyle{ n = 2r }[/math], i [math]\displaystyle{ (2r)^2 = 2m^2 }[/math], [math]\displaystyle{ 4r^2 = 2m^2 }[/math]. Ovo pak znači [math]\displaystyle{ 2r^2 = m^2 }[/math] i m je dijeljiv s 2. Ali sad smo došli do zaključka da su i m i n dijeljivi s 2, pa se razlomak može skratiti s 2; došli smo do kontradikcije. Stoga, korijen iz 2 je iracionalan.
Nedovršeni članak Iracionalni broj koji govori o matematici treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.