Professional Documents
Culture Documents
Matemtica I
Neri Terezinha Both Carvalho
Carmem Suzane Comitre Gimenez
2 Edio
Florianpolis, 2009
Governo Federal
Presidente da Repblica: Luiz Incio Lula da Silva
Ministro de Educao: Fernando Haddad
Secretrio de Ensino a Distncia: Carlos Eduardo Bielschowky
Coordenador Nacional da Universidade Aberta do Brasil: Celso Costa
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Design Instrucional
Coordenao: Juliana Machado
Design Instrucional: Janice Pereira Lopes
Reviso do Design Instrucional: Mrcia Maria Bernal
Reviso Gramatical: Jane Maria Viana Cardoso
Ficha Catalogrfica
C331f Carvalho, Neri Terezinha Both
Fundamentos de matemtica I / Neri Terezinha Both Carvalho,
Carmen Suzane Comitre Gimenez. 2. ed. Florianpolis : UFSC/
EAD/CED/CFM, 2009.
207 p.
ISBN 978-85-99379-73-8
1. Matemtica. I. Gimenez, Carmem S. Comitre. II. Ttulo.
CDU 51
Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786
Sumrio
Apresentao.............................................................................. 9
1. Elementos da Histria dos Nmeros e Sistemas de
Numerao em Diferentes Bases...................................... 11
1.1 Elementos da histria................................................................. 13
1.1.1 Contagem: a idia da correspondncia,
os sistemas de numerao e estruturas.............................14
1.1.2 A evoluo do estudo dos nmeros.................................. 18
1.2 Sistemas posicionais: bases de sistemas de numerao......... 20
1.2.1 Bases de sistemas de numerao...................................... 20
1.2.2 Sistema de numerao posicional em
bases diferentes da base decimal...................................... 23
1.2.3 Operaes nos sistemas de numerao
de diferentes bases...................................................................... 29
Resumo............................................................................................... 37
Apresentao
A matemtica, como a lngua materna, considerada bsica para
o exerccio pleno da cidadania e para a compreenso das outras
reas do conhecimento e leitura do mundo.
A matemtica, no contexto dos conjuntos numricos, constitui um
conjunto organizado, sistematizado e possui uma representao
simblica definida e universal.
Tratamos, neste livro, dos conjuntos numricos: naturais, inteiros
e racionais enquanto objetos do conhecimento matemtico, os
quais so estruturados de maneira lgica e expressos por uma
simbologia prpria.
Por que estudar os conjuntos numricos?
Podemos pensar que os conjuntos numricos compem o passo
inicial da representao, da expresso de informaes, alm de
sua importncia no fazer matemtica; eles so considerados essenciais para a vida do cidado na sociedade atual. praticamente impossvel a prtica da vida no dia-a-dia sem o conhecimento
dos nmeros.
Voc j se imaginou passar um dia, sem usar em algum momento
uma informao que envolva nmeros? Quantidade, valor, hora
etc.
Este livro tem por objetivo apresentar as operaes e propriedades dos conjuntos numricos , e ; elementos da histria dos
nmeros; bases e sistemas de numerao; o conceito de divisibilidade e critrios de divisibilidade; princpios de induo; congruncia; Teorema fundamental da Aritmtica; Algoritmo da diviso. Enfim, vamos trabalhar a estrutura dos conjuntos numricos
do ponto de vista da teoria dos nmeros.
O livro est organizado em seis captulos. No primeiro captulo,
estudaremos Elementos de Histria dos Nmeros e Sistemas de
Numerao em Diferentes Bases. Neste captulo abordamos algumas informaes histricas, situamos a problemtica propul-
Captulo 1
Elementos da Histria dos
Nmeros e Sistemas de
Numerao em Diferentes
Bases
13
Captulo 1
Elementos da Histria dos Nmeros
e Sistemas de Numerao em
Diferentes Bases
Neste captulo estudaremos o sistema de numerao na
base dez e a lei de formao dos nmeros de um sistema
de numerao em uma base qualquer.
Este captulo tem, ainda, o objetivo de apresentar alguns elementos da histria relativos aos sistemas de
numerao e desenvolver um estudo que oferece ao leitor a compreenso do funcionamento de um sistema de
numerao posicional independentemente da base considerada.
14
beres ao longo da histria. O que estudamos, no presente, so os resultados de um estgio da evoluo. Existe um movimento cientfico
paralelo ao movimento cultural e de desenvolvimento dos povos.
15
Enumerao
[Do lat. enumeratione] S.f.
1.Indicao de coisas uma
por uma. 2. Exposio ou
relao metdica. 3. Conta,
cmputo.
Fonte: Dicionrio Aurlio
Numerao
[Do lat. numeratione] S.m. 1.
Ato de numerar. 2. Srie de
nmeros arbicos ou romanos que distinguem as pginas de livro, folheto, manuscrito etc. 3.Arit. Processo de
enumerar um conjunto.
Fonte: Dicionrio Aurlio
16
1) Egpcios (h cerca de 5000 anos) - sistema aditivo, base dez. Tinham smbolos especiais para 1, 10, 100, 1000, 10 000, 100 000 e
no havia smbolo para o zero; para expressar nmeros muito
grandes usavam tambm um sistema multiplicativo.
2) Babilnios (mesma poca que os egpcios) - viviam na Mesopotmia, entre os rios Tigre e Eufrates (atual Iraque); eram
comerciantes e tinham necessidade de documentar suas atividades comerciais. Os nmeros menores que 60 eram representados em base 10, por agrupamentos; os demais eram representados em base 60, pelo princpio posicional. A notao dava
margem mais de uma interpretao. No havia um smbolo
para o zero, mas eles deixavam um espao para indic-lo. Herdamos dos babilnios a representao das horas e das medidas
de ngulos (base 60).
3) Gregos (cerca de 600 anos a.C.) - sistema aditivo, base 10. Usavam 27 smbolos: 24 eram as letras do alfabeto e 3 eram letras
que, na poca, j estavam em desuso. Alm dos smbolos, usavam tambm acento nas letras; com isso, conseguiam representar nmeros at 10 000 com apenas 4 letras e acentos.
4) Romanos (cerca de um sculo a.C.) - sistema aditivo, base 10.
Tambm usavam letras do alfabeto para representar os nmeros, por exemplo: I representava a quantidade 1, V representava a quantidade 5, L representava o 50 etc. Na poca de Cristo,
o sistema era somente aditivo (por exemplo, a representao
do quatro: IIII); na idade mdia, incorporaram uma subtrao
para economizar smbolos (passaram a representar o 4 por IV,
isto : 5-1). Este sistema usado at hoje.
5) Chineses e japoneses (cerca do sculo III a.C.) - sistema misto
de aditivo e multiplicativo, base 10. Os nmeros eram representados na escrita de cima para baixo, ou da esquerda para
a direita. No incio, os smbolos eram como os ideogramas; os
clculos eram feitos com barras estendidas sobre uma mesa, o
que levou utilizao das barras como smbolos para representar os nmeros, simplificando a notao. O novo sistema de
barras era composto de 18 smbolos, usados numa espcie de
sistema posicional. Um documento de 1247 mostra o lugar do
zero ocupado por um crculo.
17
Atividade
1) Faa uma busca bibliogrfica e consulte alguns livros que
abordam os diferentes sistemas de numerao segundo os
povos. Evidencie caractersticas de cada sistema como, por
exemplo: os smbolos usados, a base, se o sistema aditivo,
multiplicativo ou posicional. Faa um resumo de, no mximo,
duas pginas.
O sistema indo-arbico
O nosso sistema de numerao relativamente recente; antes da era
crist, cada civilizao tinha seu prprio sistema, o que dificultava
as atividades de comrcio. No podemos precisar exatamente a origem do nosso sistema; smbolos semelhantes aos nossos foram encontrados na ndia, em colunas de pedra de um templo construdo
por volta de 250 a.C. Nesta poca, eram usados smbolos especiais
para as potncias de 10, mas, no h registro de um smbolo para o
zero e a notao posicional no aparece. A maior parte dos historiadores situaram o final do desenvolvimento do sistema, com uso
pleno e sistemtico do zero e a notao posicional, entre os sculos
IV e VII d.C.
Por volta do ano 800, o sistema foi levado a Bagd e foi adotado pelos
rabes. Por volta de 825, o persa al-Kowarizmi descreveu o sistema,
atribuindo-o exclusivamente aos indianos. Ao se deslocarem atravs das costas do norte da frica e depois at a Espanha, os rabes
levaram estes trabalhos e tambm outras importantes obras gregas
traduzidas para o rabe, difundindo a cultura grega na Europa. A
obra de al-Kowarizmi perdeu-se, mas, existe uma traduo latina do
sculo XII, o Liber Algorismi, que contribuiu para a introduo do
sistema e suas formas de calcular no mundo ocidental. Tambm as
obras de Fibonacci Liber Abaci e de Sacrobosco Algorismus Vulgaris, do sculo XIII, descrevem o sistema e suas vantagens em relao
ao sistema romano. Cpias manuscritas destes trabalhos podem ser
18
Atividade
2) Faa um esquema, explicando o sistema posicional indo-arbico. Considere que este esquema voc utilizar para explicar
a estrutura do sistema posicional indo-arbico a uma pessoa
leiga (Esquema deve ser simples e claro).
19
Atividade
3) Pesquise e elabore um texto de no mximo 15 linhas sobre o
que representou a Escola Pitagrica no contexto da evoluo
dos nmeros.
4) Voc sabe a definio de nmeros amigos, figurados e perfeitos? Pesquise e faa o que se pede:
20
21
22
Agora vejamos como podemos representar genericamente um nmero qualquer no sistema decimal. Por exemplo: consideremos o
nmero de 4 algarismos: abcd. Temos os algarismos a, b, c e d. Se este
nmero est na base 10, teremos:
.
O 10 indica a base. Veja que abcd = a.103 + b.102 + c.10 + d . Esta maneira de expressar o nmero abcd chama-se representao polinomial
de abcd na base 10.
Vejamos como fica a representao polinomial na base 10 de alguns
nmeros.
Exerccio resolvido
1) Dar a representao polinomial na base 10 dos seguintes nmeros:
a) 5832
Notemos que 5832 = 5000 + 800 + 30 + 2 e tambm temos que:
5000 = 5.103 ; 800 = 8.102 e 30 = 3.10 . Assim,
5832 = 5.103 + 8.102 + 3.10 + 2 .
b) 142
Veja que 142 = 100 + 40 + 2 = 1.100 + 4.10 + 2 = 1.102 + 4.10 + 2 .
Logo: 142 = 1.102 + 4.10 + 2 .
c) 206
Temos que 206 = 200 + 0 + 6 = 2.100 + 0.10 + 6 = 2.102 + 0.10 + 6 .
Portanto: 206 = 2.102 + 0.10 + 6 .
Compare com as
representaes do nmero
7031 feitas anteriormente.
23
24
Assim, 87 = 3.25 + 2.5 + 2 ou 87 = 3.52 + 2.5 + 2.50 , que a representao polinomial do 87 na base 5. Agora, identifiquemos nesta representao do 87, os coeficientes. Estes so os algarismos do nmero
87 na base 5. Temos ento: 3, 2, 2. Assim o nmero 87 na base 5 ser
denotado por (322)5 .
Isto , podemos escrever: 87 = (322)5 . L-se: oitenta e sete igual a
trs, dois, dois, na base 5.
Veja que os coeficientes das potncias de 5 so os algarismos do nmero na base 5; o nmero aps o parntese indica a base. Quando a
base no est explicitada significa que o nmero est na base 10.
Vejamos, agora, como achar a representao polinomial de um nmero na Base 3:
Na base 3, temos 3 smbolos: 0, 1, 2.
Como representar, por exemplo, 71 na base 3?
Temos que:
71 = 2.27 + 1.9 + 2.3 + 2 = 2.33 + 1.32 + 2.3 + 2.30 ,
isto , 71 = (2122)3 .
25
sendo ar , ar 1 ,..., a2 , a1 , a0 os algarismos de a na base b . Estes assumem valores de 0 a b 1 (onde b indica o nmero de smbolos); b
a base do sistema de numerao e r + 1 o nmero de algarismos
do nmero a .
A expresso a = ar b r + ar 1b r 1 + + a2b 2 + a1b + a0 com as condies
descritas acima a lei de formao do nmero a = (ar ar 1 a2 a1a0 )b .
Na verdade, o resultado anterior uma proposio que pode ser
demonstrada. No o faremos aqui por que ainda no temos elementos para tal. Aceitaremos o resultado motivado pelos exemplos que
foram feitos e, tambm, pela boa quantidade de exemplos que sero
resolvidos e propostos como exerccio.
Exerccios resolvidos
Como obter a representao na base b de um nmero a dado na sua
representao decimal? Vamos estudar o procedimento a partir de
exemplos.
2) Escrever 59 na base 2.
Prestar ateno que sendo a base 2 , as potncias devero ser de
base 2 .
Determinar a maior potncia de 2 , menor ou igual a 59 , ou seja,
25 = 32 . Efetuar a subtrao 59 32 = 27 .
Determinar a maior potncia de 2 , menor ou igual a 27 ou seja,
24 = 16 . Efetuar a subtrao 27 16 = 11 .
Determinar a maior potncia de 2 , menor ou igual a 11: 23 = 8 .
Efetuar a subtrao 11 8 = 3 .
Determinar a maior potncia de 2 menor ou igual a 3 : 21 . Efetuar a subtrao: 3 2 = 1 . Como 1 um algarismo encerra-se o
processo.
Contamos o nmero de vezes que aparece cada potncia e escrevemos a lei de formao.
Logo temos: 59 = 1.25 + 1.24 + 1.23 + 0.22 + 1.2 + 1.20 .
26
27
Desafio
Qual o nmero (935)15 na base 10 ?
Exerccios propostos
2) Escreva o nmero 25 na base 2 .
3) Escreva o nmero 25 na base 3 .
4) Escreva o nmero 59 na base 4 .
5) Escreva o nmero 59 na base 5 .
6) Escreva o nmero 25 na base 5 .
7) Escreva o nmero 39 na base 7 .
8) Escreva os nmeros 132 e 87 na base 12 .
9) Escreva o nmero (322)5 na base 10 .
Atividade
5) Voc capaz, agora, de fazer alguma conjectura, ou de compreender possveis dificuldades dos alunos de 5a srie, por exemplo, quanto compreenso do sistema de numerao decimal?
Discuta com seus colegas.
2) 19 3
3) 6 3
4) 2 3
1 6
0 2
2 0
28
De onde temos:
59 = 19.3 + 2 ; temos 19 pacotes de 3 e sobrou 2 .
19 = 6.3 + 1 ; os 19 pacotes de 3 reagrupamos em 6 pacotes de
3 e sobra 1 ;
6 = 2.3 + 0 ; os 6 pacotes de 3 reagrupamos em 2 novos pacotes 3 ;
2 = 0.3 + 2 ; os 2 novos pacotes, para reagrupar em 3 , d zero
e continuo com os 2 novos pacotes de 3 ;
Isto ,
59 = 19.3 + 2 = (6.3 + 1).3 + 2 = [(2.3 + 0).3 + 1].3 + 2 =
= [(2.3 + 0).3 + 1].3 + (0.3 + 2) = 2.33 + 0.32 + 1.3 + 2 .
Assim: 59 = (2012)3 .
Os algarismos do nmero 59 na base 3 so os restos das divises
acima a contar da direita para a esquerda.
De modo geral, para representar na base b um nmero escrito na
base 10 fazemos divises sucessivas deste nmero por b at o quociente ser zero. Os algarismos da representao do nmero na nova
base b, sero os restos das divises a contar da direita para a esquerda (do ltimo resto para o primeiro; por qu?).
Observao: como no sistema de numerao decimal voc faz agrupamentos de 10 em 10, nos sistemas de numerao de outras bases a
estrutura a mesma, voc sempre faz agrupamentos da quantidade
correspondente ao valor da base. Assim como voc opera com nmeros na base 10, voc poder operar com nmeros em quaisquer
outras bases, pois, os procedimentos so completamente semelhantes queles utilizados na base 10.
Exerccios propostos
Resolva os exerccios usando o procedimento das divises sucessivas.
10) Escreva o nmero 59 na base 5 .
11) Escreva o nmero 25 na base 4 .
29
Operaes em base 10
a) Adio: Determinar 352 + 764 .
Segundo o algoritmo que estamos habituados a usar, fazemos:
352
+ 764
1116
30
Ento:
346 13 = (3.102 + 4.10 + 6) (1.10 + 3) .
31
Assim:
346 13 = (3.102 + 4.10 + 6) (1.10 + 3) =
= 4.103 + 4.102 + 9.10 + 8 = 4498 .
32
Logo temos: (134)5 + (11)5 = (1.52 + 3.5 + 4) + (1.5 + 1) e aplicando propriedades de nmeros naturais podemos escrever:
(1.52 + 3.5 + 4) + (1.5 + 1) = 1.52 + (3 + 1).5 + (1 + 4)
= 1.52 + 4.5 + 1.5 = 1.52 + (4 + 1).5 =
= 1.52 + 5.5 = 1.52 + 52 =
= 2.52 + 0.51 + 0.50.
Portanto, (134)5 + (11)5 = (200)5 .
Exerccios propostos
12) Efetue: (243)5 + (431)5 .
13) Efetue: (235)6 + (452)6 .
E a Multiplicao? Agora voc j capaz de deduzir sozinho o procedimento. Para ilustrar, faremos com voc um exemplo:
b) Multiplicao de nmeros representados em uma base
qualquer: Efetuar (531)7 x (13)7
Usando a representao polinomial dos nmeros na base 7, temos:
(531)7 = (5.7 2 + 3.7 + 1) e (13)7 = (1.7 + 3)
Assim:
(531)7 (13)7 = (5.7 2 + 3.7 + 1) (1.7 + 3) = 5.73 + 15.7 2 + 3.7 2 + 9.7 + 1.7 + 3 =
= 5.73 + (2.7 + 1).7 2 + 3.7 2 + (7 + 2)7 + 1.7 + 3 =
= 5.73 + 2.73 + 1.7 2 + 3.7 2 + 7 2 + 2.7 + 1.7 + 3 =
= 7.73 + 5.7 2 + 3.7 + 3 = 7 4 + 5.7 2 + 3.7 + 3 =
= 1.7 4 + 0.73 + 5.7 2 + 3.7 + 3 = (10533)7 .
33
(2223)7
+ (531 )7
(10533)7
Note: 5 + 2 = 7 = 1.7 + 0.7 0 = (10)7 .
E a Subtrao? Ilustraremos com um exemplo.
c) Subtrao: Determine a diferena: (235)8 (173)8
Vejamos o procedimento de clculo usando a representao polinomial dos nmeros:
(235)8 (173)8 = (2.82 + 3.8 + 5) (1.82 + 7.8 + 3) .
34
3) Vamos, finalmente, determinar o coeficiente de 82 : 2.82 subtraindo 1.82 mais 1.82 (pacote de 82 que foi utilizado na etapa
anterior) restam 0.82 , ou seja, o coeficiente de 82 0 .
Ento:
35
Exerccios propostos
14) Resolva
a) (235)6 + (143)6
b) (342)6 x(14)6
c) (431)5 + (213)5
d) (421)5 x(13)5
e) (1010) 2 (101) 2
f) (6305)7 x(35)7
15) Ao efetuar as operaes acima, voc viu que saber tabuada
importante! Construa ento a tabuada da adio e da multiplicao em base 5 e base 7 e efetue operaes utilizando
estas tabuadas.
Tabela da tabuada da adio - base 5.
+
1
2
3
4
1
2
3
4
5
6
36
37
Resumo
Neste captulo, estudamos um pouco da Histria dos Nmeros e dos
Sistemas de Numerao de diferentes povos. Estudamos os nmeros decimais em diferentes bases, e mostramos como determinar a
representao polinomial de um nmero numa base dada. Tambm
exploramos os algoritmos das operaes de adio, multiplicao e
subtrao em bases diferentes da decimal.
Situamos neste estudo a problemtica propulsora que levou formulao dos sistemas de numerao bem como sua evoluo desde
a concepo at o estabelecimento do sistema de numerao decimal como universal.
Captulo 2
Conjuntos Numricos
Naturais e Inteiros
41
Captulo 2
Conjuntos Numricos Naturais e
Inteiros
Apresentar os conjuntos dos nmeros naturais e inteiros. Dar uma viso de suas estruturas. Abordar as
operaes definidas e as propriedades aritmticas,
sendo estas, na medida do possvel, rigorosamente justificadas.
42
Um nmero natural b
sucessor de a, se b = a + 1.
Por exemplo: o nmero 6
o sucessor de 5, pois
6 = 5 + 1.
43
44
Com estes cinco axiomas, podemos estabelecer todos os fatos importantes de : operaes, propriedades, enfim, toda estrutura
do conjunto dos naturais, inclusive a relao de ordem menor ou
igual. Uma propriedade que decorre imediatamente dos axiomas
a seguinte: se um nmero natural a diferente de 0, ento este
nmero sucessor de algum nmero natural. Por exemplo: como 56
diferente de zero, ele o sucessor de algum nmero natural, que
sabemos ser o 55. Este fato ser utilizado na definio das operaes
adio e multiplicao.
Agora j conhecemos o conjunto dos nmeros naturais:
= {0, 1, 2, 3, 4, 5, 6, 7, }. Quando considerarmos o conjunto dos nmeros naturais sem o elemento zero, isto , se estivermos
tratando de {0}, indicaremos este conjunto por * . Assim:
* = {1, 2, 3, 4, 5, 6, 7, }.
+ :
( x, y ) x + y
x, se y = 0
onde x + y =
+
+
+
x + b = ( x + b) , se, y 0 e y = b .
x e y so chamados
parcelas
45
46
Ns adicionamos os nmeros aos pares. A propriedade associativa alm de organizar a operao aos pares, garante que
no importa a seqncia que tomamos as parcelas para adicionar.
A2) Propriedade comutativa da adio: x + y = y + x .
Isto , podemos trocar as posies dos nmeros que queremos adicionar e o resultado, no caso a soma, no se altera.
A3) Propriedade do elemento neutro da adio: Existe um elemento de que satisfaz x + 0 = 0 + x = x .
Isto : adicionando o zero a um nmero natural x qualquer,
obtemos como soma o prprio valor de x . Por isso diz-se que
o zero elemento neutro da adio em .
Por exemplo: 7 + 0 = 7 (por definio) e 0 + 7 = 7 + 0 (pela propriedade comutativa). Logo: 0 + 7 = 7 + 0 = 7 .
A4) Lei do cancelamento da adio: se x, y e a so naturais, ento x + a = y + a se, e somente se, x = y .
A5) Lei do anulamento: x + y = 0 se e somente se x = y = 0 .
Exerccio resolvido
1) Efetue mentalmente as operaes dadas abaixo. Em seguida,
escreva a expresso numrica usada na resoluo mental que
voc realizou.
a) 765 + 372
[(700 + 300) + (60 + 70) + (5 + 2)] = 1000 + 130 + 7 = 1130 + 7 = 1137
Realizamos uma decomposio dos nmeros:
765 + 372 = 700 + 60 + 5 + 300 + 70 + 2
765 + 372 = 700 + 60 + 5 + 300 + 70 + 2 =
(propriedade comutativa da adio)
= 700 + 300 + 60 + 70 + 5 + 2 =
(propriedade associativa da adio)
47
Exerccio proposto
1) Efetue mentalmente, depois escreva a expresso numrica utilizada na operao e indique as propriedades manipuladas no
processo.
a) 5709 + 697
b) 350 + 528
c) 9 + 88
Quando efetuamos uma operao mental, usamos com muita naturalidade as propriedades comutativa e associativa da adio, entre
outras. As propriedades so ferramentas que usamos no nosso diaa-dia e no, somente, componentes da estrutura terica dos conjuntos numricos.
Propriedades da multiplicao em
Sejam x, y e z nmeros naturais, e a multiplicao em , conforme
definida anteriormente.
M1) Propriedade comutativa da multiplicao: x. y = y.x .
48
49
Definio de diferena: Sejam a e b nmeros naturais e a b ; dizemos que a diferena b a o nmero x tal que b = a + x .
O elemento b chamado de subtraendo e o elemento a chamado de
minuendo.
Notemos que a diferena b a somente est definida em se a b .
Isto quer dizer que a relao que associa ao par (a, b) o elemento
(b a ) no uma funo. Portanto a subtrao no uma operao
em . Por exemplo: no h como calcular 2 3 no universo dos
nmeros naturais.
Tambm em , definimos a relao menor: se a e b so nmeros
naturais, a menor do que b , se, e somente se, existe x diferente
de zero, tal que b = a + x .
Simbolicamente: a < b x 0 tal que b = a + x .
E a diviso em ?
Em geral, tratamos a diviso em com tal naturalidade que nem
nos damos conta que ela no definida em .
Nota: Os casos de divisibilidade e o algoritmo da diviso sero vistos no captulo 3.
Vejamos agora as propriedades da relao .
Propriedades da relao :
A relao menor ou igual satisfaz as seguintes propriedades:
1. Reflexiva: para todo a natural, a a .
Demonstrao.
Sabemos que: se a b , existe x pertencente a , tal que b = a + x .
Tomemos x = 0 , e teremos a = a + 0 , isto a a .
50
2. Anti-simtrica: se a, b so naturais tais que a b e b a , ento
a =b.
Demonstrao.
Hiptese: a b e b a .
Tese: a = b .
Por hiptese, a b e b a . Logo existem x e y naturais tais que
a+ x =b e b+ y = a .
Mas,
a = a + 0 = b + y = (a + x) + y = a + ( x + y ) a + 0 = a + ( x + y ) .
Assim, pela lei do cancelamento da adio segue que x + y = 0 , portanto, x = y = 0 (pela lei do anulamento); ento segue que a = b .
51
0-2
...
0-a
1-0
1-1
1-2
...
1-a
2-0
2-1
2-2
...
2-a
3-0
3-1
3-2
...
3-a
.....
...
.....
b-2
...
b-a
...
.....
b-1
.....
.....
b-0
.....
0-1
.....
0-0
.....
Ao conjunto dos nmeros naturais acrescentaram-se todas as diferenas b a com b menor do que a , formando um novo conjunto.
Os elementos deste novo conjunto sero diferenas b a , com a e b
naturais. Observemos as diferenas b a onde a, b :
52
2.2.1 Operaes em
Em esto definidas as operaes de adio, a multiplicao e a
subtrao.
Adio:
+ : x
( a, b) a + b
a + b a soma ou total e a e b so as parcelas.
53
Propriedades da adio em
Apresentaremos, a seguir, as propriedades da adio em ; como
fizemos para os naturais, elas sero abordadas como axiomas (isto ,
sero aceitas sem demonstrao).
A1) Propriedade associativa da adio:
Para todos a, b e c inteiros, temos a + (b + c) = (a + b) + c . Voc
alguma vez j refletiu sobre isto? Voc somente pode efetuar
uma operao de adio com mais de duas parcelas porque
existe a propriedade associativa. Ou seja, cada vez que voc
efetua uma operao de adio com mais de duas parcelas
voc est usando a propriedade associativa da adio.
Assim, esta propriedade importante pois permite somar
mais de dois nmeros.
Com esta propriedade, tambm descobrimos que basta sabermos somar a um nmero a inteiro qualquer o nmero 1
ou 1 , para sermos capazes de resolver qualquer adio. Vejamos por exemplo:
a) 3 + 2 = 3 + (1 + 1) = (3 + 1) + 1 = 4 + 1 = 5 .
b) 3 + (2) = 3 + [(1) + (1)] = [3 + (1)] + (1) = 2 + (1) = 1 .
A2) Propriedade comutativa da adio:
Para todos a, b pertencentes a temos a + b = b + a .
Lembre que juntar nem sempre uma operao comutativa! Voc poderia dar um exemplo onde a comutatividade no
funciona? Pense, por exemplo, na Qumica.
A3) Propriedade da Existncia do elemento neutro:
Existe um nico elemento em , denominado zero e denotado por 0, tal que a + 0 = a para todo a pertencente a .
A4) Propriedade da Existncia do elemento oposto:
Para cada inteiro a, existe um nico inteiro b tal que a + b = 0 .
Este nmero b chamado oposto de a e denotado por a .
54
Multiplicao em
A multiplicao em deriva da adio em (soma de parcelas
iguais).
Vejamos por exemplo: 4 + 4 + 4 = 3x4
2 + 2 + 2 + 2 + 2 = 5x2 .
55
Vamos estudar, agora, outras propriedades importantes em . Tenha sempre em mente que todas estas propriedades das operaes
nos conjuntos dos nmeros naturais e inteiros sero teis nos prximos captulos: elas constituem a caixa de ferramentas necessria
para a construo do conceito de divisibilidade do captulo 3 e todas
as suas conseqncias.
Todas as outras propriedades das operaes em derivam destas,
isto , todas as outras propriedades podem ser provadas a partir
das propriedades A1, A2, A3, A4, M1, M2, M3, D e CM, como ser
demonstrado mais adiante.
56
57
Tese: (1).a = a .
Seja a um nmero inteiro. Sabemos que o oposto de a o nico inteiro que satisfaz a equao a + x = 0 . Como 0.a = 0 (por P2), segue
que
0 = 0.a = [1 + (1)].a = 1.a + (1).a = a + (1).a ,
Conseqentemente, o oposto de a (1).a , ou seja a = (1).a .
Subtrao em
Dados a e b pertencentes a , definimos a diferena a b por
a b = a + (b) .
Note que subtrair
somar o oposto.
58
2.2.2 Proposies em
Os resultados a seguir, que chamaremos proposies, decorrem
das operaes e das propriedades j demonstradas.
Proposio 1. Para todos a, b inteiros tem-se que (a b) + b = a .
Demonstrao.
Hiptese: a, b so nmeros inteiros
Tese: (a b) + b = a .
Sejam a e b inteiros. Pela definio de subtrao temos que
(a b) + b = [a + (b)] + b .
Mas [a + (b)] + b = a + [(b) + b] pela propriedade associativa da
adio; assim, a + [(b) + b] = a + 0 = a (propriedade do oposto e
propriedade do elemento neutro da adio). Logo (a b) + b = a .
59
Faremos a demonstrao
em duas partes:
primeiramente mostraremos
que (-a) b = -(ab) e depois
que a(-b) = -(ab); com
isto teremos provado a
igualdade -(ab) = (-a)b =
a(-b).
Demonstrao.
Mostremos que (a ).b = (a.b) . De fato,
(a ).b = [(1).a ].b = (1).(a.b) = (ab) .
Na primeira e terceira igualdades usamos P3 e, na segunda igualdade,
usamos a propriedade associativa da multiplicao.
De forma anloga, prova-se que : a.(b) = (a.b) .
Assim, temos que: (a ).b = a.(b) = (a.b) .
2) se a < 0,
60
Estabelecido P4 como axioma, pode-se provar a lei do cancelamento para a multiplicao em . Agora j temos elementos para efetivar essa demonstrao.
Proposio 6. Sejam a, b e c inteiros e c 0 . Se a.c = b.c ento a = b.
Demonstrao.
Hiptese: a, b, c inteiros, ac = bc e c 0 , ac = bc .
Tese: a = b .
Sejam a, b e c inteiros tais que ac = bc e c 0 ; queremos provar que
a = b . De fato, somando aos dois membros da igualdade ac = bc o
termo (bc) , temos:
ac + (bc) = bc + (bc) .
Como bc + (bc) = 0 , podemos escrever
ac + (bc) = bc + (bc) = 0 .
Pela proposio 3, temos que (bc) = (b).c ; substituindo esse resultado na igualdade acima e usando a propriedade distributiva obtemos
[a + (b)]c = 0 ; como c 0 , segue por P4 que a + (b) = 0 . Ento
a = (b) = b . Pela proposio 4, a = b .
61
Na primeira igualdade, usamos a definio de subtrao, na segunda igualdade, usamos a propriedade distributiva, na terceira igualdade, usamos a Proposio 3 e, na quarta igualdade, usamos a definio de subtrao.
Exerccio proposto
2) Resolva a equao seguinte, explicando cada passo
x + 45 = 3 x 7 .
62
= {0, 1, 2, 3, 4, 5,}, inteiros no positivos.
* = {0}, inteiros negativos.
Relao de ordem menor ou igual em
Definio. Dados a e b inteiros, dizemos que a menor ou igual a
b , se e somente se (b a ) pertence a + .
Em linguagem simblica escrevemos:
a b (b a ) + .
Observao 1. Pode-se ler tambm: b maior ou igual a a e denota-se por b a .
Habitualmente usamos a expresso menor ou igual a mas a expresso gramaticamente correta seria menor do que ou igual a.
Observao 2. a menor ou igual a b , se e somente se existe
x + tal que b = a + x .
De fato, tomemos x = (b a ) + . Ento,
a + x = a + (b a ) = a + [b + (a )] = b + [a + (a )] = b + 0 = b0 .
Reciprocamente, se existe x + tal que b = a + x , teremos que
x = (b a ) + . Por definio, teremos a b .
Propriedades da relao em
Sejam a, b e c .
O1) Propriedade Reflexiva: Para todo a tem-se a a .
Demonstrao.
Hiptese: a .
Tese: a a .
De fato, a a = 0 + a a .
63
64
Demonstrao de (ii).
Por hiptese a b e c 0; ento b a + e c +.
Logo, bc ac = (b a ).c + (pois o produto de dois nmeros naturais resulta um nmero natural) e portanto ac bc .
65
Demonstrao de (iii).
Por hiptese, se a b ento b a + . Como c 0 tem-se que
c , c +
Logo (b a ).(c) = b(c) a (c) + . Assim, usando as propriedade
convenientes temos: bc + ac + , ou seja,
ac bc + .
Portanto, bc ac .
66
Demonstrao de (ii).
Se a 0 e b 0 ento 0 a + e 0 b + ; assim,
a + e b + . Portanto (a ).(b) + e a.b + . Logo,
0 a.b .
Exerccio proposto
3) Resolva a inequao seguinte, explicando cada passo:
2 x 22 3 x + 7 .
67
68
a = a 0 . Portanto, a = a 0 a = a , ou seja, a 0 a .
Se a < 0 , ento a = a, 0 < a, e a = a . Portanto
a = a < 0 < a = a .
69
70
71
Exerccios propostos
4) Explique qual propriedade ou definio foi usada em cada
passagem da demonstrao abaixo: Para todos a, b e c inteiros tem-se: a (b c) = ab ac .
Demonstrao.
a.(b c) = a.[b + (c)] = a.b + a.(c) = a.b + [(a.c)] = ab ac .
72
Resumo
Neste captulo, apresentamos os conjuntos dos nmeros naturais e
dos nmeros inteiros (chamados conjuntos numricos), bem como
as operaes de adio e multiplicao em com as respectivas
propriedades: associativa, comutativa, elemento neutro, cancelamento e anulamento.
Tambm discutimos a subtrao e a diviso em . Vimos que a
diferena, a b est definida em quando a b . A diviso em ,
a b est definida se b um divisor de a .
Tambm definimos a Relao menor ou igual em . Mostramos
que a relao menor ou igual, em , define uma relao de ordem,
isto , satisfaz as propriedades: reflexiva, anti-simtrica e transitiva.
Estudamos o Princpio da boa ordem em : Todo subconjunto
no vazio de nmeros naturais possui um menor elemento.
Similarmente, em , estudamos as operaes de adio, multiplicao e subtrao e suas propriedades; para a adio: associativa,
comutativa, elemento neutro e elemento oposto. As propriedades da
multiplicao estudadas foram: associativa, comutativa e elemento
neutro. Estudamos, tambm, a propriedade distributiva, relacionada s duas operaes.
73
Bibliografia comentada
DOMINGUES, Hygino H. Fundamentos de Aritmtica. So Paulo:
Atual, 1991.
Este livro tima referncia como bibliografia bsica. Trata do contedo
estudado neste captulo com muita clareza e propriedade, alm de propor
exerccios variados.
Captulo 3
Divisibilidade e Algoritmo
da Diviso
77
Captulo 3
Divisibilidade e Algoritmo da Diviso
Neste captulo, desenvolveremos o conceito de divisibilidade em e em , apresentando os elementos necessrios compreenso e utilizao do principal teorema
relacionado a este conceito: o Algoritmo da Diviso. Em
seguida faremos um estudo das conseqncias deste resultado: mximo divisor comum, equaes diofantinas,
mnimo mltiplo comum e congruncias.
Os nossos objetos de estudo, neste captulo, no so assuntos novos; certamente voc j conhece divisores e mltiplos em e a
fatorao de um nmero natural em produto de primos (contedos de 5 e 6 sries do ensino fundamental). Historicamente, os
livros VII, VIII e IX dos Elementos de Euclides (c. 300 a.C.) tratam
exatamente de aritmtica terica, apresentando os conceitos de divisor, mltiplo, nmero primo, algoritmo para clculo do mximo
divisor comum e outros conceitos e resultados utilizados at hoje.
Para os gregos deste perodo, um nmero era um segmento, ou
seja, um comprimento. A definio 5 do livro VII dos Elementos
ilustra bem esta idia quando apresenta o conceito de divisor da
seguinte forma:
Um nmero parte de outro, o menor do maior, quando ele
mede o maior.
A palavra parte pode ser substituda por divisor e medir o
maior significa que este maior nmero igual a um nmero inteiro de vezes o menor nmero. Em outras palavras, a definio
de divisor em .
Neste captulo, vamos um pouco alm de Euclides, estendendo o
conceito de divisibilidade ao conjunto dos nmeros inteiros, com
todas as conseqncias. O Algoritmo da Diviso ser apresentado
em e em e demonstrado em . O estudo do mximo divisor
78
3.1 Divisibilidade em e em
Nosso estudo de divisibilidade ser no conjunto dos nmeros inteiros; faremos a comparao com as definies e resultados no conjunto sempre que algum fato diferente ocorrer na transio de
para . Comeamos com as definies abaixo, apresentadas nos
dois conjuntos. Como voc pode notar, a definio de divisor em
se estende de modo natural aos nmeros inteiros. Caso no seja
especificado o conjunto, voc deve considerar como universo de
trabalho.
Definio 1. Divisibilidade em
Sejam a e b nmeros naturais. Dizemos que a divisor de b se, e
somente se, existe um nmero natural n tal que b = a.n .
Definio 2. Divisibilidade em
Sejam a e b nmeros inteiros. Dizemos que a divisor de b se, e
somente se, existe um nmero inteiro n tal que b = a.n .
Exemplos
1) 48 um divisor de 144 pois existe um nmero inteiro n = 3
tal que 144 = 48.3 .
2) 7 um divisor de 35 pois existe um nmero inteiro n = 5
tal que 35 = (7).(5) .
3) 31 um divisor de 62 pois existe um nmero inteiro n = 2
tal que 62 = 31.(2) .
4) 15 um divisor de 60 pois existe um nmero inteiro n = 4
tal que 60 = (15).4 .
79
2) O uso de smbolos para escrever matemtica bastante conveniente, mas exige um certo cuidado. Primeiro, lembrar sempre
que o smbolo representa uma idia; no uma espcie de taquigrafia para escrever mais rpido! Segundo, lembrar sempre
que no podemos misturar smbolos e linguagem corrente
na mesma sentena; isto vale inclusive para os smbolos dos
conjuntos numricos e . Vamos dar alguns exemplos:
a) (a )(b )(a + b = 0)
Representa a sentena Para todo nmero inteiro a existe
um nmero inteiro b tal que a adio de a com b igual a
zero (Axioma da existncia do oposto em , captulo 2).
b) (x )(b )(b + x = b)
Representa a sentena Existe um nmero inteiro x tal que
para qualquer nmero inteiro b , a adio de b com x
igual a b . (Axioma da existncia do elemento neutro da
adio em , no captulo 2).
80
Exemplo: 15 divisor de 60
(i) a divisor de b
15 divisor de 60
60 divisvel por 15
(iii) a divide b
15 divide 60
(iv) b mltiplo de a
60 mltiplo de 15
Em (i) temos a definio 3.1.2. Em (ii) temos a expresso ser divisvel, utilizada no ensino fundamental: 100 divisvel por 10 (pois
100 = 10.10 ), 46 divisvel por 23 (pois 46 = 23.2 ).
A expresso em (iii) dispensa o uso do verbo ser e usa o verbo
dividir; bastante utilizada em livros.
A ltima linha do quadro (expresso (iv)) usa o conceito de mltiplo
de um nmero inteiro:
Sejam x e y inteiros; dizemos de x mltiplo de y se e somente
se existe um nmero inteiro n tal que x = y.n . Desta forma, as expresses a divisor de b e b mltiplo de a so sinnimos.
Observao 3. Observe a definio de divisor:
(a, b ) (a | b n / b = a.n) .
O que podemos dizer se a ou b for igual a zero?
i) se b = 0 e a 0 , existe n = 0 tal que 0 = a.0 e teremos que
a divisor de b = 0 . Logo, a 0 , para todo a 0 . Por exemplo,
5 divisor de 0 pois existe n = 0 tal que 0 = 5.0 .
81
82
83
84
Exerccios resolvidos
1) Um nmero divisvel por 2 chamado um nmero par. Mostre que a soma e o produto de dois nmeros pares tambm
um nmero par.
Resoluo. Sejam x e y nmeros pares, ou seja, ambos so divisveis
por 2 . Pela definio de divisibilidade, existem inteiros n e m tais
que x = 2.n e y = 2.m . Observemos a soma e o produto de x e y :
x + y = 2.n + 2.m = 2.(n + m) divisvel por 2 e
x. y = (2.n).(2.m) = 2.(2.n.m) tambm divisvel por 2 .
Logo, a soma e o produto de dois nmeros pares tambm um nmero par.
(Identifique, na resoluo anterior, os resultados do captulo 2 que
foram utilizados na resoluo!)
85
2) Mostre que, se um nmero n divisvel por 15 , ento ele tambm divisvel por 5 .
Resoluo. Se n divisvel por 15 , ento existe um inteiro k tal que
n = 15.k .
Como 15 = 3.5 , podemos escrever n = (3.5).k = (5.3).k = 5.(3.k ) que
divisvel por 5 .
Exerccios propostos
1) Se um nmero inteiro divisor de um produto, podemos afirmar que ele tambm divisor dos fatores? Justifique.
2) Se um nmero inteiro divisor de uma soma, podemos afirmar que ele tambm divisor das parcelas? Justifique.
86
algoritmo da diviso exige que se faa uma estimativa do quociente: quantos 12 cabem em 182 ?
Observao 6. O teorema 1 nos garante que dados a e b (com b diferente de 0) sempre possvel encontrar nmeros q e r satisfazendo a
condio a = b.q + r , com 0 r < b .
Vejamos alguns exemplos:
1) Se a = 7 e b = 4 , existem q = 1 e r = 3 tais que 7 = 4.1 + 3 e 3 < 4 .
2) Se a = 5 e b = 13 , procuramos q e r tais que 5 = 13.q + r ; como
q e r so naturais, devemos ter q = 0 e r = 5 < 13 , ou seja,
5 = 13.0 + 5 .
3) Se a = 0 e b = 17 , para que se tenha 0 = 17.q + r , devemos ter
necessariamente q = r = 0 .
Observao 7. A idia central do Algoritmo da Diviso que, dados
dois nmeros a e b (com b 0 ), temos somente duas possibilidades: a mltiplo de b ou a est entre dois mltiplos de b. Ou seja:
a = b.q ou b.q < a < b.(q + 1) . Veja na reta:
Sabendo disso, para encontrar o quociente devemos nos fazer a seguinte pergunta: qual o mltiplo de b mais prximo de a e menor
do que a ? Vejamos alguns exemplos:
1) para a = 43 e b = 5
Qual o mltiplo de 5 mais prximo de 43 e menor do que 43 ?
87
88
Se pensarmos no Algoritmo da diviso como uma forma de relacionar nmeros, ou seja, dado um par de nmeros a e b , encontrar um
par q e r satisfazendo determinadas condies, podemos nos perguntar: possvel estendermos esta idia ao conjunto dos nmeros
inteiros? A resposta sim, com uma modificao.
89
Observao 8. Note que o Algoritmo da Diviso em no corresponde conta de dividir, exceto quando o resto zero!
Demonstrao do Algoritmo da Diviso em
Faremos a demonstrao inicialmente para a + e b *+ (b 0) ,
ou seja, a 0 e b > 0 ; em seguida para a < 0 e b > 0 e por fim para
b < 0 e a qualquer.
1 caso: a 0 e b > 0
Devemos mostrar a existncia e a unicidade dos nmeros q e r .
Faremos separadamente: primeiro demonstraremos a existncia e
depois a unicidade.
i) Existncia
Considere o conjunto S = {a b.x 0 / x }.
Note que S o conjunto das diferenas a b.x , construdo com valores de x que satisfazem a b.x 0 (ou , b.x a ) . Observe tambm
que:
1) S , pois os elementos de S so maiores ou iguais a zero.
2) S , pois para x = 0 a diferena a b.0 = a um elemento
do conjunto S , uma vez que b.0 = 0 a pois a + .
Todo subconjunto no
vazio de nmeros naturais
possui um menor elemento
90
91
Esta ltima igualdade nos mostra que b (t r ) ; se t r 0 , pela
propriedade D7, temos b < t r . Como 0 r < b e 0 t < b , conclumos que a distncia entre t e r menor do que b , ou seja,
0 t r < b . Assim, se t r 0 , temos duas concluses contraditrias: b < t r e t r < b . Isto significa que no pode ocorrer t r 0 ,
ou seja, devemos ter t r = 0, ou t = r . Substituindo esta informao
na igualdade b.(q s ) = t r , obtemos b.(q s ) = 0 . Como b 0 por
hiptese, devemos ter q s = 0 , ou seja, q = s .
Provamos assim que, dados a + e b *+ , s existe um par de nmeros q e r satisfazendo as condies: a = b.q + r e 0 r < b .
2 caso: a < 0 e b > 0
Sabemos que a < 0 ; logo, pelo 1 caso, temos que existem q ' e r ' *+
tais que a = b.q '+ r ' , com 0 r ' < b . Vamos analisar os casos
r ' = 0 e r ' > 0:
a) Se r ' = 0 , teremos a = b.q ' ; como a = a , podemos escrever a = b.q ' e conseqentemente a = b.(q ') . Logo, existem
q = q ' e r = 0 tal que a = b.q + r .
b) Se r ' > 0 , teremos
a = a = (b.q '+ r ') = b.(q ') r ' =
= b.(q ') + b b r ' = b.(q ' 1) + (b r ').
Observando a igualdade acima, vemos que se a = b.(q ' 1) + (b r ')
(Note que como r ' < b tem-se b r ' > 0 ) encontramos
q = q ' 1 e r = b r ' , tais que a = b.q + r e 0 r < b .
3 caso: b < 0 e a qualquer
Para quaisquer a e b , existem q ', r ' tais que a = b .q '+ r ' , com
0 r'< b .
(Lembre que o 1 caso garante a existncia de q e r para a 0 e b > 0
e o 2 caso garante a existncia de q e r para a < 0 e b > 0 .)
Como b = b , temos: a = (b).q '+ r ' = b.(q ') + r ' . Logo, existem
q = q ' e r = r ' inteiros tais que a = b.q + r , com 0 r < b .
92
93
94
n = b.q + (b 1) .
Cada expresso depende do resto da diviso euclidiana de n por b ;
o conjunto dos possveis restos ser M = {0, 1, 2, , b 1}, caracterizando a segunda parcela de cada expresso.
Exerccios resolvidos
3) Determine o menor nmero natural de 4 algarismos diferentes que seja divisvel por 21.
Resoluo. O menor nmero natural de 4 algarismos diferentes
1023 ; aplicando o Algoritmo da Diviso para 1023 e 21 obtemos
1023 = 21.48 + 15 . Isto significa que o maior mltiplo de 21 que
menor do que 1023 21.48 = 1008 . Veja na reta:
95
Como 1023 o menor nmero de quatro algarismos diferentes, devemos procurar o menor mltiplo de 21 maior do que 1023 (na reta, o
que est mais prximo de 1023 , sua direita). Como 1008 = 21.48 ,
tomamos o prximo mltiplo de 21, ou seja, 21.49 = 1029 . Como
1029 tem algarismos diferentes, encontramos nossa resposta. Caso
encontrssemos um nmero com algarismos repetidos, tomaramos
entre os mltiplos maiores do que 1008 , o primeiro mltiplo de 21
que satisfizesse as condies.
Note que conhecido o resto 15 da diviso euclidiana de 1023 por 21,
outra maneira de resolver seria somar 6 (pois 15 + 6 = 21 ) a 1023 ,
ou seja, somar o que falta a 1023 para termos o prximo mltiplo de
21. Veja na reta:
Faa a verificao da
resposta do problema
sempre que possvel; isto
far com que voc possa
corrigir eventuais erros,
dando-lhe autonomia
para validar a resposta.
Torne-se independente do
gabarito!
n = 15.r
15
30
45
60
75
90
96
5) Quais so os nmeros de dois algarismos que divididos pela
soma de seus algarismos resulta quociente 4 e resto zero?
Resoluo. Os nmeros de dois algarismos so da forma n = 10a + b ,
com b variando de 0 a 9 e a variando de 1 a 9 . O problema nos
informa que n = 4.(a + b) + 0 , ou seja,
10a + b = 4a + 4b
10a + (4a ) = 4b + (b)
6a = 3b
3.2.a = 3.1.b
2a = b .
b = 2.a
n = 10a + b
10.1 + 2 = 12
10.2 + 4 = 24
10.3 + 6 = 36
10.4 + 8 = 48
Teste
12 = 4.(1 + 2)
24 = 4.(2 + 4)
36 = 4.(3 + 6)
48 = 4.(4 + 8)
Exerccios propostos
3) Determine o maior nmero natural de 5 algarismos diferentes
que seja divisvel por 17 .
4) a) Mostre que a soma e produto de nmeros pares um nmero par.
b) Mostre que a soma de um nmero par com um nmero mpar um nmero mpar.
5) Mostre que um nmero inteiro formado por trs algarismos
iguais sempre mltiplo de 37 .
6) Determine todos os nmeros naturais n tais que na diviso
euclidiana de n por 12 o resto excede o quociente em 7 unidades.
10 no um
algarismo!
97
98
99
100
101
Demonstrao.
Hiptese: a, b, q, r , b 0 e a = b.q + r , 0 r < b .
Tese: mdc(a, b) = mdc(b, r ) .
Seja d = mdc(a, b) . Mostremos que d satisfaz as duas condies
para ser o mdc(b, r ) .
i) Como d = mdc(a, b) , temos que d b . Por hiptese a = b.q + r
e como d a e d b , temos que d b.q (propriedade D4 de divisibilidade) e consequentemente, d r (propriedade D6 de divisibilidade). Logo, d b e d r .
ii) Seja k um divisor de b e de r. Ento k b.q e como k r , conclumos que k b.q + r (propriedade D5 de divisibilidade), ou seja,
k a . Assim, k um divisor de a e de b. Como d = mdc(a, b) , k
tambm um divisor de d.
Logo, mdc(a, b) = d = mdc(b, r ) , quando r o resto da diviso euclidiana de a por b .
102
10 = 1.6 + 4 ; logo, mdc(128,82) = mdc(82, 46) = mdc(46,36) =
= mdc(36,10) = mdc(10, 6) = mdc(6, 4) .
6 = 1.4 + 2 ; logo,
mdc(128,82) = mdc(82, 46) = mdc(46,36) =
= mdc(36,10) = mdc(10, 6) = mdc(6, 4) = mdc(4, 2) .
a = 2.2 + 0 ; logo,
mdc(128,82) = mdc(82, 46) = mdc(46,36) = mdc(36,10) =
= mdc(10, 6) = mdc(6, 4) = mdc(4, 2) = mdc(2, 0) = 2 .
(Note que a ltima igualdade vale pela propriedade 1).
Assim, mdc(128,82) = 2 .
Observe que fazemos vrias divises, sempre utilizando o resto como prximo divisor; encontramos o mdc quando a ltima
diviso for exata, isto , quando o resto for zero. Podemos reunir estas divises numa tabela:
quociente
resto
128
82
46
36
10
46
36
10
53
48
Assim, mdc(128,82) = 2 .
2) Calcular mdc(53, 48)
quociente
resto
mdc(53, 48) = 1 .
Observao 14. Note que este processo das divises sucessivas no
corre o risco de se estender indefinidamente, ou seja, sempre possvel encontrar o mdc de dois nmeros. Isto se deve ao fato do processo estar vinculado ao algoritmo da diviso, que limita os restos
pelo divisor. Como os divisores so os restos, estes diminuem a cada
diviso.
103
resto
96
42
12
12
resto
58
O mdc(58, 6) = 2 .
Conclumos ento que mdc(42,96,58) = mdc(6,58) = 2 .
Formalmente, escrevemos: Dados a, b e c nmeros naturais,
mdc(a, b, c) = mdc(mdc(a, b), c) .
Exerccios propostos
7) Calcule:
a) mdc(2356, 234)
b) mdc(123,876,345)
c) mdc(491,34)
104
8) Determine o maior nmero natural pelo qual se deve dividir
os nmeros 160, 198 e 370 para que os restos sejam respectivamente 7, 11 e 13.
9) Encontre todas as possibilidades para mdc(m, 5n + 6) , para n
um nmero natural.
105
Comentrio. Este resultado (que ser muito til para as prximas
proposies) nos garante que multiplicando os nmeros a e b por
um nmero k, seu mdc tambm fica multiplicado pelo mesmo k;
veja alguns exemplos:
a) mdc(21,8) = 1; mdc(21.15,8.15) = 1.15, ou seja, mdc(315,120) = 15.
b) mdc(12,16) = 4 ; mdc(12.10,16.10) = 4.10 , ou seja,
mdc(120,160) = 40 .
Proposio 3. Sejam a, b e d nmeros naturais com d = mdc(a, b) .
Ento os quocientes das divises de a por d e de b por d so nmeros relativamente primos.
Demonstrao.
Hiptese: a, b, d , d = mdc(a, b) .
Tese: os quocientes das divises de a por d e de b por d so nmeros
relativamente primos.
Como d = mdc(a, b) , sabemos que d a e d b . Por definio, existem
nmeros naturais x e y tais que a = d .x e b = d . y ; x e y so os quocientes das divises de a por d e de b por d, respectivamente. Devemos mostrar que mdc( x, y ) = 1 .
De fato: d = mdc(a, b) = mdc(d .x, d . y ) . Pela proposio 2, temos que
d = mdc(d .x, d . y ) = d .mdc( x, y ) . Logo, d .1 = d .mdc( x, y ) . Como d
diferente de zero (lembre que d > 0 ), podemos cancel-lo (lembre da
lei do cancelamento em ) e teremos mdc( x, y ) = 1 , como queramos demonstrar.
Exerccio resolvido
6) Encontre todos os possveis nmeros naturais cujo produto
4800 e cujo mdc 20 .
Resoluo: Denotemos os nmeros procurados por a e b . O problema nos diz que
i) mdc(a, b) = 20 e
ii) a.b = 4800 .
De (i), sabemos que 20 a e 20 b , ou seja, existem x e y naturais
tais que a = 20.x e b = 20. y . Alm disso, sabemos que mdc( x, y ) = 1.
106
a = 20. x
b = 20. y
mdc (a,b)
12
20
240
20
60
80
20
Observe que a ltima coluna o controle: verifique se o mdc mesmo 20. Caso no seja, voc sabe que os nmeros no esto corretos.
Assim, os pares de nmeros satisfazendo as condies do problema
so: 20 e 240 ou 60 e 80 .
Proposio 4. Sejam a, b e c nmeros naturais. Se a b.c e
mdc(a, b) = 1 , ento a c .
Demonstrao.
Hiptese: a, b, c , a b.c e mdc(a, b) = 1 .
Tese: a c .
Por hiptese, temos que mdc(a, b) = 1 ; pela proposio 2 conclumos
que mdc(a.c, b.c) = 1.c = c . Como a b.c por hiptese e a a.c (propriedade de divisibilidade), a segunda parte da definio de mdc nos
garante que
a mdc(a.c, b.c) . Logo, a c .
107
Exerccio resolvido
7) Seja k um nmero natural. Mostre que se 2 k e 3 k , ento 6 k .
Resoluo. O exerccio nos d um critrio de divisibilidade por 6 : se
um nmero divisvel por 2 e por 3 , ele ser divisvel por 6 . Vamos
provar este fato:
Por hiptese, temos que existem x e y naturais tais que k = 2.x ee k = 3. y
k = 2.x e k = 3. y .
Ento 2.x = 3. y . Esta igualdade nos informa que 3 2.x e como
mdc(2,3) = 1 , a proposio 4 nos garante que 3 x , ou seja, existe
um z natural tal que x = 3.z . Substituindo x = 3.z na igualdade
k = 2.x teremos k = 2.3.z = 6.z , ou seja, 6 k .
Observao 15. O exerccio que acabamos de resolver pode ser generalizado da seguinte maneira:
Sejam a, b e k nmeros naturais tais que a k , b k e mdc(a, b) = 1 .
Ento a.b k . Isto nos d critrios de divisibilidade para nmeros que
so produtos de nmeros relativamente primos, como por exemplo,
15 = 3.5, 28 = 4.7, 42 = 6.7 , etc.
Exerccios propostos
8) O mdc de dois nmeros naturais 48 e o maior deles 384 .
Ache o outro nmero.
9) Dividindo-se dois nmeros naturais pelo seu mdc , a soma dos
quocientes obtidos 8 . Determinar os dois nmeros, sabendo
que sua soma 384 .
10) Quais so as possibilidades para o mdc de dois nmeros naturais dados por a e 2a + 4 ?
11) Classifique cada afirmao abaixo em Verdadeira ou Falsa,
justificando:
a) O mdc de dois nmeros naturais expressos por n e 2n + 1
sempre 1, para qualquer natural n .
b) Considere a e b nmeros naturais. Ento mdc(a, ab + 1) = 2 .
108
12) O mdc de dois nmeros 50. Para se chegar a este resultado pelo
Algoritmo de Euclides (processo das divises sucessivas), os quocientes obtidos foram, pela ordem, 1, 2 e 6. Ache os nmeros.
13) Determine todos os possveis nmeros naturais n < 20 tais
que mdc(n, 210) = 1 .
14) Quantos nmeros positivos relativamente primos com 30 e
menores do que 30 existem?
O mdc o divisor da ltima diviso feita (aquela que tem resto zero),
ou seja, 4 . Experimente calcular mdc(96, 72) pelas divises sucessivas. Voc ver que o resultado coincide com o mdc(96, 72) .
Isto nos leva a definir o mdc no universo dos nmeros inteiros da
seguinte maneira:
Definio. Sejam a e b nmeros inteiros; um nmero inteiro d
o mximo divisor comum de a e b se e somente se d o mximo
divisor comum do valor absoluto (mdulo) de a e de b .
109
110
Exemplos
1) Se mdc(25,15) = 5 , podemos encontrar dois nmeros inteiros
s e t tais que 5 = (25). s + 15. t ; os nmeros s = 2 e t = 3 satisfazem a igualdade pois (25).(2) + 15.(3) = 50 45 = 5 . Note
que os nmeros s e t no so nicos! s = 1 e t = 2 tambm satisfazem a igualdade pois (25).1 + 15.2 = 25 + 30 = 5 .
2) mdc(13, 4) = 1 ; 1 = 13.s + 4.t . Os nmeros s = 1 e t = 3 satisfazem a igualdade pois 13.1 + 4.(3) = 13 12 = 1 . Descubra outros nmeros s e t que satisfazem a igualdade.
Teorema. (Identidade de Bzout) Sejam a, b e d nmeros inteiros e
d = mdc(a, b) . Ento existem s e t inteiros tais que d = s.a + t.b .
Nos exemplos que acabamos de fazer, foi fcil encontrar os nmeros
s e t. Como fazer para encontrar s e t para mdc(53, 48) = 1 ? A resposta est no algoritmo de Euclides. Utilizando cada uma das divises
sucessivas possvel encontrar s e t por meio de uma srie de etapas.
Acompanhe o exemplo com ateno:
Para mdc(53, 48) = 1 , determinar s e t de modo que 1 = 53.s + 48.t .
Passo 1. Escrever cada uma das divises sucessivas do algoritmo de
Euclides, at que o mdc aparea como resto.
53 = 48.1 + 5
48 = 5.9 + 3
5 = 3.1 + 2
3 = 2.1 + 1
111
fazer aparecer os nmeros 53 e 48. Comeando com a igualdade
1 = 3 + (1).2 substitua os nmeros 2 e 3 pelas igualdades anteriores
do Passo 2. (Observe que 2 e 3 so restos. Muito cuidado com os sinais e no efetue os produtos!)
Vejamos:
Temos 1 = 3 + (1).2 ; substituindo 2 e 3 pelo membro direito das
igualdades anteriores, ficamos com:
1 = [48 + (9).5] + (1).[5 + (1).3] .
Observe, agora, que o 48 (um dos nmeros que nos interessa) j
apareceu, mas ainda no temos o 53 . Substitua novamente os restos
3 e 5 mas no efetue os produtos! Assim,
1 = 48 + (9).[53 + (1).48] + (1).{[53 + (1).48] + (1).[48 + (9).5]} .
Vamos organizar melhor nossa igualdade, usando a propriedade
distributiva, mas deixando que o 48 e o 53 fiquem visveis:
1 = 48 + (9).53 + (9).(1).48 + (1).[53 + (1).48 + (1).48 + (1).(9).5].
Usando mais uma vez a distributiva (para eliminar os colchetes),
temos:
1 = 48 + (9).53 + (9).(1).48 + (1).53 + (1).(1).48 +
+(1).(1).48 + (1)(1).(9).5 .
Efetuando os produtos, mas deixando 48 e 53 visveis, faa:
1 = 48 + (9).53 + 9.48 + (1).53 + 1.48 + 1.48 + (9).5 .
Colocando 48 e 53 em evidncia,
1 = 48.(1 + 9 + 1 + 1) + 53[(9) + (1)] + (9).5
1 = 48.12 + (10).53 + (9).5 .
Observe, agora, que ainda falta mais uma substituio, pois ainda
aparece o resto 5 ; no lugar do 5 coloque 5 = 53 + (1).48 , ou seja:
1 = 48.12 + (10).53 + (9).[53 + (1).48] .
Eliminando os colchetes,
1 = 48.12 + (10).53 + (9).53 + (9).(1).48 .
112
Exerccios propostos
15) Calcule mdc(54,15) e determine pelo algoritmo de Euclides
dois nmeros inteiros s e t tais que mdc(54,15) = 54.s + 15.t .
16) Considere a e b nmeros inteiros. Mostre que, se existem s e t
inteiros tais que 1 = s.a + t.b , ento mdc(a, b) = 1 .
113
resto
114
6 = 1.4 + 2
2 = 6.1 + 4.(1); s = 1 e t = 1
Mas a igualdade encontrada no a nossa equao original
6 x + 4 y = 90 . Vamos para a
Etapa 2. Como 90 = 2.45 , multiplicamos ambos os membros da
equao 2 = 6.1 + 4.(1) por 45 :
45.2 = 45.[6.1 + 4.(1)] .
No efetue todos os produtos! O 6 e o 4 devem ficar visveis!
90 = 6.45 + 4.(45) .
Consideremos, nesta equao, os nmeros x0 = 45 e y0 = 45 , com
( x0 , y0 ) a soluo de nossa equao 6 x + 4 y = 90 (mas no a soluo do nosso problema!). Note que s foi possvel encontrar esta
soluo pois 90 = 2.45 , ou seja, o termo independente mltiplo do
mdc de 6 e 4 . Isto significa que o processo que acabamos de estudar
para encontrar uma soluo da equao 6 x + 4 y = 90 s funcionou
por este motivo: o mdc de 6 e 4 divisor de 90 . Este o primeiro
resultado importante na resoluo das equaes diofantinas:
Proposio 8. Sejam a, b e c inteiros. A equao diofantina ax + by = c
tem soluo se e somente se o mximo divisor comum de a e b um
divisor de c.
Demonstrao.
1) Hiptese: a equao ax + by = c tem soluo.
Tese: mdc(a, b) um divisor de c .
Seja d = mdc(a, b) ; por hiptese, existe ( x0 , y0 ) tal que
ax0 + by0 = c . Como d a e d b , temos que d ax0 e d by0 . Logo,
d ax0 + by0 , ou seja, d c .
2) Hiptese: mdc(a, b) um divisor de c .
Tese: a equao ax + by = c tem soluo.
Devemos encontrar um par de inteiros ( x0 , y0 ) que satisfaa a
igualdade ax0 + by0 = c .
115
y = y0 a1t
Esta soluo ( x, y ) chamada a soluo geral da equao ax + by = c .
116
i) para que ocorra x = 45 + 2.t > 0 , devemos ter 45 > 2t ; isto significa que t pode assumir todos os valores positivos mas os valores negativos variam de 1 a 22 , uma vez que (2).(22) = 44
e 45 > 44 . Assim, x = 45 + 2.t > 0 ocorre para t 22 .
ii) para que ocorra y = 45 3.t > 0 , devemos ter 45 > 3t ; isto
significa que t no pode assumir valores positivos. E a partir de qual valor negativo de t ocorre 45 > 3t ? Para todos
os valores negativos estritamente menores do que 15 , uma
vez que 3.(15) = 45 e 3.(16) = 48 e 45 > 48 . Assim,
y = 45 3.t > 0 ocorre para t 16 .
117
-22
-21
-20
-19
-18
-17
-16
x (mesas p/ 6 pessoas)
11
13
y (mesas p/ 4 pessoas)
21
18
15
12
118
Exerccios propostos
17) Dar a soluo geral das seguintes equaes diofantinas:
a) 3 x + 4 y = 20
b) 5 x 2 y = 2
c) 24 x + 138 y = 18
d) 18 x 20 y = 8
e) 26 x + 39 y = 65
18) Dividir 100 em duas parcelas positivas de modo que uma seja
mltiplo de 7 e outra seja mltiplo de 11.
19) Dois tipos de caixa so usados numa fbrica para embalar
bolas de futebol: a caixa A para 12 bolas e a caixa B para 24
bolas. Quantas caixas de cada tipo so necessrias para embalar 156 bolas de futebol? Determine todas as possveis solues. Se a despesa de envio da caixa A R$7,00 e a da caixa B
R$10,00, qual a soluo mais econmica, usando os dois tipos
de caixa?
20) Uma editora usa dois tipos de caixas para transporte de livros: a caixa A para 20 livros e a caixa B para 100 livros. Qual
a menor quantidade de caixas necessria para embalar 1500
livros, usando os dois tipos? Quantas caixas de cada tipo?
119
mltiplos de 12
12
24
36
48
60
72
84
mltiplos de 15
15
30
45
60
75
90
105
120
Corolrio
Proposio resultante de
uma verdade j demonstrada;
conseqncia direta de uma
proposio demonstrada.
Fonte: http://www.priberam.pt/
dlpo/dlpo.aspx
Hiptese: a b , a 0 .
Tese. mmc(a, b) = b .
Se a b temos mdc(a, b) = a . Pela proposio 5, a.mmc(a, b) = a.b .
Como a 0 , podemos cancelar a em ambos os membros e teremos
mmc(a, b) = b .
121
Demonstrao.
Hiptese: d = mdc(a, b) e m = mmc(a, b) , a = d .x e b = d . y , com
mdc( x, y ) = 1 .
Tese: m = a. y e m = b.x .
Por hiptese, a m e b m ; ento existem c e k naturais tais que
m = a.c e m = b.k .
Mostremos agora que c = y e k = x .
Pela proposio 7, temos:
d .m = a.b
Exemplos
1) Calcular mmc(65, 26) .
Use o algoritmo de Euclides para calcular mdc(65, 26) = 13 .
Ento:
13.mmc(a, b) = 65.26
13.mmc(a, b) = 5.13.26
Pela lei do cancelamento em temos (cancelamos 13 em ambos os membros):
mmc(a, b) = 5.26 = 130 .
2) Calcular mmc(84, 72)
J sabemos que mdc(84, 72) = 12 . Ento
12.mmc(a, b) = 84.72
12.mmc(a, b) = 84.6.12
mmc(a, b) = 84.6 = 504
122
Exerccio resolvido
8) Determine todos os possveis pares de nmeros naturais cujo
mdc 12 e cujo mmc 240 .
Resoluo. Sejam a e b os nmeros procurados; ento mdc(a, b) = 12
e mmc(a, b) = 240 e teremos:
a) existem x e y naturais tais que a = 12.x e b = 12. y , com
mdc( x, y ) = 1 .
b) a 240 e b 240 .
c) 12.240 = a.b (proposio 10)
Substituindo a e b na igualdade em (c), teremos:
12. 240
12.,
240 ==12.
12.xx.12.
.12.yy
12.,
12.12.20 ==12.12.
12.12.xx..yy
12.12.20
Pela lei do cancelamento em , 20 = x. y .
Se encontrarmos x e y, conheceremos a e b; como mdc( x, y ) = 1 ,
estamos procurando dois nmeros relativamente primos cujo produto 20 . Vamos investigar:
x
20
12
240
48
60
Exerccios propostos
21) Calcule:
a) mmc(648,140)
b) mmc(132, 64)
22) Mostre que se a e b so nmeros naturais relativamente primos, ento mmc(a, b) = a.b .
123
124
Exerccios propostos
25) Calcule:
a) mmc(120, 68)
c) mdc(54,125)
b) mmc(20, 74)
26) Determine o maior nmero natural pelo qual se devem dividir os nmeros 160, 198 e 370 para que os restos sejam respectivamente 7, 11 e 13 .
27) Determine dois nmeros naturais sabendo que sua soma
589 e o quociente entre o mmc e o mdc 84 .
28) Encontre todos os possveis pares de nmeros naturais cujo
produto 3600 e cujo mmc 1200 .
29) Determine o menor nmero natural que satisfaa simultaneamente as condies: quando dividido por 2 tem resto 1, quando
dividido por 3 tem resto 2, quando dividido por 4 tem resto 3,
quando dividido por 5 tem resto 4, quando dividido por 6 tem
resto 5, quando dividido por 7 tem resto 6, quando dividido
por 8 tem resto 7 e quando dividido por 9 tem resto 8.
30) Determine todos os possveis nmeros naturais n tais que
mmc(n,54) = 54 .
31) O mmc de dois nmeros a e b igual a 1260 e quando dividimos este mmc pelos nmeros a e b o produto dos quocientes
obtidos igual a 90 . Determine todos os nmeros naturais
a e b satisfazendo esta condio.
32) Determine dois nmeros cuja soma 120 e cujo mmc 144 .
125
126
127
4) ento b a (mod
4) , para todos a e b inteiros.
ii) se a b(mod
4)
Prova. Hiptese: a b(mod
4)
Tese. b a (mod
Por hiptese, temos que 4 divisor de a b ; ento existe um k
inteiro tal que
a b = 4.k . Logo, b a = (a b) = 4.(k ) e 4 divisor de b a .
128
7)
Assim, temos que 25 + 48 4 + 41(mod
E o que acontece se fizermos o produto, membro a membro?
25.48 = 1200
4.41 = 164
1200 164 = 1036
1036 = 7.48 mltiplo de 7 .
7) .
Logo, (25.48) (4.41)(mod
4) pois 6 2 = 4 ; vamos investigar se
2) Sabemos que 6 2(mod
as potncias de 6 e 2 se mantm cngruas mdulo 4 :
62 = 36; 22 = 4
36 4 = 32 = 4.8 mltiplo de 4 .
4) .
Logo, 62 22 (mod
63 = 216; 23 = 8
216 8 = 208 = 4.52 mltiplo de 4 .
4) .
Logo, 63 23 (mod
129
130
Demonstrao.
m)
( ) Hiptese: a b(mod
Tese: a e b tm o mesmo resto na diviso euclidiana por m , ou seja:
existem x, y e r inteiros tais que a = mx + r e b = my + r , com
0 r < m.
O Algoritmo da Diviso nos garante que existem x, y, r1 e r2 tais que:
a = mx + r1 , 0 r1 < m e b = my + r2 , 0 r2 < m . (Devemos mostrar
agora que r1 = r2 )
Por hiptese, sabemos que m (a b) , ou seja, existe um k inteiro tal
que a b = km . Substituindo a e b nessa igualdade, temos:
(mx + r1 ) (my + r2 ) = km
mx my km = r2 r1
m( x y k ) = r2 r1 .
A ltima igualdade mostra que m r2 r1 e tambm podemos garantir
que m um divisor de r2 r1 ; como 0 r1 < m e 0 r2 < m teremos
que a distncia entre r1 e r2 menor do que m, ou seja, r2 r1 < m .
Ora, se r1 e r2 so diferentes, isto est em contradio com o fato
de m ser um divisor r2 r1 (lembre que se estamos considerando
nmeros inteiros positivos, podemos garantir que o divisor menor
que o dividendo, exceto quando o dividendo zero) . Para que esta
contradio no ocorra, devemos ter r2 r1 = 0 , ou seja, r2 = r1 .
Assim, a e b tm o mesmo resto na diviso por m.
( ) Hiptese: a e b tm o mesmo resto na diviso euclidiana por m ,
ou seja: existem x, y e r inteiros tais que a = mx + r e b = my + r ,
com 0 r < m .
m)
Tese: a b(mod
m) devemos observar o que acontece
Para mostrar que a b(mod
com a diferena a b ; usando as igualdades da hiptese, temos:
a b = (mx + r ) (my + r ) = mx my + r r = mx my = m( x y )
m) .
Logo, a b = m( x y ) e m a b ; por definio, a b(mod
Consequncia da PC2: Se r o resto da diviso de x por m, ento
x r (md m). Alm disso, r o menor inteiro positivo cngruo a x
mdulo m.
131
Exerccios propostos
33) Encontre o resto da diviso de 542 por 8, sem efetuar a conta.
34) Qual o menor inteiro positivo congruente ao produto
11.18.23.22.13.19 mdulo 7 ?
m) , encontre os possveis valores de m .
35) Se 402 654(mod
7) .
36) Determine os inteiros x,
x, 100 x 200 , tais que x 1(mod
132
d)
b) a.b m(mod
b) 97 (248 1)
Resumo
O principal teorema apresentado neste captulo foi o Algoritmo da
Diviso.
Com este resultado estudamos Divisibilidade, Mximo Divisor Comum, Mnimo Mltiplo Comum e Congruncias. Tambm estudamos as Equaes diofantinas cuja resoluo uma aplicao direta
do algoritmo de Euclides (clculo do mdc).
Bibliografia complementar
DOMINGUES, Hygino H. Fundamentos de Aritmtica. So Paulo:
Atual, 1991.
Captulo 4
Teorema Fundamental da
Aritmtica
135
Captulo 4
Teorema Fundamental da Aritmtica
Nosso objetivo neste captulo estudar nmeros primos,
o Teorema Fundamental da Aritmtica e suas aplicaes: clculo do mdc, mmc e do nmero de divisores. Os
resultados aqui desenvolvidos so estudados no universo dos nmeros naturais no Ensino Fundamental e so
conhecidos como conseqncias da fatorao.
136
Exemplos:
Em os nmeros 13, 23, 37, so primos; provaremos mais adiante que existe uma infinidade de nmeros primos em . Em ,
sero primos tambm os opostos dos primos positivos, como 13,
23, 37 etc.
Consideraes sobre as definies
i) A definio de nmero primo em exclui 0 e 1 do universo
dos primos; os pitagricos (c.sc. VI a.C.) j excluam o 1 da
condio de primo por acreditar que 1 era o gerador de todos
os nmeros. No h necessidade de explicar porque 0 e 1
no podem ser primos: eles no o so por definio.
ii) Na definio em , note que se p inteiro e | p | primo em
, tem-se:
1) p 0 e p 1 .
2) Os nicos divisores em de p so 1 e p .
Em (1) temos que p 0, p 1 e p 1 . E que podemos dizer a respeito dos divisores inteiros de p ? Consideremos b um inteiro divisor de p ; por (2) teremos b = 1 ou b = p , uma vez que b um
nmero natural.
Usando as propriedades de mdulo, conclumos que:
b = 1 ou b = 1 ou b = p ou b = p .
Assim, a definio em pode ser enunciada da seguinte forma:
Seja p ; p primo se e somente se:
1) p 0, p 1 e p 1 e
2) os nicos divisores de p so 1, 1, p e p .
iii) Quando um nmero natural no primo? Como a definio
estabelece duas condies, para que um nmero no seja primo basta que ele no satisfaa uma das condies. Assim, um
nmero natural n no primo quando n = 1, ou n = 0 , ou n
admite pelo menos um divisor diferente de 1 e diferente de n .
137
Quando n , n > 1 e n admite pelo menos um divisor
diferente de 1 e diferente de n , dizemos que n um nmero
composto. Desta forma, um nmero composto em aquele
que pode ser expresso como um produto de nmeros naturais,
com fatores diferentes de 1 e do prprio nmero. O mesmo
ocorre em : um nmero inteiro k composto quando k > 1
e k pode ser expresso como um produto de inteiros, com fatores diferentes de 1, 1, k e k (veja a definio de divisor no
incio do captulo).
Por exemplo, 99 um nmero composto pois
99 = 99 > 1 e 99 = (3).33 .
Nmeros primos: resultados importantes
As proposies a seguir so ferramentas essenciais em nosso estudo
dos nmeros primos. Elas sero teis na resoluo de exerccios e
como argumentos na demonstrao de outros resultados.
Proposio 1. Dois um nmero primo em .
Demonstrao.
Seja b * um divisor de 2 ; ento existe c tal que 2 = b.c . Pela
propriedade D7 (Captulo 3) temos que b = b 2 = 2 . Se b * e
b 2 devemos ter b = 1 ou b = 2 . Assim, os nicos divisores de 2
em so 1 e o prprio 2 . Logo, 2 primo em .
138
Proposio 4. Sejam a, b e p nmeros inteiros; se p primo e p divisor do produto a.b, ento p divisor de a ou p divisor de b.
Demonstrao.
Hiptese: a, b e p so nmeros inteiros, p primo e p divisor do
produto a.b .
Tese: p divisor de a ou p divisor de b .
Por hiptese p divisor do produto a.b , ou seja, existe x inteiro tal
que a.b = p.x . Suponhamos que p no divisor de a e provemos
que p divisor de b . De fato: como p no divisor de a e p
primo, a proposio 3 nos garante que mdc(a, p ) = 1 . Mas se p
divisor de a.b e mdc(a, p ) = 1 , p deve ser divisor de b (Proposio
4 do Captulo 3), como queramos provar.
139
Observao 2. O teorema 1 nos garante que sempre possvel fatorar um nmero natural estritamente maior do que 1, de modo
que todos os fatores sejam nmeros primos. Alm disso, o teorema
garante que estes primos so nicos, ou seja, no possvel fatorar
um mesmo nmero utilizando dois conjuntos distintos de fatores
primos. A demonstrao deste teorema decorre da Proposio 2 e do
primeiro princpio de induo, que estudaremos no Captulo 5.
Exemplos
1) Vamos fatorar 342 em fatores primos. Provavelmente voc
j conhece o procedimento: procurar os primos que so divisores de 342 ; aconselhvel experimentar os primos em sua
seqncia: 2, 3, 5, 7, 11, 13, para termos a certeza de no esquecer nenhum (os critrios de divisibilidade so teis neste
momento). Sabemos que 342 par; logo, 2 um divisor primo: 342 = 2.171 . Mas 171 divisvel por 3 , 171 = 3.57 . Assim,
342 = 2.171 = 2.3.57 . Vemos que tambm 57 divisvel por 3 ,
isto , 57 = 3.19 . Logo, 342 = 2.171 = 2.3.57 = 2.3.3.19 .
140
direita do trao vertical ficam os divisores primos; esquerda, os quocientes das contas de dividir por estes primos. Lemos
assim: 342 dividido por 2 d 171 , que dividido por 3 resulta
57 , que, por sua vez, quando dividido por 3 d 19 , e o nico
divisor primo de 19 o prprio 19 , pois ele primo. Ao encontrarmos o quociente 1 a decomposio est completa. Observe
que este procedimento vertical apenas uma forma mais
simples de escrever as contas que voc dever fazer para encontrar a decomposio, permitindo que voc visualize melhor
os divisores primos envolvidos. Aps fazer a decomposio,
podemos agrupar os fatores primos repetidos usando potncias; assim, a decomposio de 342 : 342 = 2.3.3.19 = 2.32.19 .
Os primos 2, 3 e 19 so os nicos primos envolvidos na fatorao.
2) Fatorar 540 .
Utilizando o procedimento do exemplo 1, fazemos:
5
Assim, 540 = 2.2.3.3.3.5 = 22.33.5 .
Observao 3. No processo de fatorar, a ordem em que os divisores
primos aparecem no precisa ser necessariamente crescente, uma
vez que a multiplicao comutativa; no exemplo anterior, pode-se
comear a fatorao pelo primo 5 , por exemplo:
141
Exerccios propostos
1) Decomponha em fatores primos os nmeros:
36938, 9999, 583, 1890, 7183, 10857, 9812, 51262, 20305 .
2) Qual o menor nmero natural que possui cinco fatores primos
diferentes?
3) Fatore o nmero 270 e encontre todos os seus divisores.
Observao 4. Note que, no processo de fatorar um nmero natural,
descobrimos todos os seus divisores.
Por exemplo:
342 = 2.32.19 .
Todo nmero natural n
admite o 1 e o prprio
nmero n como divisores.
Estes so chamados
divisores imprprios de n.
Os outros possveis divisores
de n so chamados divisores
prprios.
142
143
Exerccio resolvido
1) Determine o menor inteiro positivo x , de modo que o produto
de x por 6 615 seja um quadrado.
Resoluo.
Lembre que um quadrado o resultado do produto de um nmero
por ele mesmo; por exemplo, 25 = 5.5 , 36 = 6.6 , 529 = 23.23 so
quadrados. Tambm dizemos 25 o quadrado de 5 . No exerccio,
devemos encontrar um inteiro positivo x de modo que x.6 615 seja
o produto de um nmero por ele mesmo. Sabemos que tanto x como
6 615 podem ser fatorados, e a fatorao do produto x.6 615 ser
o produto das fatoraes; isto permitir descobrir o que falta para
termos um produto de um nmero por ele mesmo. Observe:
6615 = 33.5.72 = 32.3.5.72 = 32.72.3.5 = (3.7).(3.7).3.5
32 e 7 2 j representam produtos de um nmero por ele mesmo:
(3.7).(3.7) . Est sobrando um 3.5 , ou melhor, est faltando
outro 3.5 para que possamos ter o produto (3.7).(3.5).(3.7).(3.5) ,
que o quadrado do nmero (3.7).(3.5) = 3.3.5.7 . Note tambm que 3.5 = 15 o menor nmero pelo qual devemos multiplicar 6 615 = (3.7).(3.7).3.5 para obter um quadrado. Assim, para
x = 3.5 = 15 , o produto de x por 6 615 igual ao quadrado de
3.3.5.7 = 315 . Podemos escrever tambm
x.6 615 = 15.6 615 = 3.5.33.5.7 2 = 34.52.7 2 =
= (32.5.7).(32.5.7) = (32.5.7) 2 .
Observao 6. O exerccio que acabamos de resolver mostra que
possvel saber se um nmero um quadrado somente observando
sua fatorao. Por exemplo: 24.32.56 um quadrado, pois podemos
escrever 24.32.56 = (22.3.53 ) 2 . Assim, podemos dizer que um nmero
um quadrado quando as potncias dos primos de sua decomposio so todas pares. (Note que estamos usando tambm uma das
propriedades de potncia que voc estudou no captulo 2).
Exerccios propostos
4) Encontre o menor nmero inteiro positivo pelo qual devemos
multiplicar 6 776 de modo que este produto seja a terceira potncia de um nmero.
144
145
Demonstrao do Teorema 3.
Suponhamos que o conjunto P dos nmeros primos em finito. Ento podemos expressar P como P = {p1. p2 . p3 .. pn } e estes
so todos os nmeros primos naturais. Considere agora o nmero
k = ( p1. p2 . p3 .. pn ) + 1 . Este nmero um nmero natural e, pela Proposio 2, deve ter um divisor primo. Este divisor primo um dos elementos de P : vamos cham-lo pr . Teremos ento que pr um divisor de
k = ( p1. p2 . p3 .. pn ) + 1 e tambm um divisor de p1 , p2 , p3 , , pn ,
uma vez que um de seus fatores. Pela propriedade D6 de divisibilidade (se um nmero divisor de uma soma e tambm de uma das
parcelas, ento divisor da outra parcela), temos que pr um divisor
de 1. Como o nico divisor natural de 1 o prprio 1, conclumos
que pr igual a 1, o que uma contradio, pois pr primo. Esta
contradio se originou do fato de supormos P um conjunto finito.
Logo, P no finito, ou seja, infinito.
Exerccios propostos
6) Prove que o produto de trs nmeros consecutivos divisvel
por 6.
7) Mostre que o nmero a 4 + 4 composto para todo a maior
que 1.
8) Se o resto da diviso de um nmero primo por 3 1, mostre
que, na diviso deste nmero por 6 , o resto tambm 1.
9) Mostre que todo nmero primo maior que 2 da forma
4k + 1 ou 4k + 3 .
10) (Deserto de primos) Considere a seguinte seqncia de nmeros naturais, para n um nmero natural, n > 1 :
a1 = (n + 1)!+ 2
a2 = (n + 1)!+ 3
a3 = (n + 1)!+ 4
an = (n + 1)!+ (n + 1) .
Mostre que a1 , a2 , a3 , , an so nmeros consecutivos e compostos.
146
147
148
Exerccios resolvidos
2) Sejam m = 26.33.52 , n = 2r.3s.5t e x = 25.54 . Escreva as condies
que devem satisfazer r , s e t para que n seja divisor comum
de m e x .
Resoluo. n = 2r.3s.5t deve ser um divisor de m = 26.33.52 e de
x = 25.54 . Para tanto, os primos comuns que aparecem na decomposio de m e de x devem tambm aparecer na decomposio de
n ; so eles: 2 e 5 . Como 3 no aparece na decomposio de x , j
podemos concluir que s = 0 .
Vamos analisar os expoentes r e t:
i) expoente r
m = 2.2.2.2.2.2.33.52 e x = 2.2.2.2.2.54
149
150
Como queremos o menor nmero, conclumos que o nmero procurado corresponde possibilidade (i).
Resposta. O menor nmero de dois algarismos que admite 8 divisores 24 .
Exerccios propostos
11) Achar um nmero n sabendo que satisfaz as condies :
a) n um cubo
b) n admite 16 divisores
c) na diviso de n por 43 , o quociente um nmero primo e
o resto 1.
12) Considere a e b nmeros naturais no relativamente primos,
cujo produto 420 . Determine mdc(a, b) .
13) Qual o menor nmero natural que admite 20 divisores ?
14) Prove que se um nmero natural no nulo tem um nmero
mpar de divisores ento ele um quadrado.
15) Mostre que, se um nmero natural a primo, ento o nmero
de divisores de a 2 .
16) Determine r e s para que a = 23.5r.7 s tenha 84 divisores.
17) Seja a um nmero natural que no divisvel por nenhum
quadrado diferente de 1 (um nmero assim chamado livre
de quadrados). Se r o nmero de fatores primos de a , mostre que d (a ) = 2r .
18) Um nmero n decomposto em fatores primos da forma
n = 2 x.3 y.5 z . Ache o nmero n sabendo-se que se elimina 24
divisores quando dividimos n por 2 , 18 divisores quando dividimos n por 3 e 12 divisores quando dividimos n por 5 .
19) Achar dois nmeros, um com 10 divisores e outro com 21
divisores, tal que seu mdc seja 18 .
151
Resumo
Como dito na introduo, estudamos neste captulo nmeros primos, o Teorema Fundamental da Aritmtica e diferentes estratgias
de clculo do mdc e mmc usando fatorao. Vimos, tambm, que
a fatorao de um nmero permite-nos obter informaes diversas
sobre o nmero como: quantidade de divisores, se o nmero um
quadrado, um cubo ou outra potncia.
Bibliografia comentada
DOMINGUES, Hygino H. Fundamentos de Aritmtica. So Paulo:
Atual, 1991.
Este livro, j citado no captulo anterior, uma obra que, alm de desenvolver
o contedo, prope exerccios interessantes. Sugerimos a consulta deste
livro ao estudante que busca mais informaes sobre o tema.
Captulo 5
Princpio de Induo
155
Captulo 5
Princpio de Induo
Neste captulo, estudaremos o Princpio de Induo, um
mtodo de demonstrao de teoremas aritmticos, ou,
mais rigorosamente, de resultados referentes s propriedades gerais dos nmeros naturais. Muitas vezes, este
o nico instrumento adequado para a demonstrao de
um resultado.
O mtodo que vamos estudar conhecido como Primeiro princpio de induo, uma vez que existe um Segundo princpio de
induo que no abordaremos aqui. Como voc j deve ter percebido, demonstrar afirmaes uma prtica em matemtica; este
particular mtodo de demonstrao acompanhar voc at o final
do curso, aparecendo em, praticamente, todas as disciplinas de
contedo matemtico. Uma caracterstica deste mtodo que ele
se aplica somente a afirmaes referentes sequncia de nmeros
naturais 0, 1, 2, 3, Veja alguns exemplos de afirmaes que podem ser demonstradas usando o Princpio de Induo:
1) 10n 1 mltiplo de 3 , para todo nmero natural n, n 0 .
2) 2n > n 2 , para todo nmero natural n 5 .
sen(2n +1 )
3) cos 2 .cos 2 .cos 2 .cos 2 . .cos 2 = n +1
, para
2 .sen
todo nmero natural n 0 .
0
156
afirmaes deste tipo podem ser provadas para todo nmero natural a partir de um nmero dado, sem verifica-los um a um, o que
seria impossvel. Ao contrrio do que parece, um mtodo dedutivo
de demonstrao. Voc conhece o efeito domin? Basta um leve
toque no primeiro e todos os outros caem. com esta idia que voc
vai comear a trabalhar agora.
157
1 = 1 = 12
n = 2,
1 + 3 = 4 = 22
n = 3,
1 + 3 + 5 = 9 = 32
n = 4,
1 + 3 + 5 + 7 = 16 = 42
n = 5,
1 + 3 + 5 + 7 + 9 = 25 = 52 .
x = 41
x = 43
x = 47
x = 53
x = 61
x = 71
x = 83
x = 97
x = 113
x = 131
158
Apesar de parecer verdadeira (e para os primeiros 39 valores de n ), a afirmao no se verifica para todo n 0 .
3) Analisemos as afirmaes:
n3 n divisvel por 3 ,
n5 n divisvel por 5
n 7 n divisvel por 7
Questo: Como garantir que uma proposio geral verdadeira para todo nmero natural n, se no podemos experimentar
todos os valores possveis de n?
Resposta: s vezes (mas nem sempre) podemos garantir a validade aplicando um argumento especial, chamado Princpio
de Induo. Vamos aplicar este argumento em nosso primeiro
exemplo. Leia com ateno.
Exemplos:
1) Prove que 1 + 3 + 5 + + (2n 1) = n 2 , para todo n 1 .
1) Verificamos se a afirmao verdadeira para o primeiro
nmero natural envolvido, no caso n = 1 ;
1 = 12 verdadeiro.
Note que n = 1 significa que estamos considerando a soma
de uma parcela.
2) Sendo k um valor para o qual a afirmao verdadeira,
k fixo, k 1 , verificamos se ela continua vlida para k + 1 ,
nmero natural que segue imediatamente.
159
Suponhamos que:
1 + 3 + 5 + + (2k 1) + (2k + 1) = (k + 1) 2 ,
(ou seja, a igualdade verdadeira para a soma de k parcelas
de nmeros mpares).
Acrescentamos mais um mpar soma, ficando com k + 1
parcelas mpares. Nosso objetivo agora provar a igualdade
1 + 3 + 5 + + (2k 1) + (2k + 1) = k 2 , isto , que a nossa afirmao original verdadeira para k + 1 parcelas. Note que o nmero mpar que segue 2k 1 2k + 1 .
1 + 3 + ... + (2k 1) + (2k + 1) = k 2 + 2k + 1 = (k + 1) 2 .
160
HI
= 9.10 + 3 y = 3(3.10 + y ) = 3 x .
Logo, 10 1 mltiplo de 3 .
De 1) e 2) conclumos que 10n 1 mltiplo de 3 para todo
n 1.
3) 3n 1 mltiplo de 2 , para todo n 1 .
Para n = 1 temos que: 31 1 = 2 ; 2 mltiplo de 2 . Logo, vale
para n = 1 .
Hiptese de induo: k fixo, k 1 ; 3k 1 mltiplo de 2 , ou
seja: 3k 1 = 2 y , para algum y .
Nosso objetivo mostrar que 3k +1 1 = 3 x para algum x natural. Anlogo ao exemplo anterior, fazemos:
.
Logo: 3n 1 mltiplo de 2 , n 1 .
161
Mais exemplos
n(n + 1)
, n 1 ( n a quantidade de naturais
2
consecutivos somados).
4) 1 + 2 + 3 + ... + n =
1) n = 1 ,
1(1 + 1) 2
= = 1 . OK.
2
2
k (k + 1)
.
2
(k + 1)(k + 2)
.
2
k (k + 1)
+ (k + 1) =
2
k
k
(k + 1) + (k + 1) = (k + 1)( + 1) =
2
2
k + 2 (k + 1)(k + 2)
.
= (k + 1)(
)=
2
2
=
162
n(n + 1)
verdadeira para todo n 1 .
2
5) 7 divisor de 23n 1, n 0
1) Para n = 0, 230 1 = 1 1 = 7.0 = 0 . Logo vale para n = 0 .
2) Hiptese de induo: para k fixo, k 0 , 7 divisor de
23k 1 , ou seja, 23k 1 = 7 y , para algum y .
Nosso objetivo mostrar que 23( k +1) 1 = 7 x para algum x .
.
Logo , 7 divisor de 23n 1, n 0 .
1
6) 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n + 1)(n + 2)n , n 1
3
A induo aqui ser feita sobre o nmero de parcelas somadas.
1
1
6
(1 + 1)(1 + 2).1 = (2)(3).1 = .1 = 2.1 . Logo vale
3
3
3
para n = 1 (uma parcela).
1) Para n = 1 ,
(k + 1)(k + 2)(k + 3)
.
3
163
k + 3
= (k + 1)(k + 2) k + 1 = (k + 1)(k + 2)
=
3
3
(k + 1)(k + 2)(k + 3)
=
3
1
Logo, 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n + 1)(n + 2)n , n 1 .
3
7) Demonstrao de Propriedades das Potncias
Propriedade. Seja x * , n, m . Ento:
a) x n .x m = x n + m
b) ( x n ) m = x n.m
Antes de provar estas propriedades, vejamos primeiramente a
seguinte definio de potncia de um nmero inteiro:
Definio. Para x um nmero inteiro e n um nmero natural,
definimos:
x 0 = 1 para n = 0
1
x = x para n = 1
n +1
n
x = x .x para n > 1 .
Exemplo. 54 = 53.5 = (52.5).5 = [(5.5).5].5 = 25.5.5 = 625
Note que esta uma definio por recorrncia como a definio
de adio vista no captulo 2.
Vejamos, agora, as demonstraes:
a) Consideramos n fixo e fazemos a induo sobre m .
1) Para m = 0 , x n .x 0 = x n .1 = x n = x n + 0 . Logo, a afirmao verdadeira para m = 0 .
2) Hiptese de induo: para k fixo, k 0 : x n .x k = x n + k
164
x n .x k +1 = x n .x k .x = ( x n .x k ).x =
Def .
= x n + k .x = x ( n + k ) +1 = x n + ( k +1) .
Logo, a afirmao verdadeira para todo n 0 .
b) Consideramos n fixo e fazemos a induo sobre m :
1) Para m = 0 , ( x n )0 = 1 e x n.0 = x 0 = 1 . Logo, ( x n )0 = x n.0 = 1 .
2) Hiptese de Induo: para k fixo, k 0 , ( x n ) k = x n.k .
Nosso objetivo mostrar que a afirmao verdadeira para k + 1 ,
ou seja, ( x n ) k +1 = x n ( k +1) . Para provar esta igualdade, vamos desenvolver o membro da esquerda e usar a hiptese de induo.
HI
a)
( x n ) k +1 = ( x n ) k .( x n )1 = x n.k .x n =
= x nk + n = x n.( k +1) .
Logo, a afirmao verdadeira para todo m 0 .
8) Demonstrao da propriedade da congruncia
Sejam a, b e m inteiros, m > 1 .
m) ento, a n b n (mod
m) , para todo n 1 .
Se a b(mod
Demonstrao:
1) Para n = 1 , a afirmao verdadeira por hiptese.
2) Hiptese de induo: Suponhamos a afirmao verdadeira para
m) .
k fixo, k 1 : a k b k (mod
m) .
Nosso objetivo mostrar que a k +1 b k +1 (mod
m) por hiptese e a k b k (mod
m) pela HipteComo a b(mod
se de Induo, usando o item anterior temos:
m), ou seja,
a.a k b.b k (mod
m)
a k +1 b k +1 (mod
Logo, a afirmao verdadeira para todo n 1 .
165
Exerccios propostos
1) Prove que: n3 n divisvel por 6 , n 1 .
2) Prove que: 11 divisor de 22 n 1.3n + 2 + 1, n 1 .
3) Prove que: 1 + 2 + 22 + 23 + ... + 2n 1 = 2n 1 , n 1 .
4) Prove que: 12 + 22 + 32 + ... + n 2 =
n(2n + 1)(n + 1)
, n 1 .
6
Resumo
Estudamos, neste captulo, um mtodo de demonstrao, chamado:
Primeiro princpio de induo que consiste do seguinte:
Seja a um nmero inteiro.
Uma proposio verdadeira para todo inteiro n a se so verificadas as condies:
1) A proposio verdadeira para a (o primeiro inteiro envolvido).
2) Admitindo a proposio vlida para um nmero k a , provamos sua validade para k + 1 (o nmero consecutivo).
Voc deve ter percebido a tipologia das afirmaes, para as quais,
o princpio da induo se mostra como uma forma adequada e eficiente para fazer demonstraes.
Bibliografia comentada
SOMINSKI, I. S. Mtodo de induo matemtica. So Paulo: Atual,
1996.
Neste livro voc encontra vrios exemplos de resultados demonstrados pelo
mtodo de induo estudado aqui.
Captulo 6
Nmeros racionais
169
Captulo 6
Nmeros racionais
Neste texto, faremos um estudo do conjunto dos nmeros racionais a partir da idia de frao. As operaes
e a relao de ordem sero trabalhadas nas duas representaes: decimal e fracionria. Tambm apresentaremos as propriedades relativas s operaes.
6.1 Introduo
Os nmeros racionais aparecem pela primeira vez nas sries iniciais do Ensino Fundamental, com a idia de frao; na quinta e
na sexta sries do Ensino Fundamental o assunto retomado sob
o ponto de vista de um conjunto numrico com operaes prprias e novos algoritmos. O que era o pedao de um todo passa
a ser tratado como nmero. um assunto que requer uma abordagem cuidadosa para que o estudante possa fazer essa transio
de modo natural. Muito importante tambm neste contexto so as
diferentes representaes de um nmero racional.
Historicamente, os nmeros racionais j aparecem nos mais antigos registros. Em 2000 a.C. os babilnios j usavam fraes, essencialmente como as usamos hoje; aos egpcios se credita o primeiro tratamento sistemtico das fraes (papiro de Rhind, cerca
de 1700 a.C.) referente a fraes unitrias (fraes com numerador
igual a 1). Os gregos possuam notaes especiais para as fraes
(escreviam somente o denominador das fraes unitrias) e os romanos usavam em geral fraes de denominador 12 . Clculos
com fraes constituam a parte principal da instruo matemtica nas escolas romanas. O modo atual de representar as fraes
provavelmente originou-se na civilizao indiana.
No sculo VI, o denominador era escrito acima do numerador,
sem o trao; por volta do ano 1000 de nossa era, os rabes introduziram o trao separando numerador de denominador. Em
170
1585, Simon Stevin apresentou ao ocidente a notao decimal como
a conhecemos hoje, que se originou da representao de uma frao
como soma de fraes cujos denominadores so potncias de 10 e
cujos numeradores so os algarismos. Esta notao universalizouse somente no sculo XVIII, apesar das vantagens que tem sobre
a notao em forma de frao. At hoje existem pequenas diferenas relativas notao decimal; por exemplo, os americanos usam o
ponto e ns usamos a vrgula para separar a parte inteira da parte
fracionria: eles escrevem 2.1 e ns escrevemos 2,1 para representar dois inteiros e um dcimo.
2x = 0
3x = 0
(1) x = 0
(2) x = 0
1x = 1
2x = 1
3x = 1
(1) x = 1
(2) x = 1
1x = 2
2x = 2
3x = 2
(1) x = 2
(2) x = 2
1x = 3
2x = 3
3x = 3
(1) x = 3
(2) x = 3
1x = 1
2 x = 1
3 x = 1
(1) x = 1
(2) x = 1
1x = 2
2 x = 2
3 x = 2
(1) x = 2
(2) x = 2
1x = 3
2 x = 3
3 x = 3
(1) x = 3
(2) x = 3
171
2x = 3
(2) x = 1
(2) x = 3
4x = 2
4x = 6
(4) x = 2
(4) x = 6
6x = 3
6x = 9
(6) x = 3
(6) x = 9
(2) x = 1
(2) x = 3
2 x = 1
2 x = 3
(4) x = 2
(4) x = 6
4 x = 2
4 x = 6
(6) x = 3
(6) x = 9
6 x = 3
6 x = 9
1
2
3
2
3
2
1
2
172
= / a , b , b 0 .
b
fizemos.
2) a natureza dos elementos de e do novo conjunto so diferentes. Por este motivo no poderamos afirmar que .
No entanto, como podemos identificar como um subconjunto de , usamos . Veremos logo a seguir que a estrutura de (operaes, propriedades e ordem) se mantm nesta
nova representao.
a
Observao 2. Na representao
de um nmero racional, a o
b
numerador e b o denominador.
a
Observao 3. Note que um nmero racional igual a zero quanb
do seu numerador igual a zero.
Tarefa
Pesquise qual a origem das palavras numerador e denominador.
Comentrios:
1) Sobre fraes como parte de um todo. De modo geral, o primeiro contato dos alunos com os nmeros racionais se d atravs da idia de frao, como uma quantidade que representa
uma parte do todo. O universo de trabalho neste nvel o conjunto dos nmeros naturais, e diviso significa diviso exata
(o algoritmo da diviso com resto zero).
173
Alguns exemplos
a)
b)
c)
1
ma representa a quantidade correspondente a um
2
dos pedaos que resulta da diviso da ma em duas partes
iguais.
1
de 30 balas representa a quantidade correspondente a
3
um dos pedaos que resulta da diviso de 30 por trs, ou
seja, 10 balas.
2
de 100 reais representa a quantidade correspondente a
5
dois dos pedaos que resulta da diviso de 100 reais por 5 ,
ou seja, 2.(100 5) = 2.20 = 40 reais.
3
6
e
4
8
provm das equaes 4 x = 3 e 8 x = 6 respectivamente. Como
8 x = 6 resulta da multiplicao por 2 em ambos os membros
3 6
de 4 x = 3 , e so duas representaes do mesmo nmero racio4 8
6
3
nal. Note que
se obtm de
pela multiplicao por 2 do
8
4
6
3
numerador e do denominador;
e
so fraes equivalentes.
8
4
Pensando em uma frao como parte de um todo, dividir o
todo em 4 partes iguais e tomar 3 resulta na mesma quantidade obtida se dividirmos o todo em 8 partes iguais e tomarmos
6 . Veja o clssico desenho que aparece nos livros didticos:
3
3 12 9
so:
,
,
, etc.
4
4 16 12
Voc deve ter percebido que um nmero racional tem ento uma infinidade de representaes; podemos escolher trabalhar com aquela
que for mais adequada, dependendo da situao. Por exemplo, se
174
5
e necessitamos trabalhar com denominador 45 ,
9
5
5.5 25
5 25
=
podemos substituir por
pois =
.
9
5.9 45
9 45
temos o nmero
Exerccios propostos
1) Subtraindo-se um mesmo nmero do numerador e do deno8
8
minador da frao
, obtm-se uma frao equivalente a
?
12
12
2) Desenhe um segmento de 12 cm de comprimento e marque os
nmeros de zero a 12 . Associe cada uma das fraes seguintes
3
5
7
2
a um ponto do segmento: de 12 , de 12 ,
de 12 ,
de
4
6
14
24
1
12 e de 12 .
4
3
3) Que frao da hora o minuto? Quantos minutos h em de
5
hora?
4) Quantos meios litros h em 5 litros e meio?
5) Existe uma frao equivalente a um tero com denominador
10 ?
2
. Quanto se deve so14
mar ao numerador para obter uma frao equivalente?
6.3 Operaes em
Para definir as operaes em , usaremos as operaes em e
suas propriedades (captulo 2), propriedades estas que no gostaramos de perder no processo de ampliao. Considerar um nmero
racional como soluo de uma equao nos permite encontrar uma
maneira de operar os novos nmeros de modo que a estrutura de
se mantm tambm em . como se fizssemos o processo de
operar de trs para frente: considerando que as propriedades de
se mantm em , como posso operar com os novos nmeros?
175
6.3.1 Adio em
Consideramos dois nmeros racionais x e y . Como os elementos
do conjunto so solues de equaes, temos que existem a, b, c e
d inteiros, b e d no nulos, tais que
1) x soluo de bx = a
e
2) y soluo de dy = c .
Pergunta: qual a equao que tem x + y como soluo? Ou seja, para
quais inteiros p + q , com q 0 , temos q ( x + y ) = p ? Multiplicando
ambos os membros da equao 1) por d e ambos os membros da
equao 2) por b , e considerando que esto mantidas as propriedades associativa, comutativa e distributiva em (pois x e y so
racionais), obtemos:
3) bdx = ad e
4) bdy = bc
Adicionando membro a membro temos:
bdx + bdy = ad + bc
bd ( x + y ) = ad + bc
Assim, x + y soluo da equao bd ( x + y ) = ad + bc . Os inteiros que
estvamos procurando so q = bd 0 (pois b e d so no nulos), e
p = ad + bc , ou seja, x + y soluo da equao (bd )( x + y ) = ad + bc
ad + bc
e representado em como
. Isto nos indica como definir
bd
a adio em :
a c
e , com a, b, c e d
b d
inteiros, b 0 e d 0 , definimos sua soma como:
Definio. Dados dois nmeros racionais
a c ad + bc
+ =
.
b d
bd
Observao 4. Nesta soma de fraes no estranhe o fato de no
precisarmos do mmc dos denominadores. Acompanhe os exemplos
a seguir.
176
Exemplos
4)
3 13 9 52 61
+ =
+
=
.
8 6 24 24 24
61 122
=
, pois 61.2 = 122 e 24.2 = 48 , obtemos o mesmo
24 48
resultado.
Como
5)
6) 3 +
6 3 6 3.7 + 1.6 27
= + =
=
.
7 1 7
1.7
7
177
dades da existncia do elemento neutro e da existncia do oposto,
que vamos detalhar a seguir. Assim, em relao adio, admite
as mesmas propriedades que .
a
A3) Para todo nmero racional
(com a e b inteiros e b 0 ),
b
0
a 0 a
existe o nmero racional tal que + = .
1
b 1 b
Demonstrao. O candidato a ser o elemento neutro da adio em
0
o nmero inteiro 0 , que em representado por
(pode1
ramos ter escolhido qualquer outro denominador, mas 1 o mais
conveniente neste caso; lembre das fraes equivalentes!). Vamos vea 0 a.1 + b.0 a + 0 a
=
= .
rificar que ele satisfaz a condio: + =
b 1
b.1
b
b
(Note que usamos as propriedades das operaes em no numerador).
0
Anotaremos o elemento neutro por 0 , como em .
1
a
(com a e b inteiros e b 0 ),
b
r
a r
existe um nmero racional tal que + = 0 .
s
b s
r
Demonstrao. Estamos procurando um nmero racional que sos
a
mado com
resulte zero; observemos que:
b
a r a.s + b.r 0 .
+ =
=
b s
b.s
1
178
6.3.2 Subtrao em
A subtrao em definida como em : subtrair somar o oposto.
Definio. Dados dois nmeros racionais
a
c
e , com a, b, c e d
b
d
4 5 4
5
4 5 4.6 9.5 24 45 21
21
= + ( ) = + ( ) =
=
=
= .
9 6 9
6 9
6
9.6
54
54
54
3 7 3 7.8 3.1 56 3 53
=
= .
8) 7 = =
8 1 8
1.8
8
8
9)
7 5 75 2
=
= .
4 4
4
4
Exerccios propostos
7) Uma piscina enchida por duas torneiras. A primeira, sozinha, encheria a piscina em 2 horas, e a segunda, em 5 horas.
Que frao do tanque enchida pelas duas torneiras em uma
hora?
8) Numa receita de biscoitos, os ingredientes so:
um dcimo de quilo de acar;
um quinto de quilo de margarina;
um quarto de quilo de farinha de trigo.
Qual o peso total dos ingredientes para uma receita? Quanto
ser necessrio de cada ingrediente para duas receitas? Qual a
massa total dos ingredientes para duas receitas?
1
3
metros de comprimento por 12
2
4
metros de largura. Quantos metros a mais tem o comprimento
em relao largura?
179
5 18 7 8
10) Quanto se deve subtrair de cada uma das fraes , , ,
3 13 4 5
para se obter um inteiro?
11) Lgia saiu de casa s 8 horas e 15 minutos. Levou meia hora
para chegar escola, teve 3 aulas de quatro quintos de hora e
telefonou para sua me busc-la na escola. A que horas Lgia
telefonou, sabendo que ela ligou imediatamente aps a terceira
aula?
6.3.3 Multiplicao em
Consideramos dois nmeros racionais x e y. Da mesma forma como
fizemos para a adio, temos que existem a, b, c e d inteiros, b e d no
nulos, tais que:
1) x soluo de bx = a e
2) y soluo de dy = c .
Pergunta: qual a equao que tem x. y como soluo? Ou seja, para
quais inteiros p e q, com q 0 , temos q ( x. y ) = p ? Multiplicando
membro a membro as equaes 1) e 2) e considerando que as propriedades associativa e comutativa se mantm em (pois x e y
so racionais), obtemos:
(bx).(dy ) = a.c
bd ( xy ) = ac .
Esta a equao cuja soluo x. y ; o produto x. y ser representado
ac
em por
. Podemos ento definir:
bd
a
c
Definio. Dados dois nmeros racionais
e , com a, b, c e d
b
d
inteiros, b e d no nulos, definimos seu produto como:
a c ac
=
.
b d bd
Exemplos
10)
7 4 7.4 28
=
=
.
11 9 11.9 99
11) 3
1 3 1 3
= = .
4 1 4 4
180
12)
5 7 5.7 35
=
=
= 35 .
1 1
1
1
O exemplo 12 nos mostra que, ao multiplicarmos em dois nmeros inteiros, o resultado ainda um nmero inteiro.
Propriedades da multiplicao em
Assim como em , a multiplicao de nmeros racionais associativa e comutativa (propriedades M1 e M2). tambm possui a
propriedade da existncia de elemento neutro para a multiplicao.
Alm disso, com a ampliao, ganhamos uma nova propriedade: a
existncia do elemento inverso. Vamos detalhar a seguir estas duas
propriedades:
M3) Existncia do elemento neutro. Existe um nmero racional
r
r a a
a
tal que = , para todo nmero racional .
s
s b b
b
Demonstrao. razovel pensar que o elemento neutro de para
a multiplicao ser o mesmo de , como aconteceu na adio. Es1
colhemos para 1 a representao . Lembre-se que existe uma infi1
1 2 5
, . Toda frao
nidade de representaes para o inteiro 1: , ,
1 2 5
k
da forma
para k inteiro no nulo uma representao do inteiro
k
1. Vamos verificar o que ocorre:
1 a 1.a a
=
= .
1 b 1.b b
181
182
a b
.
b a
a
a
Notao. Denotamos o inverso de
por , isto ,
b
b
b
a
= .
a
b
6.3.4 Diviso em
Dados os nmeros racionais,
a
p
p
e
com 0 , definimos:
b
q
q
1
a p a p
a q aq
= = =
.
b q b q
b p bp
Exemplos
13)
5 7 5 4 20
= =
.
13 4 13 7 91
14)
1
1 1 1
3 = . = .
4
4 3 12
15) 3
1 3 1 3 2 6
= = = =6.
2 1 2 1 1 1
Observao 6. A operao diviso no associativa, no comutativa e no possui elemento neutro. Note que, assim como subtrair
somar o oposto, dividir multiplicar pelo inverso.
183
Observao 7. A demonstrao do teorema nos ensina como encontrar a representao irredutvel de um nmero racional. Veja um
exemplo: qual a representao na forma de frao irredutvel do ra32
cional
? Fazemos inicialmente mdc (32, 20) = 4 (se voc esqueceu
20
como calcular o mdc volte ao captulo 3 ). Ento 32 = 4.8 e 20 = 4.5 ,
32 8
com mdc (8,5) = 1 . Assim a frao irredutvel equivalente a
,
20 5
32 8
= .
ou seja,
20 5
184
1) Frao prpria:
Exerccios propostos
12) Quanto a tera parte de um meio?
13) Numa sala h 20 alunos. Hoje esto presentes trs quartos
dos alunos da classe e, dos presentes, dois quintos iro ao zoolgico. Quantos alunos esto presentes hoje? Quantos iro ao
zoolgico?
185
186
2
de
15
seu comprimento, ficando com 39 metros. Quantos metros ti-
187
1
3
-2
-3
2
-1
-1
2
1
2
4
3
1
5
3
2
188
a
negativo quando a.b < 0 .
b
a
Um nmero racional
no negativo quando a.b > 0 ou
b
a.b = 0 .
Um nmero racional
a
do conjunto , podemos dizer que um nmero racional
posib
tivo quando a > 0 .
Definio. Dados dois nmeros racionais x e y definimos:
i) x y quando y x + ( y x no negativo).
ii) x < y quando y x *+ ( y x positivo).
a
Observao 10. Como expressar relao x y fazendo x =
e
b
c
y = , com b > 0 e d > 0 ?
d
Acompanhe com ateno:
x y quando y x +
a c
c a bc ad
quando =
+
b d
d b
bd
189
bc ad
+ quando bc ad 0 em , ou seja, ad bc .
bd
a c
Logo, podemos dizer que quando ad bc .
b d
3 5
Exemplo: pois 3.6 = 18 4.5 = 20 .
4 6
Observao 11. Outra maneira de comparar as fraes reduzi-las
ao mesmo denominador, usando as fraes equivalentes. Por exem3
5
9
10
9 10
, pois
plo, podemos escrever
e
como
e
; ento
4
6
12 12
12 12
3 5
9 10 , ou seja, .
4 6
Observao 12. Assim como em , podemos definir a relao < da
seguinte maneira:
Para x e y racionais, x < y se e somente se x y e x y .
Isto equivalente a: x < y quando y x *+ .
190
b) Se x y e 0 z ento xz yz .
c) Se x y e z < 0 ento yz xz .
d) Se x y e z w ento x + z y + w .
e) x y se, e somente se, y x .
Demonstrao. Como o procedimento tambm aqui o mesmo feito
em , faa a demonstrao como exerccio.
Observao 13. Quais das afirmaes da Proposio 2 continuam
verdadeiras se substituirmos por < ? a), b) e c) afirmam que
compatvel com as operaes de adio e multiplicao em e o
mesmo ocorre para a relao <. As afirmaes d) e c) tambm continuam verdadeiras para <.
Proposio 3. Para quaisquer x e y racionais no nulos, tem-se:
1) i) Se x > 0 ento x 1 > 0 .
ii) Se x < 0 ento x 1 < 0 .
Demonstrao.
i) Se x > 0 e x.x 1 = 1 > 0 , x 1 deve ser positivo, uma vez que o produto de dois racionais positivo quando ambos so positivos ou
ambos so negativos.
ii) Analogamente, se x < 0 e x.x 1 = 1 > 0 , x 1 deve ser negativo.
191
. Alm
a |a|
| |=
.
b |b|
192
6.9 Densidade
Dados dois nmeros racionais diferentes, sempre possvel encontrar outro nmero racional entre eles; na verdade, possvel encontrar uma infinidade de nmeros racionais entre eles! Vamos observar algumas situaes:
1 2
<
.
2 3
O ponto mdio entre
Assim,
1 2
e o nmero racional
2 3
1 1 2 1 5 5
z1 = + = = .
2 2 3 2 6 12
1 5 2
< < .
2 12 3
5
2
Considerando agora os racionais
e , achamos o ponto mdio
12
3
entre eles:
1 5 2 1 13 13
z2 = + = =
.
2 12 3 2 12 24
Assim,
5 13 2
<
< .
12 24 3
13
2
Considerando agora os racionais
e , achamos o ponto mdio
24
3
29
entre eles, que ser
(faa as contas!). Continuando com este pro48
cedimento, encontramos uma infinidade de nmeros racionais entre
1
2
e . Note que esta situao no acontecia nos inteiros: entre um
2
3
nmero inteiro a e seu consecutivo a + 1 , no possvel encontrar
nenhum nmero inteiro. Por causa desta particularidade, dizemos
que o conjunto dos nmeros racionais denso na reta, ou seja, entre dois nmeros racionais existe uma infinidade de outros nmeros
racionais. Vamos generalizar:
Proposio 4. Sejam x e y nmeros racionais com x < y . Ento
existe um nmero racional z tal que x < z < y .
Demonstrao.
1
Sejam z = ( x + y ) ; z < y , pois:
2
193
x < y
x+ y < y+ y
x + y < 2y
1
)
2
1
( x + y) < y
2
z < y.
Analogamente provamos que x < z .
Exerccios propostos
34) J. J. Sylvester (1814 1897) props o seguinte mtodo para escrever um nmero racional x , 0 < x < 1 , como soma das fraes unitrias:
i) Achar a maior frao unitria que seja menor que a frao
dada.
ii) Subtrair essa frao unitria da frao dada.
iii) Achar a maior frao unitria menor que a diferena obtida
em ii.
iv) Subtrair desta diferena a frao unitria obtida em (iii).
v) Continuar o processo at que uma das diferenas seja uma
frao unitria.
Aplicar este processo s fraes treze vinte avos, quatro
quinze avos, nove vinte e quatro avos e sete cinqenta e
dois avos.
35) Em um mapa, um centmetro representa dezesseis quilmetros. Qual a distncia real representada por cinco centmetros
e meio?
36) Ache duas fraes ordinrias positivas, respectivamente
iguais a um meio e quatro quintos, de maneira que a soma
de seus termos (numerador e denominador) coincida e seja a
menor possvel.
194
1001
37) Ache um nmero racional igual a
cuja soma do numera715
dor com o denominador seja 48 .
399
cuja diferena entre
1463
seu denominador e seu numerador seja 184 .
10r
2r 1
b)
33r
.
3r 1
n 1
, n 2
n2
c)
2n + 1
, n 0, n 1 .
2n(n + 1)
b)
n 1
2n 1
44) a) Seja x um nmero racional tal que 0 < x < 1 . Mostre que
1
1
x< .
existe r * para o qual tem-se
r +1
r
7
b) Ache r conforme a parte (a) nos seguintes casos: a =
;
22
47
a=
.
60
195
J sabemos que os nmeros racionais em sua forma fracionria possuem algoritmos prprios para as operaes. A vantagem da repre1
sentao decimal (isto , o uso de 0,5 ao invs de , por exemplo)
2
aproveitar os algoritmos das operaes j conhecidas para nmeros inteiros, com alguns cuidados especiais. Por exemplo, ao somar
1 3
1
3
+ representamos
por 0,5 e por 0, 6 e armamos a conta
2 5
2
5
como se fossem nmeros inteiros, colocando vrgula em baixo de
vrgula.
.
Um procedimento similar feito para a multiplicao e a diviso.
Para podermos usufruir plenamente dessas facilidades, precisamos
saber como transitar entre as representaes fracionria e decimal
confortavelmente. Inicialmente vamos responder duas perguntas:
1) Como encontrar uma representao decimal de um nmero
racional que est na forma fracionria?
2) Como encontrar uma forma fracionria de um nmero em representao decimal?
Respostas das perguntas:
7
; aprendemos que
25
para responder a primeira pergunta basta dividir 7 por 25 e continuar a conta, abaixando zeros quando for preciso.
Vamos exemplificar a situao com a frao
70 25
200 0, 28
00
Mas em que se baseia este processo? A resposta est no Algoritmo
da Diviso em ; a continuao da conta a repetio do Algoritmo multiplicando o resto por 10 . Observe:
7 = 0 25+7 .
196
(1)
8 25
.
10
8 25
;
10
1
obtemos:
10
1
1 8 25
2 25 +
;
10
10 10
2
8
+ 25
10
100
8
2
7 = 25 +
;
10 100
Multiplicando ambos os membros por
1
, temos
25
7
2
8
= +
, ou
25 10 100
7
2
8
= + 2.
25 10 10
(3)
7
como uma soma de fraes
25
cujos denominadores so potncias de 10 (so chamadas fraes decimais), a base de nosso sistema de numerao: sete vinte e cinco
avos igual a dois dcimos mais oito centsimos. Note tambm que
as fraes do membro da direita possuem algarismos em seus nuA igualdade (3) expressa o nmero
197
meradores, e estes algarismos constituem os algarismos que aparecem depois da vrgula na conta inicial. Como a parte inteira zero,
temos que
7
2
8
= 0+ + 2 .
25
10 10
A representao para a expresso do membro da direita 0, 28 .
Conclumos ento que para expressar um nmero racional em sua
forma decimal usamos uma verso do Algoritmo da Diviso em
para o numerador como dividendo e o denominador como divisor;
isto sempre ser possvel, pois o denominador sempre no nulo
(lembre-se da hiptese do Algoritmo da Diviso: o nmero que faz
o papel de divisor deve ser no nulo). Se b um nmero negativo,
usamos o processo para | b | ; por exemplo, a representao decimal
7
de
0, 28 .
25
Este processo nos mostra tambm como encontrar a representao
fracionria de um nmero em representao decimal. Por exemplo,
a representao fracionria de 4,375 :
4,375 = 4 +
3
7
5
4 103 + 3 102 + 7 10+5 4375
+ 2+ 3=
=
.
10 10 10
103
103
Note que o numerador da frao aps a segunda igualdade a representao decimal do inteiro 4375 .
Experimente agora encontrar a representao decimal de
20
20
20
2
2
.
3
3
0, 666...
198
5
5
5
5
+ 2 + 3 + 4 + ...
10 10 10 10
a1
.
1 q
199
5
5
5
5
5
5
5 10 5
0,5555... = + 2 + 3 + 4 + ... = 10 = 10 = = .
1
9 10 9 9
10 10 10 10
1
10 10
Vamos fazer mais alguns exemplos, estudando casos em que o perodo no aparece imediatamente aps a vrgula, ou quando o perodo tem mais de um algarismo.
Exemplos
16) 1, 27777... = 1 +
1, 27777... = 1 +
2
7
7
7
2
7
7
7
+ 2 + 3 + 4 + ... = 1 + + ( 2 + 3 + 4 + ...)
10 10 10 10
10 10 10 10
2
7
7
7
2
7
7
7
+ 2 + 3 + 4 + ... = 1 + + ( 2 + 3 + 4 + ...) .
10 10 10 10
10 10 10 10
A soma entre parnteses a soma dos termos de uma PG in1
7
finita, decrescente, de razo
e primeiro termo igual a 2 .
10
10
a1
Usando a frmula S =
, obtemos:
1 q
1, 27777... = 1 +
2
7
7
7
2
7
7
7
+ 2 + 3 + 4 + ... = 1 + + ( 2 + 3 + 4 + ...) =
10 10 10 10
10 10 10 10
7
2
2
2
7 10
2 7 90 + 2 9+7 115 23
= 1 + + 10 = 1 + + 2 . = 1 + +
=
=
=
10 1 1
10 10 9
10 90
90
90 18
10
17) 0,121212... =
1
2
1
2
+ 2 + 3 + 4 + ...
10 10 10 10
1
2
1
2
2 1
2
1
+ 2 + 3 + 4 + ... = + 2 + 3 + 4 + ...
10 10 10 10
10 10 10 10
200
0,121212... =
1
2
1
2
12 12 12
+ 2 + 3 + 4 + ... = 2 + 4 + 6 ...
10 10 10 10
10 10 10
12
2
12 12 12
102 = 12 10 = 12 = 4 .
...
+
+
=
2
1
102 104 106
99 99 33
1 2 10
10
4
2
3
2
3
+ 2 + 3 + 4 + 5 + ...
10 10 10 10 10
Separando as duas primeiras parcelas da soma, agrupamos as
outras parcelas duas a duas e ficamos com:
18) 1, 4232323 = 1 +
1, 4232323 = 1 +
4 2
3 2
3
+ 2 + 3 + 4 + 5 + ...
10 10 10 10 10
23
3
4 23 23 23
4
1, 4232323 = 1 + + 3 + 5 + 7 + ... = 1 + + 10 =
10 10 10 10
10 1 1
102
4 23 102
4 23 990 + 4 99+23 1409
.
= 1+ + 3
= 1+ +
=
=
10 10 99
10 990
990
990
201
19) 0,999... =
9
9
9
9
9
+ 2 + 3 + 4 + 5 + ...
10 10 10 10 10
Exerccios propostos
45) Escreva a representao fracionria irredutvel dos seguintes
nmeros racionais:
a) 0, 0305
b) 34, 796
c) 5, 4444
d) 0, 0001
e) 1, 20202020...
f) 3, 41898989...
g) 5, 097777...
h) 34,59999...
202
c) 1,59
b) 42,123
d) 2, 01
56
= 0,56
100
c)
34
= 0, 00034
105
b)
456
= 45, 6
10
234
= 2,34;
100
12
= 0, 0012;
104
231
= 0, 00231; etc.
105
203
21
= 1,3125;
16
345
= 86, 25;
4
1
= 0, 03125;
32
4351
= 67,984375
64
298
= 2,384;
125
1
= 0, 2;
5
73
= 0,1168.
625
Observao 14. Note que o teorema s pode ser usado para fraes
91
irredutveis! Por exemplo,
apresenta o fator 13 no denominador
26
( 26 = 2 13 ) e, mesmo assim, possui uma representao decimal fi91 7
= e o denominador 2
nita, pois a frao no irredutvel:
26 2
uma potncia de 2 . Logo, a frao admite uma representao decimal finita.
Observao 15. Falamos que a vantagem da representao decimal
usar os mesmos algoritmos das operaes dos inteiros; no entanto,
preciso que fique claro que isso possvel para representaes decimais
finitas. No sabemos como somar 0,8888... com 0, 7777... , por exemplo. Para efetuar esta soma, devemos usar a representao fracio-
204
8
7
e 0, 7777... = . Somando-os nesta
9
9
8 7 15 5
nova representao obtemos + = = , cuja representao de9 9 9 3
cimal 1, 666...
nria dos nmeros 0,8888... =
6.11 Potncias em
A idia de potncia de um nmero que aprendemos em permanece a mesma no conjunto dos racionais, independente da representao utilizada. Mas a existncia de inversos em nos permite
definir potncias de expoentes negativos. Veja alguns exemplos:
2
4 4 4 4 42
4
= .
27) = =
3 3 3 3 32
3
28)
(0,56 )
3
2 2 2 11 11 11 1331
29) (1, 2222...) = 1 + 1 + 1 + = =
.
9 9 9 9 9 9 729
2
5 1 8 2 82 64
5
30) = = = 2 =
.
25
8
8 5 5
Observao 16. Note que no exemplo 30 (de potncia negativa) usamos o inverso; um nmero elevado potncia 2 igual ao inverso
do nmero elevado potncia 2 .
a
Definio. Seja n um nmero inteiro, n 0 e
um nmero raciob
nal no nulo. Ento:
0
a
i) = 1 .
b
n
an
a
ii) = n .
b
b
a
iii)
b
a 1 b n b n
= = = n .
a
b a
Se n um nmero
inteiro positivo, ento
n um nmero
negativo.
205
a
=2.
b2
206
Exerccios propostos
50) Verifique se os nmeros racionais a seguir admitem uma representao decimal finita, sem efetuar a diviso:
a)
57
6
b)
78
26
c)
45
256
207
51) Ao dividirmos dois nmeros racionais em representao decimal finita, o quociente tambm apresentar representao
decimal finita?
52) Mostre que no existe um nmero racional cujo quadrado
5 (sugesto: item 6.12 do texto). Em seguida, mostre que no
existe um nmero racional cujo quadrado um nmero primo p .