Изворни код странице Ирационалан број

{{друга употреба|Број (вишезначна одредница)}}
[[File:PI constant.svg|thumb|240px|Математичка константа [[pi|{{pi}}]] је ирационалан број који је много заступљен у популарној култури.]]
[[File:Square root of 2 triangle.svg|right|thumb|240px|Број [[Square root of 2|{{radic|2}}]] је ирационалан број.]]

У [[математика|математици]], '''ирационалан број''' је онај [[реалан број]] који није [[рационалан број]], тј не може бити написан као разломак два [[цео број|цела броја]] односно није облика

:<math>\frac a b</math>

где су ''a'' и ''b'' цели бројеви и ''b'' није једнако [[0 (број)|нула]]. 
Може се лако показати да су ирационални бројеви сви који у свакој бројној основи (децималној, бинарној, итд) имају бесконачно цифара и не долази до бесконачно понављање неког подниза цифара, мада математичари никад ово не би навели као дефиницију.

Скоро сви реални бројеви су ирационални у смислу прецизне дефиниције наведене ниже.

Неки [[ирационалан број|ирационални бројеви]] су [[алгебарски број]]еви, као што је 
* <math>\sqrt 2         </math> &nbsp; [[квадратни корен]] из 2, 
* <math>\sqrt [3] {5}   </math> &nbsp; [[кубни корен]] из 5
а неки су [[трансцендентан број|трансцендентни бројеви]], као што су
* <math>\mathbf {\ln 2}</math> &nbsp;[[природни логаритам]] броја 2,
* <math>\mathbf \pi </math> &nbsp;&nbsp;&nbsp;&nbsp;број [[пи|&pi;]], [[Архимед]]ов број, [[Лудолф ван Цојлен|Лудолфов]] број,
* <math>\mathbf{e} </math> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;математичка константа [[број е|e]], основа природног логаритма, [[Леонард Ојлер|Ојлерова]] константа.

Ако је однос [[дужина]] две [[дуж]]и ирационалан, дужи су међусобно '''несамерљиве''', што значи да немају заједничку '''меру'''. Мера дужи '''''I''''' је таква дуж '''''Ј''''', да [[цео број]] дужи '''''Ј''''' стаје у дуж '''''I'''''. Међу ирационалним бројевима су однос [[Pi|{{pi}}]] обима круга и његовог пречника, Ојлеров број [[E (mathematical constant)|''e'']], златни пресек [[Golden ratio|''φ'']] и квадратни [[square root of two|корен из два]].<ref>[http://sprott.physics.wisc.edu/Pickover/trans.html The 15 Most Famous Transcendental Numbers]. by [[Clifford A. Pickover]]. URL retrieved 24 October 2007.</ref> Заправо, сви квадратни корени [[natural number|природних бројева]], осим [[square number|савршених квадрата]], су ирационални.<ref>{{Cite journal |last=Jackson |first=Terence |title=95.42 Irrational square roots of natural numbers — a geometrical approach |url=https://www.cambridge.org/core/journals/mathematical-gazette/article/abs/9542-irrational-square-roots-of-natural-numbers-a-geometrical-approach/6B9D8EBFDCC016013D303AA78973429F |journal=The Mathematical Gazette |language=en |date=2011-07-01 |volume=95 |issue=533 |pages=327–330 |doi=10.1017/S0025557200003193 |s2cid=123995083 |issn=0025-5572}}</ref>

== Историја теорије ирационалних бројева ==

Откриће ирационалних бројева се везује за [[питагорејци|питагорејце]], конкретно за [[Хипас]]а из Метапонтума, који је извео (највероватније геометријски) доказ о ирационалности (несамерљивости) [[квадратни корен|квадратног корена]] из броја 2. Према причи је Хипас покушао да докаже да је [[хипотенуза]] једнакокраког [[правоугли троугао|правоуглог троугла]] самерљива са [[катета|катетом]], односно данашњим речником да је корен из 2 могуће представити разломком. Усред тражења таквог доказа он је доказао управо супротно. Питагорејска секта је међу својим догмама имала да је свет у суштини математички и да се све у њему може представити односом бројева. Бројеви који се нису могли представити тако су по њима били ван ума (лат. ''ratio'') односно ван памети, па их је неко тако и назвао, ирационални (грчки ''алогон'', што додуше може значити и ''оно о чему не треба причати''). Хипас је, изгледа, неком ван братства испричао о свом открићу. Побеснела браћа су га уљудно позвала на крстарење и на пучини бацили преко палубе.

У шеснаестом столећу је коначно дошло до прихватања појмова негативни бројеви, целобројни и разломљени део броја. У седамнаестом столећу је коначно прихваћен децимални бројни систем у данашњем облику од шире математичке заједнице. Абрахам де Моавр и Леонард Ојлер, у следећем столећу, откривају изузетно употребљиве особине имагинарног броја. У деветнаестом столећу је комплетирана теорија [[комплексан број|комплексних бројева]], ирационални бројеви су раздвојени на алгебарске и трансцендентне, доказано је постојање трансцендентних бројева и направљен нови приступ у области која је недирнута од доба [[Еуклид]]а, теорији ирационалних бројева.
Године 1872. своје теорије су објавили [[Карл Вајерштрас]], [[Јулијус Вилхелм Рихард Дедекинд|Рихард Дедекинд]] и [[Едуард Хајне]]. Вајерштрасове и Дедекиндове идеје даље разрађују Пинкерле и [[Пол Танери|Танери]]. Вајерштрас, Кантор и Хајне су свој рад засновали на редовима док је Дедекинд идеју нашао у пресеку осе реалних бројева раздвајајући све рационалне бројеве у две групе одређених особина. Ова тема се даље разрађује кроз радове Вајерштраса, [[Леополд Кронекер|Кронекера]] и [[Шарл Мере|Мереа]].

[[Леонард Ојлер]] је посветио пажњу верижним разломцима, блиско повезаним са ирационалним бројевима, али се тек у деветнаестом веку детаљно разрађују у делима [[Жозеф Луј Лагранж]]а. 

Кронекер је први раздвојио трансцендентне бројеве од алгебарских. Ламбер је 1761 доказао да &pi; није рационалан број. Доказао је још да ''e''<sup>n</sup> није рационалан ако је ''n'' рационалан (осим за ''n''=0). Лежандр је 1794. године довршио Ламберов доказ и још доказао да &pi; не може бити квадратни корен рационалног броја. Жозеф Лиувил је 1840. године показао да ни ''е'' ни ''е''<sup>2</sup> не могу бити решења квадратне једначине са целобројним коефицијентима. Постојање трансцендентних бројева је доказао Лиувил 1844. године али је тек 1873. показан један такав. Чарлс Хермит је тада доказао да је ''е'' трансцендентан а Линдеман је 1882. године то исто доказао за &pi; полазећи од Хермитових закључака. Линдеманов доказ је поједноставио Вајерштрас 1885. године и Дејвид Хилберт 1893. године а касније су се тиме бавили и Хурвиц и Пол Алберт Гордон.

== Ирационалност квадратног корена из 2 ==

Један доказ ирационалности квадратног корена из 2 се доказује довођењем у контрадикцију (reductio ad absurdum), омиљеном методом старих Хелена. Тврдња се доказује увођењем супротне претпоставке у односу на жељену и кроз доказни поступак долазимо до контрадикције таквој претпоставци, што је елиминише. Тако је наша жељена претпоставка остала једина могућа те је стога тачна.
# Претпоставимо да је <math>\sqrt 2</math> рационалан број. То значи да постоје природни бројеви <math>a</math> и <math>b</math> такви да је <math>\sqrt 2 = \frac {a} {b}</math>
# Тада <math>\sqrt 2</math> може бити написан као нескративи разломак <math>\frac {a} {b}</math>, што значи да су бројеви <math>a</math> и <math>b</math> узајамно прости природни бројеви и истовремено <math>\left(\frac {a} {b}\right)^2 = 2</math>.
# Sledi da je <math>\frac {a^2} {b^2} = 2</math> odakle je <math>a^2 = 2 \cdot b^2</math>.
# Odavde je jasno <math>a^2</math> паран број, јер је представљен као производ броја 2 и природног броја.
# Из овога следи да <math>a</math> мора бити паран, јер је квадрат парног броја паран а непарног броја непаран.
# Пошто је <math>a</math> паран, постоји такво <math>k</math> да важи <math>a = 2 \cdot k</math>.
# Кад убацимо последњу једнакост у (3) добијамо: <math>(2 k)^2 = 2 b^2</math>, што води до <math> 4 k^2 = 2 b^2</math> односно после скраћивања са 2 добијамо <math> 2 k^2 = b^2</math>.
# Из овога следи да је <math>b^2</math> паран број јер је представљен као производ двојке и природног броја. Потом из овога следи да је и <math>b</math> паран јер само парни бројеви имају парне квадрате.
# Из (5) и (8) следи да су и ''a'' и ''b'' парни, што је у директној супротности са претпоставком у (2) да су бројеви ''a'' и ''b'' узајамно прости.

Тако смо доказали жељено, прво побијајући ту тврдњу а потом доказујући да нас то доводи до апсурда и контрадикције. Закључак је, не треба негирати почетну тврдњу јер је она тачна. Дакле <math>\sqrt 2</math> је ирационалан.

Овај доказ може бити уопштен, да докаже да је било који корен било ког природног броја или природан број или ирационалан.

== Другачији доказ ==
[[Датотека:Koren2.jpg|мини|десно|200п|Једнакокраки правоугли троугао]]

Применом исте методе на другачији начин можемо доказати <math>\sqrt 2</math> ирационалан је мање познат али завређује да се представи. Дакле, ако је <math>\sqrt 2 = \frac {m} {n}</math> тада се геометријском методом, једноставном лењир и шестар конструкцијом може демонстрирати да је <math>\sqrt 2 = \frac {m} {n}= \frac {2n-m} {m-n}</math>.

Са слике је јасно да су велики и мали правоугли троуглови слични. Ако је однос хипотенузе и катете код великог једнак ''m/n'', где су ''m'' и ''n'' узајамно прости, тада исти такав однос постоји и код мањег и износи ''(2n-m)/(m-n)''. Али пошто смо добили однос у коме су бројеви у разломку мањи него у првом разломку закључак је да смо управо скратили именилац и бројилац, што је у супротности са полазном претпоставком да су ''m'' и ''n'' узајамно прости.

Ово је доказ у коме нема рачуна већ искључиво геометрије, па се може сматрати прихватљивим старим хеленским геометрима.

== Ирационалност златног пресека ==

Када се дуж подели на два дела на начин да се дужи део према целини односи на исти начин као краћи део према дужем, тада смо дуж поделили у '''златном односу'''. Каже се још да смо направили [[златан пресек]], чији је однос

:<math>\varphi={1+\sqrt{5} \over 2}.</math>

Претпоставимо да је овај број рационалан, и представимо га односом ''n''/''m'' где су ''n'' и ''m'' узајамно прости. Нека је ''n'' дужина целине, а ''m'' дужина дужег дела. Тада је дужина краћег дела ''n''&nbsp;&minus;&nbsp;''m''. Следи да је тада

:<math>{n \over m} = {m \over n-m}</math>.

Али ово значи да смо поједноставили разломак који, према претпоставци, није могао бити поједностављен, скраћен. То је контрадикција, значи претпоставка да је &phi; рационалан није тачна.

== Трансцендентни и алгебарски ирационални бројеви ==

Скоро сви ирационални бројеви су трансцендентни а истовремено су сви трансцендентни бројеви ирационални. Познати су следећи примери
* ''е''<sup>r</sup> је ирационално, ако је ''r'' &ne; 0 рационално;
* &pi;<sup>r</sup> је ирационално, ако је ''r'' &ne; 0 рационално;
* ''е''<sup>&pi;</sup> је такође ирационално.

Други начин конструкције ирационалног броја је ирационални алгебарски број тј. као нула полинома са целобројним коефицијентима. Пођимо од једначине
:''p''(''x'') = ''a<sub>n</sub> x<sup>n</sup>'' + ''a''<sub>''n''-1</sub> ''x''<sup>''n''&minus;1</sup> + ... + ''a''<sub>1</sub> ''x'' + ''a''<sub>0</sub> = 0
где су коефицијенти ''a''<sub>''i''</sub> цели бројеви. Претпоставимо да постоји реалан број ''x'' такав да је ''p''(''x'') = 0

Једини могући рационални корен овог полинома је облика ''r''/''s'' где је ''r'' делилац ''a''<sub>0</sub> и ''s'' је делилац ''a''<sub>''n''</sub>. Постоји коначан број кандидата и сви се могу проверити појединачно. Ако ниједан од њих није корен ''p'', тада ''x'' мора бити ирационално. Ова техника може бити коришћена да се покаже да је ''x'' = (2<sup>1/2</sup> + 1)<sup>1/3</sup> ирационалан, јер тада је (''x''<sup>3</sup> &minus; 1)<sup>2</sup> = 2 односно ''x''<sup>6</sup> &minus; 2''x''<sup>3</sup> &minus; 1 = 0, а овај полином нема рационалне корене (једини кандидати су ±1).

Зато што алгебарски бројеви чине поље, многи ирационални бројеви могу бити конструисани комбиновањем трансцендентних и алгебарских бројева. На пример 3&pi;+2, &pi; + &radic;<span style="text-decoration: overline">2</span> и ''e''&radic;<span style="text-decoration: overline">3</span> су ирационални (и трансцендентни).

== Једноставан доказ ирационалности за неке логаритме ==

Логаритми су вероватно најједноставнији за доказивање ирационалности. Следи доказ свођењем на контрадикцију, да је log<sub>2</sub>3 ирационалан:
: Претпоставимо да је log<sub>2</sub>3 рационалан. Значи постоје природни бројеви ''m'' and ''n'', такви да је log<sub>2</sub>3 = ''m''/''n''.
: Тада је 2<sup>''m''/''n''</sup> = 3.
: Одатле следи 2<sup>''m''</sup> = 3<sup>''n''</sup>.
: Али 2 на неки природан број је увек парно, а 3 на неки природан број је увек непарно. Следи почетна претпоставка је погрешна.

Случајеви као што је log<sub>10</sub>2 се доказују слично.

== Ирационални бројеви и децимални развој ==

Често се погрешно закључује да математичари дефинишу '''ирационалан број''' у смислу децималног развоја, називајући број ирационалним ако децимални развој има бесконачно цифара, а цифре се не понављају. Ниједан математичар не узима ово као дефиницију јер избор основе 10 за бројни систем је произвољан а права дефиниција је боља и једноставнија. Мада, истини за вољу, тачно је да је број облика ''n''/''m'', где су ''n'' и ''m'' природни бројеви, ако и само ако децимални приказ има коначан број цифара или се цифре понављају бесконачно у групама. Ово је могуће показати обичним школским дељењем ''n'' са ''m'' јер само ''m'' могућих остатака постоји. Ако је 0 остатак, децимални испис се завршава. Ако се 0 никад не појављује тада се поступак може поновити највише ''m'' &minus; 1 пута пре него што се поново исти остаци појаве. После тога, остатак се понавља и децималне цифре се понављају. Пример:

:<math>A=0.7\,162\,162\,162\,\dots</math>

Пошто је дужина понављајуће групе цифара 3, помножимо са 10<sup>3</sup>:

:<math>1000A=7\,16.2\,162\,162\,\dots</math>

и одузмимо A од обе стране:

:<math>999A=715.5\,.</math>

Тада

:<math>A=\frac{715.5}{999}=\frac{7155}{9990}=\frac{135\times 53}{135\times 74}=\frac{53}{74}.</math>

(Број 135, из горњег примера, се лако налази употребом [[Еуклидов алгоритам|Еуклидовог алгоритма]].)

== Бројеви за које се не зна да ли су ирационални ==

Не зна се да ли су {{mvar|π}} + {{mvar|e}} и {{mvar|π}} &minus; {{mvar|e}} ирационални или не. 

У ствари, не постоје природни бројеви {{mvar|m}} и {{mvar|n}} за које се зна да ли је {{mvar|m·π}} + {{mvar|n·e}} ирационално или не.

Није познато ни за <math> \mathbf {2}^{\mathbf e} </math>, <math> \pi^{\mathbf e}</math>, <math>\pi^\sqrt{2}</math> или [[Ојлер-Машеронијева константа|Ојлер-Машерони гама константу]] <math> \gamma </math> да ли су ирационални.

== Скуп ирационалних бројева ==

Скуп ирационалних бројева нема стандардну ознаку као што је то случај са [[природан број|скупом природних бројева]] {{mvar|N}}, [[цео број|скупом целих бројева]] {{mvar|Z}}, [[рационалан број|скупом рационалних бројева]] {{mvar|Q}} или [[реалан број|скупом реалних бројева]] {{mvar|R}}.

Скуп ирационалних бројева је [[непребројив скуп|непребројив]], док је скуп рационалних бројева [[пребројив скуп|пребројив]] а реалних бројева непребројив. Скуп алгебарских ирационалних бројева, значи нетрансцендентних, је пребројив.

Користећи апсолутну вредност за мерење растојања, ирационални бројеви чине [[метрички простор]] који није комплетан. Па ипак, овај метрички простор је хомеоморфан [[комплетност|комплетном]] метричком простору свих низова природних бројева; хомеоморфизам је дат бесконачним развојем [[верижни разломак|верижних разломака]]. Ово показује да у простору ирационалних бројева важи исказ [[Берова теорема о категорији|Берове теореме о категорији]].

== Неки занимљиви ирационални бројеви ==
Константа Коупланд-Ердош

: {{mvar|0.235711131719232931374143...|font-style=normal}}

добијена спајањем простих бројева у низ јесте ирационалан број. Зна се чак и да је [[нормалан број]].

== Референце ==
{{Reflist|}}

== Литература ==
{{Литература|30em}}
* [[Adrien-Marie Legendre]], ''Éléments de Géometrie'', Note IV, (1802), Paris
* Rolf Wallisser, "On Lambert's proof of the irrationality of π", in ''Algebraic Number Theory and Diophantine Analysis'', Franz Halter-Koch and Robert F. Tichy, (2000), Walter de Gruyer
* Др Павле Миличић, Мр Владимир Стојановић, Др [[Зоран Каделбург]], Др Бранислав Боричић: ''МАТЕМАТИКА, За I разред средње школе'', Програми са четири часа наставе математике недељно, Друго издање, Завод за издавање уџбеника, Нови Сад, 1992.
* [[Georg Cantor|Cantor, Georg]] (1874). "{{lang|de|Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen}}". ''{{lang|de|Journal für die Reine und Angewandte Mathematik}}'', volume 77, pp. 258–62.
* {{cite book|author=[[Solomon Feferman|Feferman, Solomon]] . |title=The Number Systems: Foundations of Algebra and Analysis |location= |publisher=AMS Chelsea |year=1989|isbn=0-8218-2915-7}}, .
* {{cite book|author=Katz, Robert|title=Axiomatic Analysis |url=https://archive.org/details/axiomatianalysis0000robe|location= |publisher= |year=1964}}, D.C. Heath and Company.
* {{cite book|author=[[Edmund Landau|Landau, Edmund]] . |title=Foundations of Analysis |location= |publisher= |year=2001|isbn=0-8218-2693-X}}. [[American Mathematical Society]], .
* {{cite book|author=Howie, John M |title=Real Analysis |year=2001 |url=https://archive.org/details/realanalysis0000howi |location= |publisher= |isbn=1-85233-314-6}}. Springer, (2005) .
* {{citation |first = Carol |last = Schumacher |title = ChapterZero / Fundamental Notions of Abstract Mathematics BV |year = 1996 |publisher = Addison-Wesley |isbn= 978-0-201-82653-1 }}
* {{citation |title = Mathematics Across Cultures: The History of Non-western Mathematics |editor1-first = Helaine |editor1-last = Selin |editor1-link = Helaine Selin |editor2-first = Ubiratan |editor2-last = D'Ambrosio |editor2-link = Ubiratan D'Ambrosio |year = 2000 |publisher = [[Springer Science+Business Media|Springer]] |isbn = 978-1-4020-0260-1 }}
* {{citation |last = Matvievskaya |first = Galina |year = 1987 |title = The Theory of Quadratic Irrationals in Medieval Oriental Mathematics |journal = [[New York Academy of Sciences|Annals of the New York Academy of Sciences]] |volume = 500 |issue = 1 |pages = 253–77 [254] |doi = 10.1111/j.1749-6632.1987.tb37206.x |bibcode = 1987NYASA.500..253M }}
* {{citation |title = Mathematics Across Cultures: The History of Non-western Mathematics |first1 = Helaine |last1 = Selin |first2 = Ubiratan |last2 = D'Ambrosio |year = 2000 |publisher = [[Springer Science+Business Media|Springer]] |isbn = 978-1-4020-0260-1 }}
* {{citation |title = A History of Pi |series = Dorset Classic Reprints |first = Petr |last = Beckmann |publisher = Barnes & Noble Publishing |year = 1993 |isbn = 978-0-88029-418-8 |page = 170 |url = https://books.google.com/books?id=XqqUUSyz138C&pg=PA170 |access-date = 2015-11-15 |archive-url = https://web.archive.org/web/20160504215657/https://books.google.com/books?id=XqqUUSyz138C&pg=PA170 |archive-date = 2016-05-04 |url-status = live }}.
* {{citation |title = Pi Unleashed |first1 = Jörg |last1 = Arndt |first2 = Christoph |last2 = Haenel |publisher = Springer |year = 2001 |isbn = 978-3-540-66572-4 |page = 192 |url = https://books.google.com/books?id=QwwcmweJCDQC&pg=PA192 |access-date = 2015-11-15 |archive-url = https://web.archive.org/web/20160521024544/https://books.google.com/books?id=QwwcmweJCDQC&pg=PA192 |archive-date = 2016-05-21 |url-status = live }}
* {{citation |title = The Calculus Gallery: Masterpieces from Newton to Lebesgue |first = William |last = Dunham |publisher = Princeton University Press |year = 2015 |isbn = 978-1-4008-6679-3 |page = 127 |url = https://books.google.com/books?id=aYTYBQAAQBAJ&pg=PA127 |quote = Cantor found a remarkable shortcut to reach Liouville's conclusion with a fraction of the work |access-date = 2015-02-17 |archive-url = https://web.archive.org/web/20150514071548/https://books.google.com/books?id=aYTYBQAAQBAJ&pg=PA127 |archive-date = 2015-05-14 |url-status = live }}
* {{cite journal |title = Beweis der Transendenz der Zahl e |url = https://archive.org/details/sim_mathematische-annalen_1893_43/page/134 |first = Adolf |last = Hurwitz |journal = Mathematische Annalen |number = 43 |pages = 134–35 |date= 1893 }}
* {{cite journal |title = Transcendenz von ''e'' und π |first = Paul |last = Gordan |journal = [[Mathematische Annalen]] |date= |volume = 43 |number = 2–3 |pages = 222–24 |date= 1893 |doi=10.1007/bf01443647}}

{{Литература крај}}

== Спољашње везе ==
{{Commons category|Irrational numbers}}
* [http://mathworld.wolfram.com/IrrationalNumber.html Чланак о ирационалним бројевима] на -{MathWorld}- {{en}}
* [http://www.cut-the-knot.org/proofs/sq_root.shtml Доказ ирационалности корена из 2] {{en}}
* [http://www.dm.uniba.it/~psiche/bas2/node5.html Zeno's Paradoxes and Incommensurability] {{Webarchive|url=https://web.archive.org/web/20160513063302/http://www.dm.uniba.it/~psiche/bas2/node5.html |date=2016-05-13 }} (n.d.). Retrieved April 1, 2008

{{Реални бројеви}}
{{Ирационалан број}}
{{нормативна контрола}}

[[Категорија:Број]]
[[Категорија:Ирационални бројеви| ]]