Como tirar raiz quadrada de dois

A raiz quadrada de dois pode ser escrita como:

• 2 {\displaystyle {\sqrt {2}}}  , lê-se "raiz quadrada de dois" ou "raiz de dois".
• 2 1 2 {\displaystyle 2^{\frac {1}{2}}}   ou 2 1 / 2 {\displaystyle 2^{1/2}}  , lê-se "dois elevado a um meio" ou "dois a um meio".

Por ser um número irracional, 2 {\displaystyle {\sqrt {2}}}   não pode ser expressa como um número finito de casas decimais, uma aproximação com 65 dígitos decimais é:

Uma aproximação fracionária para a raiz quadrada de 2 é 10/7 que, ao quadrado, fica 100/49, bem próximo de 2.

Pode-se facilmente construir uma sequência de números racionais se aproximando (convergindo) para 2 {\displaystyle {\sqrt {2}}}  :

Esta recursão produz a sequência:

Ou, aproximadamente:

Observe que o método estabiliza a nona casa decimal após apenas cinco passos.

O matemático britânico Godfrey Harold Hardy em seu livro Em defesa de um matemático afirma que a demonstração da irracionalidade da raiz quadrada de dois é um dos teoremas de "primeira classe". E que "conserva a beleza e o frescor que tinha ao ser descoberto" há mais de dois mil anos.

A demonstração é simples e recorre ao método da prova por contradição. Ou seja, supomos que exista um número racional igual a raiz de 2, ou seja, que existem números inteiros positivos a {\displaystyle a}   e b {\displaystyle b}   tais que:

ou, equivalentemente:

Podemos supor que a {\displaystyle a}   e b {\displaystyle b}   não são ambos números pares, pois se fossem, poderíamos simplificar a fração até obter um dos termos da fração ímpar.

Agora, escrevemos:

Então:

Concluímos então que a 2 {\displaystyle a^{2}}   deve ser um número par, pois é dobro de b 2 {\displaystyle b^{2}}  . E a {\displaystyle a}   deve ser par também, pois o quadrado de um número ímpar é ímpar.

Temos então que a {\displaystyle a}   é um número par e, portanto, é o dobro de algum número inteiro, digamos c {\displaystyle c}  :

Pelos motivos alegados anteriormente, b {\displaystyle b}   deve ser um número par.

Concluímos, finalmente, que se a raiz quadrada de 2 fosse um número racional, então este número seria uma fração que não tem forma irredutível, já que tanto o numerador quanto o denominador da fração são pares. Isto é um absurdo e, portanto, não existe um racional cujo quadrado seja igual a 2, como queríamos demonstrar.

Em 1786, o professor alemão de física Georg Christoph Lichtenberg[4] descobriu que qualquer folha de papel cuja borda longa seja 2 {\displaystyle {\sqrt {2}}}   vezes maior que sua borda curta poderia ser dobrada ao meio e alinhada com seu lado mais curto para produzir uma folha com exatamente as mesmas proporções como o original. Esta proporção de comprimentos do lado mais longo sobre o lado mais curto garante que o corte de uma folha ao meio ao longo de uma linha resulta em folhas menores tendo a mesma proporção (aproximada) da folha original. Quando a Alemanha padronizou os tamanhos de papel no início do século 20, eles usaram a proporção de Lichtenberg para criar a série "A" de tamanhos de papel.[4] Hoje, a proporção (aproximada) dos tamanhos de papel em ISO 216 (A4, A0, etc.) é 1: 2 {\displaystyle {\sqrt {2}}}  

Ciências físicas

Existem algumas propriedades interessantes envolvendo a raiz quadrada de 2 nas ciências físicas:

• A raiz quadrada de dois é a razão de frequência de um intervalo de trítono em uma música de temperamento igual de doze tons.
• A raiz quadrada de dois forma a relação de f-stops em lentes fotográficas, o que, por sua vez, significa que a proporção das áreas entre duas aberturas sucessivas é 2.
• A latitude celestial (declinação) do Sol durante os pontos astronômicos de um quarto de dia cruzado é igual à inclinação do eixo do planeta dividido por 2 {\displaystyle {\sqrt {2}}}  

1. ↑ No texto, Vitrúvio escreve que a determinação de um número que corresponde à diagonal de um quadrado com lado igual a dez pés não pode ser feita por números, o que, segundo interpretação de Bill Thayer, editor do site LacusCurtius, significa que não pode ser feita por uma fração com números inteiros.

1. ↑ Vitrúvio, De Architetura, Livro IX, Introdução, 4 [em linha]
2. ↑ Kurt von Fritz, "The discovery of incommensurability by Hippasus of Metapontum", Annals of Mathematics, 1945.
3. ↑ «A002193 - OEIS». oeis.org. Consultado em 10 de agosto de 2020 
4. ↑ a b Houston, Keith (2016). The Book: A Cover-to-Cover Exploration of the Most Powerful Object of Our Time. [S.l.]: W. W. Norton & Company. 324 páginas. ISBN 978-0393244809 

• «Cinco milhões de casas decimais da raiz quadrada de 2» (em inglês) 

•   Portal da matemática