Equações Diofantinas e o Último Teorema de Fermat

Professor Ccero Jos Uniban 2011
1
CAPTULO I
Equaes Diofantinas

1. Um pouco de Histria

A teoria das Equaes Diofantinas o ramo da teoria dos nmeros que investiga as solues
inteiras ou racionais de equaes polinomiais, como, 2x + 4y = 5, y x = 2 ou x + y = z. O nome
Equaes Diofantinas uma homenagem a um dos maiores algebristas da Grcia antiga, Diophantus
de Alexandria, grego do sculo III D.C., que formulou e resolveu muitas dessas equaes.
Diofante foi um grande matemtico que se dedicou resoluo de problemas. Sua mais
importante obra foi a Aritmtica, uma coleo de 13 livros nos quais o autor reuniu cerca de 150
problemas resolvidos atravs de operaes numricas, nas quais demonstra seu alto grau de habilidade
e engenho. Tambm chamado de pai da lgebra, devido a sua contribuio na introduo de notaes
algbricas, Diofante utilizou abreviaes para a subtrao, a igualdade e a incgnita.
Bastante curioso o epitfio de Diofante, matemtico grego da Antiguidade, que viveu 200 anos
a.C. Encontramos na Antologia Grega um problema que apresentado sob a forma de epitfio:

Eis o tmulo que encerra Diofante, maravilha de contemplar. Com um artifcio aritmtico a
pedra ensina a sua idade. Deus concedeu-lhe passar a sexta parte de sua vida na juventude; um
duodcimo na adolescncia; um stimo em seguida foi passado num casamento estril.
Decorreram mais cinco anos, depois do que lhe nasceu um filho. Mas este filho desgraado e, no
entanto, bem amado! apenas tinha atingido a metade da idade que viveu seu pai, morreu. Quatro
anos ainda, mitigando sua prpria dor com o estudo da cincia dos nmeros, passou-os Diofante,
antes de chegar ao termo de sua existncia.

Em linguagem algbrica o epigrama da Antologia seria traduzido pela equao:
x x x x
+ + + 5 + + 4 = x
6 12 7 2
, na qual x representa o nmero de anos que viveu Diofante.
Resolvendo essa equao, achamos x = 84. Trata-se, afinal, de uma equao muito simples do 1
grau com uma incgnita.

A obra de Diophantus serviu como fonte de inspirao para muitos matemticos entre eles o
matemtico francs Pierre de Fermat (1601-1665).
Pierre de Fermat era um Conselheiro da Cmara de Requerimentos de Toulouse, na Frana de
1631. Sua responsabilidade estava ligada condenao de pessoas morte na fogueira e por isso no
podia ter muitas amizades. Em seu tempo livre dedicava-se Matemtica e ficou conhecido como o

2
"Prncipe dos Amadores" por ter descoberto as leis da probabilidade, os fundamentos do Clculo
Diferencial antes de Newton e Leibniz, desenvolvido a Geometria Analtica antes de Descartes e
teoremas difceis e elegantes sobre Nmeros Inteiros. Entretanto Fermat se interessou pelo assunto
aps ter lido a edio de 1621 da obra de Bachet: Arithmetica de Diophantus, obra que consistia do
material que restou do trabalho de Diophantus. Fermat deu incio a vrias reas da Teoria dos Nmeros
moderna, inclusive Anlise Diofantina, e formulou o problema mais famoso da Teoria dos Nmeros
e da Matemtica que desafiou geraes de matemticos. Essa batalha durou cerca de 350 anos e
influenciou praticamente toda a Matemtica. Fermat simplesmente afirmou que possua uma
demonstrao para a seguinte generalizao das Ternas Pitagricas:

se n 3, a equao x + y = z no admite solues inteiras no-nulas.

Mas a demonstrao no cabia na margem de sua cpia da Arithmetica de Diophantus
onde Fermat deixou registrada essa afirmao. Descobrir a demonstrao de Fermat tornou-se o
desafio mais famoso da Matemtica e ficou conhecido como o ltimo Teorema de Fermat. Parecia
to simples, porm os grandes matemticos dos ltimos quatro sculos no puderam resolv-lo antes
de 1994. Fermat possua um prazer especial em provocar embaraos aos matemticos da sua poca, em
particular aos ingleses. Quis o destino que um ingls, Andrew Wiles, fosse o escolhido para colocar um
fim a tais provocaes. A mais terrvel delas, o "ltimo Teorema de Fermat", foi demonstrada em
1994, pelo matemtico ingls Andrew Wiles. Um importante matemtico, professor em Cambridge,
Inglaterra, chamado John Coates, que foi o orientador da tese de doutoramento de Andrew Wiles,
comparou esse fato descoberta de que o tomo divisvel e descoberta da estrutura do DNA. Para
Andrew Wiles o problema tornou-se uma obsesso desde seus 10 anos quando conheceu o livro de
Eric Temple Bell, O ltimo Problema. Wiles achou que tinha que ser ele a resolv-lo. A histria dos
detalhes de como a afirmao de Fermat se tornou a mais terrvel provocao magistralmente contada
por Simon Singh em seu livro O ltimo Teorema de Fermat lanada pela editora Record aqui no
Brasil. Esse livro foi o mais vendido no mundo sobre o ltimo Teorema de Fermat, pois narra de
maneira brilhante episdios divertidos, dramticos e at trgicos, da Histria da Matemtica, para
descrever ao grande pblico a conquista mais famosa da Matemtica.
Uma das aplicaes interessantes da Matemtica no nosso cotidiano so as equaes
diofantinas. Estas equaes, de primeiro grau, nos levam s diversas solues inteiras que podem
resolver tais equaes. Aplicando-se restries a uma soluo geral, de forma parametrizada, podemos
obter uma ou mais solues que atendam ao que se deseja. Vejamos como resolver o exemplo que
problema que fizemos durante a aula usando os mtodos de soluo.


3
2. Definio de equao diofantina

Equao diofantina linear uma equao da forma ax + by = c em que a, b, c, so nmeros
inteiros. Uma soluo de uma equao diofantina linear um par de inteiros (x
o
, y
o
) que satisfaz a
equao.

Exemplo 1: A equao 3x + 6y = 18 tem como solues os pares (4, 1); (6, 6); (10, 2); etc.
Exemplo 2: A equao 2x + 4y = 7 no tem soluo, pois o primeiro membro ser sempre par e o
segundo membro mpar.

3. Condio de Existncia de Soluo

A equao diofantina linear ax + by = c tem soluo se, e somente se, d = mdc (a, b) divide c.

4. Solues da Equao ax + by = c

Teorema: Se d = mdc (a, b) divide c (d | c), e se o par de inteiros (x
0
, y
0
) Z x Z uma soluo
particular da equao diofantina linear ax + by = c, ento todas as outras solues desta equao so
dadas pela frmula: x = x
0
+
b
d
| |
|
\ .
t e y = y
0

a
d
| |
|
\ .
t, onde t um inteiro arbitrrio.

Corolrio: Se o mdc (a, b) = 1 e se (x
0
, y
0
) c Z x Z uma soluo particular da equao diofantina
ax + by = c, ento todas as outras solues desta equao so dadas pelas frmulas: x = x
0
+ bt e
y = y
0
at, onde t um inteiro arbitrrio.

Teorema de Bezout
Se d = mdc (a,b) ento existem nmeros inteiros x
0
e y
0
tais que ax
0
+ by
0
= d.

Vejamos alguns exemplos:

Exemplo 1: Determine todas as solues inteiras da equao diofantina 56x + 72y = 40.
Resoluo:
O mdc (56, 72) = 8 e 8 40, portanto a equao 56x + 72y = 40 possui solues inteiras. De
acordo com o Teorema de Bezout, existe um par ordenado (x
0
, y
0
) tal que 56x
0
+ 72y
0
= 8.
Usando o algoritmo da diviso temos:

72 = 56 . 1 + 16 72 56 . 1 = 16
56 = 16 . 3 + 8 56 16 . 3 = 8


4
Escrevendo o 8 como combinao linear de 56 e 72 vem:

56 16 . 3 = 8
56 (72 56 . 1) . 3 = 8
56 72 . 3 + 56 . 3 = 8
56 . 4 + 72 . (3) = 8

Como queremos resolver a equao 56x + 72y = 40, multipliquemos a ltima igualdade por 5.

56 . 20 + 72 . (15) = 40

Logo x
0
= 20 e y
0
= 15 uma soluo particular da equao 56x + 72y = 40. A soluo geral :

72
x = 20 + t
8
56
y = 15 t
8
| |
|
\ .
| |
\ .

x = 20 + 9t
, com t Z
y = 15 7t

Observao: Para encontrar outras solues particulares, basta atribuir valores inteiros para t. Por
exemplo:
Para t = 1 x = 20 + 9 . (1) = 20 9 = 11 e y = 15 7 . (1) = 15 + 7 = 8
Para t = 1 x = 20 + 9 . 1 = 20 + 9 = 29 e y = 15 7 . 1 = 15 7 = 22
Para t = 2 x = 20 + 9 . 2 = 20 + 18 = 38 e y = 15 7 . 2 = 15 14 = 29

Resoluo:
O mdc (11, 30) = 1 e 1 31, portanto a equao 11x + 30y = 31 possui solues inteiras. De
acordo com o Teorema de Bezout, existe um par ordenado (x
o
, y
o
) tal que 11x
o
+ 30y
o
= 31.

30 = 11 . 2 + 8 30 11 . 2 = 8
11 = 8 . 1 + 3 11 8 . 1 = 3
8 = 3 . 2 + 2 8 3 . 2 = 2
3 = 2 . 1 + 1 3 2 . 1 = 1


3 2 . 1 = 1
3 (8 3 . 2) . 1 = 1

5
3 8 . 1 + 3 . 2 = 1
3 . 3 8 . 1 = 1
(11 8 . 1) . 3 8 . 1 = 1
11 . 3 8 . 3 8 . 1 = 1
11 . 3 8 . 4 = 1
11 . 3 (30 11 . 2) . 4 = 1
11 . 3 30 . 4 + 11 . 8 = 1
11 . 11 + 30 . (4) = 1


11 . 341 + 30 . (124) = 31

Logo x
o
= 314 e y
o
= 124 uma soluo particular da equao 11x + 30y = 31. A soluo geral
:

30
x = 341 + t
1
11
y = 124 t
1
| |
|
\ .
| |
\ .

x = 341 + 30t
, com t Z
y = 124 11t

Resoluo:
O mdc (2, 4) = 2 e 2 7, portanto a equao 2x + 4y = 7 no possui solues inteiras.

Exemplo 4: Fernando recebeu R$ 50,00 para comprar dois tipos de lanches para um piquenique com
sues colegas. Depois de pesquisar, conseguiu o preo de R$ 4,00 por hambrguer e de R$ 6,00 por
mini-pizza. De quantas maneiras ele pode comprar o lanche para o piquenique?
Resoluo:
Para resolvermos este problema devemos ter em mente que a soluo precisa envolver nmeros
inteiros, pois o Fernando no pode comprar frao do hambrguer, nem frao da mini-pizza. ,
portanto tpico de uma equao diofantina. Faamos x como sendo a quantidade de hambrguer e y
como sendo a quantidade de mini-pizzas. Ento, podemos escrever uma equao do tipo ax + by = c,
onde a representa o custo do hamburger e b o custo da mini-pizza temos que:

4x + 6y = 50, ou melhor, ainda 2x + 3y = 25


6
Como o mdc (2, 3) = 1 e 1 divide 25, logo possvel termos solues inteiras. De acordo com o
Teorema de Bezout, existe um par ordenado (x
o
, y
o
) tal que 2x
o
+ 3y
o
=25.

3 = 2 . 1 + 1


3 2 . 1 = 1
2 . 1 + 3 . 1 = 1
2. (1) + 3 . 1 = 1


2 . (25) + 3 . 25 = 25

Logo x
o
= 25 e y
o
= 25 uma soluo particular da equao 2x + 3y = 25. A soluo geral :

3
x = 25 + t
1
2
y = 25 t
1
| |
|
\ .
| |
\ .

x = 25 + 3t
, com t Z
y = 25 2t

Como x > 0 e y > 0 temos que 25 + 3t > 0 e 25 2t > 0. Resolvendo cada uma delas temos:

3t > 25 2t > 25
t > 8,3 t < 12,5

Os valores inteiros de t que se encontram no intervalo so: 9, 10, 11 e 12.
Logo, as solues possveis so:

Quando t = 9, temos x = 25 + 27 = 2 e y = 25 18 = 7.

Ou seja, o Fernando poderia comprar com os R$ 50,00:

2 hambrguer e 7 mini-pizzas ou
5 hamburgus e 5 mini-pizzas ou
8 hamburgus e 3 mini-pizzas ou
11 hamburgus e 1 mini-pizza

7
Exerccios

1) Dados a = 134 e b = 55, calcule d = mdc (a, b) e determine os valores de r e s tais que
134r + 55s = d.

2) Determinar todos os mltiplos positivos de 11 e de 9 cuja soma seja 270.

3) Resolva as seguintes equaes diofantinas:
a) 2x + 3y =9
b) 3x + 5y = 47
c) 8x + 40y = 20
d) 3x + 4y = 20
e) 5x 2y = 2
f) 18x 20y = 8
g) 24x + 18y = 18

4) Encontre as solues inteiras positivas de:
a) 2x + y = 2 b) 6x + 15y = 51

5) Encontre as solues inteiras negativas de:
a) 2x + y = 2 b) 6x + 15y = 51

6) Decomponha o nmero 100 em duas parcelas positivas tais que uma mltiplo de 7 e a outra de 11.
(problema do matemtico L. Euler [1707 1783].)

7) Ache todos os inteiros estritamente positivos com a seguinte propriedade: fornecem resto 6 quando
divididos por 11 e resto 3 quando divididos por 7.

8) O valor da entrada de um cinema R$ 8,00 e da meia entrada R$ 5,00. Qual o menor nmero de
pessoas que pode assistir a uma sesso de maneira que a bilheteria seja de R$ 500,00?

9) Um parque de diverses cobra R$ 1,00 a entrada de crianas e R$ 3,00 a de adultos. Para que a
arrecadao de um dia seja R$ 200,00, qual o menor nmero de pessoas, entre adultos e crianas, que
poderiam frequentar o parque nesse dia? Quantas crianas? Quantos adultos?

10) Determine o menor inteiro positivo que deixa restos 16 e 27 quando dividido por 39 e 56,
respectivamente.


8
CAPTULO II
Congruncias Mdulo m

1. Introduo

O conceito de congruncia, bem como a notao atravs da qual se torna um dos instrumentos
mais fortes da teoria dos nmeros, foi introduzido por Karl Friedrich Gauss (1777 1855) em sua
Disquisitiones Arithmeticae de 1801.
Mesmo no dia a dia nem sempre as contas do como resultado aquilo que reza a Aritmtica.
Por exemplo, quando que 13 + 18 d 7? Quando estamos falando de horas. Se forem 13 horas ou 1
hora da tarde, ao adicionarmos 18 horas teremos 7 horas da manh. Mas isto no privilgio s das
horas, qualquer fenmeno cclico vai produzir uma Aritmtica semelhante a esta. E esta Aritmtica
dos fenmenos cclicos que conhecida como Aritmtica dos Restos ou Congruncia.
Consideremos a seguinte situao: se hoje sbado, daqui a 152 dias, que dia da semana ser? E
h 152 dias, que dia semana foi?
Consideremos a seguinte correspondncia biunvoca entre a sucesso dos dias e o conjunto dos
nmeros inteiros: ao dia de hoje (sbado) associamos o nmero 0, ao dia de amanh o 1, e assim por
diante; ao dia de ontem (sexta-feira) associamos o 1, ao de anteontem o 2, etc. Observemos o
quadro:

Sbado Domingo Segunda Tera Quarta Quinta Sexta
14 13 12 11 10 9 8
7 6 5 4 3 2 1
0 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20

Sua primeira coluna representa sbados: abaixo da linha do 0, posteriores a hoje; acima,
anteriores. A segunda representa domingos, e assim por diante. Notemos que dois inteiros representam
o mesmo dia da semana se, e somente se, sua diferena um mltiplo de 7.
Mas na primeira coluna esto os nmeros da forma 7k, na segunda os da forma 7k + 1, na terceira
os da forma 7k + 3, etc., onde k = 0, 1, 2, . Como 152 = 7 . 21 + 5, ento 152 est na coluna do
5, ou seja, das quintas-feiras. Logo a resposta primeira pergunta quinta-feira.
E como 152 = 7 . (22) + 2, ento 152 est na coluna do 2. Assim, a resposta segunda
pergunta segunda-feira.

9
Outro campo de aplicao da teoria o da periodicidade da natureza, o tempo por exemplo. Os
nossos relgios registram as horas em mdulo 12. Aps 12 horas voltam ao zero, comeando
novamente a contagem do tempo. Neste caso, preciso levar em conta que 1 hora so 60 minutos se
quisermos estabelecer um sistema completo de resduos. No caso do relgio de ponteiros trabalhamos
com congruncia (mod 12), isto , indicamos no relgio o resto da diviso euclidiana, das horas
consideradas, por 12. Quando falamos 21 horas, por exemplo, no vemos este nmero marcado no
relgio, o que vemos o resto da diviso de 21 por 12 que igual a 9. Encontramos congruncias em
todos os cantos. Como dissemos, os relgios trabalham com mdulos 12 ou 24 para as horas e mdulo
60 para os minutos e segundos. Calendrios usam mdulo 7 para os dias da semana e mdulo 12 para
os meses.
Vejamos outros exemplos:

Exemplo 1: Queremos determinar o horrio que chegaremos a um certo destino, sabendo que essa
viagem dura, com paradas e pernoites, 73 horas e que o horrio de partida s 17:00 h. Para isso, basta
obter o resto da diviso de 73 + 17 = 90 por 24, j que o dia tem 24 horas: 90 = 24 . 3 + 18. Assim, o
horrio de chegada ser s 18:00 horas.

Exemplo 2: Comprei um carro e vou pag-lo em 107 prestaes mensais. Se estamos em maro, em
qual ms terminarei de pag-lo? Aqui a repetio se d de 12 em 12 meses. Considerando a numerao
usual dos meses, temos que maro corresponde a 3. Somando 3 a 107, obtemos 110, que corresponde a
fevereiro, pois 110 = 9 . 12 + 2.

2. Definio

Sejam a, b e m nmeros inteiros, m > 0. Dizemos que a cngruo a b, mdulo m, se m/(a b).
Notao: a b (mod. m).
Se m no divide a diferena a b, ento diz-se que a incongruente a b mdulo m.
Note que dois nmeros inteiros quaisquer so congruentes mdulo 1, enquanto dois nmeros
inteiros so congruentes mdulo 2 se ambos so pares ou se ambos so mpares.
Em particular a 0 (mod m) se e somente se o mdulo m divide a.

RESUMO: Seja m um nmero inteiro maior que zero. Dizemos que dois nmeros inteiros a e b so
congruentes mdulo m se os restos da sua diviso euclidiana por m so iguais. Representamos a b
(mod m).


10
Vejamos dois exemplos:

Exemplo 1:

21 13 (mod 2), pois os restos da diviso euclidiana de 21 e de 13 por 2 so iguais a 1.

Exemplo 2:

15 4 (mod 11), pois os restos da diviso euclidiana de 15 e de 4 por 11 so iguais a 4.

3. Propriedades importantes

Se a, b, m e d so inteiros, m > 0 as seguintes sentenas so verdadeiras:

a) a a (mod m). (reflexiva)

b) se a b (mod m), ento b a (mod m). (simtrica)

c) se a b (mod m) e b d (mod m), ento a c (mod m). (transitiva)

Estas propriedades, reflexiva, simtrica e transitiva, respectivamente, tornam a congruncia uma
relao de equivalncia.

d) se a b (mod m) e 0 _ b < m, ento b resto da diviso euclidiana de a por m. Reciprocamente, se r
o resto da diviso de a por m, ento a r (mod m)

Se a, b, c e m (m > 0) so inteiros tais que a b (mod m), ento:

e) a + c b + c (mod m).

f) a c b c (mod m).

g) a . c b . c (mod m).

A ltima propriedade pode ser generalizada, por induo, para r congruncias: se a
1
b
1

(mod m), a
2
b
2
(mod m), ..., a
r
b
r
(mod m), ento:

a
1
. a
2
... a
r
b
1
. b
2
... b
r
(mod m)

Em particular, se a
1
= a
2
= ... = a
r
e b
1
= b
2
= ... = b
r
, temos que:

a
r
b
r
(mod m)


11
Vejamos mais exemplos:

Exemplo 3: Calcule o resto da diviso de 2
343
por 15.
Resoluo: Pela propriedade reflexiva temos que:

2
0
1 (mod 15)
2
1
2 (mod 15)
2
2
4 (mod 15)
2
3
8 (mod 15)
2
4
16 1 (mod 15)
(2
4
)
85
1
85
(mod 15), logo 2
340
1 (mod 15).
Desta forma, 2
340
. 2
3
2
3
(mod 15).

Resposta: 2
343
8 (mod 15), isto , o resto da diviso de 2
343
por 15 8.

Exemplo 4: Determine o resto de 3
25
por 19.
Resoluo: Pela propriedade reflexiva temos que:

3
0
1 (mod 19)
3
1
3 (mod 19)
3
2
9 (mod 19)
3
3
9 . 3 27 8 (mod 19)
(3
3
)
2
8
2
64 7 (mod 19), logo 3
6
7 (mod 19)
(3
6
)
2
7
2
49 11 (mod 19), logo 3
12
11 8 (mod 19)
(3
12
)
2
(8)
2
64 7 (mod 19), logo 3
24
7
Desta forma, 3
24
. 3 7 . 3 (mod 19), ento, 3
25
21 2 (mod 19)

Resposta: 3
25
25
por 19 2.

Exemplo 5: Qual o resto da diviso de 2
45
por 7?
Resoluo: Pela propriedade simtrica temos que:

2 2 (mod 7)
2
3
8 1 (mod 7)
(2
3
)
15
1
15
(mod 7)
Logo, 2
45
1 (mod 7)

Resposta: 2
45
45
por 7 1.


12
Exemplo 6: Mostre que 10
200
1 divisvel por 11.

10 1 (mod. 11)
10
200
1 (mod. 11)
10
200
1 0 (mod. 11)

11 | (10
200
1)

Exemplo 7: Calcular 1017 + 2876 (mod 7).
Resoluo: Reduzindo as parcelas da soma temos
1017 2 (mod 7) e 2876 6 (mod 7)
Logo: 1017 + 2876 2 + 6 = 8 (mod 7):

A ttulo de curiosidade, vejamos mais dois exemplos um pouco mais elaborados.

Exemplo 8: Ache o algarismo das unidades do nmero
7
(7 )
7 .

7 7 (mod 10)
7
2
49 9 (mod 10)
7
3
63 3 (mod 10)
7
4
21 1 (mod 10)
Ento, 7
r
7, 9, 3 ou 1 (mod. 10) conforme, respectivamente, r 1, 2, 3 ou 0 (mod 4). Mas 7 3
(mod 4), 7
2
21 1 (mod 4), 7
3
7 3 (mod 4), 7
4
21 1 (mod 4), ... Ou seja, 7
s
3 ou 1 (mod 4)
conforme s seja mpar ou par. Como 7
7
mpar, ento 7
7
3 (mod 4). Logo
7
(7 )
7 7
3
3 (mod 10).
Assim, o algarismo das unidades do nmero dado 3.

Exemplo 9: Ache o algarismo das unidades do nmero
9
(9 )
9 .

9 9 (mod 10)
9
2
81 1 (mod 10)
9
3
9 (mod 10)
9
4
81 1 (mod 10)
Ento, 9
r
9 ou 1 (mod 10) conforme, respectivamente, r 1, 2, 3 ou 0 (mod 4). Mas 9 5 1
(mod 4), 9
2
1 (mod 4), 9
3
1 (mod 4), 9
4
1 (mod 4), ... Ou seja, 9
s
1 (mod 4) s N. Ento,
9
(9 )
9 9
1
9 (mod 10). Assim, o algarismo das unidades do nmero dado 9.


13
Exerccios

11) Ache os restos nas seguintes divises:
a) 11
10
por 100
b) 3
10
. 42
5
+ 6
8
por 5
c) 5
2
. 4841 + 28
5
por 3
d) 11
69
por 3
e) 2
512
por 5
f) 2
334
por 23

12) Mostre que 2
20
1 divisvel por 41.

13) Mostrar que, qualquer que seja o inteiro mpar a, o resto da diviso de a
2
por 8 1.

14) Determine todos os inteiros x tais que:
a) 0 _ x _ 100 e x 5 (mod 8) b) 100 _ x _ 200 e x 1 (mod 7)

15) Se 402 654 (mod m), determine todos os possveis valores de m.

16) Use as congruncias para verificar que:
a) 89 | (2
44
1) b) 97 | (2
48
1) c) 23 | (2
11
1)

17) Determine duas fraes positivas que tenham 13 e 17 para denominadores e cuja soma seja igual a
305
221
.

18) Determine duas fraes cujos denominadores sejam 12 e 16 e cuja soma seja
10
48
.

19) Calcule x sabendo que 7x 4 (mod 10).

20) Um teatro vende ingressos e cobra R$ 18,00 por adulto e R$ 7,50 por criana. Numa noite,
arrecada R$ 900,00. Quantos adultos e crianas assistiram ao espetculo, sabendo que eram mais
adultos do que criana?

21) Determine os restos da diviso de 2
50
por 7.

22) Determine os restos da diviso de 3
98
por 11.

23) Prove que:
a) 2
2n
1 (mod 3) b) 2
4m
1 (mod 15) c) 2
3n
1 (mod 7)

24) Verifique se so cngruos (mod 5) os inteiros:
a) 18 e 22 b) 38 e 29


14
4. Congruncia linear

Retomaremos agora o estudo de equaes diofantinas lineares, considerando sistemas de tais
equaes.
Chama-se congruncia linear toda equao da forma ax b (mod m), onde a e b so inteiros
quaisquer e m um inteiro positivo. Todo inteiro x
0
tal que ax
0
b (mod m) diz-se uma soluo da
congruncia linear.
Se x
0
uma soluo da congruncia linear ax b (mod m), ento todos os inteiros x
0
+ km, onde
k um inteiro arbitrrio, tambm so solues da congruncia linear.

5. Condio de Existncia de Solues

A congruncia linear ax b (mod m) tem soluo se, e somente se, d divide b, sendo
d = mdc (a, m). Logo ax
0
by = my
0
ou ax
0
my
0
= b.

6. Solues da Congruncia ax b (mod m)

Se d divide b, sendo d = mdc(a, m), ento a congruncia linear ax b (mod m) tem precisamente
d solues mutuamente incongruentes mdulo m, dada pela frmula:

x = x
0
+
m
d
| |
|
\ .
t, com 0 _ t _ d 1

Se o mdc (a, m) = 1, ento a congruncia linear ax b (mod m) tem uma nica soluo.

7. Resoluo de uma congruncia linear

Uma equao diofantina linear uma equao da forma ax + by = c em que a, b, c, so nmeros
inteiros. A equao diofantina linear ax + by = c tem soluo se, e somente se, d = mdc (a, b) divide c.
Uma soluo de uma equao diofantina linear um par de inteiros x
0
, y
0
que satisfaz a equao,
ento:

ax
0
+ by
0
= c

o que implica: ax
0
b (mod m).

Assim sendo, para obter uma soluo particular da equao diofantina linear, basta determinar
uma soluo qualquer x = x
0
da congruncia linear ax c (mod b), e substituir este valor x
0
de x na
equao ax + by = c afim de encontrar o valor correspondente y
0
de y, isto , tal que ax
0
+ by
0
= c.

15
Obviamente, tambm se pode obter uma soluo particular da equao diofantina linear, determinando
uma soluo qualquer y = y
0
da congruncia linear bx c (mod a).
Por exemplo, 4 soluo de 2x 3 (mod 5), ento todos os elementos de {4 + 5t / t Z} =
{4, 1, 9, 6, ...} so apenas representaes da mesma soluo.

Exemplo 1: Resolva a congruncia linear 2x 1 (mod 17).
Resoluo: O mdc (2, 17) = 1 e 1 | 1, logo a congruncia possui uma soluo.
2x 1 e 1 2 . 9 (mod 17), ento:
2x 2.9 (mod 17)
x 9 (mod 17)

Exemplo 2: Resolva a congruncia linear 3x 1 (mod 17).
Resoluo: O mdc (3, 17) = 1 e 1 | 1, logo a congruncia possui uma soluo.
3x 1 (mod 17) e 1 3 . 6 (mod 17), ento:
3x 3.6 (mod 17)
x 6 (mod 17)

Exemplo 3: Resolva a congruncia 3x 6 (mod 18).
Resoluo: O mdc (3, 18) = 3, e 3 | 6, logo a congruncia possui trs solues. Dividindo por 3 a
congruncia dada, obtemos:

x 2 (mod 6)

Assim a soluo geral x = 2 + 6t, t = 0, 1 e 2 dando x = 2, x = 8 e x = 14

8. Teorema Chins do Resto

O nome dado ao teorema se deve ao fato de que este resultado j era conhecido, na Antiguidade,
pelos matemticos chineses.
No sculo um, o matemtico chins chamado Sun-Tsu se perguntou? Que nmero ser esse de
forma que quando dividido por 3, o resto 2; quando dividido por 5, o resto 3, e quando
dividido por 7, o resto 2? A pergunta : Qual a soluo para o seguinte sistema de
congruncias?

x 2 (mod 3)
x 3 (mod 5)
x 2 (mod 7)


16
Definio: Um sistema de congruncias lineares um sistema da forma abaixo:

1 1 1
2 2 2
r r r
A x B (mod m )
A x B (mod m )
.................................
A x B (mod m )

A
r
x B
r
(mod m
r
) onde A
i
, i = 1,2, ..., r so inteiros supostamente no nulos. Uma soluo do
sistema um inteiro x
0
que soluo de cada uma das congruncias que dele fazem partes. Exemplo:
3x 1 (mod 5) 2x 3 (mod 9).

Teorema 1: Um sistema x a
1
(mod m
1
); x a
2
(mod m
2
) admite soluo se, e somente se, a
1
a
2

divisvel por d = mdc (m
1
, m
2
). Neste caso, se x
0
uma soluo particular do sistema e se
m = mmc (m
1
, m
2
) ento x = x
0
(mod m) sua soluo geral.

Teorema 2 (do Resto Chins): Sejam m
1
, m
2
, ..., m
r
nmeros inteiros maiores que zero e tais que mdc
(m
i
, m
j
) = 1, i = j. Faamos m = m
1
m
2
...m
r
e sejam b
1
, b
2
, ..., b
r
, respectivamente, solues das
congruncias lineares
j
m
m
y 1 (mod mj). Ento o sistema x a
1
(mod m
1
); x a
2
(mod m
2
); ... ; x a
r

(mod m
r
) admite solues para quaisquer a
1
, a
2
, ... , a
r
c Z e sua soluo geral dada por:

1 1 2 2 r r
1 2 r
M M M
x = a b + a b + ... + a b (mod m)
m m m
| | | | | |
| | |
\ . \ . \ .

Este algoritmo, utilizado para resolver sistemas de congruncias lineares, muito antigo e foi
inventado, independentemente, pelos chineses e pelos gregos, para resolver problemas de astronomia.
O algoritmo chins do resto tem este nome porque um dos primeiros lugares em que apareceu foi no
livro Manual de aritmtica do mestre Sun-Tsu, escrito entre 287 d.C. e 473 d.C.


17
Exemplo 4: Resolva o sistema de congruncia linear x 1 (mod 2) e x 1 (mod 3).
Resoluo: Como o mdc (2, 3) = 1 o sistema possui soluo.
A soluo geral da 1 x = 1 + 2a. Substituindo este valor na 2, obtemos:

1 + 2a 1 (mod 3)
2a 0 (mod 3)
a 0 (mod 3)

Logo a = 3b. Substituindo este valor em x = 1 + 2a, temos:

x = 1 + 2(3b), dando x = 1 + 6b

que soluo geral do sistema, ou x 1 (mod 6).

Exemplo 5: Resolva o sistema de congruncia linear x 5 (mod 12) e x 7 (mod 19).
Resoluo: Como o mdc (12, 19) = 1 o sistema possui soluo.
A soluo geral da 1 x = 5 + 12a. Substituindo este valor na 2, obtemos:

5 + 12a 7 (mod 19)
12a 2 (mod 19)
6a 1 (mod 19)

Temos que 1 6 . 16 (mod 19), ento:

6a 6 . 16 (mod 19), ento temos que a 16 (mod 19)

Logo a = 16 + 19b. Substituindo este valor em x = 5 + 12a, temos:

x = 5 + 12(16 + 19b) = 5 + 192 + 228b = 197 + 228b

que soluo geral do sistema, ou x 197 (mod 228).


18
CAPTULO III
Nmeros racionais

1. Introduo

Antes do estudo de nmeros racionais precisamos retomar alguns conceitos j estudados este ano
e introduzir outros novos que nos auxiliaro em nossos estudos desse semestre.

2. Produto Cartesiano

Definio 1: Dados dois conjuntos E e F no vazios, chama-se produto cartesiano de E por F o
conjunto formado por todos os pares ordenados (x, y), com x em E e y em F.
O conceito de par ordenado tomado como conceito primitivo, postulando-se que (x, y) = (u, v)
se, e somente se, x = u e y = v.
Notao: E x F = {(x, y) [ x E e y F}

3. Relao Binria

J conhecemos algumas relaes entre nmeros inteiros, como maior, menor, divide e
congruente mdulo m.
Para outro exemplo, consideremos E = {0, 1, 2, 3, ...} e F = {..., 3, 2, 1,}. Ento, uma
relao entre elementos de E e F: x + y = 0, em que x representa um elemento de E e y um elemento de
F.
De situaes como essa, decorre que uma relao um conjunto constitudo de:

um conjunto E chamado de partida;
um conjunto F chamado de chegada;
uma sentena aberta P(x, y), em que x uma varivel em E e y uma varivel em F, sentena essa
que, para todo par ordenado (a, b) E X F, a proposio P(a, b) verdadeira ou falsa.

Quando P(a, b) verdadeira, dizemos que a est relacionado com b atravs de R e escrevemos
aRb.
Se P(a, b) falsa, dizemos que a no est relacionado com b atravs de R e escrevemos a Rb .
Por exemplo, se R indica a relao em que o conjunto de partida e o conjunto de chegada so
iguais a P e a funo proposicional x
2
+ y = 0, ento:

1R(1), (3)R(9) e 0R0, j 0 R1, 1R ( 4) e 3 R 6 .

19
O conjunto dos elementos a E tais que aRb, para pelo menos um elemento b c F, chamado
domnio da relao (D(R)), e o conjunto dos elementos b c F tais que, para pelo menos um elemento
a c E, verifica-se aRb, chamado conjunto imagem (Im(R)).

Definio 2: Chama-se relao binria de E em F todo subconjunto R de E x F. Logo, (R relao de
E em F) se, e somente se, R E x F.
De acordo com essa definio, R um conjunto de pares ordenados (a, b) pertencentes a E x F.

Exemplo 1: Se E = {0, 1, 2, 3} e F = {4, 5, 6}, ento:

E x F = {(0, 4), (0, 5), (0, 6), (1, 4), (1, 5), (1, 6), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6)}.

Qualquer subconjunto de E x F uma relao de E em F, por exemplo:

R
1
= {(0, 4), (0, 5), (0, 6)}
R
2
= {(0, 4), (1, 4), (1, 5), (2, 6)}
R
3
= {(2, 5), (3, 6)}.

Exemplo 2: Se E = F = Z, ento E x F o conjunto formado por todos os pares ordenados de nmeros
inteiros. Um exemplo de relao de Z em Z :
R = {(x, y) Z x Z[x = y} = {..., (n, n), ..., (2, 2), (1, 1), (0, 0), (1, 1), ..., (n, n), ...}

Exemplo 3: Se E = F = R, ento E x F o conjunto formado por todos os pares ordenados de nmeros
reais. Um exemplo de relao de R em R :
R = {(x, y) R x R[x _ 0 e y _ 0}

4. Inversa de uma relao

Definio 3: Seja R uma relao de E em F. Chama-se relao inversa de R, e indica-se por R
1
, a
seguinte relao de F em E:
R
1
= {(y, x) F x E[(x, y) R}

Exemplo 4: Dados os conjuntos E = {0, 1, 2, 3} e F = {4, 5, 6}, seja a relao R = {(0, 4), (0, 5),
(0, 6)}, ento: R
1
= {(4, 0), (5, 0), (6, 0)}

Exemplo 5: Sejam os conjuntos E = R, F = R e R{(x, y) R
2
[ y = 2x}, ento:
R
1
= {(y, x) R
2
[y = 2x} = {(x, y) R
2
[ x = 2y}


20
Exemplo 6: Sejam os conjuntos E = R, F = R e R{(x, y) R
2
[y = x
2
}, ento:
R
1
= {(y, x) R
2
[ y = x
2
} = {(x, y) R
2
[ x = y
2
}

Exerccios

25) Sejam E = {1, 3, 5, 7, 9} e F = {0, 2, 4, 6}.
a) Enumere os elementos das seguintes relaes de E em F:
R
1
= {(x, y)[y = x 1} R
2
= {(x, y)[x < y} R
3
= {(x, y)[y = 3x}

b) Estabelea o domnio e a imagem de cada uma.

26) Seja R a relao sobre o conjunto N
*
definida pela sentena x + 3y = 10. Pede-se:
a) Os elementos de R
b) O domnio de R
c) A imagem de R
d) Os elementos de R
1

27) Sejam E e F dois conjuntos finitos com m e n elementos, respectivamente. Qual o nmero de
elementos de E x F?

5. Relao sobre um conjunto

Definio 4: Quando E = F e R uma relao de E em F, dizemos que R uma relao sobre E ou,
ainda, R uma relao em E.

Veremos algumas propriedades que as relaes em E podem apresentar e, a seguir, estudaremos
dois tipos de relaes sobre E: as relaes de equivalncia e as relaes de ordem.
Neste estudo o diagrama de flechas pode ser til quando trabalhamos com poucos exemplos.
Observe o seguinte exemplo: a relao R = {(a ,a), (a, b) (b, c), (c, a)} sobre E = {a, b, c}

Propriedades:


21
5.1. Reflexiva

Definio 5: Dizemos que R reflexiva quando todo elemento de E se relaciona consigo mesmo. Ou
seja, quando, para todo x E, vale xRx.
Exemplo: a relao R = {(a, a), (b, b), (a, b) (b, a), (c, c)} sobre E = {a, b, c} reflexiva, pois aRa, bRb
e cRc.
Note que a relao R = {(a, a), (b, b), (a, b), (b, a), (b, c)} sobre E = {a, b, c} no reflexiva, pois
c Rc

Diagrama de flechas:
Em cada ponto do diagrama deve haver um lao.

Exemplo Contraexemplo

5.2. Simtrica

Definio 6: Dizemos que R simtrica se vale yRx sempre que vale xRy. Ou seja, se xRy, ento yRx.
Exemplo: a relao R = {(a, a), (a, b) (b, a), (c, c)} sobre E = {a, b, c} simtrica, pois aRb e bRa.

Note que a relao R = {(a, a), (b, b), (a, b), (b, c)} sobre E = {a, b, c} no simtrica, pois aRb e
b Ra .

Toda flecha tem duas pontas.



22
5.3. Transitiva

Definio 7: Dizemos que R transitiva se vale xRz sempre que vale xRy e yRz. Ou seja, se xRy e
yRz, ento xRz.
Exemplo: a relao R = {(a, b), (b, b), (b, c) (a, c), (c, c)} sobre E = {a, b, c} transitiva, pois aRb,
bRc e aRc.
Note que a relao R = {(a, a), (b, b), (a, b), (b, c)} sobre E = {a, b, c} no transitiva, pois aRb,
bRc e a Rc .

Para todo par de flechas consecutivas existe uma terceira flecha cuja origem a origem da
primeira e a extremidade, a da segunda.


5.4. Antissimtrica

Definio 8: Dizemos que R antissimtrica se x = y, sempre que xRy e yRx. Ou seja, se xRy e yRx,
ento x = y.
importante destacar que se x = y, ento xRy ou yRx.

Exemplo: a relao R sobre o conjunto dos nmeros reais dada por xRy se, e somente se, x _ y
antissimtrica, pois, sendo x e y nmeros reais quaisquer, se x _ y e y _ x, ento x = y.
Note que uma relao R sobre E no antissimtrica se existirem x e y em E tais que x = y e xRy
e yRx.
Se R = {(a, a), (b, b), (c, c), (b, c), (c, b)} sobre E = {a, b, c} no antissimtrica, pois b = c, bRc
e cRb.

No h flechas de duas pontas.


23

Exerccios

28) Seja R a relao em E = {1, 2, 3, 4} tal que xRy se, e somente se, x + y mltiplo de 2.
a) Quais so os elementos de R?
b) Faa o diagrama de flechas para R.
c) R reflexiva? R simtrica? R transitiva? R antissimtrica?

29) R uma relao sobre E = {a, b, c, d} dada pelo esquema de flechas abaixo. Que propriedade R
apresenta?

30) Que propriedade apresenta a relao S dada pelo esquema abaixo?

31) Seja E = {1, 2, 3}. Considerem-se as seguintes relaes em E:
a) R
1
= {(1, 1), (2, 2), (3, 3)}
b) R
2
= {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)}
c) R
3
= {(1, 2), (1, 3), (2, 1), (2, 3), (3, 1), (3, 2), (3, 3)}

Que propriedades cada relao acima apresentam?


24
6. Relao de Equivalncia

Definio 9: Uma relao binria R num conjunto A diz-se uma relao de equivalncia se ela
reflexiva, simtrica e transitiva. Usando o smbolo para indicar uma relao de equivalncia,
podemos escrever:

Uma relao binria num conjunto A, diz-se uma relao de equivalncia se, para
quaisquer a, b, c em A, tem-se:

(i) a a (reflexiva)
(ii) a b implica b a (simtrica)
(iii) a b e b c implica a c (transitiva)

7. Relao de Ordem

Definio 10: Uma relao R sobre um conjunto E no vazio chamada relao de ordem parcial
sobre E se, e somente se, R reflexiva, antissimtrica e transitiva. Ou seja, R deve cumprir
respectivamente as seguintes propriedades:

(i) Se x E, ento xRx
(ii) Se x, y E, xRy e yRx, ento x = y
(iii) Se x, y, z E, xRy e yRz, ento xRz

Quando R uma relao de ordem parcial sobre E, para exprimir que (a, b) R, usaremos a
notao a _ b (R) (a precede b na relao R ou b segue a na relao R). Para exprimir que (a, b) R e
a = b usaremos a notao a < b (R) (a precede estritamente b na relao R ou b segue estritamente a na
relao R).

Definio 11: Um conjunto parcialmente ordenado um conjunto sobre o qual se definiu uma certa
relao de ordem parcial.

Definio 12: Seja R uma relao de ordem parcial sobre E. Os elementos a, b c E se dizem
comparveis mediante R se a _ b ou b _ a.

Definio 13: Se dois elementos quaisquer de E forem comparveis mediante R, ento R ser chamada
relao de ordem total sobre E. Nesse caso, o conjunto E dito totalmente ordenado por R.


25
Exemplo 1: A relao R
3
= {(a, a), (b, b), (c, c), (a, b), (b, c), (a, c)} uma relao de ordem sobre E
= {a, b, c}, conforme se pode notar no diagrama abaixo. O conjunto E totalmente ordenado por R,
uma vez que no h dois elementos distintos de E que no estejam ligados por uma flecha.

Exemplo 2: A relao R sobre R definida por xRy se, e somente se, x _ y uma relao de ordem,
denominada ordem habitual, pois:

(x), x R x _ x
(x, y R), x _ y e y _ x x = y
(x, y, z R), x _ y e y _ z x _ z

Exemplo 3: A relao R sobre N definida por xRy se, e somente se, x | y uma relao de ordem, pois:

(x), x N x | x
(x, y N), x | y e y | x x = y
(x, y, z N), x | y e y | z x | z

O conjunto N parcialmente ordenado por essa relao, j que h elementos de N no
comparveis por divisibilidade, por exemplo: 2 e 3.

Exerccios

32) Quais das relaes abaixo so relaes de equivalncia:
a) R
1
= {(a, a), (b, b), (a, b) (b, a), (c, c)}
b) R
2
= {(a, a), (b, b), (a, b) (b, a), (b, c)}
c) R
3
= {(a, a), (b, b), (a, b) (b, c), (c, b), (a, c), (c, a)}


26
33) Quais dos seguintes itens abaixo representam uma relao de equivalncia?
a) relao divide
b) semelhana de tringulos
c) paralelismo
d) perpendicularismo
e) relao menor
f) congruncia

8. Construo de Q

J sabemos que se a e b so nmeros inteiros com b = 0 a equao bx = a nem sempre tem
soluo em Z, isso acontece se e somente se b | a. Por exemplo, a equao 2x = 6 tem soluo x = 3 em
Z, mas a equao 5x = 8 no tem soluo em Z.
Essa limitao do conjunto dos nmeros inteiros nos leva a construo de um novo conjunto de
nmeros em que toda a equao da forma acima tenha soluo. Indicaremos essa soluo por
a
b
, ainda
que esse nmero no seja um inteiro. imediato que b .
a
b
= a.
Indicaremos por Z
*
o conjunto de todos os inteiros exceto o nmero 0 e comearemos por
considerar o conjunto Z X Z
*
= {(a, b) | a Z, b Z
*
}, isto , o conjunto de todos os pares ordenados
de nmeros inteiros com a segunda componente no nula. Neste conjunto introduzimos uma relao ,
do seguinte modo:

Definio: Dados dois elementos (a, b) e (c, d) do conjunto Z X Z
*
, diremos que (a, b) (c, d) se e
somente se ad bc.
Por exemplo: (3, 6) (5, 10), pois 3 . 10 = 6 . 5 e da mesma forma, (5, 10) (1, 2), j que 5 . 2 =
10 . 1.

Proposio: A relao acima uma relao de equivalncia.

Demonstrao: Precisamos demonstrar que a nossa relao verifica as trs condies da definio:

(i) Para todo par (a, b) Z X Z
*
, temos que (a, b) (a, b), pois ad = bc

(ii) Sejam (a, b), (c, d) pares tais que (a, b) (c, d). Temos, ento, que ad = bc, donde tambm cb = da.
Da ltima igualdade e da definio acima, vem que (c, d) = (a, b).

(iii) Sejam (a, b), (c, d) e (e, f) pares tais que (a, b) (c, d) e (c, d) (e, f). Ento, temos que ad = bc e
cf = de. Multiplicando a primeira igualdade por f e a segunda por b temos: adf = bcf e bcf = bde. Logo
adf = bde.

Como d = 0, podemos cancelar e obter af = de, o que implica que (a, b) (e, f). (c.q.d.)


27
Podemos agora considerar o conjunto quociente (Z X Z
*
)/, isto , o conjunto de todas as classes
de equivalncia. Para representar a classe do par (a, b), utilizaremos o smbolo a/b. Assim:

a
b
= {(x, y) Z X Z
*
| (x, y) (a, b)} = {(x, y) Z X Z
*
| xb = ya)}

O smbolo
a
b
chama-se uma frao de numerador a e denominador b.

Definio: O conjunto dos nmeros racionais definido como o conjunto de todas as fraes
a
b
sendo
que a Z e b Z, b = 0, isto :

Q =
a
/ a Z, b Z e b 0
b

`
)

Conhecido o conjunto Q, passamos a definir as operaes de adio e multiplicao nesse
conjunto.

a c ad + bc
+ =
b d bd
e
a c ac
. =
b d bd

Assim, temos:

2 3 2 . 5 + 3 . 3 19
+ = =
3 5 3 . 5 15
e
2 3 2 . 3 6
. = =
3 5 3 . 5 15

Em Q os nmeros no tm uma forma nica para serem escritos. Por exemplo,
2
3
=
6
9
.

MAS ATENO:
2
3
soluo da equao 3x = 2, ou seja, 3 .
2
3
= 2. Multiplicando os dois
membros desta igualdade por 3, obtemos: 3 . 3 .
2
3
= 3 . 2, isto , 9 .
2
3
= 6 o que equivale a afirmar
que
2
3
soluo de 9y = 6. Ocorre que a soluo de 9y = 6
6
9
. Assim:

Teorema: As operaes acima esto bem definidas em Q, isto , o resultado no depende da particular
forma dos operandos. Ao invs de demonstrar, vamos dar um exemplo.


28
Imagine que queremos somar e multiplicar
1
3
e
3
5
. A soma
14
15
e o produto
3
15
. Acontece que,
por exemplo,
1
3
=
4
12
e
3
5
=
6
10
. Operando com esses valores obtemos a soma
112
120
e o produto
24
120
,
resultados iguais aos obtidos anteriormente.

8.1. Propriedades das operaes em Q

Teorema: O conjunto Q, com as operaes + e . acima definidas, possui as seguintes propriedades:

a) Propriedade Associativa: Para quaisquer a, b, c em Q tem-se que:
(a + b) + c = a + (b + c) e (ab)c = a(bc)

b) Propriedade Comutativa: Para quaisquer a, b em Q tem-se que:
a + b = b + a e ab = ba

c) Existncia de elemento neutro: Para todo a Q:
existe 0 Q tal que a + 0 = a
existe 1 Q tal que a . 1 = a

d) Existncia de Inversos: Para cada a Q:
existe a Q tal que a + (a) = 0
com a = 0, existe a
1
Q tal que a . a
1
= 1

e) Propriedade Distributiva: Para quaisquer a, b, c Q tem-se que:
a (b + c) = ab + ac

Exerccios

34) Mostre que:
a)
1 515 15
=
3 333 33
a)
131 131 13
=
999 999 99

35) Achar os valores do inteiro n para os quais a frao
n + 2
n 1
represente um inteiro.

36) Determine r Z de maneira que as seguintes fraes ordinrias representem nmeros inteiros:
a)
10m
2m 1
b)
33m
3m 1


29
CAPTULO IV
Operaes

1. Leis de Composio Interna

Considere a operao f: N x N N tal que f(x, y) = x + y. A aplicao conhecida como
operao de adio sobre N.
Pense agora na aplicao g: R x R R tal que g(x, y) = x . y, que conhecida como operao de
multiplicao sobre R.

Definio 1: Sendo E um conjunto no vazio, toda aplicao f: E x E E recebe o nome operao
sobre E (ou em E) ou lei de composio interna sobre E (ou em E).

Em nossas consideraes ma operao f sobre E associa a cada par (x, y) de E x E um elemento
de E que ser simbolizado por x*y. Assim, x*y uma forma de indicar f(x, y). Dizemos tambm que E
um conjunto munido da operao *.
O elemento x*y chamado composto de x e y pela operao *. O termo x e y so chamados,
respectivamente, primeiro e segundo termos ou termo da direita e termo da esquerda.
Outras notaes podero ser usadas para indicar uma operao sobre E.

a) Notao aditiva
O smbolo da operao (+), a operao chamada adio, o composto x + y chamado soma, e
os termos so as parcelas.

b) Notao multiplicativa
O smbolo da operao (.), a operao chamada multiplicao, o composto x . y chamado
produto, e os termos so os fatores.

c) Outros smbolos utilizados para operaes genricas so: A, , , X, etc.


a) A aplicao f: N
*
x N
*
N
*
tal que f(x, y) = x
y
operao potenciao sobre N
*
.

b) A aplicao f: Q
*
x Q
*
Q
*
tal que f(x, y) =
x
y
a operao de diviso sobre Q
*
.

c) A aplicao f: Z x Z Z tal que f(x, y) = x y a operao de subtrao sobre Z.


30
2. Propriedades das Operaes

Seja * uma operao de composio interna em E.

2.1. Propriedade associativa

Definio 2: Dizemos que * goza da propriedade associativa se x * (y * z) = (x * y) * z, quaisquer que
sejam x, y, z E.

Exemplos:
a) As adies em N, Z, Q e R so operaes que gozam da propriedade associativa:
(x + y) + z = x + (y + z), x, y, z

b) As multiplicaes em N, Z, Q e R so operaes associativas:
(x . y) . z = x . (y . z), x, y, z

Contraexemplos:
a) A potenciao em N* no operao associativa, pois:
2 * (3 * 4) =
( )
4
3
2 = 2
81
e (2 * 3) * 4 = (2
3
)
4
= 2
12

b) A diviso em R* no operao associativa, pois:
24 * (4 * 2) = 24 : (4 : 2) = 24 : 2 = 12 e (24 * 4) * 2 = (24 : 4) : 2 = 6 : 2 = 3

2.2. Propriedade comutativa

Definio 3: Dizemos que * goza da propriedade comutativa se x * y = y * x, quaisquer que sejam
x, y E.

Exemplos:
a) As adies em N, Z, Q e R so operaes que gozam da propriedade comutativa:
x + y = y + x, x, y

b) As multiplicaes em N, Z, Q e R so operaes associativas:
x . y = y . x, x, y

Contraexemplos:
a) A potenciao em N* no operao comutativa, pois:
2
3
= 8 e 3
2
= 9


31
b) A diviso em R* no operao comutativa, pois:
3 : 6 =
1
2
e 6 : 3 = 2

c) A subtrao em Z no operao comutativa, pois:
3 7 = 4 e 7 3 = 4

2.3. Elemento Neutro

Definio 4: Se existe e E tal que e * x = x para todo x E, dizemos que e um elemento neutro
esquerda para *.

Se existe e E tal que x * e = x para todo x E, dizemos que e um elemento neutro direita
para *.
Se e um elemento neutro direita e esquerda para a operao *, dizemos simplesmente que e
um elemento neutro.

Exemplos:
a) O elemento neutro das adies em N, Z, Q e R o nmero 0, pois:
x + 0 = 0 + x = x, x, y

b) O elemento neutro das multiplicaes em N, Z, Q e R o nmero 1, pois:
x . 1 = 1 . x = x, x, y

Contraexemplos:
a) A subtrao em Z admite 0 como elemento neutro direita pois x 0 = x, , x Z, mas no
admite neutro esquerda, pois no existe e (fixo) tal que e x = x, x Z.

b) A diviso em R* admite 1 como elemento neutro direita, pois x : 1 = x , x R*, mas no
admite neutro esquerda, pois no existe e (fixo) tal que e : x = x, x R*.

Proposio: Se a operao sobre E tem um elemento neutro e, ento ele nico.

2.4. Elementos simetrizveis

Definio 5: Seja * uma operao sobre E que tem elemento neutro e. Dizemos que x E um
elemento simetrizvel para essa operao se existir x E tal que x * x = x * x = e.


32
O elemento x chamado simtrico de x para a operao *.
Quando a operao a adio, o simtrico de x chamado oposto de x e indicado por x.
Quando a operao a multiplicao, o simtrico de x chamado inverso de x e indicado por x
1
.

Exemplos:
a) 3 um elemento simetrizvel para a adio em Z, e seu simtrico (ou oposto) 3, pois:
(3) + 3 = 3 + (3) = 0

b) 3 um elemento simetrizvel para a multiplicao em Q, e seu simtrico (ou inverso)
1
3
, pois:

1
3
. 3 = 3 .
1
3
= 1

Proposio: Seja * uma operao sobre E que associativa e tem elemento neutro e.

a) Se um elemento x E simetrizvel, ento o simtrico de x nico.

b) Se x E simetrizvel, ento seu simtrico x tambm e (x) = x.

c) Se x, y E so simetrizveis, ento x * y simetrizvel e (x * y) = y * x.

2.5. Elementos regulares (Lei do Cancelamento)

Definio 6: Seja * uma operao sobre E. Dizemos que a E regular (ou simplificvel ou que
cumpre a lei do cancelamento) esquerda em relao operao * se, para quaisquer x, y E tais que
a * x = a * y, vale x = y.

Dizemos que a E regular (ou simplificvel ou que cumpre a lei do cancelamento) direita
em relao operao * se, para quaisquer x, y E tais que x * a = y * a, vale x = y.
Se a E um elemento regular direita e a esquerda em relao operao *, dizemos
simplesmente que a regular para essa operao.

Exemplos:
a) 3 regular para a adio em N, pois: 3 + x = 3 + y x = y quaisquer que sejam x, y N.

b) 3 regular para a multiplicao em Z, pois: 3 . x = 3 . y x = y quaisquer que sejam x, y Z.

Contraexemplo:
0 no regular para multiplicao em Z, pois: 0 . 2 = 0 . 3 e 2 = 3


33
2.6. Propriedade distributiva

Definio 7: Sejam * e A duas operaes sobre E. Dizemos que A distributiva esquerda
relativamente a* se: x A (y * z) = (x A y) * (x A z), quaisquer que sejam x, y, z E.
Dizemos que A distributiva direita relativamente a* se: (y * z) A x = (y A x) * (z A x),
quaisquer que sejam x, y, z E.

Quando A distributiva direita e esquerda de *, dizemos simplesmente que A distributiva
relativamente a *.

Exemplos e contraexemplo:
a) A multiplicao em Z distributiva em relao adio em Z, pois:
x . (y + z) = (x . y) + (x . z), x, y,z Z

b) Em N*, a potenciao distributiva direita em relao multiplicao, pois:
(x . y)z = xz . yz, x, y,z N*

Entretanto a potenciao em N* no distributiva direita em relao a multiplicao, pois:
2
3 . 4
= 2
3
. 2
4

Exerccios

37) Em cada caso, verifique se a operao * sobre E associativa, comutativa, tem elemento neutro e
se tem elemento simetrizvel.
a) E = R e x * y =
x + y
2

b) E = R e x * y = x + y 10
c) E = R
+
e x * y = x
2
+ y
2

d) E = R e x * y =
3 3
3
x + y

38) Em cada caso abaixo est definida uma operao sobre Z x Z. Verifique se ela : associativa,
comutativa, tem elemento neutro e se tem elemento simetrizvel.
a) (a, b) * (c, d) = (ac, 0)
b) (a, b) A (c, d) = (a + c, b + d)
c) (a, b) x (c, d) = (ac, ad + bc)
d) (a, b) (c, d) = (a + c, bd)


34
3. Tbua de uma Operao

Seja E = {a
1
; a
2
; :::; a
n
}; (com n > 1) um conjunto com n elementos. Toda operao sobre E
uma aplicao f: E x E E que associa a cada par (a
i
; a
j
) o elemento a
i
* a
j
= a
ij.

Podemos representar o elemento a
ij
, correspondente ao par (a
i
, a
j
), numa tabela de dupla entrada
construda como se segue:

1) Marcamos na linha fundamental e na coluna fundamental os elementos do conjunto E. Chamamos
de i-sima linha aquela que comea com a
i
e de j-sima coluna aquela que comea com a
j
.

2) Dado um elemento a
i
na coluna fundamental e um elemento a
j
na linha fundamental, na interseo
da linha i com a coluna j; o elemento correspondente a
ij
.



35
Exemplo 1: Tbua da multiplicao em E = {1, 0, 1}.

. 1 0 1
1 1 0 1
0 0 0 0
1 1 0 1

Exemplo 2: Tbua operao * sobre E = {1, 3, 5, 15} tal que x * y = mdc (x, y).

. 1 3 5 15
1 1 1 1 1
3 1 3 1 3
5 1 1 1 5
15 1 3 5 15

Exerccios

39) Em cada caso a seguir est definida uma operao sobre E. Faa a tbua da operao.
a) E = {1, 2, 3, 6} e x * y = mdc (x, y)
b) E = {1, 3, 9, 27} e x * y = mmc (x, y)
c) E = {0, 1, 2, 3, 4} e x * y = resto da diviso em Z de x + y por 4
d) E = {0, 1, 2, 3, 4} e x A y = resto da diviso em Z de x . y por 4
e) E = {0, 1, 2, 3, 4} e x y = resto da diviso em Z de x + y por 5
f) E = {0, 1, 2, 3, 4} e x y = resto da diviso em Z de x . y por 5

40) A partir da tbua da operao A sobre E = {1, 2, 3, 4}, calcule os seguintes compostos:

1 2 3 4
1 1 1 1 1
2 1 2 3 4
3 1 3 4 2
4 1 4 2 3

a) (3 A 4) A 2 b) 3 A (4 A 2) c) [4 A (3 A 3)] A 4 d) (4 A 3) A (3 A 4) e) [(4 A 3) A 3] A 4

41) Consideremos as funes f
2
(x) : R R e f
3
: R
*
R
*
, definidas por f
2
(x) = x e f
3
(x) =
1
x
. Sejam
as funes f
1
(x) = f
2
o f
2
e f
4
(x) = f
2
o f
3
. Construa uma tbua de composio {f
1
, f
2
, f
3
, f
4
}.

36
CAPTULO V
Estruturas Algbricas: Grupos

1. Introduo

Definio 1: Um sistema matemtico constitudo de um conjunto no vazio G e uma operao (x, y)
x * y sobre G chamado grupo se essa operao satisfaz as seguintes condies:

a) Se a, b G, ento a * b G (fechamento)

b) (a * b) * c = a * (b * c), a, b, c G (associativa)

c) e G / a * e = e * a = a, a G (elemento neutro)

d) a G, a G / a * a = a * a = e (elemento simtrico)

Notao: (G, *)

Se, alm disso, ainda tivermos a * b = b * a, a, b G (comutativa), o grupo chamado de
grupo comutativo, aditivo ou abeliano.

Ou seja, um grupo um conjunto no vazio G munido de uma operao fechada que
associativa, admite elemento neutro e admite inverso para cada um de seus elementos. Se, alm
disso, se a operao for comutativa, dizemos que G grupo abeliano, em homenagem ao matemtico
N. Abel (1802-1829).

Vejamos um exemplo:

Seja G = {2, 4, 6, 8} e consideremos a operao * determinada pela seguinte tbua:

* 2 4 6 8
2 4 8 2 6
4 8 6 4 2
6 2 4 6 8
8 6 2 8 4

A operao * determinada pela tbua define uma estrutura de grupo comutativo sobre o conjunto
G, pois:

a) Tem fechamento: Qualquer operao tem como resultado 2, 4, 6 e 8.

37
b) Tem elemento neutro: A 3 coluna igual coluna fundamental e a 3 linha igual linha
fundamental; portanto, 6 o elemento neutro para operao *.

c) comutativa: A tbua simtrica em relao diagonal principal.

d) Tem elemento simetrizvel: O elemento 6 aparece uma nica vez em cada linha e cada coluna
da tbua dada e, alm disso, suas posies so simtricas em relao diagonal principal; portanto,
cada elemento de G simetrizvel para a operao *. Precisamente, os simtricos de 2, 4, 6 e 8 so,
respectivamente, 8, 4, 6 e 2.

Falta verificar a propriedade associativa. Na prtica temos que calcular e comparar todos os
compostos (a * b) * c = a * (b * c), e assim temos que determinar 2n
3
compostos de trs termos cada
um.
Notemos que se um destes elementos igual ao elemento neutro 6, ento a igualdade (a * b) * c =
a * (b * c) verdadeira. Portanto, restam 54 compostos (2 . 3
3
) compostos de 3 termos cada um.
Fazendo a verificao para alguns casos, ficar provado que G possui a propriedade associativa.

2. Grupos finitos

Um grupo (G, *) em que o conjunto G finito, chama-se grupo finito. Nesse caso, o nmero de
elementos de G chamado ordem do grupo (notao o(G)) e a tbua da operao * se denomina tbua
do grupo.

Exemplo: G = {1, 1} um grupo multiplicativo, sua ordem 2 e sua tbua:

. 1 1
1 1 1
1 1 1

3. Alguns grupos importantes

3.1. Grupo aditivo dos inteiros, dos racionais e dos reais

Formado pelo conjunto dos inteiros (racionais ou reais) e a operao de adio usual, gozando
das propriedades: associativa, elemento neutro (o zero) e elemento simtrico (o oposto) dos inteiros
(racionais ou reais). Tambm goza da propriedade comutativa.
Notao: (Z, +), (Q, +), (R, +)


38
3.2. Grupo multiplicativo dos racionais e dos reais

Formado pelo conjunto dos racionais (reais) no nulos e a multiplicao usual, gozando das
propriedades: associativa, elemento neutro (o nmero 1) e elemento simtrico (oposto) dos
racionais (ou reais). Tambm goza da propriedade comutativa.
Notao: (Q
*
, .), (R
*
, .)

Exerccios

42) Quais dos conjuntos abaixo so grupos em relao operao indicada?
a) Z

; adio
b) Z
+
; multiplicao
c) A = {x Z / x par}; adio
d) B = {x Z / x mpar}; multiplicao
e) C = {2, 1, 0, 1, 2}; adio
f) D = {1, 1}; multiplicao

43) Mostre que R dotado da operao * tal que x * y =
3 3
3
x + y um grupo abeliano.

44) Mostre que R munido da operao A tal que x A y = x + y 3 um grupo comutativo.

45) Verifique se Z x Z grupo em relao a cada uma das seguintes leis de composio:
a) (a, b) A (c, d) = (a + c, b + d)
b) (a, b) * (c, d) = (a + c, bd)

46) Mostre que cada uma das tbuas abaixo define uma operao que confere ao conjunto G
= {e, a, b, c} uma estrutura de grupo.

* e a b c
e e a b c
a a e c b
b b c e a
c c b a e

47) Verifique se com a multiplicao usual X = {1, 1, i, i} constitui um grupo abeliano.

* e a b c
e e a b c
a a e c b
b b c e a
c c b e a


39
4. Semigrupos

Definio 2: Dado um conjunto G e a operao *, com a propriedade:

a * (b * c) = (a * b) * c, a, b, c G

diremos que (G, *) um semigrupo.

Por exemplo, (N, +) semigrupo.

Alm disso, se * comutativa em G, diremos que (G, *) um semigrupo comutativo.

5. Monoide

Definio 3: Dado um conjunto G e a operao *, com as propriedades:

a) (a * b) * c = a * (b * c), a, b, c G (associativa)

b) e G / a * e = e * a = a, a G (elemento neutro)

diremos, nestas condies que G um monoide.

Alm disso, se * comutativa em G, diremos que (G, *) um monoide comutativo.


40
CAPTULO VI
Estruturas Algbricas: Anel

1. Introduo

Definio: Seja A um conjunto munido de duas operaes + (adio) e . (multiplicao). Diz-se que
estas operaes definem uma estrutura de anel sobre o conjunto A em relao s operaes + e . se,
e somente se, so vlidas as seguintes condies:

a) + e . so leis de composio interna em A (fechamento)
Se a, b A a + b A e a . b A.

b) (A, +) grupo comutativo, a, b, c A.
. Associativa: (a + b) + c = a + (b + c) . Elemento Neutro: a + e = a = e + a
. Elemento Simetrizvel: a + a = e = a + a . Comutativa: a + b = b + a

c) (A, .) semigrupo
(a . b) . c = a . (b . c) (associativa)

d) A multiplicao distribuda direita (DD) e esquerda (DE) em relao adio.
a, b, c A, a . (b + c) = (a . b) + (a . c) e (a + b) . c = (a . c) + (b . c)

Notao: (A, +, .)

2. Observaes

a) O anel comutativo se (A, .) semigrupo comutativo.

c) O anel (A, +, .) tem unidade se (A, .) monoide (associativa, elemento neutro).


Exemplo 1: (N, +, .) no anel porque (N, +) no tem elemento simtrico.

Exemplo 2: (Z, +, .) anel (anel dos inteiros, com unidade e comutativa).

Exemplo 3: (Q, +, .) anel (anel dos racionais, com comutativa e unidade).

Exemplo 4: (R, +, .) anel dos reais.

Exemplo 5: (C, +, .) anel dos complexos.

Exemplo 6: Verifique que (2Z, +, .) anel.


41
Respostas dos exerccios

CAPTULO I
Equaes Diofantinas

1) d = 1, r = 16 e s = 39

2) Quando t = 121, temos x = 9 e y = 19 e os mltiplos so 99 e 171.
Quando t = 122, temos x = 18 e y = 8 e os mltiplos so 198 e 72.

3a) x = 9 + 3t e y = 9 2t, t Z
b) x = 94 + 5t e y = 47 3t, t Z
c) No tem solues inteiras
d) x = 20 + 4t e y = 20 3t, t Z
e) x = 2 2t e y = 2 5t, t Z
f) x = 4 10t e y = 4 9t, t Z
g) x = 3 + 3t e y = 3 3t, t Z

4a) No tem solues inteiras positivas b) x = 1 e y = 20 / x = 6 e y = 18

5a) No tem solues inteiras negativas b) No tem solues inteiras negativas

6) 44 e 56 7) 17, 94, 171, ..., 77x + 17, ...

8) 60 pessoas pagando entrada e 4 pessoas pagando meia entrada

9) 197 crianas e 1 adulto 10) 1147

CAPTULO II
Congruncias mdulo m

11a) 1 b) 4 c) 0 d) 0 e) 1 f) 16

12) 2 2 (mod. 41)
2
5
32 9 (mod. 41)
2
10
81 40 1 (mod. 41)
2
20
1 (mod. 41)
2
20
1 0 (mod. 41)

41 | (2
20
1)


42
13) Os restos possveis da diviso de a por 8 so 1, 3, 5 ou 7. (se, por exemplo, o resto fosse 2, ento a
= 8q + 2 = 2(4q + 1) seria par, o que no possvel). Portanto: a 1, 3, 5 ou 7 (mod 8). Ento: a
2

1, 9, 25 ou 49 (mod 8).
Mas 9 1 (mod 8), 25 1 (mod 8) e 49 1 (mod 8). Da: a
2
1, 1, 1 ou 1 (mod 8).

14a) 5, 13, 21, 29, ..., 109 b) 104, 111, 118, ..., 198

15) m > 1, m | 252

16a) 2 2 (mod 89)
2
10
1024 45 (mod 89)
2
11
90 1 (mod 89)
2
44
1 (mod 89)
2
44
1 0 (mod 89)

89 | (2
44
1)

b) 2 2 (mod 97)
2
7
128 31 (mod 97)
2
8
62 (mod 97)
2
9
124 27 (mod 97)
2
10
54 (mod 97)
2
11
108 11 (mod 97)
2
12
22 (mod 97)
2
24
484 96 1 (mod 97)
2
48
1 (mod 97)
2
48
1 0 (mod. 41)

97 | (2
48
1)

c) 2 2 (mod 23)
2
5
32 9 (mod 23)
2
10
81 12 (mod 23)
2
11
24 1 (mod 23)
2
11
1 0 (mod. 41)

23 | (2
11
1)


43
17)
8
13
e
13
17
18)
1
12
e
2
16
19) x 12 (mod 10)

20) Este problema no tem uma nica soluo. As solues possveis so: x = 0 e y = 50 ou x = 12 e
y = 45 ou x = 24 e y = 40.

21) 4 22) 5

23a) 2 2 (mod 3)
2
2
4 1 (mod 3)
2
4
1 (mod 3)
2
8
1 (mod 3)
2
16
1 (mod 3)

Generalizando: 2
2n
1 (mod 3)

c) 2 2 (mod 7)
2
3
8 1 (mod 7)
2
9
1 (mod 7)
2
27
1 (mod 7)

Generalizando: 2
3n
1 (mod 7)

24a) So cngruos b) No so cngruos

CAPTULO III
Nmeros racionais

25a) R
1
= {(1, 0); (3, 2); (5, 4); (7, 6)}
R
2
= {(1, 2); (1, 4); (1, 6); (3, 4); (3, 6); (5, 6)}
R
3
= {(3, 0); (5, 2); (7, 4); (9, 6)}
b) R
1
: D = {1, 3, 5, 6} e Im = {0, 2, 4, 6}
R
2
: D = {1, 3} e Im = {2, 4, 6}
R
3
: D = {3, 5, 7, 9} e Im = {0, 2, 4, 6}

b) 2 2 (mod 15)
2
4
16 1 (mod 15)
2
16
1 (mod 15)
2
64
1 (mod 15)

Generalizando: 2
4m
1 (mod 15)

44
26a) R = {(10, 0); (20, 10); (50, 20); (80, 30); ..., (40 30m, 10 + 10m)}, com m N
*

b) D = {10, 20, 50, 80, ..., 40 30m}, com m N
*

c) Im = {0, 10, 20, 30, ..., 10 + 10m}, com m N
*

d) R
1
= {(0, 10); (10, 20); (20, 50); (30, 80); ..., (10 + 10m, 40 30m)}, com m N
*

27) m . n elementos

28a) R = {(1, 1); (1, 3); (2, 2); (2, 4); (3, 1); (3, 3); (4, 2); (4, 4)}
b)

c) reflexiva. simtrica. No transitiva. No antissimtrica.

29) reflexiva, simtrica e transitiva 30) reflexiva, antissimtrica e transitiva

31a) Reflexiva b) Reflexiva, Antissimtrica e Transitiva c) Reflexiva, Simtrica e Transitiva

32a) Reflexiva e Simtrica
b) Reflexiva e Antissimtrica
c) Reflexiva, Antissimtrica e Transitiva

33a) No simtrica e no transitiva. Logo, no uma relao de equivalncia.
b) reflexiva, simtrica e transitiva. Logo, uma relao de equivalncia.
c) reflexiva, simtrica e transitiva. Logo, uma relao de equivalncia.
d) No reflexiva e no transitiva. Logo, no uma relao de equivalncia.
e) No reflexiva, no simtrica. Logo, no uma relao de equivalncia.
f) reflexiva, simtrica e transitiva. Logo, uma relao de equivalncia.

34a)
1 515 1 500 + 15 15 (100 + 1) 15
= = =
3 333 3 300 + 33 33 (100 + 1) 33

b)
131 131 131 000 + 131 131 (1000 + 1) 131
= = =
999 999 999 000 + 999 999 (1000 + 1) 999

35) 2, 0, 2, 4 36a) m = 2, 0, 1 ou 3 b) m = 4

1
2
3 4

> >

45

CAPTULO IV
Operaes

37a) No associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
b) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
c) No associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
d) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.

38a) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
b) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
c) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.
d) associativa, comutativa, tem elemento neutro e tem elemento simetrizvel.

39a)
* 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6

b)
* 1 3 9 27
1 1 3 9 27
3 3 3 9 27
9 9 9 9 27
27 27 27 27 27

c)
* 0 1 2 3 4
0 0 1 2 3 0
1 1 1 2 3 0
2 2 3 0 1 2
3 3 0 1 2 3
4 0 1 2 3 4

d)

46
* 0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 1
2 0 2 1 2 0
3 0 3 2 1 0
4 0 0 0 0 0

e)
* 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 1 2 3 4

f)
* 0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 1 2 1

40a) 2 b) 2 c) 2 d) 2 e) 2

41)
* f
1
f
2
f
3
f
4

f
1
x x 1/x 1/x
f
2
x x 1/x 1/x
f
3
1/x 1/x x x
f
4
1/x 1/x x x


47
CAPTULO V
Estruturas Algbricas: Grupos

42a) no grupo, pois no tem elemento simtrico
b) no grupo, pois no tem elemento simtrico
c) grupo
d) grupo
e) no grupo, pois no tem fechamento
f) grupo

45a) grupo
b) grupo

47) um grupo abeliano

Bibliografia

AVRIZER, Hamilton [et al]. Fundamentos de lgebra. Universidade Federal de Minas Gerais. Belo
Horizonte: 2004.

DOMINGUES, Hygino H. Fundamentos de Aritmtica. So Paulo: Atual, 1991.

MILIES, Csar Polcino e COELHO, Snia Pitta. Nmeros: Uma introduo Matemtica. 3. ed. So
Paulo: Editora da Universidade de So Paulo, 2001.

SANTOS, Jos Plnio de Oliveira. Introduo Teoria dos Nmeros. s.e. Rio de Janeiro: SBM, 1998.

Notas de aulas da Universidade do Estado do Par Centro de Cincias Sociais e Educao

Notas de aulas do Prof. Dr. Luiz Gonzaga Xavier de Barros (Professor do Programa de Ps-graduao
da Uniban)

Notas de aulas da Prof. Dr. Solange Hassan Ahmad Ali Fernandes (Professora do Programa de Ps-
graduao da Uniban)

Equações Diofantinas e o Último Teorema de Fermat

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Equações Diofantinas e o Último Teorema de Fermat

Uploaded by

Copyright:

Available Formats

Professor Ccero Jos Uniban 2011

You might also like