Escolar Documentos
Profissional Documentos
Cultura Documentos
Introducao A Algebra Abstrata
Introducao A Algebra Abstrata
Jaime Evaristo
Mestre em Matemtica
Professor Adjunto
Instituto de Computao
Universidade Federal de Alagoas
Eduardo Perdigo
Doutor em Matemtica
Professor Aposentado
Instituto de Matemtica
Universidade Federal de Alagoas
Introduo lgebra
Abstrata
Segunda Edio
Formato Digital/Verso 01.2013
Macei, junho de 2013
2
Sumrio
Prefcio (da primeira edio)...............................................................................................................5
Prefcio (da atual edio).....................................................................................................................6
1. Conjuntos e Funes.........................................................................................................................7
1.1 Entes primitivos ........................................................................................................................7
1.2 Conjuntos ..................................................................................................................................7
1.3 Igualdade....................................................................................................................................7
1.4 Subconjuntos..............................................................................................................................8
1.5 Uma representao de conjuntos...............................................................................................8
1.6 As expresses se ento e se e somente se......................................................................9
1.7 Igualdade de conjuntos..............................................................................................................9
1.8 Par ordenado e produto cartesiano...........................................................................................10
1.9 Relaes binrias.....................................................................................................................10
1.10 Funes..................................................................................................................................12
1.11 O Conjunto Vazio...................................................................................................................13
1.12 Operaes ..............................................................................................................................14
1.13 Operaes com predicados (operaes lgicas)....................................................................15
1.14 Demonstrao por reduo ao absurdo (prova por contradio)...........................................17
1.15 Operaes com conjuntos......................................................................................................17
1.16 Uma operao com funes...................................................................................................18
1.17 Funes inversveis................................................................................................................19
1.18 Exerccios...............................................................................................................................21
2. Os nmeros naturais.......................................................................................................................24
2.1 Axiomas, teorias axiomticas, objetos construdos axiomaticamente.....................................24
2.2 O conjunto dos nmeros naturais.............................................................................................24
2.3 Operaes no conjunto dos nmeros naturais..........................................................................25
2.4 Equaes no conjunto dos nmeros naturais...........................................................................29
2.5 Uma relao de ordem no conjunto dos nmeros naturais......................................................30
2.6 Conjuntos finitos......................................................................................................................32
2.7 Exerccios.................................................................................................................................33
3. Os nmeros inteiros........................................................................................................................35
3.1 Introduo................................................................................................................................35
3.2 Anis........................................................................................................................................35
3.3 Elementos inversveis..............................................................................................................40
3.4 Igualdade de anis: anis isomorfos .......................................................................................40
3.5 Domnios de integridade..........................................................................................................41
3.6 Anis ordenados.......................................................................................................................42
3.7 Domnios bem ordenados........................................................................................................43
3.8 O conjunto dos nmeros inteiros.............................................................................................44
3.9 Inversibilidade no domnio dos inteiros...................................................................................48
3.10 Sequncias estritamente decrescentes de inteiros .................................................................49
3.11 Os naturais e os inteiros.........................................................................................................50
3.12 Exerccios...............................................................................................................................50
4. Algoritmos......................................................................................................................................54
4.1 Introduo................................................................................................................................54
4.2 Exemplos.................................................................................................................................55
4.3 Exerccios.................................................................................................................................57
5. Representao dos nmeros inteiros: sistemas de numerao........................................................58
5.1 Introduo................................................................................................................................58
5.2 A relao b divide a..................................................................................................................58
3
1. Conjuntos e Funes
1.1 Entes primitivos
Segundo o Dicionrio Aurlio, definir enunciar os atributos essenciais e especficos de
(uma coisa), de modo que a torne inconfundvel com outra. Para que o objetivo de uma definio
seja atingido, devem ser observados dois aspectos: uma definio s pode conter termos que foram
definidos previamente e uma definio de um objeto no pode conter um termo cuja definio
contenha referncia ao prprio objeto. Exemplos claros de definies que pecam em relao ao
segundo aspecto levantado so: um ponto a interseo de duas retas e uma reta um conjunto de
pontos alinhados. Com estas definies, para se entender o que um ponto seria necessrio saber
o que uma reta e para compreender o que uma reta indispensvel se saber o que um ponto e
o que so pontos alinhados.
Em alguns livros de Matemtica do ensino mdio encontra-se a seguinte "definio" de
conjunto: conjunto uma coleo de objetos. O problema agora que esta "definio" d margem
seguinte pergunta: e o que uma coleo de objetos? A resposta no poderia ser conjunto pois
cairamos no outro problema.
Algumas cincias, como a Matemtica e a Fsica, necessitam considerar entes, relaes ou
grandezas que no so definidos, ditas ento entes primitivos, grandezas primitivas ou relaes
estabelecidas primitivamente. Por exemplo, ponto, reta e plano so entes primitivos da Geometria
Euclidiana enquanto que o tempo, a distncia e a massa so grandezas primitivas da Mecnica
Newtoniana.
Estabelecidos os entes primitivos de uma cincia, pode-se ento se definir novos objetos, e a
partir destes, definir-se novos outros objetos, e assim por diante. Por exemplo, a partir das
grandezas fsicas da Mecnica pode-se definir velocidade como o quociente entre a distncia
percorrida e o tempo gasto para percorr-la implicando no fato de que velocidade no uma
grandeza primitiva. A partir da grandeza fsica no primitiva velocidade e da grandeza primitiva
tempo pode-se definir acelerao como sendo a variao da velocidade na unidade de tempo.
1.2 Conjuntos
Em Matemtica, conjunto um ente primitivo e portanto no definido. Entendemos
conjunto como uma coleo de objetos, no sentido coloquial do termo. Os objetos que compem a
coleo que est sendo considerada um conjunto so chamados elementos do referido conjunto.
De um modo geral, conjuntos so representados por letras maisculas e seus elementos por
letras minsculas. Se A designa um conjunto e a um dos elementos, dizemos que a pertence a A,
isto sendo simbolizado por a A. Estabelecemos ento, tambm de forma primitiva, a relao de
pertinncia entre um conjunto e seus elementos. Naturalmente, se um objeto no est na coleo
que se est considerando como um conjunto dizemos que tal objeto no pertence ao tal conjunto,
sendo utilizado o smbolo para negar a relao de pertinncia.
Introduzido o conceito primitivo de conjunto podemos apresentar um exemplo de um objeto
da Matemtica que definido a partir dos entes primitivos ponto, reta, plano e conjunto e da
grandeza primitiva distncia: dados um plano , um ponto p pertencente a e um nmero real r, a
circunferncia de centro p, de raio r e contida no plano o conjunto dos pontos do plano
situados a uma distncia r do ponto p.
1.3 Igualdade
Na linguagem coloquial, dois objetos so ditos iguais quando so do mesmo tipo e tm a
7
mesma aparncia. No tem sentido se dizer que uma cadeira igual a um sof; se dito que duas
cadeiras so iguais elas so praticamente indistinguveis a uma simples espiada.
Em Matemtica, o conceito de igualdade considerado primitivo, entendendo-se que quando
ficar estabelecido que dois objetos matemticos so iguais eles passam a ser considerados o mesmo
objeto.
A igualdade de dois objetos representada pelo smbolo = e se dois objetos no so iguais (e,
portanto, no podem ser considerados o mesmo objeto) dizemos que eles so diferentes, indicando
este fato pelo smbolo .
Vamos admitir primitivamente que as seguintes afirmaes so verdadeiras:
1. Todo objeto igual a ele mesmo: a = a, qualquer que seja o objeto a.
2. Se um objeto igual a outro, este igual quele: se a = b, ento b = a;
3. Dois objetos iguais a um terceiro objeto so iguais entre si: se a = b e b = c, ento a = c.
Como igualdade em Matemtica um conceito primitivo, toda vez que se introduz
(primitivamente ou por definio) um ente matemtico necessrio se estabelecer quando dois
representantes desse ente sero considerados iguais. Por exemplo, introduzido o ente matemtico
conjunto, devemos estabelecer quando dois conjuntos sero ditos iguais. Isto ser feito na seo 1.7.
1.4 Subconjuntos
Sejam A e B dois conjuntos. Por definio, dizemos que o conjunto A subconjunto do
conjunto B se todo elemento de A tambm elemento de B. Quando isto acontece, escrevemos
A B, que lido A subconjunto de B ou A est contido em B. Neste caso, tambm podemos
escrever B A, que lido B contm A. A negao de A B indicada por A B e, evidentemente,
verdadeira se A possuir pelo menos um elemento que no pertena a B.
As seguintes afirmaes so claramente verdadeiras:
1. A A, qualquer que seja o conjunto A.
2. Se A B e B C ento A C, quaisquer que sejam os conjuntos A, B e C.
A afirmao 1 justificada pelo fato bvio de que todo elemento do conjunto A elemento do
conjunto A. A afirmao 2 se justifica com o seguinte argumento: de A B segue que todo elemento
de A elemento de B; porm, como B C, temos que todo elemento de B elemento de C. Logo,
todo elemento do conjunto A elemento do conjunto C, mostrando que A C.
Qualquer argumento que justifica a veracidade de uma assertiva matemtica chamado
demonstrao ou prova daquela afirmao.
Observe que se A e B so dois conjuntos tais que A B, pode ocorrer que se tenha A = B.
Quando dois conjuntos A e B so tais que A B e A B, dizemos que A subconjunto prprio de B.
de pontuao, etc..
Os elementos de um conjunto podem ser outros conjuntos. Por exemplo, o alfabeto pode ser
visto como um conjunto que possui dois conjuntos: o conjunto das vogais e o conjunto das
consoantes. Do mesmo modo, podemos pensar em conjuntos como
B = {{a}, {a, b}, {a, b, c}, ...,{a, b, c, ...,z}}.
Observe que os elementos do conjunto B so subconjuntos do conjunto das letras do alfabeto.
B. Quando os conjuntos A e B so iguais uma relao entre A e B dita simplesmente uma relao
em A.
Por exemplo, se A o conjunto das vogais e B o conjunto das consoantes os conjuntos
R = {(a, b), (e, f), (i, j), (o, p), (u, v)}, S = {(a, x), (e, g), (i, b)} e T = {(e, m), (i, z)} so relaes
binrias entre A e B (ou de A em B).
Normalmente, h interesse apenas em relaes binrias em que as componentes dos pares
guardem entre si alguma relao, no sentido usual do termo. Em outros termos, estamos
interessados em relaes em que haja uma regra para obteno dos pares da relao, regra esta que
permita que se defina se um dado par est ou no na relao. Nos exemplos acima, a relao R
satisfaz a esta condio pois cada segunda componente a consoante que sucede a vogal primeira
componente. As componentes dos pares das outras relaes dos exemplos no guardam nenhuma
relao entre si e, portanto, no so relevantes.
Utilizando uma barra vertical significando tal que, pode-se representar uma relao entre dois
conjuntos por R = {(x, y) AxB| ...}, onde em colocada a regra que estabelece a relao entre
x e y. Muitas vezes, associa-se um smbolo a uma relao definida num conjunto A. Neste caso, se o
smbolo da relao #, a indicao de que um par (a, b) pertence relao feita por
a # b.
Observe que em R = {(x, y) AxB| } o smbolo x est sendo usado para representar todos os
elementos do conjunto A e que y est sendo utilizado para representar todos os elementos do
conjunto B. Neste caso dizemos que os smbolos x e y so indeterminadas ou variveis dos
conjuntos referidos.
Uma relao definida num conjunto A pode ser adjetivada de acordo com algumas
propriedades que ela satisfizer. Dizemos que uma relao R num conjunto A :
reflexiva se (x, x) R qualquer que seja x A.
simtrica se (x, y) R implicar (y, x) R, quaisquer que sejam x, y A.
antissimtrica se no acontece (x, y) R e (y, x) R com x y, quaisquer que sejam
x, y A.
transitiva se (x, y) R e (y, z) R acarretar (x, z) R, quaisquer que sejam x, y, z A.
total se quaisquer que sejam x, y A, (x, y) R e/ou (y, x) R, onde o "e/ou" indica que
podem ocorrer as duas pertinncias ou apenas uma delas.
As definies anteriores estabelecem quando o adjetivo respectivo pode ser aplicado a uma
relao binria. Como fizemos com a definio de subconjunto, interessante observar as
condies mnimas que negam as definies anteriores e, portanto, tal adjetivo no pode ser
associado relao. Com o desenvolvimento de um raciocnio simples, temos que uma relao R
num conjunto A
no reflexiva se existe x A tal que (x, x) R.
no simtrica se existem x, y A tais que (x, y) R e (y, x) R.
no antissimtrica se existem x, y A, com x y, tais que (x, y) R e (y, x) R.
no transitiva se existem x, y, z A tais que (x, y) R e (y, z) R e (x, z) R.
no total se existem x, y A tais que (x, y) R e (y, x) R.
Por exemplo, se A o conjunto das vogais, a relao
R = {(a, a), (e, e), (i, i), (o, o), (u, u), (a, e), (a, i), (a, u), (e, a), (e, i), (e, u), (u, i)}
reflexiva, no simtrica ((a, u) R e (u, a) R), no antissimtrica ((a, e) R, (e, a) R e
a e), transitiva e no total ((a, o) R e (o, a) R).
Outro exemplo: seja A o conjunto das vogais e consideremos a relao {(x, y) AxA|y = x}.
Como cada vogal s igual a ela mesma, os pares desta relao so (a, a), (e, e), (i, i), (o, o) e (u,
11
u). Observe que as afirmaes estabelecidas na seo 1.3 implicam que a igualdade de objetos
matemticos reflexiva, simtrica e transitiva.
Para um outro exemplo, considere o conjunto das partes de um conjunto A definido como o
conjunto de todos os subconjuntos de A e indicado por (A). Como os elementos de (A) so
conjuntos cujos elementos so elementos do conjunto A, podemos definir a relao (chamada
incluso) I = {(X, Y) (A)x(A) | X Y}. As propriedades apresentadas na seo 1.4 mostram
que esta relao reflexiva e transitiva. A definio de igualdade de conjuntos garante que a
incluso antissimtrica.
Uma relao que reflexiva, simtrica e transitiva dita uma relao de equivalncia
enquanto que uma relao que reflexiva, antissimtrica, transitiva dita uma relao de ordem
parcial. Uma relao de ordem parcial que total dita uma relao de ordem. A igualdade de
objetos matemticos uma relao de equivalncia. A incluso de conjuntos no uma relao de
equivalncia (pois no simtrica), mas uma relao de ordem parcial.
Se uma relao R, com smbolo #, transitiva, x # y e y # z implicam x # z. Isto permite que se
escreva, neste caso, x # y # z. Por exemplo, se A o conjunto das vogais, X = {a, e}, Y = {a, e, i} e
Z = {a, e, i, o}, temos X Y Z.
1.10 Funes
Estamos agora interessados em relaes entre dois conjuntos A e B em que cada elemento de
A esteja relacionado com um nico elemento de B. Uma relao que satisfaz a esta propriedade
chamada funo, definida formalmente como segue.
Sejam A e B dois conjuntos. Uma funo de A em B uma relao binria f entre A e B tal que
para cada x A existe um nico y B tal que (x, y) f. Assim, para que uma relao binria f entre
dois conjuntos A e B seja uma funo de A em B necessrio e suficiente que para todo x A exista
y B tal que (x, y) f e que se (x, y1) f e (x, y2) f ento y1 = y2.
Por exemplo, se A o conjunto das vogais e B o conjunto das consoantes, a relao entre A e
B dada por f = {(a, b), (e, f), (i, j), (o, p), (u, v)} uma funo de A em B. Por outro lado, se
A = {a, b, c}, a relao I = {(X, Y) (A)x(A)| X Y} no uma funo de (A) em (A) pois
({a}, {a, b}) I e ({a}, {a, c}) I e como {a, b} {a, c}, o elemento X = {a} estaria relacionado
com Y1 = {a, b} e Y2 = {a, c}.
Como j vimos fazendo, utilizaremos letras minsculas f, g, h, etc., para representar funes e
escreveremos y = f(x), para indicar que (x, y) f. Neste caso diremos que y a imagem do objeto x
pela funo f. No futuro, usaremos tambm cadeia de caracteres para indicar funes.
Se f uma funo de um conjunto A em um conjunto B, o conjunto A chamado domnio e o
conjunto B chamado contradomnio de f. O subconjunto do contradomnio cujos elementos so
imagens de objetos chamado imagem da funo, indicada por f(A).
Uma funo de A em B dada por y = f(x) pode ser indicada por
f:A B
x f(x).
Nesse caso, y = f(x) fixa a regra que ser utilizada para se associar um nico y B a cada
x A.
Nada impede que a regra que associa uma nica imagem a cada objeto seja constituda de
vrias sub-regras, de acordo com os diversos valores dos objetos. Por exemplo, se A o alfabeto
podemos definir a funo g de A em A por g(x) = a, se x = z e g(x) a letra sucessora de x se x z.
Num caso como este, pode-se utilizar expresses como caso contrrio, seno, em outra hiptese
para indicar as situaes em que a ltima sub-regra ser aplicada. Isto ser utilizado na seo 1.13.
importante verificar se uma pretensa definio define realmente uma funo, caso em que
se diz que a funo est bem definida. Naturalmente, para que uma funo f esteja bem definida
12
necessrio e suficiente que para todos os elementos k e j do domnio de f existam f(k) e f(j) e se
f(k) f(j), se tenha k j.
Como foi dito anteriormente, ao se estudar um novo objeto matemtico devemos estabelecer
quando dois destes objetos sero considerados iguais. Para funes temos a seguinte definio.
Duas funes f e g so iguais quando possuem os mesmos domnio e contradomnio e para todo
objeto x do domnio se tem f(x) = g(x). Isto significa que duas funes iguais so, na verdade, a
mesma funo.
Dois exemplos de funes que sero utilizadas em exemplos e demonstraes futuras so
apresentadas a seguir.
1. Seja A um conjunto. A funo de A em A definida por I(x) = x chamada funo identidade
do conjunto A e simbolizada por IA.
2. Sejam A e B dois conjuntos, f uma funo de A em B e C um subconjunto de A. A funo
g : C B definida por g(x) = f(x) chamada de restrio de f ao subconjunto C e indicada por
f/C. Por exemplo, se A o conjunto das letras do alfabeto, g a funo de A em A que associa a cada
letra a letra que a sucede no alfabeto (considerando a como a letra sucessora de z) e V o conjunto
das vogais, a funo g restrita ao conjunto V a funo g/V = {(a, b), (e, f), (i, j), (o, p), (u, v)}.
1.12 Operaes
Desde a nossa tenra idade, deparamo-nos com o aprender a realizar operaes: somar,
subtrair, multiplicar, etc. Nesta seo, o conceito de operaes ser formalizado.
Por definio, uma operao num conjunto A uma funo do produto cartesiano AxA no
prprio conjunto A. Por exemplo, no conjunto das vogais podemos definir a operao f dada pela
tabela a seguir, na qual o elemento da linha i e da coluna j fornece a imagem do par (i, j),
a
e
i
o
u
a
e
i
o
u
a
e
i
o
u
a
e
i
o
u
a
e
i
o
u
a
e
i
o
u
a
e
i
o
u
pq
q p
pq
( p q) ( q p)
1.14 Demonstrao
contradio)
por
reduo
ao
absurdo
(prova
por
Como foi dito na seo anterior, a demonstrao de uma assertiva matemtica do tipo se p,
ento q pode ser feita supondo-se que p verdade e provando que, a partir da, q tambm o .
Nesta seo, apresentaremos duas outras maneiras de se demonstrar afirmaes da forma se p,
ento q, ambas chamadas demonstrao por reduo ao absurdo ou prova por contradio.
Para isto, consideremos a seguinte definio. A negao de um predicado p o predicado
indicado por ~p tal que (~p)(x) = F se p(x) = V.
Como fcil provar que (ver exerccio 1.9) se p e q so predicados num conjunto A, tem-se
(p q) = ((~q) (~p)), uma outra forma de se provar uma afirmao matemtica do tipo se p,
ento q supor que q falso e concluir, a partir da, que p tambm o . Ou seja, para provar que
uma hiptese implica uma tese pode-se demonstrar que a negao da tese implica a negao da
hiptese.
Por exemplo, para demonstrar que o conjunto vazio subconjunto de qualquer conjunto (ver
seo 1.11), suponhamos que exista um conjunto A tal que A (negao da tese). Da teramos
que existe um elemento do conjunto que no pertence ao conjunto A. Porm, a existncia de um
elemento de negaria a hiptese ( vazio).
Tambm fcil provar (ver exerccio 1.10) que (p q) = ((p (~q)) ), onde p e q so
predicados num conjunto A e uma contradio. Assim, tambm se pode provar uma afirmao da
forma se p, ento q, provando-se que a veracidade da hiptese e a negao da tese implicam uma
contradio. Isto demonstra que a veracidade da hiptese implica a veracidade da tese.
(e elemento neutro)
(y'' simtrico de x e, portanto, x # y'' = e)
(# associativa)
(y' simtrico de x, e, portanto, y' # x = e)
(e elemento neutro)
Assim, se um elemento x tem simtrico em relao a uma operao associativa, este simtrico
nico. Para algumas operaes, o simtrico do elemento x continua sendo chamado simtrico de x
e representado por -x. Para outras operaes, o simtrico dito inverso de x, caso em que
representado por x-1.
Como vimos na seo anterior, a composio de funes definida em (A) tem elemento
neutro IA. Vamos discutir em que condies uma funo f de (A) possui simtrico em relao
composio. Ou seja, vamos discutir as condies em que dada uma funo f de (A) existe uma
funo g de (A) tal que f g = g f = IA . Como a composio de funes associativa, quando
esta funo g existe ela nica e chamada inversa da funo f, sendo representada por f -1. Nesse
caso, dizemos que f inversvel.
Por exemplo, se A o conjunto das vogais, a funo f (A), f = {(a, e), (e, i), (i, o), (o, u),
(u, a)} inversvel e f -1 = {(e, a), (i, e), (o, i), (u, o), (a, u)}. De fato,
19
-1
que g bijetiva, pois a nica diferena entre f e g est no fato de que (a', b), (a, b') f enquanto
(a', b'), (a, b) g.
A inversibilidade de uma funo pode ser verificada sem que se determine a sua inversa,
como mostra a seguinte propriedade.
Uma funo f (A, B) inversvel se e somente se f bijetiva.
Para provar, suponhamos inicialmente que f bijetora e provemos que f inversvel. Seja g a
funo de B em A definida por g(y) = x, onde x tal que f(x) = y. Como f sobrejetora, para todo
y B existe x A tal que y = f(x). Alm disso, este x nico pois f injetiva. Assim g est bem
definida (ou seja, realmente uma funo) e (f g)(y) = f(g(y)) = f(x) = y, o que mostra que f g = IB,
e (g f)(x) = g(f(x)) = g(y) = x, o que mostra que g f = IA. Assim f inversvel.
Reciprocamente, suponhamos que f inversvel e provemos que f bijetiva. Para mostrar que
f injetiva, suponhamos x1, x2 A com f(x1) = f(x2). Temos f -1(f(x1)) = f -1(f(x2)) e portanto x1 = x2,
provando o que queramos. Para provar que f sobrejetiva, seja y B e provemos que existe x A
tal que y = f(x). Como existe a funo f -1, temos que existe x A tal que x = f -1(y) e ento
f(x) = f(f -1(y)) = IB(y) = y, concluindo o que queramos provar.
Observe que uma funo bijetiva de um conjunto A num conjunto B e sua inversa (de B em A)
estabelecem uma correspondncia entre os elemento dos dois conjuntos: cada elemento a de A
relacionado com um nico elemento b de B (atravs da funo f) que, por sua vez, associado, de
maneira nica, ao elemento a de A (atravs da inversa de f). Dizemos ento que uma funo bijetiva
de um conjunto em outro conjunto estabelece uma correspondncia biunvoca ou uma
correspondncia um a um entre os dois conjuntos.
1.18 Exerccios
1.1. Verifique se cada uma das relaes abaixo, definidas no conjunto de habitantes da terra
(com os significados usuais da linguagem coloquial), reflexiva, simtrica, transitiva ou total.
a) x primo de y.
b) x filho de y
c) x ama y.
1.2. Verifique se a relao x chefe de y, definida no conjunto dos funcionrios da
Universidade Federal de Alagoas (com o significado usual da linguagem coloquial), reflexiva,
simtrica, transitiva ou total.
1.3. D um exemplo de uma relao binria definida no conjunto A = {a, b, c} que no seja
reflexiva, seja simtrica e transitiva e no seja total.
1.4. Apresente um contraexemplo que mostre que a afirmao se R uma relao simtrica e
transitiva, ento R reflexiva falsa.
1.5. Mostre que se p, q e r so predicados num conjunto A, ento
a) p (q r) = (p q) (p r) (isto , a conjuno distributiva em relao
disjuno)
b) p (q r) = (p q) (p r) (isto , a disjuno distributiva em relao
conjuno)
1.6. Mostre que se p um predicado num conjunto A, ento
a) p (~p) = .
b) p (~p) = .
1.7. Prove as leis de Morgan: se p e q so predicados num conjunto A ento
a) ~(p q) = (~p) (~q).
b) ~(p q) = (~p) (~q)
1.8. Sejam p e q predicados num conjunto A. Mostre que (p q) = (~p) q.
21
1.19. Sejam A e B dois conjuntos e f uma funo de A em B. Mostre que existe uma funo g,
de B em A, tal que f g = IB se e somente se f sobrejetiva. Neste caso, a funo g dita inversa
direita de f.
1.20. Sejam A e B dois conjuntos e f uma funo de A em B. Mostre que existe uma funo g,
de B em A, tal que g f = IA se e somente se f injetora. Neste caso, a funo g dita inversa
esquerda de f.
23
2. Os nmeros naturais
2.1 Axiomas,
axiomaticamente
teorias
axiomticas,
objetos
construdos
Vimos na seo 1.1 que alguns objetos matemticos so admitidos de forma primitiva, no
sendo definidos. Um conjunto um ente primitivo, enquanto que uma funo no o , sendo
definida como o foi na seo 1.10.
Uma outra forma de se conceber um objeto matemtico se estabelecer propriedades s quais
ele deve satisfazer, independentemente de qualquer conceituao anterior. Neste caso, tais
propriedades so chamadas axiomas ou postulados e diz-se que tal objeto foi construdo
axiomaticamente.
Axiomas tambm so utilizados para o estabelecimento de teorias matemticas. Para tal,
objetos so concebidos de forma primitiva e se estabelecem as propriedades (os axiomas) a que
estes objetos devem satisfazer. Uma teoria assim obtida dita uma teoria axiomtica e o exemplo
mais conhecido a Geometria Euclidiana, que foi construda a partir dos entes primitivos ponto,
reta e plano e de axiomas (chamados Postulados de Euclides) como os seguintes:
(definio da multiplicao)
(hiptese indutiva)
(distributividade "ao contrrio")
(definio de multiplicao)
(definio de sucessor)
27
n + s(m) = (n + m) + 1
n + s(m) = (m + n) + 1
n + s(m) = m + (n + 1)
n + s(m) = m + (1 + n)
n + s(m) = (m + 1) + n
n + s(m) = s(m) + n
(associatividade da adio)
(hiptese indutiva)
(associatividade da adio)
(lema 1.2)
(associatividade da adio)
(definio de sucessor)
(definio de multiplicao)
(hiptese indutiva)
(n = n . 1 = 1 .n)
(demonstrao acima)
28
Proposio 3.2
Sejam n, m, k . Se n + k = m + k, ento n = m.
Demonstrao
Consideremos o predicado em definido por p(k) = V se n + k = m + k implicar n = m.
Pela observao acima temos que p(1) = V. Suponhamos que p(k) = V e provemos que
p(s(k)) = V. Ora, se n + (k + 1) = m + (k + 1), temos, por associatividade, (n + k) + 1 = (m + k) + 1 e
ento, pelo primeiro axioma de Peano, n + k = m + k. Da, pela hiptese de induo, n = m,
provando que p(s(k)) = V.
Demonstrao
De n m segue que n = m ou existe um natural r tal que n + r = m. De n = m segue que
n + p = m + p e n . p = m . p. De n + r = m segue que n + (r + p) = m + p e n . p + r . p = m . p, que
implicam (n + p) + r = m + p e n . p + r . p = m . p. Logo, n + p m + p e n . p m . p.
Quando dois naturais n e m so tais que n m e n m dizemos que n menor do que m e
indicamos por n < m. Observe que, como as condies n = m e a equao n + x = m solvel
so incompatveis, dizer que n < m implica que a equao n + x = m solvel. Ou seja, n < m se e
somente se existe um natural r tal que n + r = m. Observe que < pode ser vista como uma relao
binria em que, como fcil provar, transitiva (ver exerccio 2.9).
Tambm usamos m n (lido m maior do que ou igual a n) para indicar que n m e m > n
(lido m maior que n) como sinnimo de n < m. Como as relaes e < so transitivas, quando
tivermos n m e m p, podemos escrever n m p e quando tivermos n < m e m < p, podemos
escrever n < m < p, caso em que dizemos que m est entre n e p. Qualquer uma das relaes <, , >,
e chamada desigualdade.
interessante observar, como mostra a proposio a seguir, que no existe nmero natural
entre um natural e o seu sucessor.
Proposio 8.2
Sejam n e m nmeros naturais. Se m > n, ento m n + 1.
Demonstrao
Se existisse um natural m tal que m > n e m < n + 1, existiriam naturais r e p tais que n + r = m
e m + p = n + 1 de onde seguiria que n + (r + p) = n + 1. Da, pela lei do corte, teramos r + p =1.
Porm a existncia de naturais r e p tais que r + p = 1 uma contradio, pois, se p = 1, r + 1 =1 e
se p 1, (r + (p 1)) + 1 = 1, que contrariam o segundo axioma de Peano.
O conjunto dos nmeros naturais satisfaz a uma outra propriedade que ser importante no
sentido de relacionar o conjunto dos nmeros naturais com contagens. Para sua demonstrao
necessitamos da seguinte proposio.
Proposio 9.2
Sejam n, m . Ento
i) 1 n;
ii) n < s(n);
iii) Se n < s(m), ento n m.
Demonstrao
i) Se n 1, como 1 + (n 1) = n, temos 1 < n. Logo, 1 n.
ii) Decorre imediato da igualdade n + 1 = s(n).
iii) Por contradio, suponhamos que m < n. Da a equao m + x = n solvel e ento, pela
proposio 4.2, s(m) = n ou a equao s(m) + x = n solvel. Assim s(m) n, contrariando a
hiptese de que n < s(m).
Observe que o item ii desta proposio e a transitividade da relao < implicam que
1 < 2 < 3 < < 9 < . Da ser natural (no sentido usual do termo) a representao do conjunto
dos nmeros naturais por = {1, 2, 3,...}.
Observe tambm que o mesmo item ii mostra que n < n + 1 e, dessa forma, o incio da
demonstrao da proposio poderia ser escrito: Se existisse um natural m tal que n < m < n + 1
existiram naturais...
31
2.7 Exerccios
2.1. D exemplo de uma funo sobrejetiva de em diferente da funo identidade.
2.2. Considere o seguinte predicado definido em :
p(n) = V se n nmero pequeno.
Temos que p(1) = V, pois 1 um numero pequeno. Alm disto, se p(n) = V, bvio que
p(s(n)) = V, pois se n um nmero pequeno, ento n + 1 um nmero pequeno. Assim, pelo
Princpio da Induo, todo nmero natural pequeno. O que h de errado com esta
demonstrao?.
2.3. Mostre que, quaisquer que sejam os naturais a e b,
a) 2 . a = a + a.
b) (a + b)2 = a2 + 2 . a . b + b2.
2.4. Mostre que a relao definida em x por (m, n) (p, q) se e somente se m + q = n + p
uma a relao de equivalncia.
2.5. Mostre que, qualquer que seja o natural n,
33
a) 1 + 3 + ... + (2 . n 1) = n2.
b) 2 + 4 + ... + 2 . n = n . (n + 1).
2.6. Em definamos a operao n m = n + m + n . m. Mostre que comutativa,
associativa e no possui elemento neutro.
2.7. Representemos por n m a soluo da equao solvel m + x = n e consideremos um
natural p. Mostre que
a) n m = (n + p) (m + p).
b) Se n m = p, ento n p = m.
c) (n m) . p = n . p m . p.
d) Se n = m + p, ento n p = m.
2.8. Sejam a, b, c, d . Mostre que
a) Se a + c b + c, ento a b.
b) Se a b e c d, ento a + c b + d.
2.9. Sejam a, b, c . Mostre que
a) Se a < b e b < c, ento a < c.
b) Se a < b e b c, ento a < c.
c) Se a < b, ento a + c < b + c.
d) Se a < b, ento a . c < b . c.
e) Se a . c b . c, ento a b
2.10. Mostre que se k e j so nmeros naturais tais que k . j = 1, ento k = j = 1.
2.11. No conjunto dos nmeros naturais definimos a relao b divide a por b|a se e somente
se existe um natural q tal que a = b . q.
Mostre que esta relao reflexiva, no simtrica, antissimtrica e transitiva.
2.12. Sejam A e B so dois conjuntos finitos e no vazios. Mostre que
a) Se A e B so disjuntos (isto , A B = ), ento |A B| = |A| + |B|.
b) Se A e B no so disjuntos, ento |A B| = |A| + |B| - |A B|.
2.13. Sejam A e B dois conjuntos nfinitos e no vazio. Mostre que |AxB| = |A| . |B|.
34
3. Os nmeros inteiros
3.1 Introduo
No captulo anterior introduzimos a noo de equao no conjunto dos nmeros naturais
e vimos que uma equao n + x = m tem soluo se e somente se n < m. H situaes na prtica em
que necessitamos investigar uma equao do tipo n + x = m, com n > m. Um exemplo bem simples
o seguinte. Uma criana, cuja mesada administrada pela me, tem um saldo de R$ 3,00. Se ela
convence a me a comprar um sorvete que custa R$ 5,00, ela fica devendo (para ser descontado da
mesada do prximo ms) R$ 2,00. A questo : como expressar numericamente este dbito em
relao ao saldo da sua mesada? Para que possamos fazer isto necessrio "ampliarmos" o conjunto
dos nmeros naturais, obtendo ento o nosso velho conhecido conjunto dos nmeros inteiros.
A partir dos nmeros naturais, o conjunto dos inteiros pode ser construdo atravs de
definies. Vamos optar, por enquanto, em construir os inteiros tambm de forma axiomtica,
deixando o estabelecimento dos inteiros por definio para o captulo 8. Esta opo se deve ao fato
de que as definies necessrias, embora fceis, requerem uma maior maturidade matemtica.
Uma outra razo para construirmos os inteiros axiomaticamente que, nesta construo, o
Princpio da Induo Matemtica agora ser um teorema enquanto que o Princpio da Boa
Ordenao ser um axioma, ao contrrio da construo axiomtica dos nmeros naturais. Esta
mudana permitir uma nova maneira de ver as coisas.
Alm disso, a construo axiomtica dos inteiros requer o estudo de algumas estruturas
algbricas, que so tambm utilizadas em outros ramos da Matemtica. Uma estrutura algbrica
consiste de um conjunto munido de uma ou mais operaes que gozem de propriedades
preestabelecidas. Estudaremos os anis e outras estruturas derivadas".
3.2 Anis
Um anel a estrutura algbrica que consiste de um conjunto A munido de duas operaes,
chamadas adio (operador: +, denominao: mais) e multiplicao (operador: . ou ,
denominao: vez(es)), que satisfazem s seguintes propriedades.
(A1) A adio associativa: a + (b + c) = (a + b) + c, quaisquer que sejam a, b, c A.
(A2) A adio comutativa: a + b = b + a, quaisquer que sejam a, b A.
(A3) A adio possui elemento neutro: existe e A tal que a + e = a, qualquer que seja a A.
(A4) Todo elemento possui simtrico em relao adio: para todo a A existe a A tal
que a + a = e.
(M1) A multiplicao associativa: a . (b . c) = (a . b) . c, quaisquer que sejam a, b, c A.
(M2) A multiplicao comutativa: a . b = b . a, quaisquer que sejam a, b A.
(M3) A multiplicao possui elemento neutro: existe f A, f e, tal que a . f = a, qualquer
que seja a A.
(AM) A multiplicao distributiva em relao adio: a . (b + c) = a . b + a . c, quaisquer
que sejam a, b, c A.
Normalmente, a referncia a um anel genrico feita apenas pela indicao do conjunto,
ficando subentendidas as duas operaes adio e multiplicao. Quando necessrio, indicaremos
um anel por (A, #, *), onde A o conjunto, # e * so, respectivamente, as operaes de adio e de
multiplicao definidas no conjunto. Como nos naturais, uma imagem de uma adio a + b
chamada soma e uma imagem de uma multiplicao a . b chamada produto. Na soma a + b, a e b
so chamados parcelas e no produto a . b, a e b so chamados fatores. O produto a . a pode ser
indicado por a2 (lido a ao quadrado).
35
Trs horas aps esse instante, o ponteiro estar sobre a marca das 2 horas;
seis horas aps aquele instante o ponteiro estar sobre a marca das 5 horas
36
De forma natural, podemos expressar estes fatos atravs de uma operao definida no
conjunto I12 = {1, 2, 3, ..., 12} pondo
11 + 3 = 2
11 + 6 = 5
11 + 11 = 10
Imagine agora que o ponteiro das horas esteja sobre a marcao das doze horas. Decorrido
trs vezes o intervalo de tempo de sete horas, o ponteiro ocupar a marca das nove horas o que
justifica a igualdade 3 . 7 = 9.
Isto mostra que, de forma natural, pode-se definir uma adio e uma multiplicao em I 12 de
acordo com as seguintes tabelas, onde o elemento da linha i e da coluna j, representa i + j na
primeira e i . j na segunda.
+
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
1
1
2
3
4
5
6
7
8
9
10
11
12
2
2
4
6
8
10
12
2
4
6
8
10
12
3
3
6
9
12
3
6
9
12
3
6
9
12
4
4
8
12
4
8
12
4
8
12
4
8
12
1
2
3
4
5
6
7
8
9
10
11
12
Adio em I12
5
6
7
8
6
7
8
9
7
8
9
10
8
9
10
11
9
10
11
12
10
11
12
1
11
12
1
2
12
1
2
3
1
2
3
4
2
3
4
5
3
4
5
6
4
5
6
7
5
6
7
8
Multiplicao em I12
5
6
7
8
5
6
7
8
10
12
2
4
3
6
9
12
8
12
4
8
1
6
11
4
6
12
6
12
11
6
1
8
4
12
8
4
9
6
3
12
2
12
10
8
7
6
5
4
12
12
12
12
37
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
9
9
6
3
12
9
6
3
12
9
6
3
12
10
10
8
6
4
2
12
10
8
6
4
2
12
11
11
10
9
8
7
6
5
4
3
2
1
12
12
12
12
12
12
12
12
12
12
12
12
12
12
Naturalmente, o leitor est pensando que muito complicado executar estas operaes. No
captulo 7 apresentaremos uma forma simples de realiz-las.
Por enquanto, o leitor precisa observar apenas que a + 12 = a, para todo a I12, o que mostra
que 12 elemento neutro da adio. Precisa observar tambm que a . 1 = a, qualquer que seja
a I12, o que mostra que 1 elemento neutro da multiplicao. Alm disso, deve ser observado que
as duas operaes so claramente comutativas.
As demonstraes de que estas operaes so associativas e que a multiplicao distributiva
em relao adio requereriam que todos os casos possveis fossem verificados, o que
evidentemente seria extremamente desgastante. Na verdade, estas demonstraes so simples e
sero feitas, num caso mais geral, no captulo 7. Por ora, observe (lembrando que isto no uma
demonstrao, so apenas exemplos!) que:
(5 + 9) + 8 = 2 + 8 = 10,
5 + (9 + 8) = 5 + 5 = 10,
que
(5 . 8) . 9 = 4 . 9 = 12,
5 . (8 . 9) = 5 . 12 = 12
e que
5 . (7 + 3) = 5 . 10 = 2,
5 . 7 + 5 . 3 = 11 + 3 = 2.
fcil ver tambm que todo elemento tem simtrico: o simtrico de 1 11, o simtrico de 2
10, o simtrico de 3 9, e assim por diante. Temos ento que I 12 munido destas operaes um
anel.
Para um outro exemplo, considere os dias da semana, associando os naturais 1, 2, 3, 4, 5, 6 e 7
aos dias domingo, segunda-feira, tera-feira, quarta-feira, quinta-feira, sexta-feira e sbado,
respectivamente. Como se sabe, se estivermos numa quinta-feira, aps o decurso de seis dias iremos
para uma quarta-feira. Isto poderia ser expresso por 5 + 6 = 4; do mesmo modo, se estivermos num
domingo e forem decorridos sete dias iremos para um outro domingo. Ou seja, 1 + 7 = 1. De forma
semelhante, decorridos trs vezes o perodo de quatro dias, a partir do domingo, iremos parar numa
quinta-feira (o primeiro perodo terminaria numa quarta-feira, o segundo terminaria num domingo
e, ento, o terceiro acabaria numa quinta-feira). Assim, 3 . 4 = 5.
Desta forma, estabelecemos duas operaes no conjunto I7 = {1, 2, 3, 4, 5, 6, 7}.
+
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
Adio em I7
3
4
5
4
5
6
5
6
7
6
7
1
7
1
2
1
2
3
2
3
4
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
1
2
3
4
5
6
7
2
2
4
6
1
3
5
7
Multiplicao em I7
3
4
5
6
3
4
5
6
6
1
3
5
2
5
1
4
5
2
6
3
1
6
4
2
4
3
2
1
7
7
7
7
7
7
7
7
7
7
7
7
1
2
3
4
5
6
7
38
Do mesmo modo que o I12, o conjunto I7 munido das operaes acima um anel. O conjunto
dos naturais no um anel pelo fato de que no existe elemento neutro para adio.
O elemento neutro (nico, como mostrado na seo 1.12) da adio chamado zero ou
elemento nulo e representado pelo smbolo 0. Observe que no anel I12 o elemento neutro da adio
12 e, portanto, neste anel 12 = 0; em I 7, 7 = 0. Um elemento de um anel diferente do elemento
neutro da adio dito no nulo.
Por sua vez, o elemento neutro (nico) da multiplicao chamado unidade ou,
simplesmente, um e indicado por 1. A soma 1 + 1 pode ser indicada por 2 (lido dois) e se a um
elemento do anel, o elemento a + 1 chamado consecutivo ou sucessor de a. Quando estivermos
lidando com mais de um anel, poderemos adicionar ndices aos smbolos 0 e 1 para indicar o anel
respectivo.
Como a adio em um anel associativa, o elemento simtrico de um elemento x do anel
nico (conforme seo 1.12) e representado por x, chamado menos x. Naturalmente, x + (-x) = 0.
Uma adio do tipo a + (-b) indicada por a b e chamada subtrao de a por b ou diferena
entre a e b.
Note que, como a + (-a) = 0, o elemento simtrico de - a a. Ou seja, -(-a) = a. Observe
tambm que o fato de a = b implicar a + c = b + c, qualquer que seja o elemento c do anel,
acarreta, se a = b, a seguinte sequncia de igualdades.
a + (-b) = b + (-b)
a + (-b) = 0
a-b=0
o que mostra que em todo anel vale a regra muda de membro, muda de sinal. Observe que desta
propriedade decorre que se k um elemento de um anel tal que k + k = k, ento k = 0.
A simples conceituao de anis j gera propriedades interessantes, como mostram as
proposies seguintes. A primeira delas clssica: se um dos fatores de uma multiplicao zero, o
produto igual a zero!
Proposio 1.3
Seja A um anel. Para todo a A, se tem a . 0 = 0.
Demonstrao:
Temos
a . 0 = a . (0 + 0)
a.0=a.0+a.0
a.0=0
(0 = 0 + 0)
(distributividade da multiplicao)
(observao anterior: se k + k = k, ento k = 0)
A prxima proposio estabelece o que, no futuro, poder ser visto como uma regra de
sinais.
Proposio 2.3
Seja A um anel. Para todos a, b A,
a) (-1) . a = -a.
b) (-a) . b = a . (-b) = -(a . b).
c) (-a) . (-b) = a . b.
Demonstrao:
a) Pelo conceito de elemento simtrico, basta provar que (-1) . a + a = 0. Temos
(-1) . a + a = (-1) . a + 1 . a
(-1) . a + a = ((-1) + 1) . a
(a = a . 1)
(colocando a em evidncia)
39
(-1) . a + a = 0 . a
(-1) . a + a = 0,
((-1) + 1 = 0)
(proposio anterior)
b) Temos (-a) . b = ((-1) . a) . b = (-1) . (a . b) = -(a . b). Para a outra igualdade, temos
a . (-b) = (-b) . a e, ento, a . (-b) = -(b . a) = -(a . b).
c) A igualdade segue das seguintes aplicaes do item (b) e do fato de que -(-a) = a.
(-a) . (-b) = -(a . (-b)) = -(-(a . b)) = a . b
a) f(0A) = 0B.
b) f(-a) = ~f(a), qualquer que seja a A.
c) f(a - b) = f(a) ~ f(b), quaisquer que sejam a, b A.
Demonstrao
a) Temos que f(0A) = f(0A + 0A) = f(0A) # f(0A) e ento, pela observao anterior proposio
1.3, f(0A) = 0B.
b) Temos que 0B = f(0A) = f(a + (-a)) = f(a) # f(-a) e ento f(-a) = ~ f(a).
c) Utilizando o item b, temos f(a - b) = f(a + (-b)) = f(a) # f(-b) = f(a) ~ f(b).
De um modo geral, se E e F so duas estruturas algbricas de um mesmo tipo, uma funo
bijetiva de E em F que preserve as operaes das estruturas chamada de isomorfismo de E em F. A
proposio acima afirma que para que uma funo bijetiva f de um anel (A, +, .) num anel (B, #, *)
seja um isomorfismo de A em B basta que f(a + b) = f(a) # f(b), f(a . b) = f(a) * f(b) e f(1A) = 1B
(caso em que f dita um homomorfismo do anel A no anel B).
A proposio a seguir mostra que a funo inversa de um isomorfismo tambm um
isomorfismo, o que nos permite falar em anis isomorfos.
Proposio 4.3
Sejam os anis (A, +, .) e (B, #, *). Se a funo f um isomorfismo de A em B, ento a funo
inversa de f um isomorfismo de B em A.
Demonstrao
Como f um isomorfismo de A em B, f bijetiva e, portanto, tem uma inversa f-1. Sejam c e d
dois elementos do anel B. Como f bijetora existem nicos a e b em A tais que f(a) = c e f(b) = d.
Temos ento f -1(c # d) = f -1(f(a) # f(b)) = f -1(f(a + b)) = a + b e, portanto, f -1(c # d) = f -1(c) + f -1(d).
Claramente, a igualdade f-1(c * d) = f -1(c) . f -1(d) se demonstra de forma semelhante.
Finalmente, a igualdade f(1A) = 1B implica f -1(f(1A)) = f -1(1B) e ento 1A = f -1(1B).
Dessa forma, se dois anis so isomorfos h uma correspondncia biunvoca entre os dois
conjuntos que preserva as operaes nos dois sentidos. Assim, a existncia de um isomorfismo
entre dois anis implica que eles, mesmo que tenham elementos distintos e que as operaes neles
definidas sejam diferentes, algebricamente eles tm a mesma estrutura. Por esta razo, a existncia
de um isomorfismo entre dois anis utilizado para definir igualdade de dois anis: dois anis so
iguais quando eles so isomorfos.
Demonstrao:
a) Como a 0, pela compatibilidade da relao de ordem com a adio, a + (-a) 0 + (-a) e
ento 0 -a.
b) Como a 0, novamente pela compatibilidade da relao de ordem com a adio,
a + (-a) 0 + (-a) e ento 0 -a.
c) Decorre imediatamente da compatibilidade da relao de ordem com a multiplicao: a 0
e b 0 implica a . b 0 . b e 0 . b = 0.
d) Decorre tambm imediatamente da compatibilidade da relao de ordem com a
multiplicao: b 0 e a 0 implica b . a 0 . a.
e) Como a 0, pelo item (a), -a 0. Aplicando a compatibilidade com a multiplicao a b
0 e -a 0 temos b . (-a) 0 . (-a) e, assim, -(b . a) 0. Aplicando agora o item (b), -(-(b . a)) 0 e,
portanto, b . a 0.
Para estabelecer a igualdade entre dois anis ordenados, diremos que dois anis ordenados A e
B so isomorfos como anis ordenados se existe um isomorfismo f de A em B tal que, para todos
a, b A, a b implicar f(a) f(b). Assim, estendendo naturalmente o conceito de igualdade de
anis, dois anis ordenados so iguais se eles so isomorfos como anis ordenados.
44
za=
(definio)
(1D ~ 1D = 0D)
(hiptese de induo)
(comutatividade)
(base de induo).
(item b)
(hiptese indutiva e exemplo acima)
(a + b) = -((~m) (a + b))
(a + b) = -(((-m) a) + ((-m) b))
(a + b) = -((~m) a) + (-((-m) b)
(a + b) = (m a) + (m b)
(definio)
(-m > 0D)
(distributividade no anel)
(definio)
a = ((m * n) # m) a
a = ((m * n) a) + (m a)
a = m (n a) + (m a)
a = m ((n a) + a)
a = m ((n # 1D) a)
(distributividade no domnio)
(item b)
(hiptese de induo)
(item c)
(item b)
a = -((~(m * n)) a)
a = -(((~m) * n) a)
a = -((~m) (n a))
a = -(- (m (n a)))
a = m (n a)
(definio)
(-(m * n) = (-m) * n)
((-m) . n > 0)
(item a)
(-(-x) = x no anel).
(a . b) = m (a . b) + a . b
(a . b) = (m a) . b + a . b
(a . b) = (m a + a) . b
(a . b) = ((m # 1D) a) . b
(item b)
(hiptese indutiva)
(distributividade no anel)
(item b)
b).
Corolrio 3.3
Se A um anel ordenado, D um domnio bem ordenado e um elemento m de D tal que
m > 0D, ento m 1A > 0A.
Demonstrao
Por induo, para m = 1D temos que 1D 1A = 1A > 0, conforme o exerccio 3.6. Suponhamos
que m 1A > 0A e provemos que (m # 1D) 1A > 0A. Temos (m # 1D) 1A = m 1A + 1D 1A >
0, pois ambas as parcelas so maiores que zero, a primeira pela hiptese de induo e a segunda
pela base de induo.
Teorema 2.3
Se (D, +, .) e (E, #, *) so domnios bem ordenados, ento a funo de E em D definida por
(z) = z 1D um isomorfismo de anis ordenados.
Demonstrao
Inicialmente, temos
i) (z1 # z2) = (z1 # z2) 1D = (z1 1D) + (z2 1D) = (z1) + (z2).
ii) (z1 * z2) = (z1 * z2) 1D = (z1 1D) . (z1 1D) = (z1) . (z2), onde na segunda
igualdade foi utilizado o corolrio 2.3.
iii) (1E) = 1E 1D = 1D,
Provemos agora sobrejetivo. Para tal devemos provar que todo elemento a D da forma
z 1D para algum z E. Suponhamos por contradio que existe a D tal que a z 1D, para
todo z E e consideremos os conjuntos
A = {z 1D D| z E e z 1D > a}
e
A = {z 1D D| z E e z 1D < a}.
Se A , como ele um conjunto limitado inferiormente e D um domnio bem ordenado,
pelo Princpio da Boa Ordenao, A tem um elemento mnimo b 1D. Assim, b 1D > a e
b 1D - 1D a. Desta ltima, segue (b 1D) 1D a, de que resulta (b 1D) 1D < a, pois
a z 1D, para todo z E. Desta ltima desigualdade e do corolrio 3.1 segue que
a (b 1D) 1D + 1D = b 1D,
o que contradiz a desigualdade b(1D) > a. Logo A = . Utilizando raciocnio semelhante e a
formulao do Princpio da Boa Ordenao dada no exerccio 3.11, prova-se que A tambm um
conjunto vazio, o que prova que no existe a D tal que a z 1D, para todo z E. Logo,
sobrejetivo.
Para provar que injetivo (e tambm que preserva as ordens dos domnios bem
ordenados), sejam z, y E, com z > y. Da, z - y > 0 e, como (z) - (y) = z 1D - y 1D = (z - y)
1D, temos (z) > (y). Assim, um isomorfismo de anis ordenados e todos os domnios bem
ordenados so iguais implicando a existncia de um nico domnio bem ordenado que, como foi
dito no incio da seo, chamado conjunto dos nmeros inteiros.
Sendo o nico domnio bem ordenado, o domnio dos nmeros inteiros (representado por
como estabelecido no incio da seo) fica perfeitamente caracterizado: nele esto definidas duas
47
operaes que gozam das propriedades (A1), (A2), (A3), (A4), (M1) (M2), (M3), (M4) e (MA), nele
est definida uma relao de ordem que compatvel com a adio e com a multiplicao e ele
satisfaz ao Princpio da Boa Ordenao: todo subconjunto no vazio limitado inferiormente te um
elemento mnimo. Alm disso, o conjunto das nmeros inteiros satisfaz a todas as propriedades
fixadas neste captulo (inclusive, para destacar, o princpio da induo matemtica). Nas sees e
nos captulos seguintes, ser mostrado que todos os fatos conhecidos sobre os inteiros podem ser
demonstrados a partir desta caracterizao.
Reciprocamente, suponhamos que -y < z < y. Se z 0, ento |z| = z e, assim, |z| < y. Se z 0,
temos |z| = - z e, ento, |z| < y, pois da hiptese -y < z segue que -z < y.
Corolrio 4.3
Sejam z, y . Se y 0, ento |z . y| |z|.
Demonstrao
Como y 0 temos que |y| > 0 e ento, pela proposio 7.3, |y| 1. Da, aplicando a
compatibilidade com a multiplicao, tem-se |z| . |y| |z| . 1 que implica a desigualdade procurada.
O corolrio a seguir estabelece uma propriedade, chamada propriedade arquimediana, que
ser utilizada em demonstraes futuras.
Corolrio 5.3 (propriedade arquimediana)
Se z, y e y 0, ento existe n tal que n . y z.
Demonstrao
Pelo corolrio anterior temos |z . y| |z| e ento |y| . |z| |z| que implica |y| . |z| z, j que |z|
z. Da, se y > 0, a desigualdade a ser demonstrada segue tomando n = |z| e se y < 0 a desigualdade
segue tomando n = -|z|.
Proposio 10.3
Os nicos inteiros inversveis so 1 e -1.
Demonstrao
Se z inversvel, ento z 0 e existe y , y 0, tal que z . y = 1. De z 0 segue que |z|
> 0 que implica |z| 1. Por outro lado, de y 0 e do corolrio 4.3, temos que |z . y| |z| e, portanto, |
z| 1, pois |z . y| = 1. Desta desigualdade e de |z| 1 segue que |z| = 1 e, ento, z = 1 ou
z = -1.
49
Demonstrao
A no existncia de n tal que xn = k implicaria que a sequncia x 1 k > x2 k > ... > xk - k >
> ... > 0 contradiria a proposio.
3.12 Exerccios
3.0 Construa um anel (A, +, .), em que A um conjunto finito de cardinalidade mnima.
3.1 Sejam A um anel e a, b, c A. Mostre que
a) Se a + c = b + c, ento a = b.
b) Se a + b = a para algum a A, ento b = 0.
3.2 Sejam A um anel e a, b A. Mostre que
a) -(a + b) = -a - b.
b) a2 b2 = (a + b).(a b)
3.3 Mostre que dois elementos a e b de um anel so inversveis se e somente se a . b
inversvel.
3.4 Sejam (A, +, .) um anel e A' um subconjunto de A. O subconjunto A' dito um subanel de
A se (A', +A', .A') um anel tal que 1A' = 1A (naturalmente, as operaes +A' e .A' so as restries de + e
de . ao conjunto A'xA').
a) Sejam A um anel e A' um subconjunto de A. Mostre que A' um subanel de A se e
somente se
i) 1A A'.
ii) a b A' e a . b A' quaisquer que sejam a, b A
b) Sejam A e B dois anis e f um homomorfismo de A em B. Mostre que f(A) um
subanel de B.
3.5. Alguns autores no incluem a comutatividade da multiplicao como axioma para a
construo de um anel. Para estes, quando a comutatividade existe, o anel dito comutativo ou
booleano. Para aqueles que incluem a comutatividade da multiplicao como axioma, um conjunto
munido de duas operaes que gozem das propriedades (A 1), (A2), (A3), (A4), (M1), (M3,), (M4) e
(AM) um anel no comutativo. Seja A um conjunto no vazio e (A) o conjunto das funes de A
em A. Dadas f, g em (A), defina a adio f + g pela funo dada por (f + g)(x) = f(x) + g(x).
Verifique se (A) munido da operao definida acima e da composio de funes um anel no
comutativo.
3.6. Seja D um domnio de integridade. Mostre que
a) Se a2 = 0, ento a = 0.
b) Se a . b = a ento a = 0 ou b = 1.
50
c) Se a2 = a, ento a = 0 ou a = 1.
3.7. Sejam A um anel e a A, com a 0. Considere a funo fa : A A, definida por
fa(x) = a . x.
a) Mostre que fa sobrejetora se e somente se a inversvel.
b) Mostre que se A um domnio de integridade, ento fa injetora.
3.8 Sejam A um anel ordenado e a, b, c, d A. Mostre que
a) Se a + c b + c, ento a b.
b) Se a b e c d, ento a + c b + d.
c) Se a b e c 0, ento a . c b . c.
d) Se a < b e b < c, ento a < c.
e) Se a < b e b c, ento a < c.
f) Se a < b, ento a + k < b + k, para todo k A.
g) Se a < b e c < d, ento a + c < b + d.
h) Se a b e c < d, ento a + c < b + d.
3.9. Seja A um anel ordenado. Mostre que
a) a2 0, qualquer que seja a A.
b) 1 > 0.
c) -1 < 0.
d) Qualquer que seja a A, a < a + 1.
3.10. Mostre que no se pode munir o anel I12 de uma relao de ordem que o transforme num
anel ordenado.
3.11. Sejam A um domnio de integridade ordenado e a, b, c A. Mostre que
a) Se a < b e c > 0, ento a . c < b . c.
b) Se a . c b . c e c > 0, ento a b.
c) Se a . c b . c e c < 0, ento a b.
3.12. Sejam A um anel ordenado e S um subconjunto de A. Diz-se que S limitado
superiormente se existir a A tal que x a, qualquer que seja x S. Diz-se que S tem elemento
mximo se existir b S tal que x b, qualquer que seja x S. Mostre que
a) Se S tem elemento mximo, ento este elemento nico.
b) O Princpio da Boa Ordenao equivalente seguinte propriedade.
Todo subconjunto no vazio limitado superiormente possui elemento mximo.
3.13. Como fixamos anteriormente, 2 = 1 + 1 e, portanto, 2 1. Entretanto, pode-se "provar"
que 2 = 1 da seguinte forma.
Sejam a e b dois inteiros tais que a = b. Multiplicando ambos os termos por a temos a2 = a . b
donde se conclui, somando a ambos os termos a2 2 . a . b, a igualdade
a2 + a2 2 . a . b = a2 2 . a . b + a . b.
Da,
2 . a2 2 . a . b = a2 a . b,
e, ento,
2 . (a2 a . b) = 1 . (a2 a . b).
Pela lei do cancelamento,
2 = 1.
Evidentemente, esta "demonstrao" est errada! Verifique qual o erro cometido na
"demonstrao" acima.
51
Mostre que se A e B so dois conjuntos finitos no vazios e |A| = |B| = n, ento o nmero de
bijees de A em B n!.
3.25. Seja um inteiro z tal que z -1. Mostre que se n um inteiro positivo, ento
(1 + z)n 1 + n . z, desigualdade conhecida como Desigualdade de Bernoulli.
52
3.26. O jogo conhecido como Torre de Hani consiste de n discos de dimetros diferentes,
perfurados, e dispostos numa haste vertical origem na ordem decrescente dos seus dimetros. . O
objetivo do jogo mover todos os discos da haste origem para uma outra haste destino, utilizando
uma terceira haste auxiliar, devendo-se mover um disco de cada vez e no sendo permitir dispor um
disco sobre outro de dimetro maior. Por exemplo, se n = 1, basta se deslocar este disco da origem
para o destino; se n = 2, os movimentos seriam:
origem auxiliar
origem destino
auxiliar destino.
Mostre que, se an o nmero mnimo de movimentos para se concluir a Torre de Hani, ento,
a) para n 2, an = 2an-1 + 1.
b) an = 2n - 1, para todo inteiro n 1.
3.27. Seja A um conjunto finito, com |A| = n. Mostre que |(A)| = 2n.
3.28. Seja * = {z |z 0} e defina em x* a relao (a, b) (c, d) se a . d = b . c. Mostre
que uma relao de equivalncia.
3.29. Considere a operao (a, b) # (c, d) = (a . c b . d, a . d + b . c) definida no conjunto
*
x da questo anterior, com +, . e sendo as operaes em . Mostre que a operao # tem
elemento neutro.
53
4. Algoritmos
4.1 Introduo
Tendo definido axiomaticamente os inteiros e obtido algumas de suas propriedades bsicas,
apresentaremos, no prximo captulo, formas de represent-los. Para tal necessitaremos demonstrar
algumas outras propriedades destes elementos, dentre elas a existncia de inteiros que gozam de
uma propriedade especfica. Neste captulo, discutiremos uma tcnica utilizada em demonstraes
de existncia de objetos matemticos que satisfazem determinada propriedade. A ideia a
seguinte: para se provar que existe um inteiro que satisfaa a uma propriedade especfica apresentase uma receita de como encontrar tal inteiro. Em matemtica e cincia da computao, uma
receita com este ou qualquer outro objetivo chamada de algoritmo.
A definio formal de algoritmo desenvolvida no campo da Teoria da Computao e
envolve conceitos que fogem do objetivo deste livro. Aqui, consideraremos informalmente um
algoritmo como uma sequncia de instrues, que podem ser executadas por uma mquina ou por
um ser humano, de tal forma que ao final da execuo uma tarefa tenha sido realizada, exatamente
aquela tarefa para a qual o algoritmo foi desenvolvido.
No dia a dia, uma receita de bolo, o roteiro para instalao ou para utilizao de um
equipamento eletrnico so algoritmos. Uma partitura musical tambm um algoritmo. Uma receita
de bolo comea com a relao dos ingredientes e continua com instrues do tipo misture, aquea,
bata as claras at o ponto de neve, etc.. Um roteiro para instalao de um equipamento eletrnico
comea - embora isto fique implcito - com o prprio equipamento eletrnico, com cabos,
conectores, antenas, etc., e continua com instrues do tipo ligue o cabo X ao conector A, se for
usar antena externa ligue o cabo Z ao conector B, etc. Os ingredientes de uma receita de bolo e um
equipamento eletrnico, os cabos e os conectores no roteiro para instalao do tal equipamento so
as entradas dos algoritmos correspondentes. Aparecem em seguida as instrues e finalmente temse a sada do algoritmo que, nestes dois exemplos, so o bolo pronto e o equipamento instalado. Isto
significa que, de um modo geral, o desenvolvimento de um algoritmo requer que seja fixada sua
entrada e sua sada, que , exatamente, a realizao da tarefa para a qual o algoritmo foi
desenvolvido. O algoritmo propriamente dito constitudo do conjunto de instrues que
executadas sobre a entrada fornece a sada esperada.
Naturalmente, como a linguagem da cincia deve ser precisa, as instrues de um algoritmo
devem satisfazer a algumas condies:
1. Uma instruo no pode conter nenhum tipo de ambiguidade, que permita que sua
execuo dependa de algum tipo de subjetividade do executor.
2. Aps a execuo de uma instruo, no deve haver ambiguidade relativa a qual instruo
ser executa a seguir.
3. Toda instruo deve ser executada num intervalo de tempo finito, o que significa que a
execuo do algoritmo deve parar em algum momento.
Se, alm do exigido acima, exigirmos que as instrues de um algoritmo sejam executadas
sequencialmente, sempre na ordem em que elas esto escritas, uma instruo tendo sua execuo
iniciada somente aps a concluso da execuo da instruo anterior, o algoritmo ser dito
estruturado. desta forma que os algoritmos sero aqui apresentados e, assim, suporemos sempre
que ao final da execuo da ltima instruo a execuo do algoritmo estar encerrada.
As entradas dos nossos algoritmos, nmeros basicamente, sero armazenadas em variveis
que so representadas por letras ou nomes sugestivos em relao ao seu objetivo (no captulo 6,
utilizaremos variveis indexadas). A instruo que indicar que haver uma entrada e que esta
ser armazenada na varivel x ser escrita leia(x); e chamada comando de entrada. A sada do
54
algoritmo ser dada atravs do comando escreva(x/mensagem); que exibir o contedo da varivel
x ou a mensagem pretendida (quando se tratar de uma mensagem, ela ser colocada entre
apstrofos).
Variveis tambm sero utilizadas para armazenar valores durante a execuo do algoritmo.
Para isto, utilizaremos a instruo varivel := valor;. Por exemplo, uma instruo x := 1; significa
que, a partir da execuo desta instruo, o contedo da varivel x 1. Uma instruo deste tipo
chamada comando de atribuio e o segundo membro pode conter expresses aritmticas. Por
exemplo, ao final da execuo da sequncia de instrues
x := 1;
y := 1;
w := x + y;
y := y - w;
em x estar armazenado 1, em w, o valor 2 e em y, o valor -1.
Outra instruo que consideraremos, chamada comando de deciso, a instruo
se p
ento execute estas instrues
seno execute estas instrues;
onde p um predicado no universo do problema que se est tratando. fcil perceber que a
execuo de um comando de deciso seleciona, dependendo do valor do predicado p, a sequncia
de instrues que ser executada. A opo seno facultativa e quando ela no aparece e o
predicado falso nada executado e passa-se execuo da instruo seguinte.
Finalmente, necessitaremos de instrues que permitam a repetio da execuo de uma
sequncia de instrues. Estas instrues so chamadas comandos de repetio e utilizaremos dois
tipos com objetivos autoexplicativos:
1) repita N vezes
sequncia de instrues
2) repita enquanto p
sequncia de instrues
Neste segundo tipo, p um predicado e a sequncia de instrues ser executada enquanto o
valor de p for V.
Nos comandos de seleo e de repetio a utilizao de tabulaes distintas indicar qual a
sequncia de instrues que est vinculada quele comando. Nos comandos de repetio, cada
execuo da sequncia de instrues chamada iterao ou lao.
Apresentaremos a seguir alguns exemplos de algoritmos. Para ser possvel a compreenso de
alguns destes exemplos, vamos considerar conhecidos o conjunto dos nmeros reais e as operaes
neste conjunto.
4.2 Exemplos
1. Considerando conhecido o conceito de mdia aritmtica o algoritmo abaixo recebe como
entrada trs nmeros e fornece como sada a mdia aritmtica de trs nmeros.
algoritmo Media de trs nmeros;
leia(x, y, z);
media := (x + y + z)/3;
escreva(media);
2. Naturalmente, a extenso do algoritmo acima para o clculo da mdia de muitos nmeros
55
(5 000, por exemplo), seria impraticvel (imagine como ficariam as primeira e segunda instrues!).
A soluo seria utilizar uma nica varivel x para receber todos os nmeros, s recebendo um
prximo quando o anterior j estivesse sido processado (somado com os anteriores). Para isto
utiliza-se uma outra varivel que vai armazenado as somas parciais, recebendo esta varivel o valor
inicial zero, para que o primeiro nmero possa ser somado.
algoritmo Mdia de n nmeros;
leia(n);
soma := 0;
repita n vezes
leia(x);
soma := soma + x;
mdia := soma/n;
escreva(mdia);
3. O algoritmo abaixo calcula a potncia an, a e n dados, definio dada no exerccio 3.16.
algoritmo Potncia;
leia(a, n);
potncia := 1;
se n > 0
ento
repita n vezes
potncia := potncia . a;
escreva(potncia);
Observe que se o expoente zero (n = 0) o comando de repetio no executado e a sada da
potncia 1, de acordo com a definio (o algoritmo no "est preparado" para valores negativos de
n). Observe tambm que o nmero de iteraes deste algoritmo n. Isto significa que o nmero de
multiplicaes necessria para se calcular an n. Naturalmente o nmero de operaes necessrias
para a execuo de um algoritmo uma medida de sua eficincia. No captulo seguinte,
discutiremos um algoritmo mais eficiente para o clculo de potncias.
4. O algoritmo abaixo retorna o fatorial de um nmero inteiro positivo dado, conforme
definido no exerccio 3.21.
algoritmo Fatorial;
leia(n);
fatorial := 1;
se n < 0
ento
escreva('No existe fatorial de nmero negativo')
seno
se n > 1
ento
i := 2;
repita enquanto i n
fatorial := fatorial . i;
i := i + 1;
escreva(fatorial);
5. O exemplo que vamos discutir agora foge um pouco da matemtica, mas importante para
a compreenso de algoritmos. Imagine que queremos receber dois nmeros e armazen-los em
ordem crescente em duas variveis x e y fixadas. Isto significa que queremos receber os dois
56
nmeros em qualquer ordem e pretendemos que ao final da execuo do algoritmo o menor deles
esteja armazenado na varivel x e outro na varivel y. Naturalmente, a ordem em que aparecem no
algoritmo os comandos leia(x); e leia(y); indicar o armazenamento dos nmeros fornecidos. Se a
ordem for esta e o menor dos nmeros for digitado inicialmente nada precisa ser feito; se isto no
acontecer devemos trocar os contedos de x e de y.
algoritmo Ordena dois nmeros
leia(x);
leia(y);
se x > y
ento
aux := x;
x := y;
y := aux;
escreva(x, y);
6. O nosso ltimo de exemplo de algoritmo uma sequncia de instrues que no se sabe
ainda (http://mathworld.wolfran.com/CollatzProblem.html, acessado em 11/02/2010) se ela
constitui um algoritmo. Como foi dito acima, uma condio para que uma sequncia de instrues
seja um algoritmo que sua execuo pare, retornando uma sada, qualquer que seja a entrada
compatvel (a definio de inteiro mpar se encontra no exerccio 5.7).
algoritmo (?) de Collatz
leia(z);
repita enquanto z > 1
se z mpar
ento
z := 3 . z + 1
seno
z := z/2;
escreva(z);
Este um dos problemas de Matemtica que ainda no tem soluo, embora todos os
matemticos concordam que, de fato, se trata de uma algoritmo. Toms Oliveira e Silva, da
Universidade de Aveiro, Portugal, executou (num computador, claro) este algoritmo para todos os
55
inteiros menores que 19 . 2 e no encontrou nenhum contraexemplo.
4.3 Exerccios
4.1. O algoritmo Ordena dois nmeros acima possui uma sequncia de comandos que troca o
contedo de duas variveis x e y. Para tal era utilizada uma varivel aux como varivel auxiliar, que
armazenava temporariamente o contedo de x, para que este no fosse perdido quando x
recebesse o contedo de y. Escreva uma sequncia de comandos de atribuio que, sem utilizar uma
terceira varivel, realiza a troca de contedos de duas variveis.
4.2. Escreva um algoritmo que ordena trs nmeros dados.
4.3. Um inteiro positivo z dito quadrado perfeito se existe um inteiro x tal que x2 = z, caso
em que x chamado raiz quadrada de z, indicado por z Por exemplo, 9 = 3. Escreva um
algoritmo que verifica se um inteiro dado um quadrado perfeito e retorne sua raiz quadrada.
4.4 Escreva um algoritmo que fornea o maior de trs nmeros dados.
57
repita enquanto b . q a
q := q + 1;
q := q - 1;
r := a - b . q;
escreva(q, r);
A propriedade arquimediana (corolrio 5.3) nos garante que este algoritmo para, pois ela
assegura a existncia de um inteiro z tal que z . b > a. A interrupo do comando de repetio ocorre
na primeira vez que b . q > a, porm o comando q := q - 1 faz com que se retorne desigualdade
b . q a. Do comando r := a - b . q segue que a = b . q + r e o fato de que b . q a tem como
consequncia r 0. Resta mostrar que r < b. Se r b, a - b . q b e, ento, a b . (q + 1). Mas isso
uma contradio, pois q o maior inteiro tal que b . q a.
Para exemplificar, a tabela abaixo simula a execuo do algoritmo Diviso euclidiana para
a = 11 e b = 2.
a
11
2
3
4
5
6
5
Teorema 2.5
Sejam os inteiros a e b, com a > 0 e b > 1. Ento existem inteiros positivos n, c0, c1, ..., cn,
com 0 ci < b, para todos i = 0, 1, ..., n, tais que a = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0.
Alm disso, c0, c1, ..., cn so nicos.
Demonstrao
Pela diviso euclidiana temos que existem nicos q0 e c0 tais que a = b . q0 + c0, 0 c0 < b. Da
mesma forma existem nicos q1 e c1 tais que q0 = b . q1 + c1, 0 c1 < b.
Seguindo este raciocnio obtemos q1 = b . q2 + c2, 0 c2 < b; q2 = b . q3 + c3, 0 c3 < b; ;
qn-2 = b . qn-1 + cn-1, 0 cn-1 < b; qn-1 = b . qn + cn, 0 cn < b; , com cada ci e cada qi nicos.
Pela proposio 1.5, como a > 0 e b > 1, temos que qi 0 e qi+1 < qi, para todo i = 0, 1, ...,
n, .... Assim obtemos uma sequncia q0 > q1 > ... > qn > ... 0 e ento pelo corolrio 6.3, existe n tal
qn = 0. Logo, qn-1 = cn e, por substituio,
qn-2 = b . cn + cn-1
qn-3 = b . (b . cn + cn-1) + cn -2 = cn . b2 + cn-1 . b + cn-2
...
a = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0
com c0, c1, ..., cn nicos, como queramos demonstrar.
A expresso a = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0, com 0 ci < b, i = 0, 1, ..., n chamada
expanso b-dica do inteiro a, com denominaes particulares para alguns valores de b: para b = 2,
expanso binria; para b = 3, expanso ternria.
Por exemplo, como
11 = 2 . 5 + 1,
5 = 2 . 2 + 1,
2 = 2 . 1 + 0,
1 = 2 . 0 + 1,
temos
5 = 2 . 2 + 1 = 2 . (2 . 1 + 0) + 1 = 1 . 22 + 0 . 2 + 1.
11 = 2 . 5 + 1 = 2 . (1 . 22 + 0 . 2 + 1) + 1 = 1 . 23 + 0 . 22 + 1 . 2 + 1,
e, assim 1 . 23 + 0 . 22 + 1 . 2 + 1 a expanso binria de 11.
Dado um inteiro b > 1, o sistema de numerao de base b obtido definindo-se um conjunto
de b smbolos (os smbolos 0 e 1 includos) para representar os inteiros ci, i = 0, 1, ..., b - 1, com
0 ci < b, representando-se ento um inteiro positivo a de expanso b-dica
a = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0
por
a = (cncn-1...c1c0)b,
onde, a, estamos identificando ci com o smbolo que o representa. O inteiro (0cncn-1...c1c0)b
identificado com o inteiro (cncn-1...c1c0)b e um inteiro negativo representado pelo seu simtrico
precedido do sinal (lido menos). Em a = (cncn-1...c1c0)b, dizemos que c0, ..., cn so os dgitos ou
algarismos de a no sistema de base b e n + 1 dito nmero de dgitos de a. Dizemos tambm que
c0 o algarismo da casa das unidades.
interessante observar que, como b = 1 . b + 0, a base b sempre representada no sistema de
base b por 10, ou seja (b)b = 10.
O sistema de numerao mais utilizado o sistema decimal, onde a base b a cardinalidade
do conjunto dos dedos das mos da maioria dos seres humanos e os algarismos so 0, 1, 2, 3, 4, 5, 6,
61
7, 8, 9, chamados, respectivamente, zero, um, dois, trs, quatro, cinco, seis, sete, oito e nove, como
j utilizamos no conjunto dos nmeros naturais. Da mesma forma que 2 = 1 + 1, temos 3 = 2 + 1,
4 = 3 + 1, 5 = 4 + 1, 6 = 5 + 1, e assim sucessivamente. Observe que ao se escrever 2 = 1 + 1,
estamos usando os nmeros inteiros representados pelos algarismos 2 e 1.
A base do sistema decimal chamada dez e, como foi dito acima, representada por 10.
Geralmente se omite a indicao da base quando o sistema decimal utilizado. Dessa forma,
(324)10 escrito, simplesmente, 324 e a representao do inteiro 3 . 102 + 2 . 10 + 4.
Quando a representao do nmero inteiro no sistema decimal tem mais de trs algarismos,
espaos em branco podem ser utilizados para separar, da direita para a esquerda, grupos de trs
algarismos. Assim, 4 324 591 a representao do nmero 4 . 10 6 + 3 . 105 + 2 . 104 + 4 . 103 +
+ 5 . 102 + 9 . 101 + 1.
Naturalmente, se a base b menor do que dez, ela ser representada pelo algarismo que
representa o seu valor e os smbolos adotados so aqueles que representam os inteiros menores que
a base. Assim, se a base 7, os smbolos utilizados so 0, 1, 2, 3, 4, 5 e 6. Se a base 2, os smbolos
so 0 e 1 e o sistema chamado sistema binrio, fundamental para representao de inteiros em
computadores. Se a base maior que 10 comum se utilizar letras para indicar os algarismos que
representam os inteiros maiores que 9. Assim se a base 16, os smbolos adotados so 0, 1, 2, 3, 4,
5, 6, 7, 8, 9, A, B, C, D, E, F.
Como
323 = 5 . 64 + 3,
64 = 5. 12 + 4,
12 = 5 . 2 + 2,
2 = 5 . 0 + 2.
temos,
64 = 5. 12 + 4 = 5 . (5 . 2 + 2) + 4 = 2 . 52 + 2 . 5 + 4,
323 = 5 . 64 + 3 = 5 . (2 . 52 + 2. 5 + 4) + 3 = 2 . 53 + 2. 52 + 4 . 5 + 3;
e, ento, 323 = (2243)5. Dizemos que fizemos a converso do 323 do sistema decimal para o
sistema de base cinco.
Observe que o prprio enunciado do teorema 2.5 e o conceito de sistema de numerao
fornecem um algoritmo para a converso de um inteiro escrito no sistema decimal para o sistema de
uma base qualquer: z = (cncn-1...c1c0)b, c0 = r(z, b), c1 = r(q(z, b), b) e, assim, sucessivamente.
Por exemplo, para se converter 45 para o sistema binrio, temos
45 = 2 . 22 + 1,
22 = 2 . 11 + 0,
11 = 2 . 5 + 1,
5 = 2 . 2 + 1,
2 = 2 . 1 + 0,
1 = 2 . 0 + 1,
e, ento, 45 = (101101)2.
A converso de um inteiro escrito num sistema de base b qualquer para o sistema decimal
mais simples, bastando calcular, no sistema decimal, a expresso b-dica do nmero. Por exemplo,
como (23501)7 = 2 . 74 + 3 . 73 + 5 . 72 + 0 . 7 + 1, temos que (23501) 7 = 4 802 + 1 029 + 245 + 0 +
+ 1 e, ento, (23501)7 = 6 077.
de operaes com inteiros, os quais nos so ensinados (ou ensinamos) nas sries iniciais do ensino
fundamental. Embora a discusso aqui colocada no deva ser passada para os alunos, importante
que um professor conhea a razo dos tais algoritmos.
Naturalmente, as operaes com os nmeros inteiros podem ser realizadas com eles
representados em qualquer sistema:
(i) A soma de inteiros positivos y e z, menores que a base, quando esta soma tambm menor
que a base, feita utilizando a comutatividade e associatividade da soma.
Por exemplo, 3 + 5 = 5 + 3 = 5 + (2 + 1) = (5 + 2) + 1 = ((5 + (1 + 1)) + 1 = ((5 + 1) + 1) +
+ 1 = (6 + 1) + 1 = 7 + 1 = 8 e (4)7 + (2)7 = (4)7 + (1 + 1)7 = (4 + 1)7 + (1)7 = (5)7 + (1)7 = (6)7.
(ii) A soma da base com um inteiro menor que ela pode ser feita utilizando-se a representao
b-dica.
Por exemplo, 10 + 4 = 1 . 101 + 4 = 14 e (10)6 + (3)6 = 1 . 61 + 3 = (13)6, que corresponde a 9
nos sistema decimal.
(iii) A soma de inteiros positivos y e z, menores que a base, quando esta soma maior que a
base, pode ser feita utilizando-se a igualdade z1 + z2 = (z1 + ((10)b - z1)) + (z2 - ((10)b z1)), pois
z1 + (10 - z1) = 10 e z2 - (10 - z1) < 10.
Por exemplo, 4 + 8 = (4 + 6) + (8 - 6) = 10 + 2 = 12 e (3) 7 + ((6)7 = ((3)7 + (4)7) +
+ ((6)7 (4)7) = (10)7 + (2)7 = (12)7 .
Como (z1 + ((10)b - z1)) + (z2 - ((10)b - z1)) = (10)b + (z2 - ((10)b z1)), temos uma frmula
mais simples, para o caso (iii): z1 + z2 = (10)b + (z2 - ((10)b - z1)).
Por exemplo, 5 + 9 = 10 + (9 - (10 - 5)) = 10 + 4 = 14; 6 + 4 = 10 + (4 - (10 - 6)) = 10 e
(4)7 + (2)7 = (5)8 + (6)8 = (10)8 + ((6)8 ((10)8 (5)8) = (10)8 + ((6)8 (3)8) = (10)8 + (3)8 = (13)8,
que corresponde ao decimal 11.
Evidentemente, utilizamos a nossa capacidade de memorizao para decorar as somas
indicadas nos casos acima. So as tabuadas da adio.
Para somar operandos maiores que a base b, escrevemos suas expresses b-dica e aplicamos
as propriedades da adio. Se x = (cncn-1...c1c0)b e y = (dmdm-1...d1d0)b, temos
x = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0 e y = dm . bm + dm-1 . bm-1 + ... + d1 . b + d0 e ento, se n > m,
x + y = cn . bn + cn-1 . bn-1 + ... +(cm + dm) . bm + (cm-1 + dm-1) . bm-1 + ... + (c1 + d1). b + (c0 + d0 ).
Se ci + di < b, no h problema. Agora, ci + di b, temos
(ci + di) . bi = (b + (di (b ci))) . bi = b . bi + (di (b ci)) . bi = bi+1 + (di (b ci)) . bi
e, portanto, aparece "mais um" bi+1 para ser somado soma (ci+1 + di+1) . bi+1. Esta a famosa regra
do "vai um".
Do exposto acima, sai o algoritmo que ensinado nas primeiras sries do ensino fundamental
para se somar x = (cncn-1...c1c0)b e y = (dmdm-1...d1d0)b:
1. Escreve-se os dois inteiros um abaixo do outro de modo que c0 e d0, c1 e d1, etc., fiquem
numa mesma coluna.
2. Da direita para a esquerda, soma-se c0 e d0, c1 e d1, etc., escrevendo esta soma se ela for
menor que a base ou escrevendo a diferena entre a soma e a base, quando aquela maior que esta,
caso em que acrescenta-se um soma seguinte ou se escreve um se no h mais soma seguinte.
Por exemplo, para somar x = 32.767 e y = 4. 581, temos
32767
9182
41949
Para somar x = (3014)6 com y = (5323)6, temos
63
3014
5323
12341
Evidentemente, por associatividade, este algoritmo pode ser generalizado para uma soma com
mais de duas parcelas.
Para se calcular o produto de dois inteiros positivos y e z, menores que a base, podemos
utilizar as propriedades da multiplicao e da adio. Assim,
2 . 4 = 4 . 2 = 4 . (1 + 1) = 4 + 4 = 8;
3 . 8 = 8 . 3 = 8 . (2 + 1) = 8 . 2 + 8 = 8 . (1 + 1) + 8 = (8 + 8) + 8 = 16 + 8 = 24;
(2)7 . (5)7 = (5)7 + (5)7 = (13)7.
Mais uma vez, utilizamos nossa capacidade de memorizao para decorar os produtos no caso
acima. So as tabuadas da multiplicao.
Para o produto de dois inteiros quaisquer, x = (cncn-1...c1c0)b e y = (dmdm-1...d1d0)b, escrevemos
suas expresses b-dicas x = cn . bn + cn-1 . bn-1 + ... + c1 . b + c0 e y = dm . bm + dm-1 . bm-1 + ... + d1 . b +
d0 e aplicamos a distributividade da multiplicao em relao soma
x . y = (cn . bn + cn-1 . bn-1 + ... + c1 . b + c0) . (dm . bm + dm-1 . bm-1 + ... + d1 . b + d0),
x . y = ((d0 . cn) . bn + (do . cn-1) . bn-1 + ... + (d0 . c1) . b + (d0 . c0)) + ((d1 . cn) . bn+1 +
+ (d1 . cn-1) . bn + ... + (d1 . c1) . b2 + (d1 . c0) . b) + ... + ((dm . cn) . bm + n + (dm . cn-1) . bm+n-1 + ... +
(dm . c1). bm+1 + (dm . c0) . bm).
Por exemplo,
483 . 34 = (4 . 102 + 8 . 10 + 3) . (3 . 10 + 4),
483 . 34 = ((4 . 4) . 102 + (4 . 8) . 10 + (4 . 3)) + ((3 . 4) . 103) + (3 . 8) . 102 + (3 . 3) . 10 ),
483 . 34 = 12 . 103 + (16 + 24) . 102 + (32 + 9) . 10 + 12,
483 . 34 = 12 . 103 + 40 . 102 + 41 . 10 + 12,
483 . 34 = (104 + 2 . 103) + (4 . 103) + (4 . 102 + 1 . 10) + (10 + 2),
483 . 34 = 1 . 104 + 6 . 103 + 4 . 102 + 2 . 10 + 2,
483 . 34 = 16.422,
onde da quarta para a quinta igualdades usamos as igualdades
12 . 103 = (10 + 2) . 103 = 104 + 2 . 103,
40 . 102 = (4 . 10) . 102 = 4 . 103,
41 . 10 = (40 + 1) . 10 = 4 . 102 + 1 . 10.
Na nossa linguagem escrita, usada pelos autores para comunicao com o leitor (torcemos
para que sejam muitos leitores), so utilizados como smbolos bsicos as letras do alfabeto; na
linguagem falada, os smbolos bsicos so os fonemas.
Para os computadores, considerando que os smbolos so obtidos atravs da ocorrncia ou no
de fenmenos fsicos (tem corrente/no tem corrente, est magnetizado/no est magnetizado, etc.),
foram adotados dois smbolos, cada um deles chamado bit (acrossemia de binary digit),
representados por 0 (zero) e por 1 (um).
Assim, a comunicao entre as unidades feita atravs de sequncias de zeros e uns, da
mesma forma que os dados so armazenados na memria tambm como sequncias de zeros e uns.
A linguagem onde as palavras so sequncias deste tipo chamada linguagem de mquina e um
computador s capaz de executar instrues (e, por consequncia, algoritmos) escritas em
linguagem de mquina. Como esta linguagem no corriqueira para o ser humano, cientistas da
computao desenvolveram sistemas, chamados compiladores, capazes de traduzir instrues
escritas numa linguagem comum para linguagem de mquina. Surgiram ento as chamadas
linguagens de alto nvel, como Pascal, C, Fortran, Java e muitas outras. A, a expresso alto nvel
no est no sentido de qualidade e sim no sentido de que a linguagem est mais "prxima" do ser
humano. Normalmente, um algoritmo escrito numa linguagem de alto nvel chamado programa.
Para que a linguagem do ser humano possa ser traduzida para a linguagem de mquina (por
exemplo, este livro foi editado num processador de texto e quando estava sendo digitado, o
processador de texto traduzia cada palavra para a linguagem de mquina), necessrio se
estabelecer uma codificao que fixa uma sequncia de bits para cada smbolo da nossa linguagem.
Uma codificao utilizada o Cdigo ASCII (acrossemia de American Standard Code for
Information Interchange). Neste cdigo, cada caractere codificado como uma sequncia de 8 bits.
A sequncia correspondente letra A 01000001, a correspondente a B 01000010, enquanto que a
sequncia correspondente letra a 01100001. Naturalmente, a referncia aos cdigos de cada letra
facilitada vendo-se cada sequncia de bits como um inteiro no sistema binrio de numerao e se
associando o inteiro correspondente do sistema decimal. Assim, como (1000001) 2 = 65, dizemos
que o cdigo ASCII decimal de A 65. O cdigo ASCII decimal de B 66 e assim sucessivamente,
sendo o cdigo ASCII de Z igual a 90. Por outro lado, o cdigo de a
(1100001)2 = 97 e o da letra z 122. Observe a necessidade de codificaes diferentes para os
padres maisculo e minsculo de uma mesma letra para que os sistemas possam encar-los como
objetos distintos. Observe tambm que o cdigo ASCII decimal pode ser visto como uma funo do
conjunto dos caracteres no conjunto dos naturais. Daqui por diante, esta funo ser representada
por Ascii(x).
Uma questo a ser levantada: sendo o cdigo Ascii(Z) = 90, por que Ascii(a) = 97 e no
Ascii(a) = 91, como uma lgica sequencial induziria?. Observe que as representaes das letras
maisculas variam de 01000001 (letra A) at 01011011 (letra Z) e o cdigo ASCII decimal de uma
letra minscula difere de 32 do cdigo ASCII decimal da letra maiscula correspondente. Isto no
foi obra do acaso. Como 32 = (100000) 2, a diferena entre as representaes dos padres minsculo
e maisculo de uma mesma letra se d apenas no segundo bit (da esquerda para direita) da
representao. Levando em conta o fato de que a mudana entre os padres maisculo e minsculo
uma operao bastante utilizada nos sistemas de computao e que a mudana de um bit uma
operao muito simples de ser realizada em computadores, a escolha acima referida contribui para
programas mais rpidos.
inteiros que podem ser armazenados tem um elemento mximo: o maior inteiro cuja representao
no sistema binrio tem n dgitos. A proposio a seguir fornece uma frmula para a determinao
deste maior elemento.
Proposio 5.5
O maior nmero inteiro do sistema decimal que possui n dgitos no sistema binrio
z =2 1.
n
Demonstrao
Para que z seja o maior inteiro com n dgitos no sistema binrio devemos ter z = (11...1)2, com os n
dgitos iguais a 1. Assim, a expanso binria de z z = 2n-1 + 2n-2 + ... + 2 + 1. Como, pelo exerccio 3.17,
i := i + 1;
escreva(p);
Por exemplo, a tabela abaixo mostra a execuo deste algoritmo para z = 3 e n = 5.
z
3
n
5
p
1
3
9
27
81
243
i
1
2
3
4
5
6
.
Fazendo p1 = z a , teremos
0
e, fazendo p 2 = z 2 . p1 , obtemos
Naturalmente, obtemos uma sequncia p1, p2, ..., ps tal que ps = zn.
Observe que se qi = as . 2s-i + as-1 . 2s-(i+1) + ... + ai ento, se qi-1 par, q i =
mpar, q i =
qi1 1
qi1
e, se qi-1
2
Continuando, 313 =
1. 2 11. 1
2 2
0
13
. 3 2 . p 1 ; p2 = 1 . p1 = 3 e 3 =
2
1 .1
4 2
1
2 2
3 . 3 . p
o que
leia(z, n);
b := z; e := n; p := 1;
repita enquanto e 0
se resto(e, 2) 0
ento
p := b . p;
e := quociente(e, 2);
b := b . b
escreva(p)
Observe que o nmero de multiplicaes diminuiu mas apareceram determinaes de restos
de divises por dois. Porm, como foi dito na seo anterior, determinaes de restos de divises
por dois so realizadas de maneira bastante rpida.
5.7 Exerccios
5.1. Determine os quocientes e os restos das seguintes divises.
a) 7 12.
b) (-8) 3
c) 11 (-4)
d) (-10) (-3)
5.2. Sejam q e r o quociente e o resto da diviso a b, a, b > 0. Determine os quocientes e os
restos das seguintes divises.
a) a (-b)
b) (-a) (-b)
c) (-a) b
5.3. Seja um inteiro a tal que r(a, 5) = 4. Determine r(a2, 5) e q(a2, 5).
5.4. Seja um inteiro z tal que r(z, 4) = 3. Prove que r(z2, 8) = 1.
5.5. Sejam q e q os quocientes e r e r os restos das divises a b e a b, b 0. Determine o
quociente e o resto da diviso (a + a) b.
5.6. Uma nupla (ou n-upla) de elementos de um conjunto A a imagem de uma funo f do
conjunto In = {1, 2, 3, , n} no conjunto A. Se, para cada i = 1, 2, , n, representarmos por ai a
imagem f(i), a nupla ser indicada por (a1, a2, a3, , an). Neste caso, o inteiro ai dito componente
de ordem i.
Se a nupla (a1, a2, a3, , a348) de inteiros contm as quantidades mensais de automveis
produzidos no Brasil no perodo de janeiro de 1980 a dezembro de 2008, qual o ms e o ano que
correspondem componente de ordem k..
5.7. Pela diviso euclidiana todo inteiro da forma 2 . n ou da forma 2 . n + 1, para algum
inteiro n. Os inteiros da forma 2 . n so chamados pares e os da forma 2 . n + 1 so chamados
mpares. Mostre que
a) A soma de dois inteiros pares par.
b) A soma de dois inteiros mpares par.
c) O produto de dois inteiros par se um deles par.
d) O produto de dois inteiros mpares mpar.
5.8. Mostre que zn + z par, quaisquer que sejam os inteiros z e n, com n > 0.
5.9. Mostre que, se x, y e z so inteiros tais que x2 + y2 = z2, ento pelo menos um deles par.
5.10. Mostre que todo inteiro z se escreve de modo nico como z = 3 . q + s, com q inteiro e
s {-1, 0, 1}.
5.11. Mostre que a diferena de quadrados de dois mpares mltiplo de 8.
5.12. Considere os inteiros positivos m, n e a, com m > n > 1. Determine as cardinalidades dos
68
conjuntos
a) {z | 0 < z m e a|z}.
b) {z | n < z < m e a|z}.
5.13. Mostre que so iguais os algarismos da casa das unidades de n5 e n, qualquer que seja o
inteiro positivo n.
5.14 Mostre que se a e b so inteiros
a) e n um inteiro positivo, ento (a - b)|(an - bn).
b) e n um inteiro positivo mpar, ento (a + b)|(an + bn).
c) e n um inteiro positivo par, ento (a + b)|(an - bn).
5.15. Mostre que se k um inteiro positivo par, ento 3|(2k 1).
5.16. Sejam m e n inteiros positivos, com m > n, e r o resto da diviso m n. Mostre que o
resto da diviso (2m - 1) (2n - 1) 2r - 1.
5.17. Sejam n, p , com p < n. Prove que
a) p! divide n . (n 1) . (n 2) . ... . (n p +1).
b) p! . (n p)! divide n!.
Considerando o item b acima, definimos nmero binomial n sobre p por
n!
Cn, p =
p ! .n p !
Vale observar que o nmero binomial n sobre p pode tambm ser representado por
5.18. Mostre que Cn, p + Cn, p+1 = Cn+1, p+1, expresso conhecida como relao de Stifel.
5.19. Mostre que, dados a, b, n , com n 1, temos
(a + b)n = an. + Cn,1 . an - 1 . b + ... + Cn,i . an - i . bi + ... + bn,
frmula conhecida como Binmio de Newton.
5.20. Mostre que, para todo inteiro positivo n, Cn, 0 + Cn, 1 + Cn, 2 + ... + Cn, n = 2n.
5.21. Seja a = (anan-1...a1a0)10. Mostre que
a) 10|a se e somente se a0 = 0
b) 5|a se e somente se a0 = 0 ou a0 = 5.
c) 4|a se e somente se 4|(a1a0)10.
5.22. Utilizando a simbologia ab para representar o nmero a .10r + b, onde r o nmero de
algarismos de b, escrito no sistema decimal de numerao, mostre que (a5)2 = a.(a+1)25 (isto
significa que o quadrado de inteiro terminado em 5 termina em 25 e os demais algarismos so os
algarismos do produto do nmero formado pelos algarismos que precedem o 5 pelo seu
consecutivo: 352 = 1225, pois 3 . 4 = 12).
5.23. Mostre que se 4|k,ento o algarismo da casa das unidades de 2k igual a 6.
5.24. Mostre que todo inteiro da forma 44...488...89, com a quantidade de dgitos 8 sendo o
antecessor da quantidade de dgitos 4, um quadrado perfeito.
5.25. Determine em que base o nmero 54 do sistema decimal representado por (105)b.
5.26. Mostre que no existe base na qual o nmero decimal 24 representado por (108)b.
5.27. Sem realizar converses para o sistema decimal, efetue as seguintes converses:
a) (11011)2 para o sistema de numerao de base 4.
b) (132)4 para o sistema binrio
5.28. Encontre um critrio para verificar se um dado nmero representado no sistema de base
b par.
5.29. Considerando o exerccio 5.9, o teorema 2.5 e o conceito de sistemas de numerao,
podemos ter um sistema de numerao de base 3', com algarismos 0, 1 e 1, com 1 representando o
inteiro -1. Converta (52)10 para o sistema de base 3'.
5.30. Mostre que com n pesos de 1 g, 3 g, 9 g, ..., 3 n-1 g e uma balana de dois pratos podese avaliar qualquer massa de at (1 + 3 + 32 + ... + 3n-1) g.
69
6. Nmeros primos
6.1 Introduo
Tendo construdo axiomaticamente o conjunto dos nmeros inteiros e sido apresentada uma
maneira de represent-los, neste captulo estudaremos alguns inteiros especiais, que, alm de terem
aplicaes naturais na Matemtica, so aplicados no Sistema de Criptografia RSA, objeto de estudo
do captulo seguinte. Alm de estudar propriedades dos inteiros, sero vistos vrios aspectos atuais e
histricos da Matemtica.
84
4
60
1
24
2
12
2
e, portanto, m = 3 e n = -14.
interessante observar que a recproca da segunda parte do teorema anterior no verdadeira.
Isto , se z, y e d so inteiros e existem inteiros t e u tais t . z + u . y = d no se tem necessariamente
d = mdc(z, y). Por exemplo, existem inteiros t e u (t = 2 e u = -2) tais que 15 . t + 10 . u = 10 mas
mdc(15, 10) = 5. Mostraremos na prxima seo que esta recproca verdadeira quando o mximo
divisor comum dos dois inteiros igual 1.
Na linguagem algortmica estabelecida no captulo 4, a parte do Algoritmo de Euclides que
trata da determinao do mximo divisor comum de dois inteiros (quando ambos so positivos)
seria escrita da seguinte forma:
algoritmo deEuclides;
leia(a, b);
r := resto(a, b);
repita enquanto r > 0
a := b;
b := r;
r := resto(a, b);
mdc := b;
escreva(mdc);
A eficincia deste algoritmo, que medida pelo nmeros de iteraes do comando repita
enquanto, ser discutida no captulo 9.
A escrita da segunda parte do Algoritmo de Euclides (a que trata da existncia de inteiros t e u
tais que t . z + u . y = mdc(z, y)) na linguagem algortmica foge ao escopo do livro.
41
3
37
1
4
9
tambm o .
73
Demonstrao
Como d|z, existe q tal que z = d . q. Como d o menor divisor de z, temos que d q. Da, de
d > 1 segue d . d d . q o que resulta d2 z.
Esta proposio implica que se um inteiro z, maior do que 1, no possui um divisor primo p
tal que p2 z, ento ele z primo. Assim o algoritmo acima poderia ser modificado para o seguinte
algoritmo, que retorna um divisor primo de z, se z for composto, ou a constatao de que z primo.
Ou seja, o algoritmo abaixo, procurando o menor dos seus fatores (fatorando-o), verifica se um
inteiro dado ou no primo.
algoritmo DivisorPrimo
leia(z);
d := 2;
repita enquanto (d no divide z) e (d2 z)
d := d + 1;
se (d divide z)
escreva(d divisor primo de z)
seno
escreva(z primo);
Representando z o maior inteiro n tal que n2 z, temos que o nmero de laos do
algoritmo acima , no mximo, z , o que ocorre quando z primo. Mesmo com esta melhora o
algoritmo fica muito ineficiente se z um nmero primo muito grande. Observe que em cada lao
so efetuadas um diviso (para verificar se d divisor de z), uma multiplicao (para calcular d2) e
uma soma (para incrementar d), sem falar em comparaes. Preocupando-nos apenas com a diviso
- esta a operao de realizao mais demorada -, suponhamos um computador que realize 10 20
divises por segundo. Se z possui 81 algarismos, ento z 1080 e portanto z 1040. Assim o
10 40
40
=10 20
algoritmo realizaria, no mnimo, 10 laos e levaria, apenas para efetuar as divises,
20
10
12
segundos. Este intervalo de tempo corresponde a aproximadamente 10 anos! Na verdade, no
existe ainda um algoritmo eficiente para encontrar um fator primo de um inteiro. Vale observar que
o sistema de criptografia RSA, que ser estudado no captulo seguinte, trabalha com primos com
cerca de 300 algarismos.
O resultado da proposio anterior tambm pode ser usado para justificar o mais antigo
mtodo de gerao de todos os primos positivos menores que um inteiro positivo dado, o Crivo de
Eratstenes (Eratstenes foi um matemtico grego que viveu, estimadamente falando, nos anos de
284 a. C. a 250 a. C.).
Vamos descrever o crivo de Eratstenes para determinar todos os primos positivos menores
que 300, sendo as aes solicitadas apresentadas no quadro a seguir.
1. Escreva o nmero 2 e todos os inteiros mpares maiores do que 1 e menores que 300 (os
nmeros pares maiores que dois no so primos).
2. O nmero 2 primo. Como 22 = 4, todos os nmeros menores do que 4 so primos. Da, 3
primo. Risque todos os mltiplos de 3: 9, 15, ..., 297.
3. Como 32 = 9, todos os nmeros menores do que 9 no riscados so primos. Da, 2, 3, 5 e 7
tambm so primos. Risque todos os mltiplos de 5: 15, 25, 35, ..., 295 e todos os mltiplos de 7:
21, 35, 49, ..., 287.
4. Como 72 = 49, todos os nmeros menores do que 49 no riscados so primos. Da, 2, 3, 5,
7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47 so primos. Risque todos os mltiplos destes nmeros.
5. Como 472 > 300, todos os nmeros do crivo no riscados so primos.
75
2
3
5
7
9
11
13
15
17
19
21
23
25
27
29
31
33
35
37
39
41
43
45
47
49
51
53
55
57
59
61
63
65
67
69
71
73
75
77
79
81
83
85
87
89
91
93
95
97
99
101 103 105 107 109 111 113 115 117 119
121 123 125 127 129 131 133 135 137 139
141 143 145 147 149 151 153 155 157 159
161 163 165 167 169 171 173 175 177 179
181 183 185 187 189 191 193 195 197 199
201 203 205 207 209 211 213 215 217 219
221 223 225 227 229 231 233 235 237 239
241 243 245 247 249 251 253 255 257 259
261 263 265 267 269 271 273 275 277 279
281 283 285 287 289 291 293 295 297 299
Evidentemente, a garantia de que todos os nmeros no riscados so primos dada pela
proposio 6.6, pois cada nmero y no riscado no possui um divisor primo p tal que
p2 y.
Uma simplificao pode ser efetuada neste algoritmo, tornando-o mais eficiente (ou menos
ineficiente). A simplificao proposta a seguir justificada pela observao de que ao se riscar os
mltiplos de um primo p, os mltiplos de p que possuem divisores menores que p j foram riscados.
Dessa forma, pode-se comear a riscar os mltiplos de p a partir de p2.
H um algoritmo que, sem determinaes de fatores, verifica se um inteiro dado primo. Este
algoritmo baseado no Pequeno Teorema de Fermat, que ser discutido a seguir Para sua
demonstrao, necessitamos do seguinte lema.
Lema 1.6
Se p um nmero primo e i um inteiro tal que 1 i < p, ento p divisor de Cp,i.
Demonstrao
Pela definio dada no exerccio 5.15, i! . (p - i)!. Cp,i = p! o que mostra que p divisor do
produto do primeiro membro. Ento, pela proposio anterior, p|i! ou p|(p - 1)! ou p| Cp,i. Se
ocorresse a primeira ou a segunda teramos, pela proposio citada, p|1 ou p|2 ou ... p|i ou
p|(p - 1) o que um absurdo pois k < p, qualquer que seja k {1, 2, ..., i, ..., p - 1}. Logo p| Cp,i.
Teorema 2.6 (Pequeno Teorema de Fermat)
Se p primo, ento p|(ap a), qualquer que seja o inteiro no nulo a.
Demonstrao
Por induo, provemos inicialmente que o teorema verdadeiro para todo inteiro a > 0. Para
isto, seja ento p um nmero primo e considere o predicado definido no conjunto dos inteiros
positivos P(a) = V se p|(ap a).
Temos que P(1) = V pois 1p 1 = 0 e p|0 sempre. Suponhamos que P(a) = V e provemos que
P(a + 1) = V. Pela frmula do binmio de Newton (exerccio 5.17), temos que
(a + 1)p - (a + 1) = (ap. + Cp,1 . ap - 1 + ... + Cp,,i . ap - i + ... + Cp,p-1 . a + 1) - (a + 1) =
= (ap. - a) + (Cp,1 . ap - 1 + ... + Cp,,i . ap - i + ... + Cp,p-1 . a),
e a hiptese de induo e o lema anterior implicam p|((a + 1)p - (a + 1)), como queramos.
Agora, analisemos o caso a < 0. Se p = 2, como a2 - a sempre par, temos p|(a2 - a); se p 2,
temos que p mpar e, ento, |a|p - |a| = (-a)p - (-a) = -(ap - a). Assim, como p|(|a|p - |a|), temos
p|(ap a).
76
Corolrio 1.6
Se p primo e a um inteiro primo em relao a p, ento p|(ap-1 1).
Demonstrao
De p|(ap a) segue que p|(a . (ap-1 1)) e, ento, como p e a so primos entre si, a proposio
2.6 garante a afirmao.
Corolrio 2.6
Se k um inteiro positivo tal que k > 1 e k|(ak-1 1) para todo inteiro a, com 0 < a < k 1,
ento k primo.
Demonstrao
Se k composto, ento existe um primo p tal que 1 < p < k 1 e p|k. Como p < k 1 temos
k|(pk-1 1). Da e de p|k temos p|(pk-1 1), o que implica p|1, uma contradio.
Dessa forma o algoritmo abaixo verifica, sem fatoraes, se um inteiro dado primo.
algoritmo Primo
leia(k)
a := 2;
repita enquanto (Resto(ak-1 1, k) = 0) e (a < k 1))
a := a + 1;
se (a = k 1)
escreva(k primo')
seno
escreva(k composto);
Infelizmente (ou felizmente, dependendo do ngulo do olhar), o algoritmo acima tambm no
eficiente. H bastante tempo, muitos matemticos brilhantes vinham perseguindo a descoberta de
um algoritmo que, de forma eficiente, verificasse a primalidade de um inteiro. Os esforos
dispendidos foram tantos que j havia dvidas da existncia de um tal algoritmo. Em 2002, de
forma surpreendente, os cientistas indianos Manindra Agrawal, Neeraj Kayal e Nitin Saxena
encontraram uma soluo para esta questo (Coutinho, S. C. - 2004).
Agora mostraremos que os primos geram todos os nmeros inteiros, no sentido de que todo
inteiro o produto de potncias de primos.
Teorema 3.6 (Teorema Fundamental da Aritmtica)
e1
e2
ek
Todo inteiro z 2 se escreve, de modo nico, na forma z = p 1 . p 2 .. . .. p k , onde p1, p2, ..., pk
so nmeros primos tais que 0 < p1 < p2 < ... < pk e e1, e2, ..., ek so inteiros positivos.
Demonstrao
Consideremos o seguinte algoritmo:
algoritmo Fatorao
leia(z);
i := 1;
ni := z;
qi := 2;
repita enquanto ni > 1
repita enquanto (qi no divide ni)
qi := qi + 1;
escreva qi;
77
i := i + 1;
n i :=
n i 1
q i 1 ;
qi := qi-1;
O algoritmo da proposio 5.6 garante que a estrutura de repetio interna para com qi sendo
menor primo divisor de ni. Assim, como qi+1 divisor de , 1 qi qi+1 para todo i. Alm disso,
n1 > n2 > > nk > 1 e, ento, pelo corolrio 6.3, a estrutura de repetio externa para. Logo, o
algoritmo acima para fornecendo os primos q1, q2, , qk, com q1 q2 qk tais que
z = q1 . q2 . . qk.
Para escrever a fatorao na forma expressa no teorema, basta fazer, quando
ei
Para provar a unicidade, seja S o conjunto dos inteiros positivos que podem ser fatorados de
duas maneiras distintas e suponhamos que S .
Como S limitado inferiormente, pelo Princpio da Boa Ordenao, S tem um elemento
e
e
e
f
f
f
mnimo n. Assim, n = p 1 . p 2 .. . .. p k =q 1 . q 2 .. . .. q l , onde os primos da fatorao do primeiro
membro so distintos dos primos da fatorao do segundo membro ou, se os primos das duas
fatoraes so iguais, os expoentes correspondentes so diferentes. Ora, como p1|n, temos que
f
f
f
p1|( q 1 . q 2 . .. .. q l ) e, ento, pela propriedade fundamental dos primos apresentada na proposio
4.6 (aplicada duas vezes), p1|qj para algum ndice j. Da, p1 = qj e, portanto
e
e
e
f
f
l
f
n = p 1 . p 2 .. . .. p k =q 1 . q 2 .. . .. p 1 .. .. . q l .
Aplicando a lei da cancelamento igualdade acima, dividindo-a por p1, obtemos
1
e 1 1
m = p1
e2
ek
l j 1
. p 2 . .. .. p k =q 1 . q 2 . .. . p 1
1
. ql
fl
e, portanto, encontramos um inteiro m, m < n (pois m = p ) e que possui duas fatoraes distintas,
1
pois as duas suas fatoraes acima advieram, pela simplificao por p1, das fatoraes de n que, por
hiptese, so distintas. Assim, m S o que um absurdo, pois n o menor elemento de S e
m < n.
A execuo do algoritmo acima para a entrada z = 5.292 geraria a seguinte tabela
i
ni
qi
5292
2646
1323
2
3
441
147
2
3
49
3
...
7
7
78
5292 2
2646 2
1323 3
441 3
147 3
49 7
7 7
1
Apresentamos nesta seo trs algoritmos sobre nmeros primos. O primeiro verifica se um
dado nmero primo, o segundo gera todos os primos menores que um inteiro dado e o terceiro
decompe um inteiro dado nos seus fatores primos. Outra questo a ser discutida em relao aos
nmeros primos quanto quantidade deles. Para isto estabeleamos a seguinte definio. Seja p
um inteiro primo positivo. O fatorial primo (ou primorial) de p definido por p# = 2, se p = 2 e
p# = p . q#, onde q o maior primo menor que p, se p > 2. Por exemplo, 3# = 3 . 2# = 3 . 2 = 6 e
5# = 5 . 3# = 5 . 6 = 30. Observe que esta definio diz trivialmente que, para p > 2, p# o produto
de todos os primos positivos menores ou iguais a p.
Proposio 7.6
O conjunto dos nmeros primos infinito.
Demonstrao
Se o conjunto dos nmeros fosse finito haveria um primo p maior do que todos os outros
primos. Naturalmente, p > 2. Considere o inteiro a definido por a = p# - 1. Pela proposio 5.6, a
possui um divisor primo positivo q. Como estamos supondo que p o maior primo, temos que q p
e, portanto, q um dos fatores de p#. Assim, q|(p#) e ento, como q|a, temos que q|1, o que um
absurdo.
Sendo o nmero de primos infinito uma questo seguinte a ser levantada como os primos se
distribuem ao longo do conjunto dos inteiros. Na verdade, a distribuio dos nmeros primos
bastante irregular, podendo a diferena entre dois deles ser igual a 2, como 3 e 5, 5 e 7, 17 e 19, 239
e 241, ou ser qualquer nmero inteiro, pois, para todo inteiro n, os n inteiros (n + 1)! + 2, (n + 1)! +
3, ..., (n + 1)! + (n + 1) so nmeros compostos, pois 2|((n + 1)! + 2), 3|((n + 1)! + 3), ...,
(n+1)|((n + 1)! + (n + 1)).
Quando a diferena de dois primos igual a 2, os primos so chamados primos gmeos. No
se sabe at hoje se o nmero de pares de primos gmeos ou no finito, embora haja a conjectura
que este nmero seja infinito. Em dezembro de 2011 foi encontrado um par de primos gmeos com
200 700 dgitos (http://primes.utm.edu/top20/page.php?id=1, acessada em 28/11/2013).
Na Histria da Cincia, um sonho que sempre esteve (e sempre estar) presente na mente dos
matemticos foi () encontrar frmulas que gerassem (gerem) nmeros primos.
A primeira iluso na procura de alguma frmula geradora de primos inclua o conceito de
fatorial primo. Como para p > 2, p# sempre par temos que o nico fatorial primo 2#.
interessante observar, porm, que para todo primo p menor do que 11, (p#) + 1 primo, conforme
mostra a seguinte tabela
p
2
3
5
7
11
p#
2
6
30
210
2310
(p#) +1
3
7
31
211
2311
n
pois 1 2 1 2 n 1 .
1
z 2 1 =z n 1
m
Pierre de Fermat nasceu na Frana em 1.601 e era matemtico amador, estudando e criando
matemtica por puro diletantismo. Diofante de Alexandria, matemtico que viveu, provavelmente,
nos anos 250 d. C. escreveu treze livros sobre a teoria dos nmeros, coleo chamada de Aritmtica.
Quando estudava o Livro II da Aritmtica de Diofante, Fermat ficou entusiasmado com o estudo dos
trios pitagricos, inteiros x, y e z tais que x2 + y2 = z2. Sculos atrs, Euclides j havia demonstrado
que existe uma infinidade de trios pitagricos (veja exerccio 6.17). Num instante de genialidade,
Fermat percebeu que no existiriam inteiros distintos x, y e z tais que x3 + y3 = z3. Evidentemente,
esta percepo foi espetacular: uma pequena modificao de uma equao que possui uma
infinidade de solues produzia uma equao sem solues. Fermat tentou equaes com expoentes
maiores e observou que elas tambm no tinham soluo.
Na margem da Aritmtica Fermat escreveu:
impossvel para um cubo ser escrito como a soma
de dois cubos ou uma quarta potncia ser escrita
como uma soma de dois nmeros elevado a quatro,
ou, em geral, para qualquer nmero que seja
elevado a uma potncia maior do que dois ser
escrito como a soma de duas potncias semelhantes.
Eu tenho uma demonstrao realmente maravilhosa
para esta proposio mas esta margem muito
estreita para cont-la.
Nos ltimos 350 anos, muitos matemticos famosos tentaram demonstrar o teorema de
Fermat, o que s foi conseguido por Andrew Wiles em 1995. Este feito ganhou manchetes na mdia
internacional, tendo sido noticiado em todos os principais telejornais dos grandes pases. Alm
disso, Wiles recebeu um prmio de 50 mil libras de uma fundao alem.
6.9 Exerccios
6.1. Mostre que, qualquer que seja o inteiro n maior que 1, os pares de inteiros abaixo so
primos entre si.
a) 2 . n + 1 e 3 . n + 1.
b) 2 . n + 1 e 6 . n + 1.
b) n e n2 + 1.
c) n! + 1 e (n + 1)! + 1.
6.2. Mostre que 361 e 160 so primos entre si e encontre os inteiros t e u tais que
361 . t + 160 . u = 1.
6.3. Por uma generalizao muito razovel, o mximo divisor comum de vrios nmeros o
maior inteiro que divisor dos nmeros. Mostre que, se a1, a2, ..., an so inteiros, ento
mdc(a1, a2, ..., an) = mdc(mdc(a1, a2), a3, ..., an).
z
6.4. Sejam z e y inteiros no nulos e d = mdc(z, y). Mostre que d e d so primos entre si.
6.5. Sejam a, b e c nmeros inteiros. Mostre que se a e c so primos entre si, ento
mdc(a . b, c) = mdc(b, c).
6.6. Sejam a e b inteiros. Mostre que, se a e b so primos entre si, ento am e bn so primos
entre si, quaisquer que sejam os inteiros positivos m e n.
6.7. Mostre que se p primo, ento p e (p-1)! so primos entre si.
6.8. Mostre que se n > 4 composto, ento n|(n 1)!.
6.9. O mnimo mltiplo comum de dois inteiros z e y (simbologia: mmc(z, y)) o menor inteiro
que mltiplo de z e mltiplo de y.
82
z. y
mdc z, y
b) Mostre que se a um inteiro tal que z|a e y|a, ento mmc(z, y)|a.
6.10. Sejam a e b dois inteiros. Mostre que se a e b forem positivos ento o conjunto das
solues positivas da equao a . x + b . y = c finito.
6.11. Uma pessoa foi ao banco para descontar um cheque no valor de x reais e y centavos.
O caixa do banco errou na leitura do valor do cheque e pagou y reais e x centavos. A pessoa guardou
o dinheiro no bolso sem verificar a quantia. No caminho de casa, ela gastou cinco centavos e
quando chegou em casa verificou que tinha exatamente o dobro do valor do cheque. Determine o
valor do cheque, sabendo-se que essa pessoa no levou dinheiro nenhum consigo quando foi ao
banco.
6.12. Sejam z, m e n inteiros maiores que 1. Mostre que mdc(am 1, an 1) = ad 1, onde
d = mdc(m, n).
6.13. Considerando que n! = 1 . 2 . 3 . . (n-1) . n, determine a decomposio em fatores
primos de 8!.
6.14. Como foi dito na seo 6.4, um par de primos gmeos constitudo de primos da forma
p e p + 2. Na referida seo foi comentado que no se sabe se o nmero de pares de primos gmeos
ou no finito. Mostre que o nico terno de primos gmeos (3, 5, 7).
6.15. A primeira tentativa de se obter uma expresso que gerasse nmeros primos foi atravs
das funes de em da forma f(x) = an . xn + ... + a1 . x + a0, onde an, ..., a1, a0 so nmeros inteiros
(funes deste tipo so chamada funes polinmios). Esta tentativa esbarrou no fato de que se
pode provar que dado um polinmio f(x) como acima, existe uma infinidade de inteiros positivos m
tal que f(m) composto. Prove a assertiva acima para o caso n = 2.
6.16. Mostre que, para todo n > 1,
a) Fn = (Fn-1 - 1)2 + 1.
b) Fn = F0 . F1 . F2 . . Fn-1 + 2.
c) Mostre que, se m < n, ento mdc(Fn, Fm) = 1.
d) Use o resultado do item c para apresentar uma outra demonstrao de que existem
infinitos nmeros primos.
6.17. Mostre que existe uma infinidade de trios pitagricos (para quem no leu a seo 6.7,
um trio pitagrico um conjunto de nmeros inteiros {x, y, z} tal que x2 + y2 = z2).
83
7. Os inteiros mdulo n
7.1 Introduo
Consideremos um conjunto infinito de pontos (ponto, ente primitivo da Geometria Euclidiana,
como visto no captulo 1) P = {p0, p1, p2, .., pn, ...} de uma reta (reta, idem) de tal forma que: (1) os
pontos da forma p2 . k + 1 esto situados direita de p0, com p2 . (k + 1) + 1 direita de p2 . k + 1 (k = 0, 1,
2, ...); (2) os pontos da forma p2 . k esto situados esquerda de p0, com p2 . (k + 1) esquerda de p2 . k
(k = 0, 1, 2, ...); (3) a distncia entre dois pontos consecutivos constante (distncia, grandeza
i+1
primitiva da Fsica) e definamos uma funo f de P em por f(pi) =
, se i mpar, e
2
f(pi) = - i , se par. De maneira natural, a funo f pode ser representada na figura abaixo,
2
chamada reta dos inteiros.
Neste captulo, vamos mostrar como a partir dos inteiros e de um inteiro n > 1 dado obter um
novo anel. Estes anis sero indicados por n, so chamados, para cada n, anel dos inteiros mdulo
n, formalizam matematicamente os anis I 12 e I7 estudados no captulo 3 e so fundamentais para o
entendimento do sistema de criptografia RSA, objetivo final do captulo.
"Geometricamente" falando, os anis n so obtidos transformando a reta dos inteiros numa
circunferncia, como mostra a figura abaixo que apresenta a transformao para o caso n = 6.
Por exemplo,
25 13 mod 4, pois r(25, 4) = r(13, 4) = 1,
35 2 mod 3,
23 (-1) mod 6,
42 0 mod 7.
Por seu turno, 36 7 mod 2, pois r(36, 2) = 0 enquanto que r(7, 2) = 1 (a simbologia
Lembramos que uma relao num conjunto A dita reflexiva se a a, qualquer que seja
a A; dita simtrica se a b implicar b a, quaisquer que sejam a, b A; dita transitiva se
a b e b c implicar a c, quaisquer que sejam a, b, c A. Lembramos tambm que uma relao
que reflexiva, simtrica e transitiva chamada uma relao de equivalncia.
Proposio 2.7
A relao de congruncia uma relao de equivalncia.
Demonstrao
Para mostrar a reflexividade basta ver que, como n|0, temos que n|(a a), qualquer que seja o
inteiro a. Logo, a a mod n. Para a simetria basta ver que se a b mod n, temos n|(a b), o que
implica n|(b a). Da, b a mod n. Finalmente, para a transitividade, temos que se a b mod n e
b c mod n, ento n|(a b) e n|(b c). Logo, n|((a b) + (b c)) o que d n|(a c). Isto mostra
que a c mod n.
Alm de gozar das propriedades acima, a congruncia goza de propriedades que podem ser
relacionadas com a compatibilidade com as operaes no conjunto dos inteiros, conforme mostra a
seguinte proposio.
Proposio 3.7
Sejam a, b, c e d inteiros quaisquer.
a) Se a b mod n e c d mod n, ento (a + c) (b + d) mod n.
b) Se a b mod n e c d mod n, ento (a . c) (b . d) mod n.
c) Se m um inteiro positivo e a b mod n, ento am bm mod n.
Demonstrao
a) De a b mod n e c d mod n segue que n|(a b) e n|(c d). Da, n|(a b + c d) o que
implica (a + c) (b + d) mod n, pois a b + c d = (a + c) (b + d).
b) De a b mod n e c d mod n segue que n|(a b) e n|(c d). Da, n|(d . (a b) + a . (c d))
o que implica a . c b . d mod n.
c) Provemos esta propriedade por induo sobre m.
i) A prpria hiptese mostra que a afirmao verdadeira para m = 1.
ii) Suponhamos que ak bk mod n e provemos que ak+1 bk+1 mod n. Para isto basta aplicar o
item (b) s congruncias a b mod n (hiptese da proposio) e ak bk mod n (hiptese indutiva).
O item (a) gera um corolrio que ser utilizado adiante.
Corolrio 3.7
Se a e b so inteiros e r1 = a mod n e r2 = b mod n, ento (a + b) mod n = (r1 + r2) mod n.
Demonstrao
De r1 = a mod n e r2 = b mod n segue que a r1 mod n e b r2 mod n o que implica
(a + b) (r1 + r2) mod n e, ento, (a + b) mod n = (r1 + r2) mod n.
Esse corolrio permite que um resto do tipo (a + b) mod n seja calculado a partir da soma dos
restos a mod n e b mod n. Basta que, no final, se calcule o valor desta soma mdulo n. Por exemplo,
(22 + 19) mod 5 = (2 + 4) mod 5 = 1.
Proposio 4.7
Sejam m e n inteiros maiores que 1 e a, b, c e d inteiros quaisquer.
a) Se a b mod n e m|n ento a b mod m.
86
10 3
102 30 2
103 20 6
104 60 4
105 40 5
106 50 1,
e, ento, 1045 106 . 7 + 3 (106)7 . 103 1 . 6 6 e, portanto, 1045 mod 7 = 6.
Evidentemente, os truques acima so utilizados se no se dispe de um computador. Na
prtica, potncias de congruncias so calculadas por um programa que implemente um algoritmo
semelhante ao algoritmo potncia apresentado na seo 5.5. Naturalmente, a nica adaptao a
fazer efetuar as operaes mdulo n, obtendo ento o seguinte algoritmo para calcular ze mod n.
Algoritmo potncia mdulo n;
leia(z, e, n);
b := z; m := e; p := 1;
89
repita enquanto m 0
se resto(m, 2) 0
p := b . p mod n;
m := quociente(m, 2);
b := (b . b) mod n;
escreva(p);
A tabela a seguir apresenta a execuo deste algoritmo para o clculo de 399 mod 29.
a
3
e
99
n
29
b
3
r(3 . 3, 29) = 9
r(9 . 9, 29) = 23
r(23 . 23 , 29) = 7
r(7 . 7, 29) = 20
r(20 . 20, 29) = 23
r(23 . 23, 29) = 7
r(7 . 7, 29) = 20
m
99
q(99, 2) = 49
q(49, 2) = 24
q(24, 2) = 12
q(12, 2) = 6
q(6, 2) = 3
q(3, 2) = 1
q(1, 2) = 0
p
1
r(1 . 3, 29) = 3
r(9 . 3, 29) = 27
o que mostra que qualquer nmero par representante da classe 0 e qualquer nmero mpar
representante da classe 1 .
De forma semelhante, existem trs classes residuais mdulo 3. A classe 0 que contm os
mltiplos de 3, a classe 1 que tem como representantes os inteiros da forma 3 . q + 1 e a classe 2
com representantes da forma 3 . q + 2.
O fato de existirem duas classes residuais mdulo 2 e trs classes residuais mdulo 3 no
privilgio destes dois inteiros como mostra a seguinte proposio.
Proposio 6.7
Existem exatamente n classes residuais mdulo n: 0 , 1 , . . . , n1 .
Demonstrao
Provemos inicialmente as n classes listadas acima so diferentes. Ou seja, provemos que se
0 a < n, 0 b < n e a b, ento ab . De fato, se a=b , ento, pela proposio anterior,
a b mod n e da, como 0 b < n, b = r(a, n). Da mesma forma, como 0 a < n, temos que
a = r(a, n) e, portanto, pela unicidade do resto, a = b, o que uma contradio.
Agora, dado qualquer a inteiro, pela diviso euclidiana, existem inteiros q e r tais que
a = n . q + r, com 0 r < n. Assim, a r mod n, o que implica a=r . Portanto, como
0 r < n, a uma das classes 0 , 1 , . . . , n1 .
O conjunto das classes residuais mdulo n { 0 , 1 , . . . , n1 } indicado por n e
denominado conjunto dos inteiros mdulo n. habitual, num contexto em que n est fixado,
omitirmos as barras nas indicaes das classes residuais, identificando, ento, os conjuntos n e In,
j que n=0 .
Em n definimos as seguintes operaes, utilizando os mesmos operadores + e . das operaes
em , utilizadas nos segundos membros.
Adio: ab=a+b
Multiplicao: a . b=a . b
Evidentemente, necessrio garantir que estas operaes esto bem definidas no sentido de
que uma soma ou um produto de classes residuais independem do particular representante da classe
que foi utilizado. Isto significa que devemos provar que se x a e y b , ento x+y=a+b e
x . y=a . b . Estas igualdades, porm, decorrem da proposio 3.7, pois x a e y b
implicam x a mod n e y b mod n e, ento, a referida proposio garante que
(x + y) (a + b) mod n e (x . y) (a . b) mod n.
Teorema 1.7
n munido das operaes definidas acima um anel.
Demonstrao
A associatividade e a comutatividade da adio e da multiplicao decorrem de imediato da
associatividade e da comutatividade da adio e da multiplicao dos inteiros. De fato, por
exemplo,
ab=a+b=b+a=ba
e
a . b . c =a . b . c=a . b . c = a . b . c=a . b . c= a . b . c .
. 0
0 0
0 0
1 1
1 0
. 0
0 0
0 0
1 1
1 0
2 2
2 0
. 0
0 0
0 0
1 1
1 0
2 2
2 0
3 3
3 0
a . b + n . t = 1, o que pode ser feito pelo algoritmo de Euclides. Por exemplo, para se determinar o
inverso de 63 em 176 calculamos mdc(176, 63)
176
63
2
50
1
13
3
11
1
2
5
13
3
muito fcil ver que se a e n so primos entre si, ento a congruncia a . x b mod n tem
uma nica soluo mdulo n. De fato, da hiptese de que a e n so primos entre si segue que a
1
inversvel em n e, assim, x0 = a . b a soluo nica da congruncia.
1
1
Por exemplo, como 3 =3 , temos que x0 = 3 . 5=3 . 5=7 a nica soluo da
congruncia 3 . x 5 mod 8.
Naturalmente, uma congruncia do tipo (a . x + c) b mod n tambm uma congruncia
linear pois ela equivalente congruncia (a . x) (b c) mod n. Por exemplo, (5 . x + 9) 7 mod 6
1
equivalente a (5 . x) (-2) mod 6 4 mod 6. Como em 6, 5 =5 , temos que
x (5 . 4) mod 6 2 mod 6, e, portanto, 2 a nica soluo da congruncia do exemplo.
Quando a e n no so primos entre si, temos a seguinte proposio.
Proposio 8.7
Sejam a, b e n nmeros inteiros, com n > 1 e d = mdc(a, n). A congruncia linear
a . x b mod n tem soluo se e somente se d|b.
Demonstrao
Suponhamos que exista um inteiro x0 tal que a . x0 b mod n. Ento n|(a . x0 b) e, portanto,
existe um inteiro y0 tal que a . x0 b = n . y0. Da, como d|a e d|n, segue que d|b.
Reciprocamente, suponhamos que d|b. Assim, existe q tal que b = d . q. Por outro lado, como
d = mdc(a, n), existem inteiros x0 e y0 tais que a . x0 + n . y0 = d. Da, a . x0 . q + n . y0 . q = b e,
portanto, x0 . q uma soluo da congruncia a . x b mod n.
Por exemplo, consideremos a congruncia 6 . x 4 mod 8. Como mdc(6, 8) = 2, 6 no
inversvel em 8. Porm, como 2|4, a congruncia tem soluo. Temos, aplicando o algoritmo de
Euclides para o clculo de mdc(6, 8) = 2,
8
6
1
2
3
2
3
4
5
3
4
5
6
4
5
6
7
e1 1
(z) = p 1
ek 1
. . .. . p k
. p 1 1 . . .. . p k 1
Demonstrao
a) Se (p) = p 1, ento 1 , 2 , . . . , p1 so inversveis e, portanto, para todo 1 < i < p,
mdc(p, i) = 1. Isto mostra que p no tem divisores diferentes de 1 e de p e, por conseguinte, p
primo.
A recproca decorre de imediato do corolrio 4.7.
b) Seja k = pn. O corolrio 5.7 afirma que os elementos no inversveis de k so p, 2 . p,
3 . p, ..., pn-1 . p e, portanto, existem pn-1 elementos de k no inversveis. Da, (pn) = pn pn-1 =
= pn-1 . (p 1), como queramos demonstrar.
c) Seja M = (aij)mxn definida, para i = 0, 1, ..., m 1 e j = 0, 1, ..., n 1, por aij = x tal que
96
a . a i . a 1 . a i =a . a i . a 1 . a i =1
7
713
temos 1 = 4 992 + 7 (-713), o que implica d = 7-1 = 4 992 - 713 = 4 279. Dessa forma, a chave de
99
A
65
B
66
C
67
D
68
E
69
F
70
G
71
H
72
I
73
J
74
K
75
P
80
Q
81
R
82
S
83
T
84
U
85
V
86
W
87
X
88
Y
89
Z
90
LOVE
YOU
seria
L
76
M
77
N
78
O
79
Espao em branco
32
pr-codificada
para
Teorema 4.7
Nas condies fixadas acima, se z um inteiro positivo menor n tal que mdc(z, n) = 1, ento
Dec(Cod(z)) = z.
Demonstrao
Inicialmente, observemos que, como d o inverso de e em (n), temos que
e . d = k . (n) + 1, para algum inteiro k.
Agora, Dec(Cod(z)) = Dec(ze mod n) = (ze)d mod n = ze . d mod n = zk . (n) + 1 mod n e, ento,
Dec(Cod(z)) = (z . (z(n))k) mod n = z mod n = z, pois como mdc(n, z) = 1 o Teorema de Euler
garante que z(n) 1. mod n.
Exemplos
Para se enviar a mensagem I LOVE YOU para a usuria de chave (5.141, 7), realizaramos as
seguintes aes:
1. Pr-codificao da mensagem: 173132176179186169132189179185.
2. Quebra da mensagem pr-codificada em blocos: B1 = 173, B2 = 1321, B3 = 761, B4 = 79,
B5 = 1861, B6 = 691, B7 = 3218, B8 = 917, B9 = 91, B10 = 85.
3. Verificao de que mdc(Bi, n) =1, para i = 1, 2, 3, , 10, o que pode ser constatado
facilmente pelo leitor.
4. Aplicao da funo de codificao
Cod(173) = 1737 mod 5 141 = 3 288,
Cod(1 321) = 1 3217 mod 5 141 = 417,
Cod(761) = 7617 mod 5 141 = 2 730,
Cod(79) = 797 mod 5 141 = 3 616,
Cod(1 861) = 1 8617 mod 5 141 = 361,
Cod(691) = 6917 mod 5 141 = 2 142,
Cod(3 218) = 3 2187 mod 5 141 = 1 707,
Cod(917) = 9177 mod 5 141 = 579,
Cod(91) = 917 mod 5 141 = 2 237,
Cod(85) = 857 mod 5 141 = 283,
Desta forma, a mensagem que seria enviada destinatria seria
3288#417#2730#3616#361#2142#1707#597#2237#283.
Para um exemplo de decodificao, imagine que a destinatria de chave de decodificao
(2 117, 1 613) receba a mensagem 815#297#2067#2091#35#659#506#65. Temos
Dec(815) = 8151 613 mod 2 117 = 1 771,
Dec(297) = 2971 613 mod 2 117 = 691,
Dec(2 067) = 2 0671 613 mod 2 117 = 851,
Dec(2 091) = 2 0911 613 mod 2 117 = 321,
Dec(35) = 351 613 mod 2 117 = 651,
Dec(659) = 6591 613 mod 2 117 = 77,
Dec(506) = 5061 613 mod 2 117 = 1791,
Dec(65) = 651 613 mod 2 117 = 82,
e a mensagem
177169185132165177179182
M E U
A M O R
101
Vale observar que os clculos acima, aparentemente astronmicos, foram realizados por
calculadoras que acompanham os sistemas operacionais de computadores mais modernos.
7.11 Exerccios
7.1. Sejam n, u e v inteiros maiores que 1, d = mdc(u, v) e a um inteiro qualquer. Prove que
se a 1 mod n e av 1 mod n, ento ad 1 mod n.
7.2. Mostre que se i= j em n, ento mdc(i, n) = mdc(j, n)
7.3. Mostre que adio ab=a+b no est bem definida para a relao de equivalncia
a b se e somente se a e b possuem o mesmo nmero de divisores primos.
7.4. Pelo teorema 1.7 temos que se a n , ento -( a ) = na . Mostre que
= -( a ) = na .
7.5. Mostre que em n n1 sempre inversvel com ( n1 )-1 = n1 .
7.6. Mostre que se p primo, 0 < a < p, e ( a )-1 = ( a ) em p, ento a = 1 ou a = p - 1.
7.7. Utilizando o conceito de classes residuais, apresente uma outra demonstrao do
Pequeno Teorema de Fermat (aqui escrito na linguagem de congruncias), j discutido no captulo
anterior:
u
102
suas verificaes sero deixadas como exerccio. Tambm sero deixadas como exerccio a
verificao das veracidades das seguintes afirmaes. Se r um nmero natural, a classe de (r, r)
o elemento neutro da adio e a classe de (r, r +1) o elemento neutro da multiplicao. A classe
representada por (n, m) o elemento simtrico da classe de (m, n).
Agora, omitindo as barras, suponhamos que (m, n) . (p, q) = (r, r), com q > p. Da,
(m . q + n . p, m . p + n . q) = (r, r) o que implica, agora nos naturais, m . q + n . p + r = m . p +
+ n . q + r. Da, utilizando o exerccio 2.7, m . (q p) = n . (q p) o que implica, pela lei do corte
para os naturais, m = n. Logo (m, n) = (r, r).
Do mesmo modo que nos naturais, uma igualdade do tipo (m, n) + x = (p, q) uma equao
em e um elemento (r, r) de tal que (m, n) + (r, r) = (p, q) uma soluo da equao, caso em
que dizemos que ela solvel. Agora, ao contrrio dos naturais, toda equao em solvel. De
fato, o elemento (p + n, q + m) tal que (m, n) + (p + n, q + m) = (p + m + n, q + m + n) = (p, q).
Mostraremos agora que podemos definir uma relao de ordem , transformando-o num
domnio ordenado.
Proposio 2.8
A relao binria definida em por (m, n) (p, q) se e somente se n + p m + q em uma
relao de ordem compatvel com a adio e com a multiplicao.
Demonstrao
Que (m, n) (m, n) bvio, pois m + n = m + n. Se (m, n) (p, q) e (p, q) (m, n) temos que
n + p m + q e m + q p + n o que implica, pela antissimetria de em , m + q = n + p, de onde
decorre (m, n) = (p, q). A transitividade e a totalidade de em so consequncias imediatas da
transitividade e da totalidade de em . Para a compatibilidade com a adio, se (m, n) (p, q)
temos n + p m + q e ento, para todos naturais s e t, n + p + s + t m + q + s + t ou
(n + t) + (p + s) (m + s) + (q + t), o que mostra que (m + s, n + t) (p + s, q + t), Da,
(m, n) + (s, t) (p, q) + (s, t). Para a compatibilidade com a multiplicao, se (m, n) (p, q) e
(r, r) (s, t), temos n + p m + q, s e (m, n) . (s, t) = (m . t + n . s, m . s + n . t), (p, q) . (s, t) =
= (p . t + q . s, p . s + q . t) e (m . s + n . t) + (p . t + q . s) = (m + q) . s + (n + p) . t.
Desta forma, sendo r a raiz da equao s + x = t e t a raiz da equao r + x = t, temos (m . s +
+ n . t) + (p . t + q . s) = (m + q) . r + (n + p) . (s + r), o que implica (m . s + n . t) + (p . t + q . s) =
= (m + q) . (t r) + (n + p) . (s + r).
Da, pelo exerccio 2.8, (m . s + n . t) + (p . t + q . s) (m + q) . t + (n + p) . s o que mostra que
(m, n) . (s, t) (p, q) . (s, t).
Proposio 3.8
O conjunto munido das operaes e da relao de ordem definidas acima um domnio bem
ordenado.
Demonstrao
Sejam os naturais m0 e n0 e considere o conjunto S = {(m, n) |(m, n) > (m0, n0)}. Temos que
(m0, n0 + 1) S. De fato, pelo lema 2.2, m0 + n0 < m0 + n0 + 1 e, portanto, (m0, n0) < (m0, n0 + 1).
Agora, se existisse (p, q) S tal que (p, q) < (m0, n0 + 1), teramos (m0, n0) < (p, q) < (m0, n0 + 1) o
que implicaria n0 + p < m0 + q < n0 + p + 1, contrariando a proposio 8.2. Logo, (m0, n0 + 1) o
elemento mnimo de S.
Dessa forma, o anel o nico domnio bem ordenado, chamado domnio dos inteiros,
anel dos inteiros ou, simplesmente, conjunto dos inteiros e representado por . Naturalmente,
ficam implcitas, em qualquer denominao, todas as operaes, relaes e propriedades j
104
105
9. Os nmeros racionais
9.1 Introduo
Os nmeros inteiros no so suficientes para resolver todas as questes do dia a dia. Por
exemplo, se uma av pretende distribuir 15 reais com seus dois netos no existir uma quantia
inteira de reais que resolva esta questo. Ou seja, existem equaes do tipo m . x = n, com m e n
inteiros que no so solveis, como, por exemplo, 2 . x = 5. Neste captulo, vamos definir o
conjunto dos nmeros racionais no qual para m 0 a equao acima solvel. Para isto
necessitamos definir um nova estrutura algbrica, chamada corpo.
Um corpo um anel no qual todo elemento no nulo inversvel. O anel dos inteiros no
um corpo, pois os nicos elementos inversveis dos inteiros so 1 e -1. J o anel 5 um corpo pois,
como para todo inteiro 0 < a < 5, mdc(a, 5) = 1, temos que a inversvel em 5, qualquer que seja
a 5, a 0 . Por seu turno, 12 no um corpo pois, por exemplo, 6 no inversvel. A
caracterizao dos anis n em relao a ser ou no um corpo muito simples, como mostra a
seguinte proposio.
Proposio 1.9
n um corpo se e somente se n primo.
Demonstrao
Se n um corpo, ento todo elemento a , no nulo, inversvel e, portanto, pela proposio
7.7, mdc(a, n) = 1. Assim, para todo inteiro z, 1 < z < n, temos que mdc(z, n) = 1. Logo n primo,
pois no existe inteiro z, 1 < z < n tal que z|n.
Reciprocamente, suponhamos que n primo e seja a um elemento no nulo de n. Seja b um
representante da classe a tal que 1 < b < n. Com n primo, temos que mdc(b, n) = 1 e, ento, pela
mesma proposio 7.7, b inversvel. Como a=b , temos que a inversvel e n um corpo.
Lembremos que um anel A um domnio de integridade se gozar da seguinte propriedade: se
a, b A e a . b = 0, ento a = 0 ou b = 0. Por exemplo, ainda para lembrar, e 3 so domnios de
integridade, enquanto 4 no o , pois, neste anel, 2 . 2=0 .
Proposio 2.9
Todo corpo um domnio de integridade.
Demonstrao
Sejam K um corpo e a, b K tais que a . b = 0. Se a 0, ento existe a-1 tal que a . a-1 = 1.
Assim, multiplicando a igualdade a . b = 0 por a-1, temos a-1 . (a . b) = a-1 . 0, o que implica b = 0.
a c a . db . c
=
.
b d
b.d
a. c a.c
=
Multiplicao:
.
b d b.d
Adio:
Como fizemos em sees anteriores, necessrio que provemos que estas operaes esto
bem definidas no sentido de que uma soma ou um produto independe do particular representante da
classe. Alm disso necessrio verificar que toda soma e todo produto so elementos de K. Para
isto, basta ver que, como b 0, d 0 e A um domnio de integridade, a propriedade (M 4) do
captulo 2 garante que b . d 0.
Para provar que os resultados independem dos representantes das classes, suponhamos
a a'
c c'
=
e =
. Temos que a . b = a . b e c . d = c . d e multiplicando a primeira destas
b b'
d d'
igualdades por d . d, obtemos a . b . d . d = a . b . d . d e multiplicando a segunda por b . b,
obtemos b . b . c . d = b . b . c . d que, somadas, resultam (a . d + b . c) . b . d = (a. d + b . c) .
a . d b . c a ' . d ' b' . c '
a c a' c'
=
b . d e, portanto,
o que mostra que =
.
b.d
b' . d '
b d b' d '
Deixamos como exerccio mostrar que a multiplicao est bem definida.
Teorema 1.9
Nas condies anteriores e munido das operaes definidas acima, K um corpo, chamado
corpo de fraes do domnio de integridade A.
Demonstrao
Temos que provar que K uma anel no qual todo elemento no nulo inversvel. A
demonstrao de que a adio e a multiplicao so associativas e comutativas e que a
multiplicao distributiva em relao adio so triviais. Por exemplo, levando em conta que
c 1
= , qualquer que seja c A, c 0, a distributividade da multiplicao em relao soma pode
c 1
ser demonstrada da seguinte forma.
a
b
c e
a c . f d . e a . c . f a . d . e . b
= .
=
d f
b d . f
b.d. f
b
a . c . b . f b . d . a . e a . c a . e
=
=
b . d . b . f
b.d b. f
a c a e
= . .
b d b f
107
0
a
a
a a
, o simtrico de
(isto , =
) e o elemento
1
b
b
b
b
1
a
neutro da multiplicao
. Falta mostrar que todo elemento tem inverso. Para isto seja
no
1
b
b
a.b a.b 1
a
=
= temos que
nulo. Ento a 0 e, por conseguinte, K . Como
inversvel e
a
b a b.a 1
b
1
a
b
= .
b
a
O elemento neutro da soma
Proposio 3.9
Seja A um domnio de integridade e K o seu corpo de fraes. Ento, para todo b A, b 0,
a)
b)
a a
=
b b
a a
=
b b
Demonstrao
a a a . b b . a
0
0
=
= 2 = e a igualdade a ser provada segue.
b b
b . b
b 1
b) Basta lembrar que a proposio 2.3 garante que (-a) . b = a . (-b).
a) Temos
ab a b
= = j(a) + j(b),
1
1 1
a.b a.b
=
= j(a) . j(b)
j(a . b) =
1
1 1
j(a + b) =
1
= 1K, mostrando que j um homomorfismo. Para mostrar que j injetivo, suponhamos
1
a b
que a, b A e a b. Da, a . 1 b . 1 o que implica . Logo j(a) j(b) e j injetivo.
1 1
Deste modo A e j(A) so isomorfos e, portanto, so algebricamente iguais Isto nos permite
a
identificar a A com
K.
1
e j(1) =
porque no se define anteriormente o que uma frao nem consegue explicar por que os "nmeros
3
6
racionais"
e
, por exemplo, so iguais.
4
8
A definio formal de nmeros racionais : o conjunto dos nmeros racionais o
corpo de fraes de . Assim, um nmero racional , formalmente falando, um conjunto, pois uma
classe de equivalncia. Por exemplo,
3
6 3 3 6 9
= ...,
,
, , ,
, . ..
4
8
4 4 8 12
a
Pela proposio anterior, cada inteiro a pode ser identificado com o racional
e
1
a
podemos ento considerar . Naturalmente, se b|a, ento
inteiro (considerando a
b
a b.q
=q .
identificao), pois a = b . q, para algum inteiro q, de sorte que =
b
b
a
No racional
, a chamado numerador e b chamado denominador. Da igualdade
b
a a
=
, provada na proposio 4.9, segue que todo nmero racional pode ser escrito na forma
b b
a
com b > 0 e, portanto, todo denominador pode ser considerado positivo.
b
a
Alm de podermos sempre representar um racional
com b > 0, podemos sempre
b
represent-lo de tal forma que mdc(a, b) = 1, conforme mostra a seguinte proposio.
Proposio 5.9
Seja um racional
a
, com b > 0. Ento existem inteiros a e b tais que mdc(a, b) = 1 e
b
a' a
= .
b' b
Demonstrao
a
b
e b =
. Pela observao acima, a e b so inteiros e
d
d
a' a
= .
pelo exerccio 6.4, mdc(a, b) = 1. Alm disso, a . b = a. d . b = a . b e, ento,
b' b
a
c
e
no corpo , com b > 0 e d > 0. Definimos uma relao binria por
b
d
a c
se e somente se a . d b . c em Z,
b d
onde, por enquanto, o primeiro simboliza a relao que estamos definindo e o segundo a relao
a b
de ordem em . Se a b, em , temos a . 1 b . 1, em , e portanto , em . Isto significa que
1 1
se a b em ento a b como "elementos" de , justificando assim a utilizao do mesmo smbolo
para as duas relaes.
Sejam
Proposio 6.9
munido da relao definida acima um domnio ordenado.
Demonstrao
109
. Da,
relao reflexiva. Para a antissimetria, suponhamos que
e que
b d
d b
a c
a . d b . c e b . c a . d, em . Como , em , antissimtrica b . c = a . d e, portanto, = .
b d
a c
c e
Para mostrar a transitividade, suponhamos que
e . Da, a . d b . c e c . f d . e.
b d
d f
Como estamos supondo que b > 0 e f > 0, temos pela compatibilidade com a multiplicao de em
, que a . d . f b . c . f e b . c . f b . d . e. Da, pela transitividade de em Z, a . d . f b . d . e.
a e
Como d > 0, o item (b) do exerccio 3.7 garante que a . f b . e, donde se conclui que .
b f
a
c
Para verificar que em total, basta ver que se
e
so elementos de , ento, pela
b
d
a c
c a
totalidade de em , a . d b . c ou b . c a . d. Da, ou .
b d
d b
A demonstrao de que definida acima compatvel com a adio em ser deixada
a a'
c
como exerccio. Para mostrar a compatibilidade com a multiplicao, sejam
,
,
tais
b b' d
a c
a'
que
e
0. Assim, a . d b . c e a' 0 e, ento, pela compatibilidade com a
b d
b'
multiplicao de em , a . d . a' b . c . a'. Como estamos supondo que todo denominador
positivo, pela propriedade de em e arrumando para o que queremos,
(a . a') . (d . b') (b . b') . (c . a').
a . a' c ' . a'
a . a' c . a'
Da,
e, finalmente,
.
b . b d . b'
b b' d b'
Sendo um domnio ordenado, podemos utilizar todas as propriedades desta estrutura
algbrica obtidas no captulo 3.
110
m
. Isto significa que,
n
9 3
= .
16 4
A questo que nem sempre uma raiz quadrada um nmero racional como mostra a
proposio a seguir.
Proposio 6.9
Se p um nmero primo ento
Demonstrao
Suponhamos por absurdo que
primos entre si. De
p no racional.
portanto, p|m, pois p primo. Segue ento que m = k . p, para algum inteiro k ou, ainda, m2 = k2 . p2,
para algum inteiro k. Substituindo m2 em m2 = p . n2, temos que k2 . p2 = p . n2 e, ento, pela lei do
cancelamento, k2 . p = n2, o que mostra que p|n2, donde segue que p|n. Porm esta concluso
absurda pois, assim, p seria fator comum de m e n e estamos supondo que m e n so primos entre si.
1
n
m
r
m
m
=q (lembre que m= ). Dai, como n > 0 e r 0, temos que
q . Por outro
n
q
1
n
r
m
m
q1 . Logo q q1 , o que
lado, como de 0 r < n segue que 0 1 , temos que
n
n
n
m
mostra que =q .
n
obtemos
m m 1
2
2 2
Demonstrao
m
m
k 1
=k . Portanto, =k . Como, k a
2
2
2 2
m 2k1
1
=
=k . Assim
desigualdade segue. Se m mpar, m = 2k + 1, para algum inteiro k, e
2
2
2
m
=k e a desigualdade segue da mesma forma.
2
Se m par, m = 2 . k, para algum inteiro k, e
na base dois restrita s potncias de dois, definida por lg2 x = y se x = 2y. Por exemplo, lg2 1 = 0,
pois 1 = 20, lg2 32 = 5, pois 25 = 32.
Proposio 9.9
A funo acima definida crescente no sentido de que se x, y B2 e x > y, ento lg2 x > lg2 y.
Demonstrao
Sejam lg2 x = m e lg2 y = n. Ento 2m = x e 2n = y e, portanto 2m > 2n. Da, pelo exerccio 3.16,
m > n.
Proposio 10.9
Sejam a e b dois inteiros positivos, com a b, e n o nmero de iteraes do algoritmo de
Euclides no clculo de mdc(a, b). Ento n < 2 . (1 + lg2 b 2 ).
Demonstrao
Do algoritmo de Euclides temos
a = b . q1 + r2,
b = r2 . q2 + r3,
r2 = r3 . q3 + r4,
...
rn-1 = rn . qn + rn+1,
0 r2 < b
0 r3 r2
0 r4 < r3
..
rn > 0 e rn+1 = 0.
Pondo r1 = b, pela proposio 4.5, temos que, para todo i = 1, 2, ..., n-1, ri+2 <
Assim, levando em conta o fato de que rn 1, 1 rn <
e, portanto 2
r n2 r n4
. ..
2
2
ri
2
n1
b
2
n1
n1
2
2
n1
b .
n1
, temos
lg2 2 2 lg2 b 2 . Da,
2
2
2
2
2
2
lg2 b 2 donde segue, n 2 . (1 + lg2 b 2 ).
Por exemplo, para se calcular mdc(325.678, 125.786) temos b = 125.786, 125 .786 2 =
= 131.072 e lg2 125 .786 2 = 17 e n < 36.
Cabe alertar que as funes maior potncia de dois e logartmica restrita s potncias de dois
no fazem parte da literatura matemtica. Provavelmente, o leitor conhece a funo logartmica
definida nos reais e deve estar estranhando a introduo destas funes. A nossa inteno foi manter
a filosofia de s utilizar conceitos estudados previamente (e o conjunto dos reais ainda no o foi) e
dar uma ideia de como pode ser desenvolvida uma pesquisa (com certeza, ingnua) em matemtica,
quando novas definies so formuladas em funo do que se pretende provar.
9.7 Exerccios
9.1. Sejam a, b, c e d nmeros inteiros, com b 0 e d 0. Mostre que se
113
a c
= , ento
b d
ab cd
=
.
b
d
ac c
= .
b)
bd d
ab cd
=
c)
.
b
d
ab cd
=
d)
, se a b e c d.
ab cd
a b
e) = , se c 0.
c d
9.2. Seja z um inteiro positivo. Mostre que se a equao x2 - z = 0 no tem soluo em , ento
ela no tem soluo em .
9.3. Mostre que a relao de ordem definida em compatvel com a soma. Isto , prove que
a a' c
a a'
a c a' c
se , , e
, ento .
b b' d
b b'
b d b' d
9.4. Sejam a, b , com b 0. Mostre que existe um inteiro n tal que n . b a.
9.5. Sejam a, b . Mostre que a > b > 0 se e somente se b-1 > a-1 > 0.
9.6. Prove que todo domnio de integridade finito um corpo.
9.7. Mostre que quaisquer que sejam os racionais r1 e r2, com r2 r1, existe um racional r tal
que r1 r r2.
9.8. Mostre que o conjunto limitado inferiormente S = {x | 0 < x < 1} no tem elemento
mnimo, o que mostra que no um domnio bem ordenado.
a)
114
0 < (1/n), podemos concluir que para n > n0, 0 < (1/n) < . Isso pode ser interpretado da seguinte
maneira: a sequncia (1/n) fica to pequena quanto for exigido, ou que (1/n) se aproxima de zero
quando n fica suficientemente grande.
Exemplo 2. Uma sequncia bem conhecida na Matemtica do ensino mdio a das somas
parciais Sn de uma progresso geomtrica (P.G.). Quando uma tal P.G. possui razo 0 < q < 1, l dse um significado ao que se chama soma infinita, que pode ser representada por S e mostra-se que
S = a1/(1 q). Esta frmula decorre da observao de que na frmula de S n, uma das parcelas se
comporta de forma semelhante da sequncia do exemplo 1.
Daremos agora a definio que formaliza a ideia contida nos dois exemplos acima. Uma
sequncia (an) S() dita convergente para um elemento a se, para cada , com > 0,
existir n0 tal que se n no, ento |an a| < Este elemento a chamado limite da sequncia e
escreve-se lim an = a.
Assim, no exemplo 1 a sequncia (1/n) converge para zero, enquanto que no exemplo 2, a
sequncia (Sn) converge para Sou seja, lim (1/n) = 0 e lim Sn = S.
Proposio 1.10
Se limite de (an) existe, ele nico
Demonstrao
Sejam lim an = a1 e lim an = a2. Ento, para |a1 a2|/2, existem no e n'o tais que se n no,
|an a1| < e se n n'o, |an a2| < Tomando n1 = max {no, n'o} teremos que se n n1, |a1 a2| =
= |a1 a2 + an an| |a1 an| + |an a2 | < 2 . a1 a2|, o que uma contradio.
115
Exemplo 3. A sequncia (an), onde an = (-1)n, no convergente. Com efeito, suponhamos que
(an) seja convergente e seja lim an = a. Se a 1, tome |a 1|/2 e observe que para qualquer no,
sempre existiro infinitos ndices n > no tais que an = 1 e portanto |an a| = |1 a| > |a 1|/2. Se
a -1, tome = |a (-1)|/2 e repita a observao. Assim, a dever ser 1 e 1, mas, devido
unicidade do limite, isto no possvel.
A seguir, enunciamos algumas propriedades das sequncias convergentes, facilmente
verificveis. Se lim an e lim bn existem, ento
(a) lim (an + bn) = lim (an) + lim (bn).
(b) lim (k . an ) = k . lim (an), k .
(c) lim (an . bn) = lim (an) . lim (bn)
Um outro resultado bastante simples, mas que desempenha um importante papel na
construo que faremos dado na seguinte proposio.
Proposio 2.10
Se (an) uma sequncia constante, isto an = a, ento lim an = a.
Demonstrao
Para , com >0, faa n0 = 1. Ento, para todo no 1, |an a| = |a a| = 0 <
Uma caracterstica das sequncias convergentes uma propriedade intrnseca que elas
possuem, no envolvendo o seu limite.
Proposio 3.10
Se (an) uma sequncia convergente em ento para cada > 0, existe no tal que se n,
m no, ento |an am| <
Demonstrao
Seja (an) S() e lim an = a. Ento, se , com > 0existe no tal que se n, m no,
|an a| < /2 e |am-a| < /2. Logo |an am| = |an am - a + a| |an a| + |am a| < (/2) + (/2) =
Esta propriedade motiva a seguinte definio. Uma sequncia (an) S() dita de Cauchy se,
para cada 0 existir n0 tal que se n, m no ento |an am| <
Tal como foi definida toda sequncia convergente de Cauchy, mas a recproca no
verdadeira como mostra o exemplo seguinte.
Exemplo 4. Seja (an) onde ao = 0 e an+1 = 1/(2 + an) e suponhamos que lim an = a. Ento lim
(an+1) = lim (an) = lim (1/(2 + an)) = (1/(2+ lim a n). Logo, a = (1/(2 +a)) o que implica (a + 1)2 = 2, o
que no possvel com a . Isto mostra que (an) no convergente. Por outro lado,
| a n 1 a n |
(2 a n 1 ) (2 a n )
a n 1 a n
1
1
1
a n a n 1
2 a n 2 a n 1
(2 a n ) . (2 a n 1 )
(2 a n ) . (2 a n 1 ) 4
e ento,
116
| a3 a 2 |
1
| a 2 a1 |,
4
| a 4 a3 |
1
1
| a3 a 2 | | a 2 a1 |
4
4
.
.
.
1
| a n 1 a n |
4
Da,
n 1
| a 2 a1 |
n 1
1
n 1
1 n p2
4
1
| a n p a n | | a n p a n p 1 | . . . | a n 1 a n |
...
| a 2 a1 | | a 2 a1 |
4
1
4
1
4
o que mostra que a sequncia (an) de Cauchy, pois fcil ver que
n 1
1
4
lim | a 2 a1 | 0
1
1
4
O exemplo acima e a proposio 2.10 so dois resultados sobre os quais a construo dos
reais em grande parte se baseia. A ideia usar as sequncias de Cauchy para a construo de
elementos de um conjunto e dar a este conjunto uma estrutura de corpo. Tal conjunto, com um certo
abuso de linguagem, conter os racionais (ver proposio 2.10) e as lacunas existentes em sero
preenchidos via sequncias do tipo apresentado no exemplo 4.
racional a, ento a sequncia (an - bn) So(Isto resulta imediatamente das propriedades do limite
e motiva a seguinte definio. Em Sc(definimos a relao (an) (bn) se (an - bn) So(
fcil verificar que a relao que acabamos de definir uma relao de equivalncia. Alm
disso se (an), (bn) e (cn) so elementos quaisquer de Sc(e(an) (bn) temos (an + cn) (bn + cn) =
= (an bn)So (e (an . cn) (bn . cn) = (an . cn bn . cn)(an bn .) cn. Como (cn) Sc ( fcil
mostrar que |cn| < M, para algum racional positivo M,e isso nos d lim ((an bn .) . cn ) = 0, ou seja,
(an . cn) (bn . cn) So().
Os resultados que acabamos de verificar, mostram que a relao de equivalncia obtida
tambm compatvel com as operaes de adio e multiplicao. O conjunto das classes de
equivalncia de ser denotado por e chamado conjunto dos nmeros reais.
Em definimos as operaes
i) adio
a n b n = a n +b n
ii) multiplicao
a n . bn = a n . b n
que definem uma estrutura de anel em , fato de fcil verificao. Por exemplo, o elemento neutro
da adio a classe 0 da sequncia constante (0, 0, 0, ..., 0, ...) e o elemento neutro da
multiplicao a classe 1 da sequncia constante (1, 1, 1, ..., 1, ...).
A prxima proposio permite concluir que mais que um anel um corpo.
Proposio 5.10
Seja (an) Sc() tal que (an) S0(). Ento existem um natural n0 e um racional positivo q tal
que |an| > q para todo n n0.
Demonstrao
Suponha por contradio que o resultado fosse falso. Ento para cada racional positivo q e
para todo natural n0 existiria um natural m tal m n0 e a n . Mas, como (an) de Cauchy,
2
existe um natural n0 tal que a ma n , se m, n > n0. Assim, para n > n0, teramos
2
a n=a ma m +a na n a ma m = e (an) pertenceria a S0() o que uma contradio.
2 2
Agora, considere um a , a 0. Ento a= a n onde (an) S0(). Pela proposio que
acabamos de provar, existe n0 tal que an 0, para todo n > n0. Ento construa (an) tal que an =1, se
n < n0, e an = an, para n n0. claro que a n = a n ' e portanto a= a n ' . Mas todo an diferente
= a1 '
As proposies 2.10 e 3.10 implicam que para cada r , a sequncia constante (r, r, ..., r, ...)
um elemento do conjunto Sc(). Assim para cada r podemos associar a classe de equivalncia
r R . Esta associao determina uma bijeo entre e um subconjunto ' de . Identificamos r
com r e passamos a considerar como um subconjunto de . Os elementos de que no esto
em ' so chamados de nmeros irracionais.
Para definir uma relao de ordem em , vejamos o seguinte lema.
Lema 1.10
Seja (an) Sc ( ). Se (an) So () e existe no tal que para n no, tem-se an > 0, ento
118
1
1
. j n b n
n
2
2
(1)
119
Lema 4.10
Suponha que (an) de Cauchy em . Ento a n converge em .
Demonstrao
Considere a= a n . Vamos mostrar que lim a n =a . Cada an naturalmente
identificado com a classe da sequncia constante, an = (an, an, , an, ). Ento
aa 1= 0, a 2a 1 , a 3a1 , . . . , a n a1 , . . . ,
aa 2 = a 1a 1 , 0, a 3a 2 , . . . , a n a 2 , . . . ,
. . .
aa m= a 1 a m , a 2 a m , . . . , a n a m , . . . ,
Como (an) de Cauchy, dado , > 0, existe n0 se n, m n0, ento |an am| < , ou
seja, lim an = a.
Chegamos ao principal resultado deste captulo.
Teorema 2.10
Em , toda sequncia de Cauchy convergente.
Demonstrao
Seja (an) uma sequncia de Cauchy em . Pelo lema 3.10, para cada n , existe uma
sequncia de racionais (ain)i que converge em para an. Seja , > 0. Ento, para cada
n escolha um ain tal que |ain an| < e faa bn = ain. Como (an) de Cauchy, existe n0 tal que,
se n, m n0, |am an| < . Assim para tais m, n teremos
|bn bm| |bn an| + |an am| + |bm am| < 3
o que mostra que (bn) tambm de Cauchy. Pelo lema 4.10, (bn) converge para b n =b . Isto
garante que existe n0 tal que |bn b| < , se n n0. Finalmente,
|an b| |an bn| + |bn b| < + = 2,
para todo n n0, o que prova que lim an = b.
120
Bibliografia
Albertson,
M.
O.
e
Hutchinson,
J.
with Algoritms. John Wiley & Sons, Inc., USA, 1998.
P.,
Discrete
Mathematic
Birkhoff, G e MacLane S., lgebra moderna bsica. Guanabara Dois, Rio de Janeiro, 1980.
Castrucci, B., Fundamentos da geometria: estudo axiomtico do plano euclidiano. Livros
Tcnicos e Cientficos, Rio de Janeiro, 1978.
Coutinho, S. C., Nmeros Inteiros e Criptografia RSA. IMPA/SBM (Srie de Computao e
Matemtica), Rio de Janeiro, 1997.
Coutinho, S. C., Primalidade em Tempo Polinomial. SBM (Coleo Iniciao Cientfica), Rio
de Janeiro, 2004.
Evaristo, J., Programando com Pascal. Terceira
(www.ic.ufal.br/professor/jaime), Macei, 2008.
Edio.
Edio
Digital
Figueiredo, D. G., Anlise I. Livros Tcnicos e Cientficos. Editora, Rio de Janeiro, 1975.
Gonalves, A., Introduo lgebra. IMPA (Projeto Euclides), Rio de Janeiro, 1979.
Hefez, A., Curso de lgebra, Volume 1. Instituto de Matemtica Pura e Aplicada (Coleo
Matemtica Universitria), Rio de Janeiro, 1993.
Knuth, D. E., The Art of Computer Programming, volume 2, Seminumerical Algorithms.
Addison-Wesley Publishing Company, USA, 1988.
Jacy Monteiro, L. H., Elementos
e Cientfico S. A., Rio de Janeiro, 1969.
de
lgebra.
Ao
Livro
Tcnico
121
ndice remissivo
A
A. Shamir............................................................................................................................................96
Adio.................................................................................................................................................34
Algarismos..........................................................................................................................................58
Algoritmo do resto chins..................................................................................................................93
Algoritmo fatorao............................................................................................................................73
Algoritmo potncia mdulo n.............................................................................................................87
Algoritmos..........................................................................................................................................52
Anis isomorfos..................................................................................................................................39
Anis ordenados.................................................................................................................................41
Anis Zn.............................................................................................................................................88
Anel....................................................................................................................................................34
Antissimtrica.....................................................................................................................................11
Aritmtica...........................................................................................................................................79
Aritmtica Modular....................................................................................................................82, 101
Arquimediano...................................................................................................................................116
Associativa.........................................................................................................................................14
Associatividade...................................................................................................................................14
Axiomas..............................................................................................................................................23
B
Base da induo..................................................................................................................................43
Bem definidas.....................................................................................................................................89
Bijeo................................................................................................................................................20
Binary digit.........................................................................................................................................62
Binmio de Newton............................................................................................................................67
Bit.......................................................................................................................................................62
C
C.........................................................................................................................................................63
Casa das unidades...............................................................................................................................59
Classe de equivalncia........................................................................................................................88
Classes residuais mdulo n.................................................................................................................88
Co-fator...............................................................................................................................................56
Codificao.........................................................................................................................................96
Cdigo ASCII.....................................................................................................................................63
Comando de atribuio.......................................................................................................................53
Comando de deciso...........................................................................................................................53
Comando de entrada...........................................................................................................................52
Comandos de repetio.......................................................................................................................53
Compatibilidade com a adio...........................................................................................................41
Compatibilidade com a multiplicao................................................................................................41
Compiladores......................................................................................................................................63
Complementar....................................................................................................................................22
Composio de funes......................................................................................................................18
Composta............................................................................................................................................19
Comutativa.........................................................................................................................................14
Comutatividade...................................................................................................................................14
122
Conceitos primitivos.............................................................................................................................7
Congruncias......................................................................................................................................82
Congruncias Lineares.......................................................................................................................91
Conjuno...........................................................................................................................................15
Conjunto das partes.............................................................................................................................11
Conjunto dos inteiros mdulo n.........................................................................................................89
Conjunto universo..............................................................................................................................17
Conjunto vazio....................................................................................................................................13
Conjuntos..............................................................................................................................................7
Contraexemplo...................................................................................................................................18
Contradio.........................................................................................................................................13
Corpo de fraes...............................................................................................................................103
Corpos...............................................................................................................................................103
Critrios de divisibilidade...................................................................................................................85
Crivo de Eratstenes...........................................................................................................................73
D
Denominador....................................................................................................................................106
Desigualdade......................................................................................................................................41
Desigualdade de Bernoulli.................................................................................................................51
Destinatrio.........................................................................................................................................96
Diferena............................................................................................................................................18
Dgitos................................................................................................................................................59
Disjuno............................................................................................................................................15
Distributividade..................................................................................................................................15
Dividendo...........................................................................................................................................57
Diviso euclidiana..............................................................................................................................57
Divisor................................................................................................................................................56
Domnio..............................................................................................................................................12
Domnio bem ordenado......................................................................................................................42
Domnios de integridade.....................................................................................................................40
E
Elemento mximo...............................................................................................................................50
Elemento mnimo...............................................................................................................................42
Elemento neutro..................................................................................................................................14
Elementos.............................................................................................................................................7
Elementos inversveis.........................................................................................................................39
Equao diofantina.............................................................................................................................71
Eratstenes..........................................................................................................................................73
Est contido..........................................................................................................................................8
Euclides..............................................................................................................................................68
Exponenciao....................................................................................................................................64
F
Fator....................................................................................................................................................56
Fatorao............................................................................................................................................68
fatorial.................................................................................................................................................51
Fermat.................................................................................................................................................79
Frmula polinomial............................................................................................................................78
123
Frmulas exponenciais.......................................................................................................................78
Fortran................................................................................................................................................63
Funo................................................................................................................................................12
Funo ( de Euler................................................................................................................................94
Funo bijetiva...................................................................................................................................20
Funo bijetora...................................................................................................................................20
Funo de codificao........................................................................................................................98
Funo injetiva...................................................................................................................................20
Funo injetora...................................................................................................................................20
Funo logartmica na base dois.......................................................................................................109
Funo menor potncia de dois........................................................................................................109
Funo sobrejetiva..............................................................................................................................20
Funo sobrejetora..............................................................................................................................20
Funes...........................................................................................................................................7, 12
G
Gmeos...............................................................................................................................................77
H
Hiptese..............................................................................................................................................16
Hiptese de induo...........................................................................................................................43
Hiptese indutiva................................................................................................................................43
I
Identidade...........................................................................................................................................12
Igualdade..............................................................................................................................................8
Imagem...............................................................................................................................................12
Imagem inversa..................................................................................................................................22
Impares...............................................................................................................................................66
Indeterminada.....................................................................................................................................11
Injeo................................................................................................................................................20
Interseo............................................................................................................................................17
Inversa direita..................................................................................................................................22
Inversa esquerda..............................................................................................................................22
Inverso................................................................................................................................................39
Iterao...............................................................................................................................................53
J
Jlio Csar..........................................................................................................................................96
L
L. Adleman.........................................................................................................................................96
Lao....................................................................................................................................................53
Lei do cancelamento...........................................................................................................................40
Leis de cancelamento.........................................................................................................................85
Lema...................................................................................................................................................68
Leonard Euler.....................................................................................................................................79
Limitado inferiormente.......................................................................................................................42
Limitado superiormente......................................................................................................................50
Linguagem de mquina......................................................................................................................62
Linguagens de alto nvel.....................................................................................................................63
124
M
maior inteiro contido........................................................................................................................108
Marin Mersenne..................................................................................................................................78
Mximo divisor comum...............................................................................................................68, 70
Mensagem...........................................................................................................................................96
Mnimo mltiplo comum....................................................................................................................80
Multiplicao......................................................................................................................................34
Mltiplo........................................................................................................................................43, 56
N
Negao..........................................................................................................................................8, 17
Negativo.............................................................................................................................................41
Noves fora..........................................................................................................................................86
Numerador........................................................................................................................................106
Nmero binomial................................................................................................................................67
Nmeros de Fermat............................................................................................................................79
Nmeros de Mersenne........................................................................................................................78
Nmeros Inteiros..........................................................................................................................23, 34
Nmeros primos.................................................................................................................................71
Nmeros racionais............................................................................................................................105
O
Operao.............................................................................................................................................13
P
Par ordenado.......................................................................................................................................10
Pares...................................................................................................................................................66
Parte inteira.......................................................................................................................................108
Pascal..................................................................................................................................................63
Pertinncia............................................................................................................................................7
Positivo...............................................................................................................................................41
Postulados...........................................................................................................................................23
Potncia..............................................................................................................................................50
Potncias mdulo n.............................................................................................................................87
Predicado............................................................................................................................................13
Primos gmeos....................................................................................................................................81
Princpio da Boa Ordenao...............................................................................................................42
Princpio de Induo Matemtica.......................................................................................................43
Produto...............................................................................................................................................34
Produto cartesiano..............................................................................................................................10
Prova dos nove...................................................................................................................................86
Q
Quociente............................................................................................................................................57
R
R. L. Rivest.........................................................................................................................................96
Raiz quadrada...................................................................................................................................107
Reflexiva.............................................................................................................................................11
Regra de sinais da multiplicao........................................................................................................41
125
Relao de equivalncia.....................................................................................................................11
Remetente...........................................................................................................................................96
Representante.....................................................................................................................................88
Resto...................................................................................................................................................57
Restrio.............................................................................................................................................12
S
Sentena aberta...................................................................................................................................13
Simtrica.............................................................................................................................................11
Sinal....................................................................................................................................................41
Sistema binrio...................................................................................................................................60
Sistema de congruncias lineares.......................................................................................................92
Sistema de numerao de base b........................................................................................................59
Sistema decimal..................................................................................................................................59
Sistemas de numerao.......................................................................................................................58
Sobrejeo..........................................................................................................................................20
Soluo...............................................................................................................................................71
Soma...................................................................................................................................................34
Subanel.......................................................................................................................................49, 105
Subconjunto..........................................................................................................................................8
T
Tautologia...........................................................................................................................................13
Teorema de Euler................................................................................................................................95
Teorema de Wilson...........................................................................................................................100
Teoria Axiomtica.........................................................................................................................23, 34
Tese.....................................................................................................................................................16
Torre de Hani....................................................................................................................................51
Total....................................................................................................................................................11
Transitiva............................................................................................................................................11
U
ltimo Teorema de Fermat.................................................................................................................79
Um......................................................................................................................................................38
Unio..................................................................................................................................................17
Unidade...............................................................................................................................................38
V
Variveis.............................................................................................................................................52
Varivel...............................................................................................................................................11
Z
Zero.....................................................................................................................................................38
126