III Brincando de Matemático

Apresentao
O presente texto faz parte do material de apoio preparado para o projeto III Brincando de Matemtico, promovido pelo PET-Matemtica da UFPR e destinado a todos os alunos do ensino mdio. Este projeto uma atividade de extenso com a nalidade de proporcionar, comunidade de estudantes interessados em matemtica, oportunidades para ampliar e aprofundar os seus conhecimentos num perodo de frias escolares. No programa desse ano o tema abordado refere-se aos nmeros, que tm tanto desaado matemticos quanto fascinado curiosos que procuram associar seus destinos aos nmeros, por meio da numerologia. Os nmeros so uma inveno do homem e existem diversos tipos deles. So bem conhecidos os nmeros inteiros pares, mpares e primos. Sabemos tambm dos nmeros perfeitos, como por exemplo, 6, 28, 496, 8128, que so dados pelas somas dos seus divisores. H os nmeros amigos, como 220 e 284, por exemplo, em que 220 a soma dos divisores de 284 e este a soma dos divisores de 220. Suspeita-se que todo par maior que quatro soma de dois primos. Os nmeros primos tm destaque especial dentre os nmeros inteiros no s pelos aspectos tericos mas pela utilizao de algumas de suas propriedades na rea de criptograa e cdigos. Atualmente em matemtica comum pensar no zero ou se referir aos inteiros negativos, mas as coisas nem sempre foram assim. Desde a inveno do zero (pelos hindus) e dos nmeros negativos (pelos algebristas italianos) muito conhecimento se tem produzido sobre a natureza dos nmeros e suas propriedades algbricas, geomtricas, aritmticas e analticas. Hoje se conhecem os nmeros racionais, os irracionais, os reais, os construtveis, os algbricos, os transcendentes, os complexos, dentre outros. Queremos que o aluno tenha oportunidade de conhecer mais, manipular, descobrir, treinar a capacidade de raciocnio, estimular o pensamento criativo, conhecer fatos histricos relevantes, e principalmente entrar em contato com as idias que acompanharam ou precederam o desenvolvimento da humanidade e da tecnologia. Oportunidade esta, que est sendo ofertada pelo PET-Matemtica atravs dessa iniciativa do III Brincando de Matemtico. Esperamos que para o aluno, esse curso possa ser o incio de uma jornada a um mundo de idias, onde a capacidade, a criatividade e a inventividade de cada um, mediadas pelas atividades propostas para este aluno, possam conduzir a uma carreira cientca ou que pelo menos desperte certa curiosidade no sentido de que questione mais a matemtica estudada no ensino fundamental e mdio. Pode ser este um motivo justicado para participar dessa jornada. Bom proveito! PET-Matemtica Curitiba, julho 2007.
Pet Matemtica - UFPR
Sumrio
1 Nmeros Naturais e Inteiros
1.1 1.2 Axiomas de Peano 1.2.1 1.2.2 1.3 1.4 1.5 1.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operaes dos Nmeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Adio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Multiplicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
5 6 6 6 7 13 20 22
Princpio da Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diviso de Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aritmtica Modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mximo Divisor Comum e Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . . . . . . . . . .
Os Nmeros Reais
2.0.1 2.0.2 2.1 2.2 Nmeros Racionais como Instrumento de Medida . . . . . . . . . . . . . . . . . . . . . . . Necessidade Aritmtica dos Nmeros Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
27 28 29 33 33 34 35 36 37 37 37 38 39
Nmeros e Geometria 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5
Eudoxo, Dedeking e os Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Igualdade de Fraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Razo de Grandezas Comensurveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A denio de Eudoxo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Dedekind e os Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Matemtica como Geometria e a Volta a Pitgoras A Sucesso de Fibonacci na Natureza Pi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3
Os Irracionais na Natureza 2.3.1 2.3.2 2.3.3
O Nmero de Ouro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Nmeros Complexos
3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 Forma Algbrica dos Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Conjunto dos Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Potncias de
51
53 53 55 55 56 56 57 57 58 58 59 60 60 62
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Representao Geomtrica dos Nmeros Complexos
Conjugado de um Nmero Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diviso de Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mdulo de um Nmero Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Forma Trigonomtrica dos Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operaes com os Nmeros Complexos na Forma Trigonomtrica . . . . . . . . . . . . . . . . . . 3.9.1 3.9.2 Multiplicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diviso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10 Potenciao de Nmeros Complexos na Forma Trigonomtrica - Frmula de Moivre 3.12 Fractais
3.11 Radiciao - Razes n-simas de Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Referncias Bibliogrcas
67
Sumrio
Captulo 1
Nmeros Naturais e Inteiros

Os nmeros naturais tiveram sua origem nas palavras utilizadas para a contagem de objetos. O primeiro grande avano na abstrao foi a utilizao de numerais para represent-los. Isto permitiu o desenvolvimento de sistemas para o armazenamento de grandes nmeros. Por exemplo, os babilnicos desenvolveram um poderoso sistema de atribuio de valor baseado essencialmente nos numerais de 1 a 10. Os egpcios antigos possuiam um sistema de numerais com hierglifos distintos para 1, 10, e todas as potncias de 10 at um milho. Uma gravao em pedra encontrada em Karnak, datando de cerca de 1500 a.C. e atualmente no Louvre, em Paris, representa 276 como 2 centenas, 7 dezenas e 6 unidades; e uma representao similar para o nmero 4 622. A primeira abordagem cientca ao estudo dos nmeros inteiros, isto , a verdadeira origem da teoria dos nmeros, geralmente atribuda aos gregos. Por volta de 600 a.C. Pitgoras e seus discpulos zeram vrios estudos interessantes nessa rea. Uma construo consistente do Conjunto dos Nmeros Naturais foi desenvolvida por Giuseppe Peano (18581932). Ele constatou que a partir de quatro propriedades fundamentais, os axiomas de Peano, pode-se elaborar toda a teoria dos nmeros naturais, ou seja, como conseqncias lgicas, todas as armaes verdadeiras que se podem fazer sobre esses nmeros.
1.1
Axiomas de Peano
O italiano Giuseppe Peano realizou seu trabalho motivado pelo desejo de expressar toda a matemtica em termos de um clculo lgico. Em seu Formulaire de Mathmatiques, publicados a partir de 1894, desenvolveu uma linguagem formalizada que continha no s a lgica matemtica como todos os ramos mais importantes da matemtica. Os axiomas de Peano, foram formulados pela primeira vez em 1889 na Arithmetices Principia Nova Methodo
Exposita, que representava a tentativa de reduzir a aritmtica comum a puro simbolismo formal. Peano exprimia
os postulados em smbolos, em vez das palavras que usamos. Abaixo esto os Axiomas de Peano: 1. Existe uma funo 2. Se
f :NN
que a cada
nN
associa um elemento
f (n) N,
chamado o sucessor de
n;
n1 = n2
ento,
f (n1 ) = f (n2 ), 1 N,
ou seja, a funo tal que
f :NN
injetiva;
3. Existe um nico elemento 4. Se um subconjunto
1 = f (n)
e
para todo
n N; X = N.
XN
tal que
1N
f (X) X ,
ento
Em uma linguagem informal: 1. Todo nmero natural possui um nico sucessor que tambm um nmero natural; 2. Nmeros naturais diferentes possuem sucessores diferentes; 3. Existe um nico nmero natural que no sucessor de nenhum outro, representado pelo smbolo 1; 4. Se um conjunto de nmeros naturais ento este conjunto coincide com
contm o nmero 1 e tambm o sucessor de todo nmero de
N,
ist , contm todos os nmeros naturais.
Captulo 1.
1.2
Operaes dos Nmeros Naturais
1.2.1 Adio
Podemos denir a operao de adio dos nmeros Naturais do seguinte modo:
m, n N temos que m + n = f n (m). Onde f : N N a "funo sucessor": f (n) = n + 1.

Exerccio 1
5+3
f 3 (5)
= f of of (5) = f (f (5 + 1)) = f (f (6)) = f (6 + 1) = f (7) = =

Propriedades:
7+1 8
A adio de Nmeros Naturais associativa, ou seja, se
m, n
p N,
(m + n) + p = m + (n + p)
A adio de Nmeros Naturais comutativa, ou seja, se
n N,
m+n=n+m
Para todos Para todos
m, n, p N m, n, N
se
n+m=n+p
ento
m=p m = n, m > n
ou
uma, e somente uma das alternativas ir acontecer:
m < n.
1.2.2 Multiplicao
Podemos denir a operao de multiplicao dos Nmeros Naturais do seguinte modo:
m, n N
temos que
m.n
Exerccio 2
= m + m + ... + m
n parcelas
5.3
= =
5+5+5 15
Propriedades:
A multiplicao de Nmeros Naturais associativa, ou seja, se
m, n
p N,
(m.n).p = m.(n.p)
A multiplicao de Nmeros Naturais comutativa, ou seja, se
m, n N,
m.n = n.m
A multiplicao de Nmeros Naturais distributiva em relao a adio, ou seja, se
m, n,
p N,
n.(m + p) = n.m + n.p

6
Captulo 1.
1.3
Princpio da Induo
Algumas vezes nos defrontamos com proposies (armaes) envolvendo os nmeros naturais e a questo que surge : ser tal armao verdadeira sempre, ou seja, vale para qualquer nmero natural? Por exemplo, ser que a armao : "991n um inteiro, por exemplo, Para
+1
no um quadrado perfeito" sempre verdadeira?
Lembrando, dizemos que um nmero um quadrado perfeito se ele pode ser expresso como o quadrado de
um quadrado perfeito pois pode ser escrito como
22 . 992 = 31, 4960315

no
n=1
temos
991(1)2 + 1 = 992
que, de fato, no um quadrado perfeito, pois
um nmero inteiro. Para
n=2
temos
991(2)2 + 1 = 3965
que tambm no um quadrado perfeito, pois
3964 = 62, 96030495
no um nmero inteiro. Se testarmos para 3, 4, 5, 6, e vrios outros nmeros veremos que a armao continua sendo vlida. Na verdade o primeiro nmero natural que torna a sentena falsa
120557357903313594474425387672
Para sabermos se uma armao que, obviamente, seria impossvel. Para provar a veracidade de vrias armaes envolvendo nmeros naturais podemos utilizar o Princpio da
sempre vlida, teramos que testar para todos os nmeros naturais, o
Induo, que na verdade obtido a partir do axioma de Peano
4,
que vimos na seo anterior.
O signicado informal deste axioma que todo nmero natural pode ser obtido a partir de 1 por meio de repetidas aplicaes da operao de tomar o sucessor (f (n)). Por exemplo, para obtermos o nmero aplicarmos trs vezes a operao de tomar o sucessor a partir do 1:
basta
f (f (f (1))),
ou seja:
1 f (1) = 2 f (2) = 3 f (3) = 4

Podemos denotar
f (f (f (1))) = f of of (1)
por
f 3 (1).
Denio 1 (Princpio da Induo) Uma proposio (ou armao) vlida para todo nmero natural
se (i) vlida para um primeiro nmero natural (ii) de sua validade para um nmero qualquer
a; n=ka
deduz-se sua validade para seu sucessor (n
= k + 1). a,
e ento
Esse mtodo funciona provando que o enunciado verdadeiro para um primeiro nmero natural
provando que o processo usado para ir de um valor para o prximo vlido. Se ambas as coisas so provadas, ento qualquer valor pode ser obtido atravs da repetio desse processo. Para entender por que os dois passos so sucientes, til pensar no efeito domin: se voc tem uma longa la de domins em p e voc puder assegurar que: 1. O primeiro domin cair. 2. Sempre que um domin cair, o prximo tambm cair. ento voc pode concluir que todos os domins cairo.
Exemplo 1
7
Captulo 1.
Proposio: A soma dos
primeiros nmeros naturais
Sn = 1 + 2 + ... + n = n n+1 . 2 n = a, ento vamos comear
Prova.: Vamos demonstrar que esta proposio verdadeira utilizando o Princpio da Induo. (i)Primeiro devemos mostrar que a proposio vlida para um primeiro natural com
n = 1:
S1 = 1 1+1 = 1 2 = 1. 2 2
(ii) Agora vamos supor que a proposio seja vlida para vlida tambm para seu sucessor
n = k + 1,
ou seja,
Sk+1
n = k , ou seja, Sk = k k+1 , 2 = (k + 1) (k+1)+1 : 2
e vamos mostrar que
Sk+1
1 + 2 + 3 + ... + k + (k + 1)
= Sk + (k + 1) k+1 = k + (k + 1) 2 k + 1 2(k + 1) = k + 2 2 k(k + 1) + 2(k + 1) = 2 k+2 = (k + 1) 2 (k + 1) + 1 = (k + 1) 2

Portanto, pelo Princpio da Induo, demonstramos que a proposio vlida para todo
n N.
Exemplo 2 Vamos vericar a propriedade comutativa da adio.

Demonstrao: (i) Para n=1 temos:
m+n = = = = =
f m1 (1) + n f m1 (1) + 1 (1 + 1 + 1 + ... + 1) +1

m vezes
1 + (1 + 1 + 1 + ... + 1)
m vezes
associativa
1 + f m1
= n + f m1 = n+m
Assim, para
n=1
a armao vlida.
(ii) Vamos supor que seja vlido para para
n = k , ou seja, m + k = k + m. = = = = = (m + k) + 1 (k + m) + 1 k + (m + 1) k + (1 + m) (k + 1) + m
Devemos mostrar que vlido tambm
n = k + 1. m + (k + 1)
associativa hiptese associativa (i) associativa
Portanto, pelo Princpio da Induo, a adio dos nmeros Naturais comutativa.
Captulo 1.
Exemplo 3
Observe a demonstrao abaixo:
Proposio: Todo nmero natural igual ao seu consecutivo

Vamos supor que a proposio vlida para tembm para
n = k,
ou seja
k = k + 1.
Ento devemos mostrar que vlida
n = k + 1:
Temos por hiptese
k =k+1
somando 1 em ambos os lados teremos:
k + 1 = (k + 1) + 1 = k + 2
Ou seja, se a proposio vlida para
n = k,
ser vlida tambm para
n = k + 1.
Mas sabemos que esta proposio falsa, onde est o erro?

Curiosidade: "Todos os nmeros pares maiores que 2 so iguais soma de dois nmeros primos ?"
A simples pergunta no parece esconder um dos mais famosos e difceis problemas no resolvidos da matemtica at hoje (Junho de 2007). Quando se tenta vericar sua validade, a hiptese parece plausvel:
8 = 3 + 5; 10 = 3 + 7; 12 = 5 + 7...
Embora computadores j tenham constatado a veracidade da hiptese para nmeros da ordem de 1014, vericaes empricas no bastam para demonstr-la. O clebre problema, conhecido como a "Conjectura de Goldbach", foi formulado em 1742 numa carta do matemtico prussiano Christian Goldbach (1690-1764) ao colega suo Leonhard Euler (1707-1783). romance: Tio Petros e a Conjectura de Goldbach, escrito por Apostolos Doxiadis. Se voc tiver interesse em "brincar"um pouco com a Conjectura de Goldbach, poder acessar o site: http://nautilus.s.uc.pt/mn/goldbach/index.html, onde encontrar um jogo em que dever indicar o nmero e os dois primos que somados resultam nele, no menor tempo possvel. Divirta-se!!! Desde ento, a hiptese tem desaado estudiosos notveis da matemtica. Recentemente, o problema foi tema de um
Atividades
Exemplo 4
Observe as seguintes somas:
1=1
1+2+1=4
Captulo 1.
1+2+3+2+1=9
1 + 2 + 3 + 4 + 3 + 2 + 1 = 16
Pelo que observamos, a frmula geral para estas somas poder ser escrita da seguinte forma:
1 + 2 + ... + (n 1) + n + (n 1) + ... + 2 + 1 = ..............................
Mas ser que esta proposio sempre verdadeira?
Exemplo 5
Proposio: Se numa classe com
alunos um for inteligente, ento todos os alunos da classe so inteligentes.
Observe a prova utilizando o Princpio da Induo:
10
Captulo 1.
(i) Seja uma classe de apenas 1 aluno com 1 aluno inteligente, logo todos (ele, somente) so inteligentes. Assim para
n=1
a proposio vlida.
(ii) Vamos supor que para uma classe de proposio tambm vlida: Imaginemos uma classe com
alunos a proposio seja vlida, isto , se numa classe com k
alunos, um for inteligente, ento todos so inteligentes. Vamos provar que para uma classe de
k+1
alunos a
k+1
alunos, dos quais um inteligente.
Vamos pedir que um dos alunos, no o inteligente, saia da classe. Restam na classe
alunos dos quais um inteligente.
Pela hiptese, para uma classe de
alunos se um for inteligente, ento todos os k alunos so inteligentes.
Chamemos de volta o aluno que saiu. Temos
k+1
alunos dos quais, com certeza,
j so inteligentes.
Vamos pedir que um dos Restam na classe inteligentes.
alunos inteligentes saia da classe.
alunos dos quais um (at mais do que um) inteligente.
Pela hiptese, para uma classe de
alunos se um for inteligente, ento todos os k alunos da classe so
Chamando de volta o aluno que saiu, teremos uma classe com vlida para
k+1
alunos inteligentes, isto , a proposio
k + 1. n N,
se numa classe com
Portanto, pelo princpio da induo, qualquer que seja teligente, ento todos so inteligentes.
alunos, um for in-
Mas, pela nossa experincia, infelizmente, isto no verdade. E agora? Onde est o erro?
Exerccios
1. Dadas
retas paralelas no plano, elas o dividem em
n+1
regies disjuntas.
Verique se esta proposio sempre verdadeira.
2. A soma dos quadrados dos
primeiros nmeros naturais igual a
n(n+1)(2n+1) . 6
3. A soma dos cubos de trs nmeros sucessivos divisvel por 9. Verique se esta proposio sempre verdadeira. 11
Captulo 1.
4. Qual o primeiro nmero natural
n0
que verica a desigualdade
2n > 2n + 1?.
5. Para todo natural exerccio anterior)
n > n0 ,
temos
2n > 2n + 1. n0
o nmero que voc obteve no
Verique se esta proposio sempre verdadeira. (Considerando que
6. Segundo uma lenda, Brahma, quando criou o mundo, colocou trs postes verticais de diamante e, num deles, 64 anis de ouro de tamanhos diferentes, empilhados em ordem de tamanho, do menor para o maior. Aos monges do templo caberia, ento, a tarefa de transferir essa pilha de discos para um dos dois outros postes, na mesma ordem original. Para isso, teriam de transferir um disco de cada vez e poderiam utilizar o outro poste como auxlio mas nunca poderiam uma anel maior sobre um menor. Este jogo foi inventado pelo famoso matemtico francs Edouard Lucas. bastante complicado imaginar os movimentos para um pilha de 64. Imagine, primeiramente, para casos mais simples, como 1, 2 ou 3 discos (como mostram as guras). 1 disco Segundo a lenda, quando todos os 64 discos forem transferidos, o templo ser destrudo e o mundo se acabar.
1 movimento
2 discos
3 movimentos
3 discos
7 movimentos
Podemos escrever uma frmula matemtica que relacione o nmero de discos e o nmero mnimo de movimentos necessrios? Observe: 12
Captulo 1.
1=21 3=41 7=81

Tente escrever a frmula e verique se sempre verdadeira.
7. Qual o primeiro nmero natural
n0
que verica a desigualdade
2n > n2 ?.
8. Para todo natural exerccio anterior)
n > n0 ,
temos
2n > n2 . n0
o nmero que voc obteve no
Verique se esta proposio sempre verdadeira. (Considerando que
9. Toda quantia acima de 7 reais representada por um nmero inteiro pode ser paga com notas de 3 e 5 reais. Verique se esta proposio sempre verdadeira.
10.
retas distintas traadas por um mesmo ponto dividem-no em
2n
partes.
11. O n-simo termo de uma progresso aritmtica pode ser determinado pela frmula onde
an = a1 + d(n 1),
a1
o primeiro termo da progresso e
a razo da mesma.
Prove utilizando o Princpio da Induo.
1.4
Diviso de Nmeros Inteiros

Quanto
Vamos discutir divisibilidade entre nmeros inteiros. esta conta tm
dividido por
2?
A resposta imediata para
3, 5.
No entanto, nem todo problema pode aceitar essa soluo.
Suponha um episdio em que
dois homens estejam desmontando uma sociedade. Ambos tm
50
por cento de participao no negcio. Eles
computadores e precisam dividir igualmente entre os
2.
No poderiam car, cada um, com
mquinas e
meia. Da a situao requer uma outra soluo. A soluo da diviso, ento, deve ser 13
com resto
1.
Por isso
Captulo 1.
importante estudar divises com nmeros inteiros. Tais operaes so necessrias, como vimos, dependendo do contexto de cada problema.
O Algoritmo da Diviso
Queremos agora dividir nmeros inteiros. de
por
13 canetas entre 4 pessoas. Vamos efetuar a diviso de 13 por 4, no conjunto dos 13 dividido por 4 resulta 3 e sobra resto 1. Podemos escrever, ento, 15 como sendo o produto 4, acrescido de 1. 13 = 3.4 + 1 O nmero 13, que queremos dividir, chama-se dividendo. O nmero
pelo qual queremos dividir o dividendo chama-se divisor (que deve ser sempre diferente de zero). O nmero resultante da diviso chama-se quociente. E ao nmero de unidades que restou chamamos resto (que deve ser sempre menor que o divisor). Usando smbolos: D para o dividendo; d para o divisor; q para o quociente; r para o resto. Da forma como escrevemos para o problema acima, temos Note que, dados
d,
os valores para
sero nicos, com
D = d.q + r. r maior que
ou igual a
menor que
d.
esta expresso chamamos Algoritmo da Diviso. Por que no dividir por zero? Imagine que assim como um divisor de D , sendo D diferente de 0. De acordo com o que Q e r tal que D = 0.q + r seja verdadeiro. Mas D = 0.(q + 1) + r D = 0.(q + 2) + r tambm o . Logo, d no pode ser zero.
d=0
vimos, deve haver um tambm verdadeiro,
nico par de nmeros
Decorre tambm desse fato que zero mltiplo de qualquer inteiro no nulo, mas no divisor de nenhum inteiro. Veja por que:
D 0
Ento,
0 Q
D = 0.Q
, mesmo que
seja diferente de
0,
o que impossvel.
Exerccios: 1. Efetue as divises abaixo, descrevendo-as na forma do algoritmo de Euclides.
56 : 7 58 : 5 c) 58 : 7 d) 101 : 15 e) 454 : 3 f ) 1234 : 10 g) 1234 : 100 h) 1234 : 1000 i) 45 : 4 j) 46 : 4 k) 47 : 4 l) 48 : 4 m) 49 : 4 n) 50 : 4 o) 51 : 4

a) b) 2. Pelo que voc pode observar, qual o motivo do resto ser menor que o divisor?
Mltiplos, fatores e divisores 14
Captulo 1.
Muitas vezes queremos que a diviso seja exata, ou seja, que o resto seja exata, pois o quociente
0.
Por exemplo,
63 : 9 uma diviso
que o dividendo
e o resto
0.
J ao fazer
no exata. Qual a importncia de que o resto
58 : 8 o quociente 7 seja 0? Se a diviso tem
e o resto resto
2,
e, portanto, a diviso
mltiplo do divisor. Isto , observe na equao de Euclides que, quando o resto
0, dizemos 0, temos:
D = d.q + 0 D = d.q
Tambm podemos dizer que o dividendo mltiplo do quociente, j que podemos aplicar a propriedade comutativa. divisores de No exemplo acima,
63
mltiplo de
e tambm de
9.
Podemos dizer tambm que
so
63.
Veja que, de certa forma, os nmeros
constroem, pela multiplicao, o nmero
63.
Dizemos ento que Exemplo:
so fatores de
63.
Quais so os fatores do nmero
24?
1 2 3 4
e e e e
24, pois 1.24 = 24 12, pois 2.12 = 24 8, pois 3.8 = 24 6, pois 4.6 = 24 24: D(24) = 1, 2, 3, 4, 6, 8, 12, 24.
O conjunto dos divisores de
Exerccio: Determine os fatores de:
56 48 c) 16 d) 32 e) 27 f ) 42 g) 15 h) 49 i) 100 j) 101 k) 1001 l) 2 m) 3 n) 5 o) 7 p) 11 q) 13 r) 23 s) 37 t) 43

a) b) Propriedades decorrentes do teorema: Se 1. 2. 3.
so inteiros divisveis por divisvel por divisvel por
n,
ento:
A+B AB A.B
n n
divisvel por
n n,
ento podemos escrev-los da seguinte forma:
Veja que se
so divisveis por
A = q1 .n B = q2 .n
Ento,
A + B = q1 .n + q2 .n = (q1 + q2 ).n A B = q1 .n q2 .n = (q1 q2 ).n A.B = (q1 .n).(q2 .n) = (q1 .q2 ).n
15
Captulo 1.
Indicaremos um nmero inteiro, a partir de agora, da forma
ak ...a3 a2 a1 a0 a1 a0
sendo
a0
o algarismo das unidades,
a1
o algarismo das dezenas etc.
ak 10k
... ...
a3
milhar
a2
centena
dezena
unidade
Critrios de Divisibilidade
Em algumas situaes precisamos apenas saber se um nmero natural divisvel por outro nmero natural, sem a necessidade de obter o resultado da diviso. Neste caso utilizamos as regras conhecidas como critrios de divisibilidade.
Divisibilidade por
2, 4, 8, 16,
...
O critrio de divisibilidade por e se este for divisvel por idia: Considere o nmero. Reescrevemos como Temos que
e queremos saber se ele mltiplo de
2,
ou
2 o mais conhecido. Realmente, se tomamos o nmero 6817318371387118571596 2 no vamos efetuar a diviso. Olhamos apenas para o ltimo algarismo seja, se for par, ento o nmero mltiplo de 2. Vamos ver de onde vem essa
ak ...a2 a1 a0 . ak .10k + ... + a2 .100 + a1 .10 + a0 .
ak ...a2 a1 a0 = 2.(ak .5.10k1 + a2 .50 + a1 .5) + a0 . k1 Sabemos que 2 (ak .5.10 + a2 .50 + a1 .5) divisvel
tambm for.
por
2.
Ento
ak ...a2 a1 a0 4.
s ser mltiplo de
se
a0
Atravs desta mesma idia podemos estabelecer critrios de diviso para Veja:
ak ...a2 a1 a0 = ak .10k + ... + a2 .100 + a1 .10 + a0 = 100.(ak .10k2 + ... + a2 ) + a1 .10 + a0 . k2 Como 100.(ak .10 + ... + a2 ) mltiplo 4 se a1 .10 + a0 tambm for, ou seja, a1 a0 for
Para a diviso por
de
4,
pois
um de seus fatores,
ak ...a2 a1 a0
s ser divisvel por
divisvel por
4.
8:
ak ...a3 a2 a1 a0 = ak .10k + ... + a3 .1000 + a2 .100 + a1 .10 + a0 = 1000.(ak .10k3 + ... + a3 ) + a2 .100 + a1 .10 + a0 . k3 Como 1000.(ak .10 + ... + a3 ) mltiplo de 8, precisamos que a2 a1 a0 seja divisvel por 8.
para que o nmero
ak ...a3 a2 a1 a0
etc.
seja divisvel por
8,
Agora voc j capaz de estabelecer critrios de divisibilidade para Divisibilidade por
16, 32, 64,
e por
10 5
e por
Usando o mesmo processo, podemos obter um critrio para divisibilidade por Um nmero
10.
Isto , se o ltimo
algarismo for um Veja,
ak ...a1 a0 s 5 ou um 0.
ser divisvel por
se seu ltimo algarismo tambm o for.
ak ...a1 a0 = ak x10k + ... + a1 x10 + a0 = 10.(ak .10k1 + ... + a1 ) + a0 .

Da expresso acima tambm se pode concluir que um nmero s divisvel por isto , quando
10
quando
a0
tambm for,
a0
for igual a
0. 9
16
Divisibilidade por
e por
Captulo 1.
Agora testaremos a divisibilidade por a
9.
Tomamos um nmero na forma
ak ...a2 a1 a0 .
Ele equivalente
10k .ak + ... + 100.a2 + 10.a1 + a0 .

Podemos rearranjar o nmero da seguinte forma:
(99...9 + 1).ak + ... + (99 + 1).a2 + (9 + 1).a1 + a0 = 99...9.ak + ... + 99.a2 + 9.a1 + (ak + ... + a2 + a1 + a0 )
Note que podemos enxergar isto como:
3.(33...3.ak + ... + 33.a2 + 3.a1 ) + (ak + ... + a2 + a1 + a0 )

ou
9.(11...1.ak + ... + 11.a2 + a1 ) + (ak + ... + a2 + a1 + a0 )

para que toda a expresso seja divisvel por
3.(33...3.ak + ... + 33.a2 + 3.a1 ), que mltiplo de 3. Ento, conclumos que, 3, precisamos que a soma (ak + ... + a2 + a1 + a0 ) seja divisvel por 3. Do mesmo modo, na segunda expresso, temos um mltiplo de 9 acrescido de (ak + ... + a2 + a1 + a0 ). Portanto, para que um nmero seja mltiplo de 9, basta que a soma dos seus algarismos sejam divisveis por 9.
Na primeira expresso, temos Antes de prosseguir com os critrios de divisibilidade, vamos introduzir o conceito de nmero primo.
Nmeros primos e nmeros compostos

Um nmero que s tem dois fatores positivos distintos, o nico divisor diferente de
e ele prprio, chamado nmero primo.
de um nmero primo o prprio nmero. Os nmeros diferentes de
e que no
so primos so chamados de nmeros compostos.
Um teorema importante sobre este assunto o chamado
Teorema Fundamental da Aritmtica, que diz que podemos escrever qualquer nmero natural diferente de 1 como produto de nmeros primos. Est a chamada decomposio em nmeros primos. Exerccios: 1.Verique se os nmeros abaixo so primos ou compostos. fatores primos. a)131 b)105 c)35 d)43 e)41 f )1001 g)652 h)89 2.A expresso Caso sejam compostos, decomponha-os em
n2 + n + 41
resulta num nmero primo para todo
natural. Verdadeiro ou falso? Justique.
3) Qual o maior nmero primo? Tal nmero existe? Agora, com a idia de nmero composto, ca fcil averiguar a divisibilidade de vrios outros nmeros. Vejamos: Divisibilidade por
6 6
Veja que a decomposio em fatores primos de ser divisvel por
natural dizer que um nmero, para ser mltiplo de
2x3. 6, deve
ser tambm de
e de
3.
Ora, para um nmero
6,
ento, basta que satisfaa, simultaneamente, os critrios de diviso por
e por
3.
Desta forma, ca fcil estabelecer critrios para a divisibilidade da maioria dos nmeros compostos. Basta utilizar os mesmo critrios para os nmeros de alguma de suas decomposies, mas desde que estes fatores sejam primos entre si. Por exemplo, vejamos a divisibilidade por O conjunto dos divisores de
18
18: D(18) = 1, 2, 3, 6, 9, 18.
Podemos, de acordo com nosso interesse, escrever
18
de trs formas distintas:
18 = 1.18 18 = 2.9
17
Captulo 1.
18 = 3.6
A primeira forma, obviamente, de nada ajuda. Vejamos as outras duas: Podemos inferir, ento, que um nmero ser divisvel por por
18
quando for, ao mesmo tempo, divisvel por
9?
E por
e por
6? 1
e
Veja:
so primos entre si e, portanto, tm todos os divisores (com exceo do
1,
que so divisores
de qualquer nmero) distintos. J
no so primos entre si, pois tm divisores comuns alm de
Veja que ao vericar se um nmero divisvel por
estamos vericando tambm se ele divisvel por J quanto a
1 3.
1.
Logo,
impor as duas condies de divisibilidade como impor apenas uma delas.
9,
ao vericar
se um nmero divisvel por um destes fatores no implicar na resposta para o outro, isto , so respostas independentes. Ento, um critrio que se pode estabelecer para divisibilidade em nmeros compostos o de divisibilidade por fatores que construam, pela multiplicao, o nmero em questo, e que sejam primos entre si. Exemplo: Vericar divisibilidade por Basta vericar a divisibilidade por Veja que, apesar de e tambm de
12.
2.6 = 12,
3 e 4, pois 3.4 = 12 e 3 e 4 no tm divisores comuns. E quanto a 2 e 6? prprio 6 divisvel por 2 e por 6, mas no por 12. Isto porque 2 divisor de 2
6.
Agora que temos como vericar a divisibilidade de nmeros compostos, os critrios de divisibilidade que devem ser buscados se restringem aos casos em que o divisor um nmero primo. Divisibilidade por
7 7
quando a diferena entre o dobro do algarismo das unidades e o nmero sem o
Um nmero divisvel por
algarismo das unidades for divisvel por Da hiptese,
7. 7.
Se o nmero obtido ainda for grande, repete-se o processo. Escrevemos
ak ...a2 a1
divisvel por
ak ...a1 a0 = 10ak ...a1 + a0 .

Por hiptese, podemos escrever Ento
ak ...a2 a1 2a0 = 7k ,
sendo
um inteiro.
ak ...a1 = 7k + 2a0 .
Substituindo na outra relao,
ak ...a1 a0 = 10(7k + 2a0 ) + a0 = 70k + 21a0 .

E pela propriedade, da adio de dois inteiros mltiplos de proposio. Divisibilidade por
obtemos um mltiplo de
7,
e se verica a
11 11 quando a soma dos algarismos de ordem par (Sp) menos a soma dos algarismos 11.
de ordem mpar (Si) for um nmero divisvel por
ak ...a4 a3 a2 a1 a0 = 10k ak + ... + 104 a4 + 103 a3 + 102 a2 + 10a1 + a0 = 10k ak + ... + (9999 + 1)a4 + (1001 1)a3 + (99 + 1)a2 + (11 1)a1 + a0 = a0 a1 + a2 a3 + a4 ... + / ak + 11a1 + 99a2 + 1001a3 + 9999a4 + ... + cak , um mltiplo de 11. O sinal de ak varia conforme k seja par ou mpar.
Outro critrio que podemos utilizar o seguinte: Um nmero divisvel por
sendo
o coeciente de
ak ,
e o algarismo das unidades for divisvel por
11 quando a diferena entre o nmero obtido excluindo-se o algarismo das unidades 11.
divisvel por
A hiptese que
ak ...a1 a0 = 10ak ...a1 + a0 ak ...a1 a0

sendo
11.
Ento escrevemos:
ak ...a1 a0 = 11k , ak ...a1 = 7k + a0 .
um inteiro.
Substituindo na primeira igualdade:
ak ...a1 a0 = 10(11k + a0 ) + a0 ak ...a1 a0 = 110k + 11a0 , que
divisvel por
11.
18
Captulo 1.
Divisibilidade por
13 13 se o qudruplo (4 vezes) do ltimo algarismo, somado ao nmero sem o ltimo 13.

divisvel por sendo
algarismo, resultar um nmero divisvel por Temos por hiptese que Ento, escrevemos
ak ...a1 + 4a0 ak ...a1 + 4a0 = 13k ,
13.
um inteiro.
ak ...a1 = 13k 4a0 ak ...a1 a0 = 10ak ...a1 + a0 = 10(13k 4a0 ) + a0 = 130k 39a0 .
O nmero
1001
curioso. A sua fatorao em primos
1001 = 7 11 13.
Esta igualdade proporciona um
critrio de divisibilidade por Um nmero
por
11
e por
13,
que o seguinte: somente se a diferena entre o nmero
ak ...a3 e
o nmero
ak ...a3 a2 a1 a0 divisvel por 7, por 11 ou por 13 se e a2 a1 a0 divisvel por 7, 11 ou 13, respectivamente.
Escrevendo Temos que
ak ...a3 a2 a1 a0 = 1000ak ...a3 + a2 a1 a0 . ak ...a3 a2 a1 a0 = 1001ak ...a3 (ak ...a3 a2 a1 a 0). 7, 11

e
Outro mtodo, que serve como critrio de divisibilidade para o seguinte forma: Dado um nmero
13,
simultaneamente, funciona da
ak ...a1 a0 ,
agrupam-se os dgitos
3,
comeando da direita e somando e subtraindo
sucessivamente; chega-se a um valor. Se o valor encontrado for divisvel por
ou por
11
ou por
13
o nmero
ak ...a1 a0
tambm ser.
Usando o mesmo processo para determinar a divisibilidade por vrios outros nmeros. Vejamos alguns: Um nmero divisvel por
7, 11
13,
podemos descobrir critrios para
17
quando o quntuplo (5 vezes) do ltimo algarismo, subtrado do nmero sem
este ltimo algarismo, proporcionar um nmero divisvel por Um nmero divisvel por
17.
19
quando o dobro do ltimo algarismo, somado ao nmero sem este ltimo
algarismo, proporcionar um nmero divisvel por Um nmero divisvel por
19. 23. 29. 31. 41. 49.
23 29 31 41 49
quando o stuplo (7 vezes) do ltimo algarismo, somado ao nmero sem este
ltimo algarismo, proporcionar um nmero divisvel por Um nmero divisvel por
quando o triplo (3 vezes) do ltimo algarismo, somado ao nmero sem este
quando o triplo (3 vezes) do ltimo algarismo, subtrado do nmero sem este
quando o qudruplo (4 vezes) do ltimo algarismo, somado ao nmero sem
este ltimo algarismo, proporcionar um nmero divisvel por Um nmero divisvel por
quando o quntuplo (5 vezes) do ltimo algarismo, somado ao nmero sem
este ltimo algarismo, proporcionar um nmero divisvel por Exerccios:
1. Construa um critrio de divisibilidade para os seguintes nmeros inteiros:
15 20 c) 21 d) 25 e) 32 f ) 36
a) b) 2. Verique a divisibilidade dos nmeros a seguir pelos divisores indicados.
658 por 7 658 por 11 c) 658 por 13 d) 273 por 7 e) 273 por 11
a) b) 19
Captulo 1.
273 por 13 343 por 49 h) 59764 por 31 i) 59764 por 29 j) 64645 por 29 k) 1681 por 41 l) 1861 por 41
f) g) 3. Descubra um critrio de divisibilidade para
43.
1.5
Aritmtica Modular
Uma das ferramentas mais importantes na teoria dos nmeros a aritmtica modular, que envolve o conceito de congruncia. Nesta seo, vamos lidar com este conceito e mostrar que ele est presente no nosso dia a dia e muitas vezes nem nos damos conta disso. Vamos comear analisando a tabela a seguir. Nela, os nmeros de 0 a 44 esto dispostos em 5 colunas. Ser que existe alguma relao entre eles?
0 5 10 15 20 25 30 35 40
o nmero 57? o nmero 93? o nmero 101? o nmero 558? o nmero 9.999.999.999?
1 6 11 16 21 26 31 36 41
2 7 12 17 22 27 32 37 42
3 8 13 18 23 28 33 38 43
4 9 14 19 24 29 34 39 44
Exerccio 3 Acrescentando alguns nmeros naturais nesta tabela, em que coluna voc colocaria:
Exerccio 4 Qual o nmero que caria imediatamente abaixo do 44? E do 101? Exerccio 5 Como voc descreveria os nmeros da coluna do 0? Exerccio 6 Se voc somar dois nmeros quaisquer da coluna do 0, em que coluna est o resultado? Exerccio 7 Como voc descreveria os nmeros das demais colunas? Exerccio 8 Se voc escolher um nmero da coluna do 0 e um nmero da coluna do 2, em que coluna estar
a soma desses nmeros?
Exerccio 9 Na tabela a seguir, some os nmeros de uma coluna com os de outra da tabela apresentada no
incio da aula e preencha em que coluna daquela tabela est o resultado. Algumas casas j esto preenchidas, outras caram para voc:
+ mod 5
0 1 2 3 4
20
1 1
4 3
Captulo 1.
A notao
signica que no estamos tratando apenas do zero, mas sim, de todos os nmeros que se
encontram na coluna do zero. Essa tabela chamada de adio mdulo 5. Quando dois nmeros tm o mesmo resto quando divididos por 5, dizemos que eles so congruentes mdulo Os nmeros congruentes mdulo escrevemos Dizer que Exemplo:
5.
5 o mesmo de 48 por 5. mltiplo de
so aqueles que esto na mesma coluna da primeira tabela. Em geral
53 48 mod5. Isto quer dizer que o resto de 53 por 53 48 mod 5 o mesmo que dizer que 53 48
mod5, pois
5.
150 30
150 30 = 120 156 21
120 5.
mltiplo de
5.
Exerccio 10 Mostre que Exerccio 11 Mostre que Exerccio 12 Mostre que
mod
8888 3333
mod
5. 5.
15801 4576
mod
Podemos estender a tabela para diferentes nmeros de coluna. Por exemplo, se montarmos uma tabela com 7 colunas, ento a relao de congruncia ser mdulo 7, ou seja, dois nmeros sero congruentes mdulo 7 se, quando divididos por 7, obtiverem mesmo resto.
Exerccio 13 O ponteiro do relgio marca 7:00 horas. Se passarem 10 horas, que horas sero? E se passarem
89 horas? H alguma relao de congruncia com o ponteiro do relgio?
Exerccio 14 Se hoje segunda-feira, que dia da semana ser daqui a 20 dias? Qual a relao de congruncia
presente nos dias da semana?
Exerccio 15 Num avio, a numerao das poltronas est disposta como na gura a seguir:
No nmero do seu bilhete de passagem est marcado a poltrona 133. Qual deve ser a numerao da poltrona do(a) seu(sua) namorado(a) para que ele(a) sente imediatamente ao seu lado? E se a poltrona fosse a 108?
Exerccio 16 D um exemplo onde podemos encontrar congruncia.
Na tabela apresentada no incio da aula, era possvel enquadrar qualquer nmero natural mais o zero em alguma das 5 colunas. Ser que poderamos estender a tabela para nmeros negativos? Uma forma de encaixar os negativos na tabela seria pensando na ordem que estes nmeros esto dispostos na reta real, desta forma, estenderamos a tabela para trs. Veja como caria:
15 10 5 0 5 10 15
14 9 4 1 6 11 16
13 8 3 2 7 12 17
21
12 7 2 3 8 13 18
11 6 1 4 9 14 19
Captulo 1.
Note que 6 4 mod 5, pois 6 (4) = 10 e 10 mltiplo de 5. Tambm temos que 12 8 mod 5, 12 (8) = 20 e 20 mltiplo de 5. Logo, ainda podemos falar em mdulo 5 para nmeros negativos.
pois
Uma forma simples de localizar nmeros negativos na tabela somar o divisor ao nmero, at que este que positivo. Assim, o nmero negativo estar na mesma coluna que o nmero obtido da soma.
Exemplo: Em que coluna estar o nmero
1637?
Soluo: Se fosse -1635 estaria na coluna zero, pois seria mltiplo de 5. Mas -1635 = 5 x (-327) - 2. Logo,
nosso resto -2. Para saber em que coluna ele estar, basta somar 5 ao resto, pois (-2) + 5 = 3 est na mesma coluna que -2. Portanto, -1637 est na coluna 3.
Exerccio 17 Em que coluna da tabela acima voc colocaria

o nmero -19? o nmero -145? o nmero -502? Exemplo: Qual o resto de Soluo:
Veja que
712 : 4? 12 Poderamos calcular 7 = 13841287201 e vericar por meio de contas que o resto 1.
Outra forma
seria usando o conceito de congruncia. com
7 3 mod 4, ou seja, 7 e 3 tm o mesmo resto quando divididos por 4. Logo, podemos trabalhar 312 : 312 = (32 )6 = 96 Mas 9 1 mod 4. Logo, 96 16 mod 4. Da, segue que 712 1 mod 4, ou seja, o resto de 12 7 : 4 1.
Exerccio 18 Diga se verdadeiro ou falso:

1. 2.
19 7
mod
2 10 x
tal que
52 18
mod
3. Ache todos os inteiros
0 < x < 15
3x6 100,
mod
15
mod13
4. D todos os inteiros positivos 5. Se
menores que
tais que
x8
1066 1776
mod
m,
quais so os possveis valores de
m?
6. Ache o resto da diviso 7. Qual o resto de
250 : 7
415 : 7?
1.6
Mximo Divisor Comum e Mnimo Mltiplo Comum
Suponha que tenhamos que remeter duas encomendas de sabonete para dois compradores diferentes. Um pediu 420 sabonetes e outro 480 sabonetes. Queremos fazer uma embalagem que sirva para os dois compradores. Buscando usar poucas embalagens, colocando o maior nmero de sabonetes possvel em cada embalagem, qual o nmero de sabonetes que ser colocado em cada embalagem, e qual o nmero de embalgens ser enviado a cada comprador? Procuramos inicialmente um nmero que seja divisor de 420 e 480, pois queremos fazer embalagens com o mesmo nmero de sabonetes para cada comprador. Isto , procuramos um fator comum entre 480 e 420. Poderamos fazer embalagens com 5 sabonetes cada, pois 5 fator comum a 420 e 480. Assim, o primeiro comprador receberia 84 embalagens, e o segundo 96 embalagens. Mas estamos querendo usar o menor nmero possvel de embalagens. Sendo assim, o que buscamos primeiramente no apenas um divisor comum de 420 e 480, mas sim o maior divisor possvel destes dois nmeros. Analisando a fatorao em primos de 420 e 480 encontramos:
420 = 22 3 5 7 480 = 25 3 5
Os fatores comuns entre os dois nmeros so 2, 3 e 5. Mas observe que que 2 aparece duas vezes em 420 e 5 vezes em 480. Sendo assim,
22
fator comum aos dois nmeros. 22
Captulo 1.
Sendo assim, o maior divisor comum de 420 e 480 embalagens.
22 3 5 = 60.
Assim, sero feitas embalagens com 60
sabonetes cada, totalizando 15 embalagens. O primeiro comprador receber ento 7 embalgens, e o segundo 8
Notao:
Usaremos
a|b a
para indicar que
um divisor de
b. a | c.
Desde que existe um nmero nito de
Denio 2 Um inteiro
em que
um divisor comum de
se
a|b
divisores de um inteiro no nulo, existe apenas um nmero nito de divisores comuns entre b e c, exceto no caso
b = c = 0.
Se ao menos um, entre b e c no nulo, o maior entre seus divisores comuns chamado o
mximo divisor comum entre b e c, e denotado por mdc(b,c). Similarmente, denotamos o mximo divisor
comum g dos inteiros
b1 , ..., bn
como
mdc(b1 , ..., bn ).
Exemplos:
1. Calcular mdc(30,45) 2. Calcular mdc(84,72,180) Sabemos que para encontrar o mdc entre dois nmeros, basta olhar para a fatorao de cada um deles em fatores primos. Mas h uma maneira de facilitar os clculos. Suponha que queremos calcular o mdc(168,49). O algoritmo da diviso nos diz que:
168 = 3 49 + 21
Estamos buscando um divisor de 168 e 49. Pela equao acima, percebemos que um nmero que divide simultaneamente 168 e 49 divide tambm 21. Assim podemos resolver o problema buscando o mdc entre 49 e 21. Mas
49 = 2 21 + 7
Usando raciocnio anlogo, procuremos o mdc(21,7). Mas como
21 = 3 7
o mdc(21,7) 7, donde o mdc entre 168 e 49 7. Em vista deste exemplo, podemos obter os seguintes resultados:
Lema 1 Sejam
Ento .
a e b inteiros, b = 0 mdc(a, b) = mdc(b, r).
e sejam
o quociente e resto, respectivamente, da diviso de
por
b.
Demonstrao 1 Pelo algoritmo da diviso, podemos escrever
b,
a = bq + r. Seja x um divisor comum de a e a = xa1 e b = xb1 . Como r = a bq , substituindo a por xa1 , e b por xb1 , obtemos r = xa1 xb1 q , donde r = x(a1 b1 q), e x divide r . Disto, os divisores comuns de a e b so divisores comuns de b e r . Faamos agora a mesma anlise para b e r . Seja y um divisor comum de b e r . Ento b = yb2 , r = yr1 . Disto a = bq + r = yb2 q + yr1 = y(b2 q + r1 ), e y divide a, donde os divisores comuns de b e r so divisores de a e b. Disto, o conjunto de divisores de a e b igual ao conjunto de divisores de b e r , e em particular, mdc(a, b) = mdc(b, r).
ento
Teorema 1 Dados inteiros

srie de equaes:
c,
com
b, c > 0,
aplicando o algoritmo da diviso repetidas vezes, obtem-se a
b = cq1 + r1 , 0 < r1 < c, c = r1 q2 + r2 , 0 < r2 < r1 ... rj1 = rj qj+1

O
mdc(b, c)
rj ,
o menor resto no nulo no processo de diviso.
Observe que tal teorema uma aplicao sucessiva do lema anterior. Analisemos agora uma segunda classe de problemas que podem ser resolvidos analisando a fatorao dos nmeros em primos. Trs amigos passeiam de bicicleta, na mesma direo, em torno de uma pista circular. Para dar uma volta completa um deles demora 15 minutos, outro demora 18 minutos, e o terceiro demora 21 minutos. Eles pertem juntos, e prometem interromper o passeio quando os trs se encontrarem a primeira vez no ponto de partida. Aps quantos minutos eles param o passeio? 23
Captulo 1.
J que eles daro voltas completas, o tempo gasto ser mltiplo de 15 minutos, por causa do primeiro amigo. Ser mltiplo tambm de 18 e 21 minutos, devido aos outros dois amigos. Procuramos portanto um mltiplo comum destes nmeros. Conseguir um mltiplo comum desses nmeros fcil: basta tomar o nmero
15 18 21 = 5670.
Mas o que procuramos o primeiro momento em que os trs se encontram, pois aps isto
o passeio termina. Buscamos portanto o menor mltiplo comum entre 15, 18 e 21. Analisemos ento a decomposio de 15, 18 e 21 em fatores primos:
15 = 3 5 18 = 2 32 21 = 3 7
Um mltiplo comum desses nmeros deve ento ter como fatores 3, 5, 2 e 7. A potncia mais alta de 2 que precisamos precisamos
21 , 32 .
pois 2 s aparece uma vez, no nmero 18. Da mesma forma, a potncia mais alta de 3 que Para 5 e 7, a potncia mais alta necessria
51
71 .
Desta forma, o menor mltiplo comum
de 15, 18 e 21 :
2 32 5 7 = 630
Ou seja, os trs amigos terminaro o passeio aps 630 minutos.
Denio 3 Os inteiros
ai ,
a1 , a2 , ..., an1 , an , todos diferentes de zero, tm um mltiplo comum b se, para cada com i variando de 1 at n, ai | b. O menor dos mltiplos positivo chamado mnimo mltiplo comum, mmc(a1 , ..., an ).
e denotado por
Exemplos:
1. Calcule o mmc(49,84) 2. Calcule o mmc(7,11,13) Um resultado que pode nos ajudar no clculo do mmc entre dois nmeros o seguinte:
Teorema 2 Dados dois nmeros naturais
b,
o produto
ab
igual ao produto do
mmc(a, b)
pelo
mdc(a, b).
Demonstrao 2 Na demonstrao desse resultado, usaremos os seguintes fatos:
Lema 2
Para qualquer positivo
m , mdc(ma, mb) = m mdc(a, b),
bem como
mmc(ma, mb) = m mmc(a, b).
Justicativa: Temos que

e
dos dois nmeros, ele ser fator do
mdc(ma, mb) igual ao maior fator comum entre ma e mb. Como m fator comum mdc(ma, mb). Disto, os outros fatores sero os maiores fatores comuns a a b, isto , ser o mdc(a, b), donde mdc(ma, mb) = m mdc(a, b). Usando raciocnio semelhante conclui-se que mmc(ma, mb) = m mmc(a, b)
Se
Lema 3
b | am
mdc(a, b) = 1, b
divisor de
ento
b|m am
tem como fator
Justicativa: Sendo
tm nenhum fator em comum, donde
am, b
ento
b.
Mas sendo
s pode ser fator de
m,
isto ,
deve dividir
mdc(a, b) = 1, m.
ento
no
naturais. Temos que
a e b so nmeros mmc(a, b) um mltiplo de a, digamos ma, com m sendo im inteiro positivo. Como ma tambm mltiplo de b, temos que b | ma, e como mdc(a, b) = 1, b | m. Sendo b e m nmeros naturais, se b | m, ento b m, donde ba ma. Mas ba, sendo um inteiro positivo, no pode ser menor que o mnimo mltiplo comum, ento ba = ma = mmc(a, b) No caso em que mdc(a, b) = g 1, ns temos mdc(a/g, b/g) = 1. Aplicando o resultado do pargrafo
Comecemos ento nossa demonstrao do teorema pelo caso em que mdc(a,b) = 1, onde anterior, obtemos:
mmc(a/g, b/g)mdc(a/g, b/g) =

Multiplicando por
ab gg
g2 ,
e usando os lemas, temos:
g 2 mdc(a/g, b/g)mmc(a/g, b/g) = ab g mdc(a/g, b/g)g mmc(a/g, b/g) = ab mdc(a.b)mmc(a, b) = ab.

24
Captulo 1.
Observe que essa armao s vlida para dois nmeros. Para mais nmeros, ela pode falhar. Por exemplo, tomando os nmeros 6, 8 e 12, temos:
mdc(6, 8, 12) = 2 mmc(6, 8, 12) = 24

Mas
6 8 12 = 576 = 48 = 2 24.
e
Exerccios:
a = 32 .19.712 , b = 2.35 .19.61 a) mdc(a, b); b) mdc(a, b, c); c) mmc(a, b); d) mdc(b, c); e) mmc(a, c).
1. Dados 2. Seja
c = 24 .192 .71,
determine:
a N. mdc(a, a + 1); mdc(a, a + 2)? mdc(a, a + 6)? o mdc(a, 3a + 5)?
a) Determine o
b) Quais as possibilidades para o c) Quais as possibilidades para o d) Quais as possibilidades para
3. Diga quais nmeros tm mdc e mmc iguais. 4. Determine todos os possveis nmeros naturais a)
tais que:
mmc(n, 54) = 54;
b) mmc(n,26) = 26. 5. Ache todos os possveis pares de nmeros cujo produto 2160 e o mdc 20. 6. Os planetas Jpiter, Saturno e Urano tm perodo de translao em torno do Sol de aproximadamente 12, 30 e 84 anos, respectivamente. Qua nto tempo decorrer, depois de uma observao, para que eles voltem a ocupar simultaneamente as mesmas posies em que se encontram no momento de observao? 7. O mmc de dois nmeros naturais 300. Dividimos o mmc por seu produto vale 50. Determine todos os pares de nmeros
b,
os quocientes obtidos so tais que
que satisfazem estas condies.
8. Trs peas de tecido medem respectivamente 180 m, 252 m e 324 m de comprimento. Pretende-se dividir em retalhos de igual comprimento. Qual dever ser esse comprimento de modo que o nmero de retalhos seja o menor possvel? Em quantos pedaos as peas sero divididas? 9. Considere dois nmeros
a e b nmeros naturais no primos entre a, b so primos entre si se mdc(a, b) = 1).
si, cujo produto 240. Determine
mdc(a, b).
(obs.:
25
Captulo 1.
26
Captulo 2
Os Nmeros Reais
Em uma longa e hesitante evoluo, o zero, os inteiros negativos e as fraes foram gradualmente aceitos no mesmo nvel de importncia que os inteiros positivos, e hoje as regras de operao com estes nmeros so dominadas pela mdia das crianas com idade escolar. Porm para adquirir completa liberdade em operaes algbricas, devemos ir alm e incluir quantidades irracionais e complexas no conceito de nmero". Embora tais extenses do conceito de nmero natural tenham estado em uso por sculos e se encontrarem na base de toda a Matemtica moderna, apenas em poca recente foram postas em bases logicamente seguras. No que se segue, faremos um relato deste desenvolvimento.
2.0.1 Nmeros Racionais como Instrumento de Medida

Os inteiros so abstraes do processo de contar colees nitas de objetos. Porm na vida diria, precisamos no apenas contar objetos individuais, mas tambm medir quantidades tais como comprimento, reas, pesos e tempos. Se desejamos operar livremente com as medidas destas quantidades, que so capazes de subdivises arbitrariamente pequenas, necessrio ampliar o domnio da Aritmtica para alm dos inteiros. passo consiste em reduzir o problema de medir ao problema de contar. do caso qual atribuimos a medida a quantidade a ser medida. entre O primeiro Em primeiro lugar, escolhemos, de
maneira bastante arbitrria, a unidade de medida - p, jarda, polegada, libra grama ou segundo, dependendo
1.
Em seguida, contamos o nmero destas unidades que juntas, construiro
Uma dada massa de chumbo pode pesar exatamente
54
quilos.
Mas, de modo
geral, o processo de contar unidades no suciente, pois no podemos dizer precisamente o que um peso
53
54
quilos, s podemos dizer que ele esta entre estas duas unidades de medida. Quando isto ocorre, partes iguais, como por exemplo um quilo que dividido em
damos um outro passo e introduzimos novas subunidades, obtidas mediante a diviso da unidade original em um nmero em
n de
1000 gramas
e um metro dividido e se tomarmos uma
100
centmetros ou uma hora em 60 minutos. No simbolismo da Matemtica, entretanto, uma subunidade
obtida pela diviso da unidade original em quantidade
partes iguais representada pelo smbolo
1/n
destas subunidades denotamos por
m/n,
(este smbolo denominado frao ou razo ). Quando,
so nmeros naturais, o smbolo
m/n
denominado de nmero racional.
Podemos chamar de nmeros estes smbolos porque eles obedecem s mesmas leis que orientam as operaes com os nmeros naturais. Para este m denimos a adio, multiplicao e igualdade de nmeros racionais pelas conhecidas expresses:
c ad + bc a + = , b d bd
abaixo:
a c ac = , b d bd
a = 1, com a = 0, a
a c = b d
ad = bc 0.
Veja os exemplos
sendo que a,b,c,d inteiros quaisquer, desde que o denominador de cada expresso no seja
2 4 25+34 22 + = = , 3 5 35 15
2 4 24 8 = = , 3 5 35 15
3 = 1, 3
8 6 2 = = 12 9 3
Vale lembrar que tais denies so impostas a ns se quisermos utilizar os nmeros racionais como medidas e mais, como base nestas denies podemos mostrar que as leis fundamentais da Aritmtica dos nmeros naturais continuam vlidas no domnio dos nmeros racionais:
27
Captulo 2.
Os Nmeros Reais
p+q =q+p p + (q + r) = (p + q) + r pq = qp p(qr) = (pq)r p(q + r) = pq + pr
(lei comutativa da adio) (lei associativa da adio) (lei comutativa da multiplicao) (lei associativa da multiplicao) (lei distributiva)
Por exemplo: a prova da lei comutativa da adio para fraes apresentada pelas igualdades
c ad + bc cb + da c a a + = = = + b d bd db d b
das quais o primeiro e ltimo sinais de igualdade correspondem as denies feitas anteriormente, enquanto
o do meio uma consequncia das leis comutativas da adio e da multiplicao de nmeros naturais .
2.0.2 Necessidade Aritmtica dos Nmeros Racionais

Alm da razo prtica", a introduo dos nmeros racionais tem outra mais intrnseca que discutiremos agora de maneira bastante independente da anterior e que possui um carter muito mais matemtico e profundo. Na aritmtica comum dos nmeros naturais podemos sempre realizar as duas operaes fundamentais: adio e multiplicao. Porm, as operaes"inversas de subtrao e diviso nem sempre so possveis. A diferena
b a de dois inteiros a,b um nmero inteiro c de tal modo que a + c = b; isto , trata-se da soluo da equao a + x = b, mas se estamos falando apenas em nmeros naturais o smbolo b a tem um signicado apenas se b > a, porque somente assim a equao a + x = b tem um nmero natural x como soluo. Um grande passo foi dado no sentido remover esta restrio quando se introduziu do smbolo 0, denindo-se a a = 0 e mais importante ainda foi quando, graas a introduo dos smbolos 1, 2, 3, . . . , juntamente com a denio b a = (a b)
para o caso de
b < a,
assegurou-se que a subtrao poderia ser realizada sem restries no domnio dos in-
teiros positivos e negativos. Para incluir os novos smbolos
1, 2, 3, . . . ,
em uma Aritmtica ampliada que
abrangesse tanto inteiros positivos como negativos, devemos naturalmente denir operaes com eles de tal forma que as regras originais de operaes aritmticas sejam preservadas. Por exemplo, a regra
(1)(1) = (1)
denida para a multiplicao de inteiros negativos uma consequncia do nosso desejo de preservar a lei distributiva
a(b + c) = ab + ac. Porque se tivssemos determinado que (1)(1) = (1), ento, ao denirmos a = 1, b = 1, c = 1, deveriamos ter tido 1(1 1) = 1 1 = 2, enquanto que, por outro lado, temos efetivamente 1(1 1) = 1 0 = 0. Os matemticos levaram muito tempo para compreender que a regra de
sinais, juntamente com todas as outras denies que se referem aos inteiros negativos e fraes, no pode ser
provada. Estas denies so criadas por ns para alcanarmos liberdade nas operaes, preservando ao mesmo tempo as leis fundamentais da Aritmtica. Da mesma forma que a introduo dos inteiros negativos e do zero abre o caminho para a subtrao sem restries, a introduo dos nmeros fracionrios remove o obstculo aritmtico anlogo a diviso. O quociente
x = b/a
de dois inteiros
b,
denido pela equao
ax = b
existe como um inteiro somente se exemplo, se regra de
a for um fator de b (b divisvel por a). Se este no for o caso, como por a = 2, b = 3, simplesmente introduzimos um novo smbolo b/a que chamamos de frao, sugeito que a(b/a) = b de modo que b/a seja soluo da equao em destaque acima por denio". A
inveno das fraes como novos smbolos numricos torna a diviso possvel quase sem restrio, este quase se deve ao fato de no denirmos a diviso por zero. O signicado puramente aritmtico do sistema de todos os nmeros racionais - inteiros e fraes, positivos e negativos - ca agora evidente. Com efeito, neste domnio de nmero ampliado, no apenas as leis formais: associativa, comutativa e distributiva prevalecem, mas as equaes
x = ba
x = b/a,
sem restrio, desde que no ltimo caso
a + x = b e ax = b agora tm solues, a = 0. Em outras palavras, no domnio dos
1 Note aqui como contruda a matemtica! S podemos fazer esta demonstrao usando propriedades j denidas no conjunto numrico original ,ou seja, Naturais
28
Captulo 2.
Os Nmeros Reais
nmeros racionais as chamadas operaes racionais - adio, subtrao, multiplicao e diviso - podem ser realizadas sem restries e todas elas sempre resultaram em um nmero deste conjunto. Ampliar o domnio com a introduo de novos smbolos, de tal forma que as leis vlidas para o domnio original prevaleam no domnio maior um aspecto do processo matemtico caracterizado como generalizao. A generalizao dos nmeros naturais aos racionais satisfaz tanto a necessidade terica de afastar as restries na subtrao e na diviso, quanto a necessidade prtica de nmeros para expressar os resultados de medidas. Hoje em dia lidamos com os nmeros
0, 2, 3/4
, por exemplo, de forma muito natural, mas difcil acreditar A inerente tendncia
que at o sculo XVII no eram geralmente creditados como a mesma legitimidade que a dos inteiros positivos, e que eram utilizados, quando necessrio, com uma certa dose de dvida e apreenso. humana a apegar-se ao concreto", conforme exemplicado pelos nmeros naturais, foi responsvel por esta lentido em dar um passo inevitvel. Somente na esfera do abstrato um sistema satisfatrio de aritmtica pode ser criado.
2.1
Nmeros e Geometria
Existem, em Matemtica, conceitos que parecem muito simples a uma viso supercial, mas que, submetidos a uma anlise mais cuidadosa, revelam aspectos verdadeiramente surpreendentes. Vamos tratar aqui da reta na sua representao numrica em termos das coordenadas de seus pontos. Para mostrar que esses conceitos de reta e de nmero no tm uma simplicidade to inocente como parecem revelar a uma viso menos profunda. Exploremos alguns fatos notveis e inesperados, que esto ligados primeira grande crise do desenvolvimento da Matemtica, ocorrida no nal do 5.
sculo a.C.
Uma questo com que lidavam os matemticos gregos daquela poca era a de comparar grandezas da mesma espcie, como dois segmentos de reta, duas reas ou dois volumes. No caso de dois segmentos retilneos
AB e m AB o nmero racional , signicava para eles (e ainda signica para ns) que existia CD n um terceiro segmento EF tal que AB fosse m vezes EF e CD fosse n vezes esse mesmo segmento EF . Na Fig. CD,
dizer que a razo 1 ilustramos essa situao com
m=8
n = 5.
No tempo de Pitgoras (580 - 500 a.C. aproximadamente) - e mesmo durante boa parte do 5 . segmentos vezes em
sculo a.C.
- pensava-se que os nmeros racionais fossem sucientes para comparar segmentos de reta; isto , dados dois
AB e CD, seria sempre possvel encontrar um terceiro segmento EF contido um nmero inteiro de AB e outro nmero inteiro de vezes em CD, situao esta que descrevemos dizendo que EF um submltiplo comum de AB e CD . Uma simples reexo revela que essa uma idia muito razovel. Anal, se EF no serve, podemos imaginar um segmento menor, outro menor ainda, e assim por diante. Nossa intuio geomtrica parece dizer-nos que h de existir um certo segmento EF , talvez muito pequeno, mas satisfazendo aos propsitos desejados. Na Fig. 2 ilustramos uma situao com segmento EF bem menor que o da Fig. 1. O leitor deve ir muito alm, imaginando um segmento EF to pequeno que nem possa mais desenhar, para se convencer, pela sua intuio geomtrica, da possibilidade de sempre encontrar um submltiplo comum de AB e CD .
Dois segmentos nessas condies so ditos comensurveis, justamente por ser possvel med-los ao mesmo tempo, com a mesma unidade
EF
(faremos uma denio mais formal na seo 3).
Entretanto, no verdade que
dois segmentos quaisquer sejam sempre comensurveis. Em outras palavras, existem segmentos 29
AB
CD
sem
Captulo 2.
Os Nmeros Reais
unidade comum
EF ,
os chamados segmentos incomensurveis. Esse um fato que contraria nossa intuio ge-
omtrica, e por isso mesmo a descoberta de grandezas incomensurveis na Antigidade representou um momento de crise no desenvolvimento da Matemtica. Foram os prprios pitagricos que descobriram grandezas incomensurveis, provavelmente entre 450 e 400 a.C.; e, ao que tudo indica, isto se fez atravs de um argumento geomtrico, como o que apresentaremos a seguir, demonstrando que o lado e a diagonal de um quadrado so segmentos incomensurveis.
Na Fig. 3 representamos um quadrado com diagonal comensurveis. de sorte que hipotenusa Portanto a seguinte construo: traamos o arco
= AB
e lado
= AC .
Suponhamos que
sejam
Ento existir um terceiro segmento que seja submltiplo comum de
Fazemos agora
CD com centro em A e o segmento ED tangente a esse arco em D, AD = AC . Ento, nos tringulos retngulos ACE e ADE , os catetos AC e AD so iguais e a AE comum, logo so tambm iguais os catetos CE e DE (= BD). = AB = AD + BD = + BD = BC = BE + EC = BE + BD
ou seja
= + BD = BE + BD
Como o segmento submltiplo comum de seja submltiplo comum de
(2.1) (2.2)
conclumos, por (2.1), que tambm submltiplo de
BD.
Por
(2.1) e por (2.2), segue-se que tambm submltiplo de
BE .
Provamos assim que se houver um segmento que
= AB
= AC ,
ento o mesmo segmento
BD,
segmentos esses que so a diagonal e o lado do quadrado
que nos permitiu passar do quadrado original ao quadrado
ser submltiplo comum de BE e BDEF . Ora, a mesma construo geomtrica BDEF pode ser repetida com este ltimo para
chegarmos a um quadrado menor ainda; e assim por diante, innidamente. Esses quadrados vo se tornando arbitrariamente pequenos nesse processo, pois, como fcil ver, as dimenses de cada quadrado diminuem em mais da metade quando passamos de um deles a seu sucessor. Dessa maneira, provamos que o segmento dever ser submltiplo comum do lado e da diagonal de um quadrado to pequeno quanto desejemos. Evidentemente, isso um absurdo! Somos, pois, levados a rejeitar a armao inicial de que o lado sejam comensurveis. Conclumos que o lado e a diagonal de qualquer quadrado so grandezas incomensurveis, como queramos demonstrar. A descoberta dos incomensurveis representou, no 5 . sculo a.C., uma derrota para os pitagricos. De fato, para eles o nmero era a essncia de tudo. Eles acreditavam na possibilidade de explicar todos os fenmenos do mundo sensvel em termos dos nmeros e de suas relaes, tanto na Geometria como na Msica, na Astronomia ou na Fsica, enm, o nmero seria a essncia ltima do ser e de todos os fenmenos. Mas por nmero eles entendiam apenas o que chamamos hoje de nmeros naturais, ou inteiros positivos: 1, 2, 3, 4, .... Nem as fraes eram nmeros, j que elas apareciam como relaes entre grandezas da mesma espcie. Agora que haviam sido descobertas grandezas incomensurveis, estava claro que os nmeros (naturais) eram insucientes at mesmo para denir a razo entre duas grandezas, o que se constitua num srio entrave Filosoa Pitagrica. Ao mesmo tempo em que essas coisas aconteciam, outros argumentos propostos pelos lsofos da poca dentre os quais os de Zeno so os mais famosos - tambm apontavam diculdades na suposta harmonia entre a Geometria e os nmeros. Tudo isso culminou numa crise no desenvolvimento da Matemtica, crise essa que 30
AC
e a diagonal
AB
do quadrado original
Captulo 2.
Os Nmeros Reais
s foi denitivamente superada com a criao da teoria dos nmeros reais (racionais e irracionais) no sculo passado, devido, sobretudo aos trabalhos do matemtico alemo Richard Dedekind (1831-1916). Uma conseqncia da existncia de grandezas incomensurveis a existncia de pontos na reta sem coordenadas racionais.
De fato, com referncia Fig. 4, basta tomar
OP = AO, onde AO a diagonal de um quadrado de lado unitrio

OP OU como um nmero racional.
OU .
Como
OP
OU
so incomensurveis, no possvel expressar a razo
Que nmero seria a coordenada de
P?
Pelo teorema de Pitgoras,
OA2 = OU 2 + U A2
Como
AO = OP
U A = OU = 1,
obtemos
OP 2 = 2OU 2 = 2
ou seja
OP =
essa a coordenada de
P,
tomando
OU
como unidade de comprimento.
interessante analisar essas questes do ponto de vista moderno dos nmeros como coordenadas dos pontos de uma reta. Para maior simplicidade, vamos restringir-nos apenas a uma semi-reta
OU ,
tomando o segmento
OU
como unidade de comprimento (Fig.5).
Ento, todo ponto
da semi-reta, que no seja a origem
Evidentemente, se todos os pares de racionais no-negativos para caracterizar inteiros,
m0
OP O, tem coordenada positiva x, que a razo OU . segmentos OU e OP fossem comensurveis, bastariam os nmeros m os pontos da semi-reta, isto , os nmeros da forma n , com m e n
n > 0.
E bom observar que isso condiz muito bem com nossa intuio geomtrica: anal, Assim, entre os pontos
esses nmeros cam densamente distribudos ao longo da semi-reta, de tal forma que entre dois deles h sempre uma innidade de nmeros do mesmo tipo. nmeros do tipo
de coordenadas
existem
7+
com
n 10
1 10 cada subintervalos, cada um de comprimento 0, 01; ou 1000
variando de
9.
Isto porque dividimos o intervalo
AB
em
10
subintervalos de comprimento
um (Fig. 6). Mas podemos dividir esse intervalo em subintervalos, cada um de comprimento
100
0, 001;
e assim por diante. encontraremos
Se, digamos, adotarmos a diviso em
1.000.000
de subintervalos iguais, entre
999.999
pontos com coordenadas racionais do tipo
7+
n 1000000
31
Captulo 2.
Os Nmeros Reais
com
variando de
at
999999.
Na Fig. 6 ilustramos um desses pontos, aquele que tem coordenada
7, 630598.
Pois bem, vamos conar - ainda que provisoriamente - na suposio de que todos os pontos da semi-reta tenham coordenadas racionais e ver onde isso nos leva. Uma primeira conseqncia que os pontos da semi-reta formam um conjunto enumervel (Ver atividade 5), pois o conjunto dos nmeros racionais enumervel. Vimos
r1 = 1, r2 =
como ilustra a Fig. 7.
1 1 , r3 = 2, r4 = , r5 = 3, ..., 2 3
Faremos agora uma cobertura da semi-reta por meio de segmentos, da seguinte maneira: cobrimos o ponto
c c 2 , centrado em r1 ; cobrimos r2 com um segmento de comprimento 22 , c centrado em r2 ; fazemos o mesmo com r3 , utilizando agora um segmento de comprimento 3 ; com r4 utilizamos 2 c um segmento de comprimento 4 ; e assim por diante (Fig. 8). Dessa maneira a semi-reta car toda coberta 2 com uma famlia innita de segmentos.
r1
com um segmento de comprimento
Vamos agora somar os comprimentos dos segmentos dessa famlia. Por simplicidade - e para enfatizar a visualizao geomtrica - colocamos os segmentos em la, um em seguida ao outro e na ordem em que aparecem, como ilustra a Fig. 9. Isso o bastante para nos convencer de que a soma de todos os seus comprimentos exatamente igual a
c,
pois comeamos com um segmento de comprimento
c 2 , adicionamos sua metade, depois a
metade deste ltimo e assim por diante.
O que acabamos de demonstrar uma impossibilidade! Certamente no possvel cobrir a semi-reta com um a famlia de segmentos cuja soma total dos comprimentos seja um nmero nito
c!
(E o nmero
arbitrrio!)
Anal, a semi-reta tem comprimento innito! Para sairmos dessa contradio temos de voltar atrs em nossa hiptese inicial de que os pontos da reta numrica tm todos eles coordenadas racionais. Em outras palavras, os nmeros racionais so insucientes para marcar todos os pontos de uma reta; ou ainda, em termos mais inteligveis aos gregos da Antigidade, existem segmentos segmento
AB
CD
para os quais impossvel encontrar um
EF
que seja submltiplo comum de
AB
CD.
Como se v, acabamos de estabelecer a existncia de segmentos incomensurveis com um raciocnio tpico da Anlise Moderna! Ele certamente causaria, na antigidade, tanta controvrsia quanto causaram os famosos argumentos de Zeno. Talvez mais ainda, pois os argumentos de Zeno foram rebatidos por Aristteles que, atravs de seus escritos, f-los chegar at ns. Mas como rebater o argumento que demos acima sobre a cobertura dos pontos de coordenadas racionais? Seria necessrio admitir a existncia de uma innidade muito maior (uma innidade no enumervel) de pontos sem coordenadas racionais! claro que isto seria totalmente inaceitvel para quem j tinha srias objees ao innito enumervel. Mesmo para ns hoje muito surpreendente que 32
Captulo 2.
Os Nmeros Reais
se possa cobrir todos os pontos de coordenadas racionais numa reta com uma famlia de segmentos cuja soma total dos comprimentos seja to pequena quanto desejemos! Esses pontos da reta sem coordenadas racionais tm por coordenadas nmeros irracionais (desde que esses nmeros sejam criados!) e
um deles, como decorre do argumento que demos antes referente Fig.
4.
No entanto, para completar essa idia, vamos reproduzir aqui a demonstrao desse fato com um argumento puramente numrico e bem conhecido. Comeamos supondo que existisse uma frao irredutvel
m n tal que
2=
m n . Ento
2=
daqui segue-se que
m2 n2
portanto
m2 = 2n2 m,
isto ,
m2
um nmero par, portanto o mesmo verdade para
m = 2r,
sendo
outro
nmero inteiro. Substituindo
m = 2r
em
m2 = 2n2 4r2 = 2n2
obtemos portanto
n2 = 2r2
n2 nmero par, logo n tambm par. Chegamos a um absurdo, pois m n frao irredutvel, no sendo possvel que m e n sejam ambos pares. Somos, assim, forados a rejeitar a suposio inicial de que 2 seja um nmero racional m . n
Mas esta ltima relao nos diz que A demonstrao que acabamos de dar est baseada num argumento que, segundo Aristteles, teria sido usado na descoberta de grandezas incomensurveis. um argumento que encerra um alto grau de abstrao, razo pela qual muitos historiadores da Cincia acreditam que a descoberta dos incomensurveis tenha ocorrido com um raciocnio mais concreto, como o argumento geomtrico da Fig. 3. Demonstraes como as que apresentamos acima, da incomensurabilidade do lado e da diagonal do quadrado, ou da irracionalidade de Antigidade. sosticao.
2,
foram as primeiras demonstraes por reduo ao absurdo que se zeram na
notvel que por volta de 400 a.C. a Matemtica j tivesse alcanado to avanado grau de O mesmo no aconteceu com outras cincias, como a Fsica, que somente no sculo XVII, com
os trabalhos de vrios cientistas, notadamente Galileu e Newton, alcanaria desenvolvimento comparvel ao da Matemtica de dois milnios antes. Finalmente, um ltimo comentrio sobre a crise desencadeada com a descoberta dos incomensurveis. De imediato isso tornou impossvel falar em razo entre duas grandezas quando essas fossem incomensurveis. Havia a necessidade de se inventarem os nmeros irracionais, o que s ocorreu nos tempos modernos. Mas os gregos souberam contornar esse problema, logo na primeira metade do 4 . sculo a.C., e com muita genialidade! Foi Eudoxo (408? inteiros positivos. - 355? a.C.), da escola de Plato, quem desenvolveu, de maneira brilhante, uma teoria das propores, com a qual foi possvel superar a diculdade dos incomensurveis, usando apenas os nmeros
2.2
Eudoxo, Dedeking e os Nmeros Reais
2.2.1 Igualdade de Fraes

Para facilitar o entendimento do que devemos expor, comeamos recordando a denio de igualdade de fraes. Por simplicidade, s lidaremos com nmero positivos (inteiros e fracionrios); no caso dos inteiros, so eles os nmeros naturais 1,2,3,4 etc. As fraes surgem pela insucincia dos nmeros naturais no trato de problemas que envolvem diviso em partes iguais. Torna-se ento necessrio introduzir o conceito de igualdade de fraes, soma, subtrao, etc. Em particular, a igualdade de duas fraes deve traduzir o fato de que elas se reduzem, por simplicao, mesma frao irredutvel. Exemplo:
8 42 4 = = 30 15 2 15 12 43 4 = = 45 15 3 15
de sorte que:
8 12 = 30 45
Denimos ento a igualdade de fraes como segue. 33
Captulo 2.
Os Nmeros Reais
Denio 4 Diz-se que duas fraes m e m so iguais se n n
mn = m n,
isto :
m m mn = m n = n n
No vamos nos alongar numa construo dos nmeros racionais. Basta ter em mente que eles so representados pelas fraes; que fraes iguais representam o mesmo nmero racional.
2.2.2 Razo de Grandezas Comensurveis

Trataremos, em seguida, da denio da razo de duas grandezas da mesma espcie, como segmentos retilneos, reas, volumes, ngulos ou massas, etc. grandezas inteiro Para xar as idias, pensaremos apenas em segmentos retilneos como sendo as grandezas de nossas consideraes. Vejamos pois, como denir a razo
de vezes em
A e B , na hiptese de que elas sejam comensurveis, isto , existe um segmento A e outro nmero inteiro n de vezes em B . Denimos ento a razo
m A B - como sendo o nmero n .
A B de duas tais contido um nmero

de
para
- que
escrevemos na forma
Denio 5 Diz-se que
est para
m na razo n e se escreve:
m A = B n
se existe um segmento
tal que
A = m
B = n .
Esta denio requer alguns comentrios. nmeros, mas segmentos! No entanto, o segmento
a medida de
Em primeiro lugar enfatizamos o fato de que A e B no so A m ser o nmero B n pela denio que demos; m a medida de A com com o mesmo segmento, chamado, ento, a unidade de medida. Em segundo
lugar, temos de nos certicar de que a denio dada tem signicado nico e preciso. Pode muito bem acontecer de haja um outro segmento
e nmeros
tais que: e
A=m
Pela denio dada, a razo de
B=n
m m m n . Nada a objetar, desde que n seja igual a n , isto , m m A acordo com a denio e mn = m n; mas ser isso verdade? E se B n = n , ser verdade que existe tal que A = m e B = n ? Mostraremos a seguir que tudo isto verdade.
para
B seria = m de n
Primeiramente suponhamos as hipteses da primeira pergunta. Obtemos isto ,
nA = n (m) = m (n) = mB ,
nA = mB .
Substituindo vem:
nm = mn
Dondo concluimos que pergunta. Suponha agora as hipteses da segunda pergunta. Obtemos
mn = m n,
ou seja,
m n
m n , que responde armativamente a nossa primeira
nA = mB
como antes.
Dividindo
em ,
segmentos iguais (a um certo
Substituindo-a em donde
) encontramos A = m nA = mB , vem mB = nm . Daqui e da
, que a primeira das relaes que queramos. igualdade de fraes segue-se que
mB = mn
B=n
, que a segunda das relaes que queramos. Fica assim respondida armativamente a segunda
pergunta acima. As demonstraes dos dois pargrafos precedentes mostram que a denio 5 tem signicado nico e preciso. Mostraremos agora em seguida que a denio que demos a mesma (equivalente) que a denio abaixo:
Denio 6 Diz-se que
est para
m na razo n se
nA = mB ,
isto :
A m = nA = mB B n m e n tais A em m segmentos iguais a um certo segmento : A = m . Daqui e da relao anterior segue-se que nm = mB ; logo, B = n . Isto completa a demonstrao de que denio 6 = denio 5. Como j provamos que denio 5 = denio 6, ca estabelecida a equivalncia das duas
Vamos vericar que a denio 6 implica na denio 5. Suponha que existam nmeros inteiros que
nA = mB .
Em seguida dividimos
denies. At aqui temos considerado razes de grandezas no pressuposto de que elas sejam comensurveis. Antes de passarmos ao caso incomensurvel, vamos ilustrar a utilizao dessas idias na demonstrao de um importante teorema da Geometria Plana: 34
Captulo 2.
Os Nmeros Reais
Teorema 3 (Teorema de Tales) Num mesmo plano trs retas paralelas determinam em duas retas transversais segmentos proporcionais. Isto signica, de acordo com a gura 1, que:
PQ P Q = QR QR
Demonstrao: Faremos a demonstrao desse teorema como se todos os segmentos fossem comensurveis.
P Q e QR, de sorte que existem inteiros m e n tais que P Q = m e QR = n . P S = ST = T U = ... = , como ilustra a gura 1, e traamos as retas SS , T T , U U , ..., todas paralelas a P P . A seguir traamos as retas P V , S X , T Y , ..., paralelas a P Q. fcil vericar que os tringulos P V S , S X T , T Y U , ... so todos iguais (congruentes) entre si, de sorte que os segmentos P S , S T , T U , ... so tambm iguais a um mesmo segmento . Segue-se ento que P Q = m , e de modo anlogo se prova que Q R = n ; portanto:
Seja um submltiplo comum de marcamos Sobre
PQ
PQ P Q m = = QR QR n
2.2.3 A denio de Eudoxo

O Teorema de Tales de importncia fundamental em Geometria Plana, pois dele depende toda a teoria sobre semelhana de guras; em particular, os teoremas sobre semelhana de tringulos. Mas sua demonstrao, dada acima, pressupe, como vimos, que todos os segmentos sejam comensurveis. A descoberta dos incomensurveis, na antiguidade, solapou as bases dessa teoria e de outras mais, precipitando uma crise de fundamentos, a primeira a ocorrer na Histria da Matemtica. Era preciso encontrar uma sada, um modo de demonstrar teoremas como o de Tales, mesmo que os segmentos envolvidos fossem incomensurveis. Explicaremos agora como Eudoxo deniu a igualdade de duas razes
B, C
numrico razo
AeB A quando A e B so comensurveis. Eudoxo abre mo disso no caso incomensurvel. Para B A C ele, o que realmente importa achar um meio de exprimir a igualdade de duas razes, B e D , mesmo que A C nenhuma delas seja um nmero! Para isto notamos, da def. 3, na hiptese de comensurabilidade, B = D o mesmo que escrever que dados os nmeros m e n, ento:
e fossem incomensurveis. Embora
A C B e D , mesmo que os segmentos A, fossem segmentos e no nmeros, a def. 3 atribui signicado
nA = mB nC = mD
Acontece que, se
forem incomensurveis, igualdades do tipo
nA = mB
nunca ocorrero! Todavia,
dados dois nmeros inteiros quaisquer
n,
podemos certamente testar se: ou ou
nA > mB , nA = mB nC > mD, nC = mD

survel) como segue: 35
nA < mB nC < mD
Pois bem, esse teste utilizado pra denir igualdade de razes (tanto no caso comensurvel como no incomen-
Captulo 2.
Os Nmeros Reais
Denio 7 Dados quatro segmentos A, B , C e D , diz que A est para B assim como A C na nossa notao, B = D ) se, quaisquer que sejam os nmeros m e n, ento
est para
(isto ,
nA > mB nC > mD nA = mB nC = mD nA < mB nC < mD

Esta denio merece vrios comentrios. Antes, porm, mostraremos como utiliz-la na demonstrao do dividimos
m e n quaisquer, P Q em m partes iguais a um certo segmento , de sorte que P Q = m . Ao longo de QR marcamos n segmentos , perfazendo o segmento QS (g. 2), isto , QS = n . claro ento que P Q = m , ou seja, QS n n P Q = m QS . Pode ser que o ponto S caia entre Q e R, exatamente em R, ou alm de R. Vamos supor a primeira destas
Teorema de Tales, mesmo que os segmentos envolvidos sejam incomensurveis. Para isso, dados hipteses, como ilustra a g. 2.
Ento:
n P Q = m QS < m QR
Traando, a seguir, a reta
P Q =
mn,
ou seja,
SS paralela a P P , obtemos, como na demonstrao anterior: n P Q = m Q S ; portanto, n P Q = m Q S < m Q R . Fica assim n P Q < m QR = n P Q < m Q R
provado que:
o raciocnio o mesmo para provar a recproca desta ltima implicao. Isto completa a demonstrao de que:
n P Q < m QR n P Q < m Q R
De modo anlogo se demonstra que:
n P Q > m QR n P Q > m Q R
e a demonstrao de
n P Q = m QR n P Q = m Q R
a mesma da verso anterior do Teorema de Tales. Da denio dada e das equaes obtidas temos que:
PQ P Q = QR QR
2.2.4 Dedekind e os Nmeros Reais

A denio 7 encerra muita engenhosidade. Com efeito, admirvel ter ocorrido a algum, h quase 2.400 anos, a idia de denir a igualdade de razes mesmo quando no se pudessem identicar essas razes com nmeros. E como costuma acontecer com as idias geniais, ela ao mesmo tempo simples, razovel e fecunda. Com ela foi possvel construir toda a teoria das propores e resolver uma grave crise nos fundamentos da matemtica. E quando, no sculo XIX, quase 2.300 anos mais tarde, Dedekind elaborou uma teoria dos nmeros reais, ele foi buscar sua inspirao na denio 7 de Eudoxo! Para bem entendermos isso, examinemos cuidadosamente essa denio. Ela exige que consideremos todas as fraes ou
nA mB .
m n e com elas faamos testes para saber se nA mB m Isto leva a uma separao das fraes em duas classes: a classe A1 das fraes n tais que
36
Captulo 2.
Os Nmeros Reais
nA mB
outras classes
A2 daquelas para as quais nA > mB . Podemos fazer outra separao das fraes em duas A2 , utilizando os testes nC mD e nC > mD, respectivamente. Dedekind percebeu que a A C denio de igualdade de razes B e D , dada por Eudoxo, correspondia coincidncia das classes A1 e A1 e A das classes A2 e A2 . No fundo, a denio de Eudoxo associa a cada razo B um par de classes de fraes A1 e A2 . Este par de classes o que Dedekind chama de corte e que ele utiliza para denir nmero real. 2 o par de classes assim descrito: A1 o Por exemplo, o corte que dene o nmero real (irracional) m m 2 conjunto de todas as fraes < 2; so as razes quadradas de 2 por falta, como 1 ; 1,1 ; 1,41 ; n tais que n
e a classe
A1
1,413; ... E 1,417 ; ...
A2
constitui-se das fraes
m n tais que
m 2 n
> 2;
so as razes por excesso, como 5 ; 2 ; 1,5 ; 1,48 ;
Escrevendo em 1887, o prprio Dedekind identica a fonte de sua inspirao: ... e se interpretamos nmero
real como razo de duas grandezas, h de se convir que tal interpretao j aparece de maneira bem clara na clebre denio dada por Euclides sobre a igualdade de fraes. A reside a origem de minha teoria, bem como a de Bertrand e muitas outras tentativas de construir os fundamentos dos nmeros reais".
A citao feita por Dedekind - Elementos, V, 5 - refere-se ao livro V dos Elementos", de Euclides, denio 7, que a denio de Eudoxo. A ttulo de curiosidade, a seguir , a denio como se encontra nos Elementos:
Diz-se que (quatro) grandezas esto na mesma razo, a primeira para a segunda e a terceira para a quarta, quando, quaisquer que sejam os equimltiplos que se tomem da primeira e da terceira (nA e que sejam os equimltiplos da segunda e da quarta (mB e
nC ),
e quaisquer
mD),
os primeiros igualmente excedem, so iguais a
ou menores do que os ltimos, tomados, respectivamente, na ordem correspondente.

Inserimos os parnteses nesta denio para facilitar o entendimento. O leitor no deve se esquecer de que na poca em que ela foi escrita - e por muitos sculos depois - era assim que se fazia matemtica: Muita escrita e pouca notao, o que tornava muito penoso o raciocnio. Esta mais razo para adimirarmos ainda mais os efeitos dos matemticos da antiguidade.
2.2.5 A Matemtica como Geometria e a Volta a Pitgoras

Como j notamos, a teoria de Eudoxo foi decisiva para resolver a primeira crise que ocorreu nos fundamentos da matemtica. E, como vimos, a soluo ocorreu por um artifcio que consistiu em evitar nmeros, j que estes se revelaram insucientes para denir razes de duas grandezas. Isto signicou, na Histria da Matemtica, um desvio de nfase: o ideal pitagrico de reduzir tudo aos nmeros cedia lugar aos fatos geomtricos. Falava-se agora em razo de segmentos, reas, volumes, ngulos, etc, sem que tais razes tivessem necessariamente medida numrica. A matemtica passa a ser Geometria, tanto que Plato proclama que Deus Geometriza sempre"e no prtico de sua Academia manda escrever: quem no for gemetra no entre". oportuno observar que at muito recentemente os matemticos eram conhecidos como gemetras. Foi s em ns do sculo passado que, os nmeros voltam a ocupar o papel de destaque nos fundamentos Matemtica. Isto ocorreu devido ao j citado trabalho de Dedekind e contribuio de muitos outros matemticos que criaram teorias dos nmeros mais conveis que a prpria axiomtica da geometria. Sem dvida, isto revigorou a antiga crena pitagrica de que os nmeros so o fundamento de tudo.
2.3
Os Irracionais na Natureza
Antes de passarmos para as atividades vamos primeiramente ver que os alguns nmeros irracionais esto por quase toda a natureza, como por exemplo o nmero Phi da Sucesso de Fibonacci, O Nmero de Ouro e o famoso Pi. Divirtam-se!
2.3.1 A Sucesso de Fibonacci na Natureza

J reparou que muitas ores tm 5 ptalas, que ns temos 2 mos, cada uma com 5 dedos e cada dedo divido em 3 partes? ... e que o anans tem 8 diagonais num sentido e 13 no outro? Porque ser que as margaridas tm geralmente 34, 55 ou 89 ptalas? Coincidncia dentes. Os nmeros de Fibonacci podem ser usados para caracterizar diversas propriedades na Natureza. O modo como as sementes esto dispostas no centro de diversas ores um desses exemplos. A Natureza arrumou"as sementes do girassol sem intervalos, na forma mais eciente possvel, formando espirais que tanto curvam para 37 ou no, todos estes nmeros fazem parte da sucesso de Fibonacci
(1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, . . .),
sequncia onde cada termo (a partir do segundo) soma dos dois prece-
Captulo 2.
Os Nmeros Reais
a esquerda como para a direita. O curioso que os nmeros de espirais em cada direco so (quase sempre) nmeros vizinhos na sequncia de Fibonacci. O raio destas espirais varia de espcie para espcie de or. Talvez possa parecer coincidncia mas o que Fibonacci investigou inicialmente (no ano 1202) foi sobre a rapidez que os coelhos poderiam reproduzir-se em circunstncias ideais. O nmero de coelhos que vo existindo ao longo dos meses (supondo que nenhum morre) reproduz a sucesso de Fibonacci. Porm ainda existe algo de muito curioso na sucesso de Fibonacci que ela nos leva a outro nmero muito intrigante, o nmero de ouro.
2.3.2 O Nmero de Ouro

O Nmero de Ouro um nmero irracional misterioso e enigmtico que nos surge numa innidade de elementos da natureza na forma de uma razo, sendo considerada por muitos como uma oferta de Deus ao mundo.
(1 + 5) = 1, 618 . . . 2
A designao adotada para este nmero, (Phi maisculo), a inicial do nome de Fdias que foi escultor e arquiteto encarregado da construo do Prtenon, em Atenas. Um exemplo desta maravilha o fato de que se desenharmos um retngulo cujos lados tenham uma razo ente si igual ao nmero de Ouro este pode ser dividido num quadrado e noutro retngulo em que este tem, tambm ele, a razo entre os dois lados igual ao nmero de Ouro. Este processo pode ser repetido indenidamente mantendo-se a razo constante.
A Histria do Nmero de Ouro

A histria deste enigmtico nmero perde-se na antiguidade. No Egito as pirmides de Giz foram construdas tendo em conta a razo urea. A razo entre a altura de uma face e metade do lado da base da grande pirmide igual ao nmero de ouro. O Papiro de Rhind (Egpcio) refere-se a uma razo sagrada"que se cr ser o nmero de ouro. Esta razo ou seco urea surge em muitas esttuas da antiguidade.
Na Arte e na Arquitetura
Desde tempos remotos que o nmero de ouro aplicado na arte. O retngulo de Ouro reconhecido como sendo a forma visualmente mais equilibrada e harmoniosa. O nmero de ouro traduz a proporo geomtrica mais conhecida e usada na pintura, escultura e arquitetura clssicas, renascentistas e ps-modernistas que se baseia no seguinte princpio: Seccionar um segmento de reta de tal forma que a parte menor esteja para a maior como este est para o todo". Leonardo da Vinci, um homem de cincia armava que a arte deveria manifestar por ela prpria um movimento contnuo e beleza. Para se atingir este m, Leonardo utilizou extensivamente o retngulo de Ouro nas suas obras. Em um dos quadros mais clebres de Leonardo da Vinci: Mona Lisa o retngulo de Ouro est presente em mltiplos locais:
Desenhando um retngulo volta da face o retngulo resultante um retngulo de Ouro; Dividindo este retngulo por uma linha que passe nos olhos, o novo retngulo obtido tambm de Ouro; As dimenses do quadro tambm representam a razo de Ouro;
Sendo que amantes da msica podem car a saber que mesmo Stradivarius utilizava o nmero de Ouro na construo dos seus famosos violinos. Na arquitetura esta razo est presente numa imensido de construes. Desde as pirmides do Egito, passando por vrios templos at aos nossos dias. Um exemplo que ilustra bem a sua utilizao o edifcio das Naes Unidas. Talvez o leitor possa estar se perguntando, mas o que tem a ver a sucesso de Fibonacci e o nmeto de ouro?". Faamos o seguinte: 38
Captulo 2.
Os Nmeros Reais
Vamos ou seja:
dividir
cada
elemento
da
sucesso
(1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, . . .) 1 1 2 1 3 2 5 3 8 5 13 8 21 13 89 55

Estranho no acha???
pelo nmero que vem antes dele,
= = = = = = =
. . .
1 2 1, 5 1, 66 . . . 1, 6 1, 625 1, 615 . . .
1, 618 . . .
2.3.3 Pi
Este nmero que representado habitualmente pela letra grega
o irracional mais famoso da histria, com o
qual se representa a razo constante entre o permetro de qualquer circunferncia e o seu dimetro. Se pensarmos que ao dar a volta Lua seguindo um dos seus crculos mximos, percorremos aproximadamente dividirmos este valor pelo dimetro da Lua que este nmero familiar, aproximadamente
3476
km iremos vericar que esta razo de
10920 km e se 3, 14154200 . . . ,
3, 14.
A histria
Antes de Cristo: A existncia de uma relao constante entre a circunferncia de um crculo e o seu dimetro era conhecida por muitas das civilizaes antigas. Tanto os Babilnios como os Egpcios sabiam que esta razo era maior que
3.
Nas placas de argila dos Babilnios verica-se que estes adotavam uma aproximao grosseira para o valor
de pi, pois consideravam que a razo do crculo era dada por
ou
3+
10 1 < <3+ 71 7
Para fazer a quadratura ( = achar um quadrado de mesma rea ) de um crculo dado, os egpcios usavam a seguinte regra prtica: construa o quadrado cujo lado o segmento que resulta ao cortarmos fora a nona parte do dimetro do crculo dado. Obviamente, essa regra faz uma quadratura aproximada e equivale a tomar
= 4( 8 )2 = 3.16. 9
Essa aproximao muito difundida na literatura do ensino secundrio e primrio e tipicamente ela citada ( erronemente ) como a mais antiga aproximao conhecida para o PI. Existem duas razes para a divulgao desse erro: o grosso da literatura histrica acessvel aos professores do ensino primrio e secundrio obsoleta, nem ao mesmo tomando conhecimento das pesquisas fundamentais de Neugebauer c. 1 930 sobre a matematica mesopotmica; a outra razo a perniciosa inuncia que as fantasias e deturpaes da Etnomatemtica tem tido no ensino elementar. Embora essa aproximao egpcia para o PI no seja a mais antiga e nem a mais exata entre as conhecidas na Antiguidade, ela corresponde a uma regra muito simples, prtica e razoavelmente precisa. Mais importante e interessante perguntar como os egpcios descobriram tal regra. Usando os discos metlicos, ca fcil ver como eles chegaram a tal valor observando as guras abaixo: Obviamente, o quadrado acima faz a quadratura ( aproximada ) do crculo, pois essas duas guras so formadas de
64
discos. Para voc obter a aproximao egpcia do 39
resta voc conseguir explorar a igualdade
Captulo 2.
Os Nmeros Reais
dessas reas levando em conta o valor do dimetro do crculo e o do lado do quadrado expressos em termos do tamanho dos discos. O velho testamento descreve uma bacia circular ou a fuso do mar"feita por Hiram de Tiro. A bacia
descrita como sendo um lago de dez cbitos, de margem a margem, circular, cinco cbitos de fundo, e trinta em redor"o que fazia pi igual a 3. Contudo, neste ponto da histria j se sabia que o pi era maior do que 3, e no h razo para acreditar que o texto bblico tinha a inteno de ser algo mais do que uma descrio casual. Arquimedes
(287/212a.C.)
conseguiu melhorar um pouco a aproximao dada ao nmero pi. Aproximando
a circunferncia por polgonos regulares de 12, 24, 48 e 96 lados, descobre que o valor de pi se encontra limitado pelos seguintes valores:
3+
ou seja,
1 10 < <3+ 71 7
3, 14085 < < 3, 142857,
obtendo uma aproximao com duas casas decimais corretas.
Depois de Cristo
No ano
400
d.C. o livro indiano Paulisha Siddhnta"usa o valor
Chung-Chi (430/501 d.C.) descobre que o valor de pi se encontra entre obteno de pi:
3177/1250 para pi, anos mais tarde, Tsu 3, 1415926 e 3, 1415927. Por volta de
499 d.C., aparece, num tratado indiano sobre matemtica e astronomia intitulado ryabhata", dados para a
Adicione-se
100,
multiplique-se o resultado por
e adicione-se
62.000.
O resultado aproximadamente o
comprimento da circunferncia de dimetro 20.000."
Ludolph Van Ceulen obteve em
(1539/1610),
professor de matemtica e cincias militares na Universidade de Leyden, Os Alemes caram to surpresos com este clculo que durante anos Consta que essa sua aproximao de pi teria sido gravada na pedra
1615 35
casas decimais.
chamaram ao pi o nmero Ludolno.
tumular do autor, pedra essa que se perdeu. Mais interessante ainda o fato de, ainda hoje na Alemanha, por ser frequentemente designado como nmero ludolno.
Sculo XX
A partir do sculo XX, com o auxilio dos computadores e de algoritmos computacionais foi descobrindo um nmero cada vez maior de casas decimais para pi. Em setembro de atingir
1997,
o francs Fabrice Bellard consegue
1.000
bilho de casas decimais para pi, aps
25
dias de clculo intensivo em computadores ligados em
rede atravs da Internet, Embora as pessoas se tenham interessado durante sculos pela razo do crculo, o uso da letra grega
como um smbolo que designa esta razo relativamente recente. O ingls William Jones
(1675/1749)
geralmente reconhecido como o primeiro a usar o smbolo pi para esta razo. 40
Captulo 2.
Os Nmeros Reais
Tente decorar algumas casas do
Para car mais fcil aqui s tem
1400
aps a virgula!.
3.14159265358979323846264338327950288419716939937510582097494459230781640 28620899862803482534211706798214808651328230664709384460955058223172535940 81284811174502841027019385211055596446229489549303819644288109756659334461 28475648233786783165271201909145648566923460348610454326648213393607260249 14127372458700660631558817488152092096282925409171536436789259036001133053 05488204665213841469519415116094330572703657595919530921861173819326117931 05118548074462379962749567351885752724891227938183011949129833673362440656 64308602139494639522473719070217986094370277053921717629317675238467481846 76694051320005681271452635608277857713427577896091736371787214684409012249 53430146549585371050792279689258923542019956112129021960864034418159813629 7747713099605187072113499999983729780499510597317328160963185950244594553 46908302642522308253344685035261931188171010003137838752886587533208381420 61717766914730359825349042875546873115956286388235378759375195778185778053 21712268066130019278766111959092164201989380952572010654858632788659361533 81827968230301952035301852968995773622599413891249721775283479131515574857 2424541506959508295331168617278558890750983817546374649393192550604009277 01671139009848824012858361603563707660104710181942955596198946767837449448 25537977472684710404753464620804668425906949129331367702898915210475216205 6966024058038150193511253382430035587640247496473263914199272604269922796
41
Captulo 2.
Os Nmeros Reais
Atividades Propostas
Atividade-1: Prove que todo nmero racional positivo pode ser escrito como soma de um certo nmero de fraes distintas de numerador 1.
Seja inicialmente a frao
p q
< 1,
logo existe
nN
tal que
p 1 1 < n q n1
Observe que para
n 2,
temos
1 n 1 1 n n 0
Temos ainda

p q
p q
1 n
pnq qn
pn q p 1 = qn q n pn q 1 p + = qn n q
ento existe
Como
pnq qn
<1
mN
tal que
1 p 1 < m q m1
Implicando
1 1 p pnm qn qm + + = qnm m n q
Ns podemos repetir o processo at encontrarmos a frao inicial com uma soma de fraes com numeradores iguais a
1. pn q p 1 1 1 1 1 = < = qn q n n1 n n(n 1) n
Resta ento mostrar que essas fraes so todas distintas;
onde
n 2.
pnq qn escrita como uma soma de fraes de numeradores iguais a 1, todos os denominadores dessas fraes so maiores do que n, mostrando portanto que essas fraes so todas distintas.
Ento quando Seja
p q
> 1,
ento existe
nN 1+
tal que
1 p 1 1 1 1 1 + + ... + < 1 + + + ... + 2 3 n q 2 3 n+1 p 1 1 1 (1 + + + . . . + ) = q 2 3 n p 1 1 1 = (1 + + + . . . + ) + q 2 3 n 1 < n+1 1 < n+1
ento
1+
Em particular,
1 1 1 1 1 + + + ... + + < 2 3 4 n n+1 1 < <1 n+1
Usando o caso anterior para o denominadores so maiores que
, podemos expandi-lo como uma soma nita de fraes unitrias cujos + 1. E assim provamos para o caso p > 1 tambm. q
42
Captulo 2.
Os Nmeros Reais
Atividade-2:
Geoplano Ordenado e o Estudo dos Racionais
A utilizao do geoplano como ferramenta didtica para o ensino de tpicos da geometria bem conhecida, embora haja outras possibilidades de uso desse dispositivo didtico. estudo dos nmeros racionais e de algumas de suas propriedades. percevejos ou alnetes. O geoplano um recurso visual para o A atividade pode ser realizada, com um
geoplano construdo com madeira, cortia ou isopor, em que os pontos da malha so marcados com pregos,
Nmeros Racionais no Geoplano
q=
p q , com p e q inteiros, e 0. Assim, podemos associar a cada nmero racional um par ordenado de inteiros (p, q), o que permitir a
Nmeros racionais so aqueles que podem ser escritos na forma de frao
visualizao desse nmero em um geoplano ordenado (geoplano com marcaes numricas) como o da gura. Sem perda de generalidade, simplicaremos nossa anlise estudando apenas as fraes com numeradores e denominadores positivos em um geoplano , maiores. Por exemplo, na gura, os pontos
3 5 7 4 , 1 e 6 . Veja a gura 1.
88 , lembrando que o estudo torna-se mais interessante em geoplanos 1 A, B , C e D representam, respectivamente, os nmeros racionais 3
Figura 2.1: Nmeros Racionais Utilizando elstico, linha ou barbante, podemos, como exerccio, comear a praticar o uso do geoplano ordenado fazendo as seguintes marcaes: 1. Todas as fraes diferentes de zero com denominador 5 2. Todos os nmeros naturais diferentes de zero 3. Todas as fraes equivalentes a
1 2
Soluo:

As respostas esto ilustradas na gura 2 abaixo.
Complementando o exerccio, podemos observar que: Fraes de mesmo denominador necessariamente esto alinhadas horizontalmente Fraes imprprias esto localizadas ou na diagonal que passa pela origem, ou sua direita Fraes equivalentes necessariamente esto alinhadas entre si e com a origem do geoplano
O geoplano ordenado tambm permite determinar um procedimento para fazer adio de fraes. Por exemplo, para fazer
1 2
2 3 , os passos so: 1 2 2 3
1. Marcamos o conjunto de fraes equivalentes a 2. Marcamos o conjunto de fraes equivalentes a
3. Procuramos fraes dos conjuntos marcados que estejam alinhadas horizontalmente e, nessa mesma linha de alinhamento, encontramos o resultado da operao adicionando os numeradores das fraes de denominador comum
43
Captulo 2.
Os Nmeros Reais
Figura 2.2: Identicao de Nmeros Racionais
Figura 2.3: Adio de Fraes
Atividade-3:
Ordenao dos racionais com auxlio do geoplano.
Uma outra tarefa simples que pode ser feita com o uso do geoplano a ordenao de um subconjunto de
2 1 3 > 2 pela comparao das fraes 4 3 equivalentes 6 e 6 . Outra maneira de vericar isso ver que a inclinao da reta pela origem que corresponde 1 2 frao maior que a inclinao da reta pela origem que corresponde frao . Ou seja, quanto maior a 2 3 inclinao, menor a frao e, de fato, a inclinao da reta o inverso da frao correspondente.
nmeros racionais. Observe, no exemplo anterior, que podemos concluir que
Atividade-4:
Uma oresta"de racionais
Imaginemos agora uma situao em que o geoplano representa uma oresta, sendo cada ponto a representao de uma rvore muito na. Se estivssemos localizados na origem, e olhando na direo da oresta,
3 6 no seria visvel por ter sua frente as 1 2 e . Nessa linha de visada, a nica rvore visvel seria aquela correspondente rvores correspondentes a 4 2 1 frao 2 . Explorando essa idia para outras fraes, podemos dizer que um ponto (p, q) do geoplano visvel
quais rvores seriam visveis? Uma rvore correspondente frao da origem se e somente se
so nmeros primos entre si, o que implica dizer que as rvores visveis so
aquelas representadas por fraes irredutveis
p q , como mostra a gura a seguir:
44
Captulo 2.
Os Nmeros Reais
Figura 2.4: Fraes Irredutveis (rvores visveis)
Atividade-5:
Racionais: um conjunto enumervel
O conjunto dos racionais enumervel, o que signica dizer que podemos estabelecer uma correspondncia biunvoca entre o conjunto dos racionais e o dos nmeros naturais (lembramos mais uma vez que, para efeito de simplicao, estamos trabalhando apenas com os racionais positivos). Uma vez que a representao das rvores visveis a partir da origem indica todas as fraes irredutveis que compem o conjunto dos racionais, podemos utiliz-la para colocar os racionais em la, o que possibilitar estabelecer a bijeo entre e :
Caminho de ordenao de todas as fraes irredutveis a partir de
1 1
Figura 2.5: Enumerao dos Racionais (rvores visveis a partir da origem)
Nesta representao, torna-se intuitiva a seguinte propriedade dos nmeros racionais: Se com
r, s
so racionais
r < s,
ento existe um outro racional
tal que
r<t<s
. Em palavras, entre dois racionais sempre existe
um terceiro racional. No geoplano, essa propriedade se verica pelo fato de haver sempre uma reta ligando a 45
Captulo 2.
Os Nmeros Reais
origem a um ponto de coordenadas inteiras situado entre"as retas correspondentes aos dois nmeros racionais dados. A gura a seguir mostra, por exemplo, a frao
4 1 5 entre 2 e
Figura 2.6: Entre dois racionais existe outro racional
Atividade-6:
Reais: um conjunto no enumervel
Demonstraremos que o conjunto dos nmeros reais nmeros
x [0, 1),
isto ,
0 x < 1,
no enumervel. Ora, os
0x<1
tm uma representao decimal da forma
0, a1 a2 a3 ...
onde
aj
um dos algarismos 0,1,2,3,4,5,6,7,8 ou 9.
Alguns nmeros tm duas representaes desta forma.
Exemplo
1/2
0, 5000...
ou
0, 4999...
Para tais nmeros, escolhemos a representao decimal que termina". Em outras palavras, eliminamos as decimais que a partir de certa ordem todos os elementos so 9. Suponhamos por absurdo agora que os decimais, ou, que d no mesmo, que os nmeros reais do intervalo
[0, 1)
formam um conjunto enumervel:
0, a11 a12 a13 ... 0, a21 a22 a23 ... 0, a31 a32 a33 ...
. . . Agora forme a seguinte decimal:
0, b1 b2 b3 ...
do seguinte modo: todos os claro que
bi 's
so diferentes de 0 ou 9 e
b1 = a11 , b2 = a22 ...
0, b1 b2 b3 ... = 0, an1 an2 an3 ...

para todo
n,
pois
bn = ann .
Logo
0, b1 b2 b3 ...
no est na tabela, o que absurdo.
Atividade-7:
Aproximao de nmeros irracionais
Em um geoplano innito, as rvores visveis da oresta indicariam todos os nmeros racionais. Imaginando um observador localizado na origem do geoplano, e com viso em linha reta de alcance innito, poderamos nos 46
Captulo 2.
Os Nmeros Reais
perguntar: ser que, para qualquer direo que aponte a linha de viso do observador, ele ir enxergar uma rvore? Sabemos que isso no verdade porque existem nmeros que no podem ser escritos como quociente de inteiros: os nmeros irracionais. reta com declividade prximas a Por exemplo, se a linha de viso do observador for representada por uma
2,
que denotaremos
r2 ,
essa reta nunca interceptar uma rvore da oresta. As retas
r2 ,
que passam pela origem e pontos de coordenadas inteiras, tm declividades prximas de
ou seja, os inversos de suas declividades so boas aproximaes racionais para cercada"de aproximaes racionais de
2,
(a linha de declividade est
).
1 1 2 3 5 7 8 Algumas dessas aproximaes cometem erro por excesso, como , , , , 1 2 3 4 5 e outras por falta, como 1 , 2 , 4 5 7 3 , 4 , 5 . Veja a gura 7.
Figura 2.7: Reta com declividade irracional Todas as fraes declividade
p q q cujos inversos p cometem erros por excesso esto localizadas esquerda da reta de
e aquelas cujos inversos cometem erros por falta esto direita dessa reta. Observe na gura
5 2 so boas aproximaes de r2 , por falta e excesso, respectivamente. Suas 7 e 3 4 3 inclinaes so 3 = 1, 4 e 2 = 1, 5 ( 2 1, 41). Num geoplano 20 20 poderemos obter aproximaes melhores, 17 como , em que o erro (por excesso) se d apenas na terceira casa decimal. 12
que as retas que passam por
47
Captulo 2.
Os Nmeros Reais
Atividade-8:
Uma demonstrao geomtrica de que
2 irracional
Esta uma demonstrao da irracionalidade de surabilidade do lado e da diagonal de um quadrado. Comeamos observando que, da igualdade
, extremamente elegante e fundada em argumentos
geomtricos. Aparentemente, o argumento central j fora utilizado pelos gregos na demonstrao da incomen-
2=
p q , obtemos:
p2 = 2q 2 = q 2 + q 2
p q , com p e q nmeros inteiros positivos e primos entre si. Assim, existir um tringulo retngulo issceles de lados inteiros p (hipotenusa) e q
que a relao do Teorema de Pitgoras. Assuma, por absurdo, que
2 =
(catetos). Observe que quaisquer dois tringulos retngulos issceles so semelhantes e, como fator comum, esse tringulo de lados
peq
no possuem
p, q
o menor tringulo retngulo issceles de lados inteiros.
Na gura, que
AD
um arco de circunferncia de raio
e centro
C,
com
D CB .
Toma-se
em
D = 90
. Da segue que
DE
tangente ao arco de circunferncia mencionada e, tambm, que
j que so segmentos tangentes circunferncia traados a partir de um ponto externo. Como que o tringulo
AB de modo EA = ED, B = 45 , segue
EDB
issceles e retngulo.
ED
inteiro, pois:
ED = DB = p q
Tambm
EB
inteiro, pois:
EB = q AE = q ED = q (p q) = 2q p
Assim, o tringulo no ?
que seguiu da suposio
DEB retngulo issceles e possui lados inteiros menores do que p e q . Isso um absurdo 2 = p , com p e q inteiros primos entre si. A concluso que 2 irracional. Bonito, q
Atividade-9: Na Primeira seo enunciamos as propriedades operatrias dos nmeros racionais e provamos a lei comutativa da adio. Prove agora as demais, ou seja,
p + (q + r) = (p + q) + r pq = qp p(qr) = (pq)r p(q + r) = pq + pr
(lei associativa da adio) (lei comutativa da multiplicao) (lei associativa da multiplicao) (lei distributiva)
Atividade-10:
Represente cada um dos seguintes nmeros por uma frao decimal nita.
48
Captulo 2.
Os Nmeros Reais
a)
0, 11999 . . .
b)
2, 99999 . . .
c)
4, 79999 . . .
d)
9, 99999 . . .
Atividade-11:
a)
Represente cada um dos seguintes nmeros por uma frao decimal innita.
b)
0, 73
0, 0999
c)
13
Atividade-12:
distintas.
Quais nmeros racionais
a/b tm duas representaes decimais essencialmente
Atividade-13:
distintas.
Quais nmeros racionais
a/b tm trs representaes decimais essencialmetne
Atividade-14:
Demonstre algebricamente que
3 irracional
Atividade-15:
O nmero
0 irracional?
Atividade-16: Diga se verdadeiro, caso contrario d um exemplo mostrando que falso, ou seja, um contra-exemplo:
a) A soma de dois nmeros racionais sempre um nmero racional. b) A soma de dois nmeros irracionais sempre um nmero irracional. c) Suponha
um nmero irracional qualquer e
um nmero racional diferente de zero. Ento, a adio,
subtrao, multiplicao e diviso de
Tambm so irracionais
Atividade-17:
Encontre o que se pede:
a) Dois nmeros irracionais cuja diferena seja irracional. b) Dois nmeros irracionais cujo produto seja irracional. c) Dois nmeros irracionais cujo quociente seja racional.
49
Captulo 2.
Os Nmeros Reais
50
Captulo 3
Nmeros Complexos
O primeiro matemtico a operar com nmeros complexos (ao invs de rejeit-los simplesmente, como acontecia at ento) foi
Girolamo Cardano (1501-1576). Em certa passagem da Ars Magna, ele escreveu que se
algum procurar dividir
10
em duas partes de modo que seu produto seja
40,
vericar que isto impossvel.
Entretanto, diz Cardano, o problema pode ser assim resolvido:
x + y = 10 xy = 40
Ou seja, isolando-se
na primeira equao
(y = 10 x)
e substituindo na segunda, obtemos
x2 10x + 40 = 0
Aplicando a frmula de Bhskara, encontramos as solues para o problema:
x=5
fcil constatar que tais nmeros somam
15 40.
Embora, a seguir, Cardano tenha
10
e que seu produto
acrescentado que aquele resultado era to sutil quanto intil", devemos creditar a ele a honra de ter sido o primeiro matemtico a fazer algumas operaes com nmeros complexos. Cardano j havia se deparado com essas razes sofsticas ao resolver equaes do 3 a equao:
o grau. Seja, por exemplo,
x3 15x 4 = 0
Por simples vericao, podemos constatar que so
2 +
x = 4 uma de suas razes (as outras duas, menos evidentes,

o grau do tipo
) Entretanto, existe uma frmula para o clculo de equaes do 3
x3 + px + q = 0
Tal frmula, denominada de Frmula de Cardano, a seguinte:
q +
q2 + 2
x=
onde
4p3 27
q2 + 2
4p3 27
p
e
o coeciente do termo que contm
Agora, voltemos nossa equao
x e q , o termo independente. x3 15x 4 = 0. Se tentarmos resolv-la
pela Frmula de Cardano (onde
p = 15
q = 4),
encontraremos
3 3
x=
2+
121 +
121
Ento, camos no apenas na extrao de razes quadradas de nmeros negativos, mas tambm na extrao de razes cbicas de nmeros de natureza desconhecida. Assim, Cardano estava diante de um grande dilema: sabia ele que por uma lado, outro, que do 2
121
no existia e pelo
era soluo da equao. Cardano no encontrou explicao.
Aqui estava uma questo realmente sria e que no poderia simplesmente ser ignorada. Quando, nas equaes
o grau, a frmula de Bhskara levava a razes quadradas de nmeros negativos, era fcil dizer que aquilo
51
Captulo 3.
Nmeros Complexos
indicava a inexistncia de solues. Agora, entretanto, estava-se diante de equaes do 3
o grau com solues
evidentes, mas cuja determinao passava pela extrao de razes quadradas de nmeros negativos. Esta uma constatao surpreendente, pois tudo indicava que os nmeros com que a Matemtica vinha trabalhando h sculos no eram mais sucientes para o estudo da lgebra. Quem tirou a Matemtica desse impasse foi o bolonhs
Rafael Bombelli (c.1530-1579). Os estudos de
Bombelli comearam com a tentativa de conciliar o resultado fornecido pela Frmula de Cardano para a equao
x3 15x 4 = 0
Conforme
com a raiz ele
x = 4,
constatada por simples observao. em 1572 no livro
mesmo
revelou
L'Algebra
3
dell'Arithmetica
,seu mtodo baseou-se no pensamento rude", segundo o qual
deveriam ser nmeros da forma
a+
a
3
2+
parte
Maggiore
121
121
b,
respectivamente. Assim supondo, escreveu:
2+
121 = a +
e
121 = a
e deduziu que
a=2
b = 1,
pois
2+
=2+
e
121
2
Assim
=2
121
x= 2+
resultado que se esperava obter.
1 + 2
1 = 4
Razes quadradas de nmeros negativos continuaram aparecendo nos sculos XVI, XVII, XVIII e no s no estudo de equaes algbricas. O que mais perturbava e desaava o entendimento dos matemticos era que essas razes - na poca, smbolos sem signicado- manipuladas de acordo com as regras usuais da lgebra, forneciam resultados corretos que s vezes no podiam ser obtidos de outra maneira. O mal estar que esses smbolos sem signicado provocaram est reetido nos nomes que lhes foram atribudos: nmeros por
sofsticos",
sem
signicado",
impossveis
(designado
Newton), ctcios ", msticos ", nmeros complexos " ( designado por Gauss), imaginrios" (sendo
Aps os passos iniciais do audacioso italiano, novos matemticos avanaram nas pesquisas, conseguindo
que esses dois ltimos permanecem em uso). resultados que estimularam outros a seguir adiante. Assim, muitos pesquisadores j haviam trabalhado com
Leonhard Euler nasceu em Basilia, Sua, no ano de 1707. Embora tenha tido precursores importantes, Euler o
o assunto quando Euler fez-lhe um ataque nal, deixando pouca coisa a ser descoberta no futuro. matemtico que mais produziu e publicou em todos os tempos, e considerado o matemtico que dominou os Nmeros Complexos. Euler calculava com a facilidade com que os outros respiram..." Dentre suas contribuies, uma nos interessa de imediato: a representao simblica da raiz imaginria da
unidade negativa". o famoso i, signicando a raiz de
1 (i =
1).
Graas a ele, nalmente, depois de quase 200 anos, aprendera-se a extrair razes de nmeros complexos, aquele mistrio que intrigou Bombelli e tantos outros matemticos. Contudo, foi na virada do sculo XVIII para o XIX a descoberta de que esses nmeros admitem uma representao geomtrica. Tal descoberta atribuda a
Caspar Wessel (1745-1818), K.F. Gauss (1777-
1855) e Jean-Robert Argand (1786-1822).

Algebricamente, porm, havia um ponto importante a elucidar: como entender uma soma que as parcelas so entes de espcie diferente? Quem tomou a si essa tarefa foi o irlands
a+bi, considerando
William Rowan Hamilton (1805-1865). Foi num artigo de
1833, apresentado Academia Irlandesa, que Hamilton introduziu a lgebra formal dos nmeros complexos. Estes, segundo sua idia bsica, passavam a ser encarados como pares ordenados
(a, b)
de nmeros reais.
Assim, estavam consolidadas as bases para o desenvolvimento de um gigantesco ramo da Matemtica, com inndveis aplicaes prticas, principalmente na eletrnica: A Teoria dos Nmeros Complexos. 52
Captulo 3.
Nmeros Complexos
3.1
Forma Algbrica dos Nmeros Complexos
Resolvendo a equao
x2 10x + 40 = 0
temos:
Nos Reais esta equao no possui
100 160 2 10 60 x= 2 soluo, pois o (delta ) x= 10
negativo.
Para sugerirmos este problema,
introduziremos um smbolo chamado de unidade imaginria, ele:
i=
Da,
i2 = 1
Agora podemos achar a soluo da nossa equao:
x= x=
como soluo
10 10 2
(1)60 2 (1)15 2
x =5+
Vamos estudar estas razes. Observe que
15i
x =5
15i
um nmero complexo escrito em sua forma algbrica, ou seja,
constitudo de uma parte real e uma parte imaginria. No nosso exemplo, 5 a parte real, e aquela que acompanha o i. Generalizando: um nmero
15
a parte
imaginria. Note que, tanto a a parte real quanto a imaginria so nmeros reais, porm a parte imginria
zC
escrito:
z = a + bi
sendo
Re(z) Im(z)
Note: Se
= =
a b
(parte real de
z) z) b = 0,
temos que
(parte imaginria de
b = 0,
temos que z = a um nmero Real. Se
a=0
z = bi
um nmero
imaginrio puro.
3.2
O Conjunto dos Nmeros Complexos
O conjunto
um conjunto cujos elementos - os nmeros complexos - devem ser tais que possam ser soma-
dos e multiplicados, e tambm possibilitem a extrao de raiz quadrada de um nmero negativo. Logicamente, os nmeros reais precisam ser elementos desse conjunto os nmeros reais no conjunto conjunto
C,
e as operaes de adio e multiplicao feitas sobre
devem ser as mesmas j conhecidas. Note que, se isso no fosse observado o
no seria um subconjunto de
C. 1831
e reforado por Hamilton em
Uma boa maneira de denir esse conjunto foi proposto por Gauss em
1837,
segundo a qual o conjunto dos nmeros complexos um conjunto de pares ordenados de nmeros reais,
em que esto denidas: Igualdade: Adio:
(a, b) = (c, d) a = c
b=d
(a, b) + (c, d) = (a + c, b + d)
53
Captulo 3.
Nmeros Complexos
Multiplicao:
(a, b) (c, d) = (ac bd, ad + bc)
As operaes de adio e multiplicao assim denidas satisfazem as seguintes propriedades (para quaisquer
z, v, w C):
Adio:
A1. Comutativa:
z+v =v+z z + (v + w) = (z + v) + w z0 C, z0 = (0, 0) z C,

tal que:
A2. Associativa:
A3. Elemeto Neutro: Existe
z + z0 = z0 + z = z
tal que:
A4. Inverso Aditivo ou Oposto: para
existe
z C
z + z = z + z = z0 = (0, 0)
Multiplicao:
M1. Comutativa:
zv =vz z (v w) = (z v) w z1 C, z1 = (1, 0) z = (0, 0),

tal que
M2. Associativa:
M3. Elemento Neutro: Existe
z z1 = z1 z = z
tal que:
M4. Inverso Multiplicativo: Para
existe
z C
z z = z z = z1 = (1, 0)
M5. A multiplicao distributiva em relao a adio:
z (v + w) = z v + z w
Como os nmeros complexos
z, v, w so pares de nmeros reais, fazemos a demonstrao de cada propriedade
usando as propriedades de adio e multiplicao dos nmeros reais.
Exemplo:
Dado
z1 = 5 + 3i
z2 = 2 2i,
vamos exemplicar soma e multiplicao nos complexos.
z1 + z2
= = =
(5 + 3i) + (2 2i) (5 + 2) + (3 2)i (7 + i)
z1 z2
= = =
(5 + 3i) (2 2i) 10 10i + 6i + 6 16 4i
54
Captulo 3.
Nmeros Complexos
3.3
Potncias de
i
apresentam um comportamento interesante:
As potncias de
i (i0 ; i1 ; i2 ; i3 ; ...)
i0 i i
1 2
= = = = = =
. . .
1 i 1 ii2 = i(1) = i i2 i2 = (1)(1) = 1 (i2 )2 i = (1)2 i = i
i3 i4 i5
i20
=
. . .
(i2 )10 = (1)10 = 1
Observe que elas assumem apenas 4 valores, e se repetem em ciclos de 4.
Desao: Calcule i1999945347 .
3.4
Representao Geomtrica dos Nmeros Complexos

Plano Complexo, onde os eixos
Representaremos os nmeros complexos em um plano cartesiano chamado representamos a parte imaginria. Por exemplo, o nmero
so denominados eixo real; no qual representamos a parte real do nmero complexo, e eixo imaginrio; que
z = 2 + 3i
representado da seguinte forma:
Podemos associar cada nmero complexo a um vetor
0z .
Observe no grco:
55
Captulo 3.
Nmeros Complexos
Observe que
z1 + z2
a diagonal do paralelogramo formado por
z1 ez2 ,
ou seja, a soma vetorial a qual
corresponde soma algbrica (7
+ i)
efetuada anteriormente.
3.5
Conjugado de um Nmero Complexo
O conjugado de Dado
vem da necessidade de denirmos
1 z . Denotaremos o conjugado de
como
z.
z = a + bi,
seu conjugado da forma
z = a bi
Agora podemos denir
1 z:
1 1 (a bi) (a bi) a b = = 2 =( 2 )( 2 )i z a + bi (a bi) a + b2 a + b2 a + b2

Obs: Multiplicar pelo conjugado equivale a operao de racionalizao nos reais. Responda:
Em que casos temos
z=z
Geometricamente o conjugado de
o seu simtrico em relao ao eixo real.
3.6
Seja
Diviso de Nmeros Complexos
z1 , z2 C, z2 = 0. z2 = 2 2i
O quociente
z1 z2
z1 z 2 z2 z 2
Exemplo 3:
z1 = 5 + i
z1 (5 + 3i) (2 + 2i) (10 + 10i + 6i 6) (4 + 16i) 1 = = = = + 2i z2 (2 2i) (2 + 2i) (4 + 4i 4i + 4) 8 2

56
Captulo 3.
Nmeros Complexos
3.7
Mdulo de um Nmero Complexo
Geometricamente, o mdulo de um nmero complexo a distncia entre ele e a origem, e denotado por
|z|.
Por pitgoras,
|z|2 = a2 + b2 |z| =
Por exemplo, tomando
a2 + b2 34
z1 = 5 + 3i, |z| = 52 + 32 =
3.8
Forma Trigonomtrica dos Nmeros Complexos

forma trigonomtrica.
Alm da forma algbrica, podemos representar um nmero complexo na chamada Para den-la observe que todo nmero Este ngulo dicado por
tem mdulo (|z|) e um argumento ( ).
medido Arg(z).
no sentido anti-horrio, por isso
0 < 360 ,
chamado
argumeto de
e in-
57
Captulo 3.
Nmeros Complexos
Pela trigonometria temos:
cos = sen =
Substituindo em
a a = |z|cos |z| b b = |z|sen |z|
z = a + bi,
temos:
z = |z|cos + |z|sen i z = |z|(cos + i sen)

Exemplo 4:
Escreva
z2 = 2 2i
na forma trigonomtrica.
|z| = tg =
22 + (2)2 =
8=2 2
7 2 = arctg(1) = 2 4 7 7 z = 2 2 cos + i sen 4 4
3.9
Operaes com os Nmeros Complexos na Forma Trigonomtrica
3.9.1 Multiplicao
Consideremos dois nmeros complexos:
z = |z|(cos + isen) w = |w|(cos + isen)

O produto de
zw
dado por:
zw
= |z|(cos + isen)|w|(cos + isen) = |z||w|(cos + isen)(cos + isen) = |z||w|(cos cos + i cos sen + isen cos + i2 sensen) = |z||w| (cos cos sensen) + i(cos sen + sen cos ) = |z||w| cos( + ) + isen( + )
58
Captulo 3.
Nmeros Complexos
Portanto:
zw = |z||w| cos( + ) + isen( + )
Exemplo 5:
Vamos calcular o produto de z com w :
z = 2 cos
Substituindo na frmula, temos:
+ isen 4 4
e w = 3 cos
+ isen 2 2
zw zw
= |2||3| cos =
+isen + + 4 2 4 2 3 3 6 cos + isen 4 4
A frmula da multiplicao de dois nmeros complexos a qual basta multiplicar os mdulos e somar seus argumentos, vlida para um nmero qualquer nito de valores. complexos. Isso nos levar potenciao de nmeros
3.9.2 Diviso
Tomando os nmeros:
z w
= |z|(cos + isen) = |w|(cos + isen),

onde w
Podemos obter o quociente
z w assim:
z |z| = cos( ) + isen( ) w |w|

Esta identidade pode ser vericada mostrando que o produto de
|z| |w|
cos()+isen()
por
w igual a z .
Exemplo 6:
Vamos calcular o quociente de
z w para
z = 2 cos
Substituindo z e w na frmula:
+ isen 4 4
e w = 3 cos
+ isen 2 2
z w
= = =
|2| cos +isen |3| 4 2 4 2 2 cos +isen 3 4 4 2 7 7 cos + isen 3 4 4
Logo, 59
Captulo 3.
Nmeros Complexos
7 2 7 z = cos + isen w 3 4 4
3.10
Potenciao de Nmeros Complexos na Forma Trigonomtrica - Frmula de Moivre
Dado
z = |z|(cos + isen).
A potncia
zn,
n pertecente a
N,
dada por
z n = z.z.z .z .
n vezes
Assim:
zn
= =
z.z.z .z
multiplicao de n fatores
|z||z||z| |z|
multiplicao de n mdulos
cos( + + + + ) + isen( + + + + )
soma de n argumentos soma de n argumentos
Logo,
z n = |z|n cos(n) + isen(n)
(Frmula de Moivre)
Exemplo: 7
Dado
z = 2 cos + isen 4 4
, vamos determinar
z7.
Na frmula trigonomtrica:
z 7 = 2 cos
+ isen 4 4
= 27 cos 7
7 7 + isen7 = 128 cos + isen 4 4 4 4
Na frmula algbrica temos:
2 2 +i = 2+i 2 2 2 7 2 2 7 z 7 = 128 cos + isen = 128 i = 64( 2 2i) 4 4 2 2 z = 2 cos + isen = 2 4 4
3.11
Radiciao - Razes n-simas de Nmeros Complexos
Dado um nmero complexo
e um natural
n, n > 1 ,
a raiz ensima de
um nmero complexo
tal que
wn = z
. Vamos tomar
z =0
tal que
todos os nmeros complexos distintos do tipo
z = |z|(cos + isen). Encontrar as razes ensimas de z signica determinar w = |w|(cos + isen), de modo que wn = z ,n > 1, ou seja: |w|(cos + isen) = |z|(cos + isen)
n
Aplicando a frmula de Moivre, temos:
|w|n (cos n + isenn) = |Z|(cos + isen)

60
Captulo 3.
Nmeros Complexos
donde,
|w|n = |z| |w| = cos n = cos

e
|z|
(sempre real e positivo)
senn
= sen n = + 2k
Ou seja,
+2k n , com
pertencente a
Z.
Mas para
0 2 ,
necessrio que
0 k n 1.
Assim
conclumos que:
wk =
|z| cos
+ 2k + 2k + isen n n
k = 0, 1, 2, , n 1
(Segunda Frmula de Moivre)
Aps
k = n 1,
os valores comeam a se repetir. Ento, de
n 1,
temos
razes distintas.
Exemplo: 8
Vamos encontrar as razes cbicas de
i.
Escrevendo
na forma trigonomtrica, temos:
z = 1 a = 0 e b = 0 |z| = cos = 0 = 0, 1
sen
02 + (1)2 =
1=1 0 2
1 3 = 1 = arg(z ) = , 1 2
Portanto,
z = 1 cos
3 3 isen 2 2
Aplicando na segunda frmula de De Moivre:
wk =
|z| cos
+ 2k + 2k + isen = n n
|1| cos
3 2
3 + 2k + 2k + isen 2 3 3
Como Para
n = 3,
ento k poder ser
0, 1
ou
2.
Da:
k = 0, w0 =
3
|1| cos
3 2
+ isen
3 2
= 1 cos
+ isen = cos + isen = 0 + i 1 = i 2 2 2 2
Para
k = 1, w1
3 + 2 + 2 7 7 + isen 2 = 1 cos + isen = 3 3 6 6 7 1 7 3 = cos + isen = + i( ) = 6 2 2 6 3 1 = i 2 2
|1| cos
3 2
61
Captulo 3.
Nmeros Complexos
Para
k = 2,
w2
= = =
|1| cos
3 2
3 + 4 + 4 = + isen 2 3 3
11 11 11 11 1 3 1 cos = cos + isen + isen = + i( ) = 6 6 6 6 2 2 3 1 i 2 2
Portanto as razes cbicas de
so:
3 1 3 1 w0 = i, w1 = i e w2 = i 2 2 2 2
3.12
Fractais
Um fractal uma gura que possui caractersticas peculiares, que a difere das guras geomtricas habituais, so elas:
Estrutura na: O grau de detalhamento de um fractal no diminui se examinarmos uma poro arbitrariamente pequena do mesmo, ou seja, um fractal rico em detalhes;
Auto-similaridade: Uma poro do fractal reproduz exatamente a forma de uma poro maior;
Simplicidade na lei de formao: O alto grau de detalhamento e a complexidade da estrutura de um fractal no impedem, em geral, que eles sejam formados por processos relativamente simples e diretos.
Podem ser facilmente identicadas na natureza, na forma de uma couve or, em rvores e mariscos, assim como em qualquer estrutura cujas ramicaes sejam variaes de uma mesma forma bsica. Em conseqncia da auto-similaridade, quando vistas atravs de uma lente de aumento, as diferentes partes de um fractal se mostram similares forma como um todo. Seu estudo se deve aos trabalhos de matemticos como Georg Cantor, criador do chamado "Conjunto de Cantor", um tipo simples de fractal obtido pela diviso de um segmento em trs partes iguais, retirando-se a do meio e repetindo-se este procedimento para cada segmento criado (reiterao).
Os fractais mais interessantes so gerados por funes complexas, ou seja, uma funo aplicada repetidamente a um nmero complexo. Um dos resultados obtidos com este processo o conjunto de Julia:
62
Captulo 3.
Nmeros Complexos
Conjunto de Julia ... ou o conjunto Mandelbrot, a gura mais complexa conhecida. Tanto que seria impossvel conhec-la
integralmente ao longo de uma vida inteira.
Conjunto de Mandelbrot O conjunto de Maldelbrot gerado pela iterao da equao
f (z) = z 2 + c,
sendo
z=0
c C.
O conjunto de Julia gerado basicamente pela iterao da mesma equao do conjunto de Mandelbrot,
f (z) = z 2 + c, mas, no conjunto de Mandelbrot, a cada iterao, incrementvamos ao resultado o valor do ponto c, que era o ponto que se estava testando, e o ponto z era iniciado em 0. J no conjunto de Julia, o ponto c informado e permanece xo, mas o ponto z iniciado com o valor do ponto em que se est testando.
63
Captulo 3.
Nmeros Complexos
Observe o conjunto de Julia para o ponto
c = 0, 599 0, 421i
Exerccios
1) Escreva os seguintes nmeros complexos na sua forma algbrica:
+ 2i) (5 + 4i) + 1 i 1 + 1)(3 i) 1 + 10 i 5 3 1 c)(1 + i)(1 + i) (1 + i)

a)3(7 b)(3
w tal que w = z1 + z2 , a)z1 = 2 + 2i e z2 = 4 + 3i b)z1 = 2 + i e z2 = 1 + 4i

2) Determine 3) Encontre
onde:
tal que
z + 2zi 1 = 2
4) Escreva na forma algbrica os seguintes nmeros complexos e calcule o seu mdulo: a)z b)z
= =
i 2+i 2+i i (3+4i)(43i) 32i
5) Localize gracamente os nmeros complexos
tais que:
=4 b)|z| > 4 c)|z| 2 d)z um
a)|z|
imaginrio puro e
|z| < 3
6) Passe da forma algbrica para a trigonomtrica, e vice-versa, e represente gracamente: a)i b)2
cos + isen 6 6 c)(1 + i)(1 i) d)5(cos 0 + isen0)

7) O nmero complexo 8) Seja
z = (2x 8) + (x 5)i |z| = 5,
imaginrio puro. Calcule o valor de
N = 10x 3.
z = i(a + 3i).
Se
ento o valor positivo de
64
Captulo 3.
Nmeros Complexos
9) Se
z=
(10i)i3 +i50 , determine (i1)2
|z|2 .
ento
10) Se a)1 b)4 c)5 d)9 e)16.
(2 + 2i)(a + bi) = 2 + 18i,
|a b|
igual a:
65
Captulo 3.
Nmeros Complexos
66
[01] SOMINSKI, I.S. Mtodo de Induo Matemtica, traduzido por Gelson Iezzi, So Paulo [02] LIMA, Elon Lages. O Princpio da Induo, artigo revista Eureka [03] DITOMBEIRA, Joo Bosco. Revista do Professor de Matemtica
no 3, no 10,
SBM, 1998. SBM.
[04] CEPA- Centro de Ensino e Pesquisa. IME-USP.O Princpio da Induo Finita. Disponvel na internet via http://www.cepa.if.usp.br/e-calculo/ [05] SANTOS, Renato P. A Torre de Hanoi CEPA- Centro de Ensino e Pesquisa. IME-USP. Disponvel na internet via http://www.cepa.if.usp.br/e-calculo/ [06] Matemtica Essencial, Ensino: Fundamental, Mdio e Superior. Disponvel na internet via
http://pessoal.sercomtel.com.br/matematica/ [07] VALEIRAS, Rodolfo.
La
Torre
de
Hanoi.
Disponvel
na
internet
via
http://www.rodoval.com/heureka/hanoi/index.html [08] Teoria dos Nmeros: A Rainha da Matemtica. Coluna matemtica do Portal S Matemtica publicada em 25/05/2005. Disponvel na internet via http://www.somatematica.com.br/coluna/gisele/25052001.php [09] GEIDER, Roland.Torre de Hanoi. Disponvel na internet via http://www.geider.net/esp/varios/hanoi.htm [10] LUCHETTA, Valria Ostete Jannis.
Axiomas
de
Peano.
Disponvel
na
internet
via
http://www.ime.usp.br/ leo/imatica/historia/peano.html [11] Nmeros Naturais. Wikipdia - A enciclopdia livre. Disponvel na internet via http://pt.wikipedia.org [12] BOYER, Carl B. Histria da matemtica So Paulo, 1974 [13] WANTANABE, Renate. Revista do Professor de Matemtica [14] VALADARES, Eduardo. Revista do Professor de Matemtica [15] ESTEVES, Bernardo
no 09, no 39,
SBM. SBM.
Os
mais
difceis
problemas
matemticos:
Romance
relata
tentativas
frustradas de resolver a conjectura de Goldbach, Revista Cincia Hoje. Disponvel na internet via
http://cienciahoje.uol.com.br/controlPanel/materia/view/2969 [16] NVEN , Ivan Nmeros: Racionais e Irracionais, Rio de Janeiro: SBM. [17] COURANT, Richard / ROBBINS, Herbert , O que Matemtica, Rio de Janeiro: Editora Cincia Moderna. [18] VILA, Geraldo , Revista do Professor de Matemtica-5 / Grandezas incomensurveis e nmeros irra-
cionais, So Paulo.
[19] VILA, Geraldo , Revista do Professor de Matemtica-7 / Eudoxo, Dedeking, nmeros reais e ensino da
Matemtica, So Paulo.
[20] POSSANI, Cludio , Revista do Professor de Matemtica-57 / Uma Demonstrao Geomtrica de que raiz
de 2 irracional, So Paulo.
[21] MELLO, Jos Luiz Pastore de , Revista do Professor de Matemtica-57 / Geoplano Ordenado e o estudo
dos Racionais, So Paulo.

67
[22] FIGUEIREDO, Djairo Guedes de , Nmeros Irracionais e Transcendentes, Rio de Janeiro: SBM. [23] VICTOR, Carlos Alberto da Silva , Revista Eureka-2. [24] Faculdade de Cincias Universidade de Lisboa, http://www.educ.fc.ul.pt/icm/icm99/icm17/index.htm Nmeros Irracionais. [25] J. F. Porto da Silveira, http://www.mat.ufrgs.br/ portosil/aplcom1a.html - Nmero Pi. [26] DANTE, Luiz Roberto. Matemtica, Contexto e Aplicaes Volume nico. So Paulo: Editor tica, 2004. [27] KARAS, Elizabeth Wegner e SERRA, Celso Penteado. Fractais Gerados por Sistemas Dinmicos Com-
plexos Curitiba: Champagnat, 1997.

[28] GARBI, Gilberto G. O Romance das Equaes Diferenciais Algbricas So Paulo: Mokron Books, 1997.
68

III Brincando de Matemático

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

III Brincando de Matemático

Enviado por

Direitos autorais:

Formatos disponíveis

Apresentao

Pet Matemtica - UFPR

Nmeros e Geometria 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5

Os Irracionais na Natureza 2.3.1 2.3.2 2.3.3

Representao Geomtrica dos Nmeros Complexos

3.11 Radiciao - Razes n-simas de Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

ou seja, a funo tal que

3. Existe um nico elemento 4. Se um subconjunto

contm o nmero 1 e tambm o sucessor de todo nmero de

ist , contm todos os nmeros naturais.

Nmeros Naturais e Inteiros

Operaes dos Nmeros Naturais

m, n N temos que m + n = f n (m). Onde f : N N a "funo sucessor": f (n) = n + 1.

= f of of (5) = f (f (5 + 1)) = f (f (6)) = f (6 + 1) = f (7) = =

A adio de Nmeros Naturais associativa, ou seja, se

uma, e somente uma das alternativas ir acontecer:

A multiplicao de Nmeros Naturais associativa, ou seja, se

n.(m + p) = n.m + n.p

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

no um quadrado perfeito" sempre verdadeira?

um quadrado perfeito pois pode ser escrito como

22 . 992 = 31, 4960315

que, de fato, no um quadrado perfeito, pois

um nmero inteiro. Para

que tambm no um quadrado perfeito, pois

3964 = 62, 96030495

sempre vlida, teramos que testar para todos os nmeros naturais, o

Induo, que na verdade obtido a partir do axioma de Peano

que vimos na seo anterior.

1 f (1) = 2 f (2) = 3 f (3) = 4

deduz-se sua validade para seu sucessor (n

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

Proposio: A soma dos

primeiros nmeros naturais

Sn = 1 + 2 + ... + n = n n+1 . 2 n = a, ento vamos comear

n = k , ou seja, Sk = k k+1 , 2 = (k + 1) (k+1)+1 : 2

e vamos mostrar que

= Sk + (k + 1) k+1 = k + (k + 1) 2 k + 1 2(k + 1) = k + 2 2 k(k + 1) + 2(k + 1) = 2 k+2 = (k + 1) 2 (k + 1) + 1 = (k + 1) 2

Exemplo 2 Vamos vericar a propriedade comutativa da adio.

f m1 (1) + n f m1 (1) + 1 (1 + 1 + 1 + ... + 1) +1

(ii) Vamos supor que seja vlido para para

Devemos mostrar que vlido tambm

Portanto, pelo Princpio da Induo, a adio dos nmeros Naturais comutativa.

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

Proposio: Todo nmero natural igual ao seu consecutivo

Ento devemos mostrar que vlida

Temos por hiptese

ser vlida tambm para

Mas sabemos que esta proposio falsa, onde est o erro?

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

1 + 2 + ... + (n 1) + n + (n 1) + ... + 2 + 1 = ..............................

Mas ser que esta proposio sempre verdadeira?

alunos um for inteligente, ento todos os alunos da classe so inteligentes.

Observe a prova utilizando o Princpio da Induo:

Pet Matemtica - UFPR

Nmeros Naturais e Inteiros

alunos a proposio seja vlida, isto , se numa classe com k

alunos, dos quais um inteligente.

Exemplo 2 Vamos vericar a propriedade comutativa da adio.

Verique se esta proposio sempre verdadeira.

Verique se esta proposio sempre verdadeira.

que verica a desigualdade

Verique se esta proposio sempre verdadeira. (Considerando que

que verica a desigualdade

Verique se esta proposio sempre verdadeira. (Considerando que

Verique se esta proposio sempre verdadeira.

No poderiam car, cada um, com