Matemática
Esta postagem se dedica a mostrar que o número cujo quadrado vale 2 é irracional (usaremos dois argumentos para isso). Além disso mostraremos que ??2 é irracional (também por dois argumentos).
Vejamos então porque raiz de dois é irracional:
Primeiramente lembremos que são chamados de números racionais aqueles que podem ser escritos na forma a/b, com a e b inteiros e b diferente de zero. Em outras palavras, são números que podem ser escritos na forma de fração.
Lembremos agora que se um número é racional então ele pode ser escrito como uma expressão decimal finita ou como uma dízima periódica (veja aqui).
Notando agora que são chamados de números irracionais aqueles que não são racionais, resulta das observações acima que um número é irracional se não puder ser escrito na forma de fração, ou seja, se não puder ser representado como uma expressão decimal finita e nem como uma dízima periódica.
Por hipótese a fração p/q está simplificada ao máximo (pois dividimos tanto m quanto n pelo maior número possível, ou seja, pelo mdc (m, n)). Isto significa que não existe nenhum número diferente de 1 que divide simultaneamente p e q (neste caso diz-se que p e q são primos entre si). Observe que os números p e q não podem ser simultaneamente pares, pois se fossem pares então poderíamos simplificar a fração por 2 (mas como não podemos simplificar - pois já está simplificada ao máximo - eles não podem ser ambos números pares).
Desta última linha resulta imediatamente que p² é um número par (pois é múltiplo de 2). Por consequência, p também é um número par (pois se o quadrado de um número é par, então o próprio número é par). Assim somos forçados a concluir que q deve ser um número ímpar (pois já vimos que p e q não podem ser ambos pares), mas note o seguinte:
Desta ultima linha concluímos que q é par, pois como podemos ver q² é múltiplo de 2 (ou seja, q² é par).
Resumindo o raciocínio:
1 - Observamos que p e q não podem ser ambos números pares;
2 - Concluímos que p é um número par;
3 - Somo levados a concluir que q deve ser um número ímpar.
4 - Somos levados a concluir que q deve ser um número par.
Portanto temos um absurdo: q é par e q é ímpar! Como não pode existir contradição na matemática (e como não pode existir um número que seja par e ímpar ao mesmo tempo) concluímos que ?2 não pode ser escrito como uma fração (pois este absurdo vem da suposição inicial de que ?2 pode ser escrito como uma fração). Logo ?2 deve ser irracional.
Se a é um número ímpar, então pode ser escrito da seguinte maneira (onde t é um número inteiro):
Note que ao decompor m² em fatores primos, haverá uma quantidade par de fatores iguais a 2. Já ao decompor 2n² em fatores primos haverá uma quantidade ímpar de fatores iguais a dois. Como os dois lados da igualdade designam o mesmo número, a decomposição deveria ser única (a quantidade de fatores iguais a 2 deveria ser a mesma em ambos os lados da igualdade). Temos então uma contradição - proveniente da suposição de que ?2 poder ser escrito como uma fração, logo raiz de dois não pode ser escrito como uma fração e, portanto, não é racional, ou seja, ?2 é irracional.
Esta última linha contradiz o Último Teorema de Fermat, ou seja, se ??2 é racional então a equação a? = b? + c? tem solução. Como Wiles já se deu ao trabalho de provar que a? = b? + c? não tem solução (cerca de 7 anos e 200 páginas) concluímos que a suposição de ??2 ser racional deve ser falsa, logo ??2 é irracional.
- Questão 49 ? Processo De Promoção ? Professor De Matemática ? See ? São Paulo ? 2.013
A respeito dos diferentes tipos de número, é correto afirmar que (A) O número 17 / 83 é irracional, pois o quociente de 17 por 83 não é uma dízima periódica, ou seja, esse número tem infinitas casas decimais, que se repetem de forma sem regularidade.(B)...
- Questão 21 ? Prova Do Estado ? (ofa) 2.013 ? Professor De Educação Básica Ii
Ao se utilizar uma calculadora com doze dígitos para dividir 1 por 253, o visor mostrará o valor 0,00395256917. Assim, é correto afirmar que (A) o número 1 / 253 não é racional, pois o quociente não é um número inteiro. (B) o número 1 / 253...
- Raíz De 2 - A Prova
Dizem por aí que a raiz quadrada de dois é um dos números responsáveis pela 1ª crise entre os matemáticos gregos, pois o teorema de Pitágoras garantia, na época (e garante até hoje), que esse valor...
- Sobre A Irracionalidade Da Soma E Do Produto Dos Números "e" E "pi".
Existe, se eu não estou enganado, um mundo inteiro que é a totalidade das verdades matemáticas, ao qual temos acesso somente em nossas mentes, assim como existe um mundo da realidade física, tanto um...
- Como Provar Que Log De 2 é Irracional?
Em postagens anteriores, tivemos ocasião de apresentar demonstrações para a irracionalidade de raiz de dois e para a irracionalidade de pi. Respondendo a pergunta de um leitor, demonstraremos, nesta postagem, a seguinte Proposição:...
Matemática
Por que ?2 é irracional?
Vejamos então porque raiz de dois é irracional:
Primeiramente lembremos que são chamados de números racionais aqueles que podem ser escritos na forma a/b, com a e b inteiros e b diferente de zero. Em outras palavras, são números que podem ser escritos na forma de fração.
Lembremos agora que se um número é racional então ele pode ser escrito como uma expressão decimal finita ou como uma dízima periódica (veja aqui).
Notando agora que são chamados de números irracionais aqueles que não são racionais, resulta das observações acima que um número é irracional se não puder ser escrito na forma de fração, ou seja, se não puder ser representado como uma expressão decimal finita e nem como uma dízima periódica.
Conforme podemos ver, a expressão decimal de ?2 não é finita e também não é uma dízima periódica:
?2 = 1.4142135623730950488016887242096980785696718753769480731766...
Portanto podemos concluir que se trata de um número irracional, certo?
Errado!!!
De fato, se a expressão decimal de um número não é finita e também não é uma dízima periódica então o número em questão é irracional (pois um número é irracional se não for racional e todo racional ou é finito ou uma dízima periódica). Porém não podemos chegar à conclusão da irracionalidade de um número simplesmente olhando para algumas de suas casas decimais.
Na expressão acima o que fizemos foi olhar para as primeiras 58 casas decimais do número ?2 à direita da vírgula. Ora, isso é insuficiente para concluir que ele é irracional, pois ele poderia ser finito (e ter 59 casas depois da vírgula) ou ser infinito (com período de 58 dígitos ou mais).
Ainda que olhássemos um trilhão de casas decimais não poderíamos concluir que o número ?2 é irracional, pois o período poderia, por exemplo, começar na trilionésima primeira casa (ou ele poderia ser finito - com um quintilhão de casas decimais).
Que fique claro então que a irracionalidade de um número não pode ser concluída a partir da observação de sua expressão decimal, pois você jamais poderá saber se as casas não vistas terminam em algum lugar ou geram um período.
Na verdade ?2 é irracional, pois supondo o contrário chegamos a uma contradição. Veja:
Vamos supor que ?2 é racional. Se o número ?2 é racional então pode ser escrito como uma fração, digamos que seja possível escrever
É claro que qualquer fração pode ser simplificada, vamos imaginar que simplificando a fração acima pelo maior número possível obtemos
Elevando ambos os lados da última igualdade ao quadrado, obtemos o seguinte desenvolvimento:
Dizer que p é par é equivalente a dizer que p é múltiplo de 2, ou seja, existe um inteiro k tal que p=2k. Fazendo esta substituição na expressão anterior obtemos o seguinte resultado:
Resumindo o raciocínio:
1 - Observamos que p e q não podem ser ambos números pares;
2 - Concluímos que p é um número par;
3 - Somo levados a concluir que q deve ser um número ímpar.
4 - Somos levados a concluir que q deve ser um número par.
Portanto temos um absurdo: q é par e q é ímpar! Como não pode existir contradição na matemática (e como não pode existir um número que seja par e ímpar ao mesmo tempo) concluímos que ?2 não pode ser escrito como uma fração (pois este absurdo vem da suposição inicial de que ?2 pode ser escrito como uma fração). Logo ?2 deve ser irracional.
Observação_____________________________________________________
O pré-requisito para a demonstração acima é basicamente um só e bem simples: Se um número tem quadrado par, então o próprio número é par, ou seja se a² é par então a é par. Provaremos este resultado mostrando que se por ventura a fosse ímpar então seu quadrado também seria ímpar:
O pré-requisito para a demonstração acima é basicamente um só e bem simples: Se um número tem quadrado par, então o próprio número é par, ou seja se a² é par então a é par. Provaremos este resultado mostrando que se por ventura a fosse ímpar então seu quadrado também seria ímpar:
Se a é um número ímpar, então pode ser escrito da seguinte maneira (onde t é um número inteiro):
a = 2t + 1
Elevando ao quadrado, obtemos:a² = (2t + 1)(2t + 1)
a² = 4t² + 4t + 1
a² = 2(2t² + 2t) + 1
Chamando o inteiro (2t² + 2t) de s podemos escrever:
a² = 2s + 1 = número ímpar
Como todo número é par ou é ímpar e como todo ímpar tem quadrado ímpar (conforme vimos nas linhas acima) resulta que se o quadrado de um número é par então o número também é par.
_______________________________________________________________
Há um argumento diferente para demonstrar a irracionalidade de ?2 que se baseia no Teorema Fundamental da Aritmética (que não será demonstrado nesta postagem): todo número inteiro pode ser decomposto de forma única em um produto de fatores primos, a menos da ordem dos fatores.
Com este fato em mente fazemos a suposição de que ?2 pode ser escrito como fração, ou seja:
Analogamente ao que foi feito anteriormente, elevando ambos os lados ao quadrado obtemos a seguinte expressão, onde a contradição aparece:
Na verdade não só ?2 é irracional como também ??2 é irracional (onde n é maior do que 2). Uma maneira legal de demonstrar este fato é utilizando o Último Teorema de Fermat (cujo enunciado é simples, mas cuja prova é muito sofisticada). Este Teorema foi provado por Andrew Wiles cerca de 350 anos após ter sido formulado por Pierre de Fermat (que em sua época afirmava - ou mentia - ter uma prova). Tal teorema diz: se n é um número inteiro maior do que dois, então não existem inteiros a, b e c tal que a? = b? + c?.
Vamos utilizar este teorema para demonstrar que ??2 é irracional. Começamos supondo que ??2 é racional:
Elevando ambos os lados à n-ésima potência e desenvolvendo a expressão:
Outra maneira de provar que ??2 é irracional é utilizando o Teorema das Raízes Racionais. Por simplicidade, vamos enunciar este teorema para a função polinomial f(x) = ax? + k (mas também não o vamos demonstrar nesta postagem): Se p/q é uma raiz racional da função polinomial f(x) = ax? + k (onde a, n e k são números inteiros e a é diferente de zero) então q divide a e p divide k.
Observe então que ??2 é solução da equação x? - 2 = 0 e, portanto, é raiz da função polinomial f(x) = x? - 2. Mas, pelo teorema que acaba de ser enunciado, se esta função possui alguma raiz racional da forma p/q então q divide 1 e p divide -2. Disto resulta que q só pode ser igual a 1 ou -1 e p só pode ser igual a -1, 1, -2 ou 2. Deste modo, os únicos candidatos a raízes racionais da função f são os números 2 e -2. Por inspeção (colocando 2 e -2 no lugar de x na expressão x? - 2 = 0) verificamos que nenhum destes números é raiz da função f, logo f não tem raiz racional. E como ??2 é raiz de f concluímos que ??2 é irracional.
Observe então que ??2 é solução da equação x? - 2 = 0 e, portanto, é raiz da função polinomial f(x) = x? - 2. Mas, pelo teorema que acaba de ser enunciado, se esta função possui alguma raiz racional da forma p/q então q divide 1 e p divide -2. Disto resulta que q só pode ser igual a 1 ou -1 e p só pode ser igual a -1, 1, -2 ou 2. Deste modo, os únicos candidatos a raízes racionais da função f são os números 2 e -2. Por inspeção (colocando 2 e -2 no lugar de x na expressão x? - 2 = 0) verificamos que nenhum destes números é raiz da função f, logo f não tem raiz racional. E como ??2 é raiz de f concluímos que ??2 é irracional.
As demonstrações omitidas e a irracionalidade de outros números ficam para postagens futuras.
Referência: A maioria dos argumentos apresentados (e enunciados dos teoremas) podem ser encontrados em diversas fontes, dentre as quais:
LIMA, Elon Lages. et al. A Matemática do Ensino Médio: Volume 1. 6. ed. Rio de Janeiro: SBM 2006.
FIGUEIREDO, Djairo G. Números Irracionais e Transcedentes. Rio de janeiro: SBM, 2002.
Pesquisas no Google e no Yahoo Respostas.
Erros (de qualquer natureza) no conteúdo acima podem ser indicados e críticas podem ser feitas aqui.
- Questão 49 ? Processo De Promoção ? Professor De Matemática ? See ? São Paulo ? 2.013
A respeito dos diferentes tipos de número, é correto afirmar que (A) O número 17 / 83 é irracional, pois o quociente de 17 por 83 não é uma dízima periódica, ou seja, esse número tem infinitas casas decimais, que se repetem de forma sem regularidade.(B)...
- Questão 21 ? Prova Do Estado ? (ofa) 2.013 ? Professor De Educação Básica Ii
Ao se utilizar uma calculadora com doze dígitos para dividir 1 por 253, o visor mostrará o valor 0,00395256917. Assim, é correto afirmar que (A) o número 1 / 253 não é racional, pois o quociente não é um número inteiro. (B) o número 1 / 253...
- Raíz De 2 - A Prova
Dizem por aí que a raiz quadrada de dois é um dos números responsáveis pela 1ª crise entre os matemáticos gregos, pois o teorema de Pitágoras garantia, na época (e garante até hoje), que esse valor...
- Sobre A Irracionalidade Da Soma E Do Produto Dos Números "e" E "pi".
Existe, se eu não estou enganado, um mundo inteiro que é a totalidade das verdades matemáticas, ao qual temos acesso somente em nossas mentes, assim como existe um mundo da realidade física, tanto um...
- Como Provar Que Log De 2 é Irracional?
Em postagens anteriores, tivemos ocasião de apresentar demonstrações para a irracionalidade de raiz de dois e para a irracionalidade de pi. Respondendo a pergunta de um leitor, demonstraremos, nesta postagem, a seguinte Proposição:...