Por que raiz de dois não é racional?

Como André disse no post Os pitagóricos e os números irracionais, Hipaso foi morto por revelar que \sqrt{2} não é um número racional. Isso é um motivo estúpido para nossos ouvidos do século XXI, mas os motivos de seu assassinato foram religiosos. Os pitagóricos louvavam Pitágoras como “Filho de Apolo”, e a revelação de que nem todo número é racional foi considerada como um “atentado contra a fé”.

Deixando as crenças de lado, afinal, como podemos saber que \sqrt{2} não é racional?

Um número racional, como já expliquei em Conjuntos Numéricos – Parte I, é um número que pode ser escrito na forma \frac{a}{b}, sendo a um número inteiro e b um número inteiro diferente de zero.

Nesse post, irei provar que \sqrt{2}, ou seja, o número que multiplicado por si mesmo resulta em 2, não é um número racional. Mas antes temos que provar outra coisa:

“O quadrado de um número ímpar sempre é um número ímpar”.

Lembrando que: Um número par é um inteiro que é divisível por 2, ou seja, se um número, digamos, n, for dividido por 2, ele resultará em outro número inteiro, digamos, m. Assim:

\frac{n}{2}=m

Também podemos escrever assim:

n=2m

Já um número ímpar é um número inteiro que não é divisível por 2, ou seja, que tem resto diferente de 0. Como estamos dividindo por 2, o único resto que pode dar é 1. ex: 5/2 dá 2, e resto 1.

Um número ímpar pode ser escrito na forma n=2m+1

Agora, vamos provar o que falei.

-Se n for ímpar, seu quadrado é ímpar.

n=2m+1, sendo m inteiro, pois n é ímpar.

\left(2m+1\right)^2=4m^2+2m+1

Podemos fatorar parcialmente, deixando assim:

\left(2m+1\right)^2=2\left(2m^2+m\right)+1

\left(2m^2+m\right) é um número inteiro, e irei chamá-lo, digamos… de z!

\left(2m+1\right)^2=2z+1

2m+1=n, então

n^2=2z+1

2z+1 tem a forma de um número ímpar, então n² é ímpar. Portanto, o quadrado de um número ímpar sempre é ímpar!

Agora vamos provar o dito cujo.

Vamos supor que \sqrt{2} seja mesmo racional. Então, \sqrt{2}=\frac{a}{b}

Suponhamos que essa fração esteja simplificada ao máximo, de modo que não seja possível simplificar mais.

Então, a e b não podem ser pares ao mesmo tempo, pois se ambos forem pares, daria pra simplificar por dois.

Seja então:

\sqrt{2}=\frac{a}{b}

Elevando os dois lados ao quadrado, obtemos:

2=\frac{a^2}{b^2}

E então:

2b^2=a^2

Disso, tiramos que a^2 é par. Daí, tiramos também que a é par. Pois se a fosse ímpar, a^2 seria impar. Então, a é par.

Então b não pode ser par.

Como a é par, pode ser escrito na forma a=2n, sendo n um inteiro.

Substituirei então:

2b^2=\left(2n\right)^2

2b^2=4n^2

Didivindo os dois lados por 2:

b^2=2n^2

Agora, pelos mesmos motivos anteriores, tiramos que b também é par.

Então:

  • b é par
  • a é par
  • a e b não podem ser, ao mesmo tempo, pares

Uma contradição! Portanto, temos que assumir que a nossa hipótese é errada:

\sqrt{2} não pode ser escrito como a razão entre dois números inteiros. \sqrt{2} não é racional!

Só peço que não informem Pitágoras que eu estou revelando isso… não quero acabar como Hipaso, ahaha!

Para quem se interessar, outras abordagens e mais sobre esse assunto podem ser encontradas no Blog Manthano, nosso parceiro!

Abraços, e espero que tenham gostado.

Vinicius R.

Publicado em 21/07/2011, em Matemática e marcado como , . Adicione o link aos favoritos. 3 Comentários.

  1. Você foi aceito no Blog de Busca
    http://www.cademeublog.blogspot.com

    para encerrar a operação deverá conter
    nosso banner em seu blog !

    veja tbm nosso widget !
    atenciosamente: Cadê Meu Blog

  2. lailton pardini

    na parte que vc escreve (2m+1)²=4m²+2m+1 está errado

  3. lailton pardini

    gostaria de saber se fosse corrigido essa parte o resultado seria o mesmo. pois preciso da resposta para um trabalho na faculdade

Deixe uma resposta

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s

%d blogueiros gostam disto: