Histria [editar]

Os primeiros indcios relacionados ao conceito de nmero irracional remontam ao conceito de incomensurabilidade. Dois segmentos so comensurveis se existe uma unidade comum na qual podem ser medidos de forma exata. Por exemplo, um segmento de medida e outro de medida podem ser expressos por mltiplos inteiros de um segmento de medida , ou seja, e . A primeira descoberta de um nmero irracional geralmente atribuda a Hipaso de Metaponto, um seguidor de Pitgoras. Ele teria produzido uma demonstrao (provavelmente geomtrica) de que a raiz de 2 (ou talvez que o nmero de ouro) irracional. No entanto, Pitgoras considerava que a raiz de 2 "maculava" a perfeio dos nmeros, e portanto no poderia existir. Mas ele no conseguiu refutar os argumentos de Hipaso com a lgica, e a lenda diz que Pitgoras condenou seu seguidor ao afogamento. A partir da os nmeros irracionais entraram na obscuridade, e foi s com Eudoxo de Cnido que eles voltaram a ser estudados pelos gregos. O dcimo livro da srie Os elementos de Euclides dedicado classificao de nmeros irracionais. Foi s em 1872 que o matemtico alemo Dedekind (de 1831 a 1916) fez entrar na Aritmtica, em termos rigorosos, os nmeros irracionais que a geometria sugerira havia mais de vinte sculos. Classificao dos irracionais [editar]

Existem dois tipos de nmeros irracionais: Nmeros reais algbricos irracionais: so razes de polinmios com coeficientes inteiros. Todo nmero real que pode ser representado atravs de uma quantidade finita de somas, subtraes, multiplicaes, divises e razes de grau inteiro a partir dos nmeros inteiros um nmero algbrico, por exemplo . A recproca no verdadeira: existem nmeros algbricos que no podem ser expressos atravs de radicais, conforme o teorema de AbelRuffini. Nmeros reais transcendentes: no so razes de polinmios com coeficientes inteiros. Vrias constantes matemticas so transcendentes, como pi () e o nmero de Euler (). Pode-se dizer que existem mais nmeros transcendentes do que nmeros algbricos (a comparao entre conjuntos infinitos pode ser feita na teoria dos conjuntos).

A definio mais genrica de nmeros algbricos e transcendentes feita usando-se nmeros complexos. Prova de que a raiz quadrada de dois irracional [editar]

Ver artigo principal: Raiz quadrada de dois A prova feita por reduo ao absurdo. Suponha-se que racional. Ento pode-se coloc-lo na forma p / q, onde mdc(p,q) = 1, da seguinte forma: . Elevando ambos os membros ao quadrado, tem-se ( p / q )2 = 2. Ento, p2 = 2q2. Como p2 par, ento p tambm par (pois o quadrado de um nmero mpar mpar: (2n + 1)2 = 2(2n2 + 2n) + 1). Logo pode-se chamar p = 2k. Substituindo na ltima igualdade, fica-se com: ( 2k ) = 2q. Ou seja, 4k = 2q e ento em 2k = q, mostrando que q tambm um par. Mas isso absurdo, pois, por hiptese, mdc(p,q)=1. Conclui-se que irracional. O Teorema de Abel-Ruffini um teorema criado pelos matemticos Paolo Ruffini (demonstrao em 1799, contendo um pequeno erro) e Niels Henrik Abel (demonstrao final em 1824).[1] O teorema afirma que no h uma soluo geral atravs de radicais para as equaes polinomiais de grau cinco ou superior.[1] Note-se que o teorema no afirma que as equaes polinomiais de ordem cinco ou superior no tm soluo. Na verdade, se o polinmio tiver coeficiente reais ou complexos, e se se permitirem solues complexas, ento todos as equaes polinomiais tm soluo. Essa alis a proposio do teorema fundamental da lgebra. Ainda que essas solues no possam ser calculadas com rigor, podem ser obtidas com um grau de preciso requerido usando mtodos numricos tais como o mtodos de Newton-Raphson ou o de Laguerre. O teorema refere-se simplesmente forma que a soluo pode ter. Assim, a soluo de uma equao de grau cinco ou superior no pode ser sempre expressa a partir dos coeficentes e usando simplesmente as operaes de adio, subtraco, multiplicao, diviso e potenciao (incluindo-se nesta ltima a extraco de razes).[1] Tomemos como exemplo, a soluo das equaes polinomiais de segundo grau, usando a habitual equao quadrtica: As razes de ax2 + bx + c = 0 so :[1] Frmulas deste tipo existem tambm para as equaes de terceira e quarta ordem.[1] O teorema afirma portanto que nenhuma soluo de certas equaes de quinta ordem pode ser expressas por frmulas daquele tipo. A equao x5 - x + 1 = 0 disso um exemplo. Algumas equaes de quinto

grau podem ser resolvidas por radicais. Um exemplo: x5 - x4 - x + 1 = 0. Os critrios de distino entre um caso e o outro foram descobertos por variste Galois.