Inteiros Gaussianos e Clculo do Valor de a

Lenimar Nunes de Andrade UFPB - Joo Pessoa, PB a e-mail: lenimar@mat.ufpb.br 7 de abril de 2007
Resumo Entre as inmeras frmulas que existem envolvendo a constante mais famosa da Mau o temtica, tm se destacado algumas frmulas que envolvem a funo trigonomtrica arcoa e o ca e tangente. Este artigo sobre a obteno de algumas dessas frmulas e como utiliz-las para e ca o a obter boas aproximaes numricas dessa constante . co e

Introduo ca

Desde a antiguidade que o clculo do valor de tem despertado o interesse de dia ferentes povos. Aproximaes como 3,12 ou 3,16 j eram conhecidas por babilnios ou co a o eg pcios h vrios milnios. a a e Calculado na antiguidade por mtodos puramente geomtricos (inscriao e circunse e c crio de pol ca gonos regulares em uma circunferncia), a partir do sculo XVIII passou a e e ser calculado por mtodos anal e ticos, usando-se apenas operaoes algbricas como adio, c e ca multiplicao e diviso de nmeros reais. Esses mtodos anal ca a u e ticos costumam produzir resultados com grande preciso, ou seja, com muitas casas decimais corretas. Entre os a vrios mtodos anal a e ticos conhecidos, destaca-se uma fam de frmulas que expressam lia o como uma combinaao de vrios arco-tangentes. Em meados do sculo XVIII, uma c a e dessas frmulas foi utilizada para calcular pela primeira vez com 100 casas decimais o corretas. A partir do sculo XX, com a utilizaao de computadores cada vez mais potentes e e c rpidos, o clculo de passou a ser efetuado com uma quantidade cada vez mais espantosa a a de casas decimais. Recentemente, em dezembro de 2002, um recorde foi batido no Japo a com a ajuda de supercomputadores. Nessa ocasio, foi utilizada a frmula a o 1 1 1 1 = 44 arctg + 7 arctg 12 arctg + 24 arctg 4 57 239 682 12943 para calcular com mais de um trilho e duzentos milhes de casas decimais! a o Este artigo relaciona dois assuntos bem diferentes: a fatoraao de um certo tipo de c nmero complexo e frmulas que envolvem a funao arco-tangente que podem ser usadas u o c no clculo do valor de . As frmulas mostradas nos exemplos fornecem boas aproximaes a o co para usando-se apenas poucas operaes aritmticas. co e

Inteiros gaussianos

Um inteiro gaussiano um nmero complexo a + bi onde a, b Z. Se z = a + bi, e u chamamos o produto z z de norma de z e denotamos por N (z). Portanto, N (a + bi) = a2 + b2 . Podemos ver de imediato que N (z1 z2 ) = N (z1 )N (z2 ).
1

Os inteiros gaussianos possuem algumas propriedades algbricas muito parecidas com e as dos inteiros. Alguns inteiros gaussianos podem ser escritos como produto de dois outros inteiros gaussianos de normas maiores do que 1 (por exemplo, 12 + i = (2 + 5i)(1 2i)), enquanto que outros no admitem tal fatoraao (por exemplo, 1 i), comportando-se de a c modo semelhante aos inteiros primos. Para fatorar z = a + bi, a, b Z, b = 0, nos inteiros gaussianos, primeiramente calculamos N (z). Se N (z) for primo, ento z no se fatora como produto de dois inteiros gaussianos a a de normas maiores do que 1. Se 2 for um divisor de N (z), ento 1 + i um divisor de z. a e Se p = 4k + 1, k N, for um divisor primo de N (z), ento existem a, b Z tais que a p = a2 + b2 ; neste caso, a + bi ou b + ai divisor de z. e Se p = 4k + 3, k N, for um divisor primo de N (z), ento p tambm um divisor a e e de z. A demonstraao deste resultado pode ser encontrada em [3]. c Exemplo 2.1 Vamos fatorar z1 = 5+i e z2 = 239i no conjunto dos inteiros gaussianos. Como N (z1 ) = 52 + 12 = 26 = 2 13, temos que 1 + i um fator de z1 . Dividindo z1 e por 1 + i obtemos 3 2i. Logo, z1 = (1 + i)(3 2i). Temos tambm N (z2 ) = 2392 + (1)2 = 57122 = 2 134 z2 se fatora como produto e de inteiros gaussianos de norma 2 (que 1 + i) e de norma 13 (que podem ser 3 + 2i ou e 2 + 3i). Por tentativas, obtemos seguinte fatorao para z2 : ca z2 = (1 + i)(3 + 2i)4 . A fatorao de inteiros gaussianos pode ser bastante trabalhosa. No entanto, os ca programas de Computaao Algbrica (como o Maple), bastante comuns hoje em dia, c e fazem essa fatorao na maior rapidez. ca

Frmulas envolvendo a funo arco-tangente o ca

Todo nmero complexo z = x + yi pode ser escrito na forma trigonomtrica z = u e (cos +i sen ). Neste caso, a raiz quadrada positiva de N (z) e , chamado argumento e de z e denotado por arg(z), possui as seguintes propriedades:
y arg(z) = arctg x + k, x = 0, k Z;

arg(z1 z2 ) = arg(z1 ) + arg(z2 ) + 2k, k Z; arg(z n ) = n arg(z) + 2k, k Z, n N. Em todos os exemplos a seguir, tivemos o cuidado de usar apenas casos em que k = 0 nas frmulas que envolvem clculos de argumentos. o a Exemplo 3.1 Neste exemplo, vamos mostrar que = 16 arctg 1 1 4 arctg . 5 239

y Para cada parcela do tipo n arctg x , consideramos uma potncia de inteiro gaussiano e 1 1 n da forma (x + iy) . Como arctg 239 = arctg 239 , vamos inicialmente avaliar o produto (5 + i)16 (239 i)4 . Fatorando 5 + i e 239 i, temos

5 + i = (1 + i)(3 2i) 239 i = (1 + i)(3 + 2i)4 e da: (5 + i)16 (239 i)4 = (1 + i)20 (3 2i)16 (3 + 2i)16 = ((1 + i)2 )10 ((3 2i)(3 + 2i))16 = (2i)10 (13)16 = 210 1316 . 1 1 O argumento de z = (5 + i)16 (239 i)4 16 arctg 5 + 4 arctg 239 . Por outro lado, como e z um nmero real negativo, ele tem argumento igual a . Obtemos assim a igualdade e u desejada. Essa frmula foi utilizada no sculo XVIII para calcular com 100 casas decimais. o e Exemplo 3.2 Vamos obter agora outra frmula envolvendo e a funo arco-tangente. o ca Um procedimento anlogo pode ser utilizado para se obter muitas outras frmulas semea o lhantes. Inicialmente, escolhemos dois nmeros complexos z1 e z2 e inteiros m, n N tais que u m n z1 z2 tenha um argumento fcil de ser calculado (como uma potncia de 1 + i ou de i, a e por exemplo). Dessa forma, escolhemos aleatoriamente z1 = (1 + i)(1 + 2i)5 = 79 + 3i. Para que m n 1 + 2i no comparea no produto z1 z2 , devemos escolher um z2 que contenha um fator a c que seja potncia de 1 2i, por exemplo z2 = (1 + i)(1 2i)12 = 22049 + 1457i. e 12 5 Calculando o produto (z1 z2 )4 obtemos: 48 20 17 60 z1 z2 = ((1 + i) (1 + 2i) (1 2i)60 )4 = ((1 + i)4 )17 ((1 + 2i)(1 2i))240 = 417 5240 . O expoente 4 que aparece nesta expresso opcional; sem ele obter a e amos o mesmo resultado. 1457 3 48 20 O argumento de z1 z2 = (79 + 3i)48 (22049 + 1457i)20 48 arctg 79 + 20 arctg 22049 . e Como ele um nmero real negativo devemos ter tambm argumento igual a . Portanto, e u e obtivemos a seguinte igualdade: 3 1457 + 20 arctg . 79 22049 Exemplo 3.3 Se dispusssemos de uma calculadora com apenas as operaes aritmticas e co e bsicas, seria possvel vericarmos a validade de frmulas como a do exemplo anterior? a o A resposta sim. Se |x| < 1, ento o arco-tangente de x pode ser aproximado por um e a polinmio formado por potncias o e mpares de x, com sinais alternados, tendo-se o cuidado de dividir cada potncia pelo seu respectivo expoente. Em outras palavras, arctg x pode e ser aproximado pelo polinmio o = 48 arctg
2n1 x3 x5 x7 n+1 x + + + (1) . Pn (x) = x 3 5 7 2n 1 Quanto maior o n e mais prximo de 0 for x, melhor ser a aproximao. o a ca 3 5 7 Escolhendo P4 (x) = x x + x x como aproximao do arctg x, usando o exemplo ca 3 5 7 3 1457 3 1457 anterior temos: 48 arctg 79 + 20 arctg 22049 48 P4 ( 79 ) + 20 P4 ( 22049 ) = 48 P4 (0, 0379746835) + 20 P4 (0, 0660800943) = 48 0, 0379564451 + 20 0, 0659841642 = 3, 1415926535. Assim, com poucas operaes aritmticas obtivemos o valor de com 10 casas decimais co e exatas.

A frmula utilizada no recorde do clculo do valor de em 2002 tambm pode ser o a e obtida e demonstrada por um procedimento semelhante. Por m, deixamos proposto o seguinte exerc cio:
3

Exerc cio 3.1 Mostre que 1 1 1 = 5 arctg + 2 arctg + 3 arctg . 4 8 18 57 Sugesto: 8 + i = (3 + 2i)(2 i), 18 + i = (3 2i)(2 i)2 i, 57 + i = (3 2i)(2 + i)3 (1 i). a

Referncias e
[1] M. Beeler, R. W. Gosper, R. Schroeppel, MIT AI Memo 239, Feb. 29, 1972. [2] V. Bongiovanni, R. Watanabe, Pi acaba?, Revista do Professor de Matemtica a 19, 1991, pp. 17. [3] A. Hefez, Curso de Algebra, vol. 1 Coleo Matemtica Universitria, 1993. ca a a