VICE-REITORIA DE ENSINO DE GRADUAO E CORPO DISCENTE

COORDENAO DE EDUCAO A DISTNCIA

teoria dos nmeros

Conteudista
Isidorio Rodrigues Queiros

Rio de Janeiro / 2008

Todos

os direitos reservados

Universidade Castelo Branco

UNIVERSIDADE CASTELO BRANCO

Todos os direitos reservados Universidade Castelo Branco - UCB
Nenhuma parte deste material poder ser reproduzida, armazenada ou transmitida de qualquer forma ou
por quaisquer meios - eletrnico, mecnico, fotocpia ou gravao, sem autorizao da Universidade Castelo
Branco - UCB.

Un3t Universidade Castelo Branco

Teoria dos Nmeros / Universidade Castelo Branco. Rio de Janeiro: UCB,
2008. - 40 p.: il.
ISBN
1. Ensino a Distncia. 2. Ttulo.
CDD 371.39

Universidade Castelo Branco - UCB

Avenida Santa Cruz, 1.631
Rio de Janeiro - RJ
21710-250
Tel. (21) 2406-7700 Fax (21) 2401-9696
www.castelobranco.br

Apresentao

Prezado(a) Aluno(a):
com grande satisfao que o(a) recebemos como integrante do corpo discente de nossos cursos de graduao, na certeza de estarmos contribuindo para sua formao acadmica e, conseqentemente, propiciando
oportunidade para melhoria de seu desempenho profissional. Nossos funcionrios e nosso corpo docente esperam retribuir a sua escolha, reafirmando o compromisso desta Instituio com a qualidade, por meio de uma
estrutura aberta e criativa, centrada nos princpios de melhoria contnua.
Esperamos que este instrucional seja-lhe de grande ajuda e contribua para ampliar o horizonte do seu conhecimento terico e para o aperfeioamento da sua prtica pedaggica.
Seja bem-vindo(a)!
Paulo Alcantara Gomes
Reitor

Orientaes para o Auto-Estudo

O presente instrucional est dividido em trs unidades programticas, cada uma com objetivos definidos e
contedos selecionados criteriosamente pelos Professores Conteudistas para que os referidos objetivos sejam
atingidos com xito.
Os contedos programticos das unidades so apresentados sob a forma de leituras, tarefas e atividades complementares.
As Unidades 1 e 2 correspondem aos contedos que sero avaliados em A1.
Na A2 podero ser objeto de avaliao os contedos das trs unidades.
Havendo a necessidade de uma avaliao extra (A3 ou A4), esta obrigatoriamente ser composta por todo o
contedo de todas as Unidades Programticas.
A carga horria do material instrucional para o auto-estudo que voc est recebendo agora, juntamente com
os horrios destinados aos encontros com o Professor Orientador da disciplina, equivale a 60 horas-aula, que
voc administrar de acordo com a sua disponibilidade, respeitando-se, naturalmente, as datas dos encontros
presenciais programados pelo Professor Orientador e as datas das avaliaes do seu curso.

Bons Estudos!

Dicas para o Auto-Estudo

1 - Voc ter total autonomia para escolher a melhor hora para estudar. Porm, seja
disciplinado. Procure reservar sempre os mesmos horrios para o estudo.
2 - Organize seu ambiente de estudo. Reserve todo o material necessrio. Evite
interrupes.
3 - No deixe para estudar na ltima hora.
4 - No acumule dvidas. Anote-as e entre em contato com seu monitor.
5 - No pule etapas.
6 - Faa todas as tarefas propostas.
7 - No falte aos encontros presenciais. Eles so importantes para o melhor aproveitamento
da disciplina.
8 - No relegue a um segundo plano as atividades complementares e a auto-avaliao.
9 - No hesite em comear de novo.

SUMRIO

Quadro-sntese do contedo programtico ..................................................................................................

09

Contextualizao da disciplina ....................................................................................................................

11

UNIDADE I
O CONJUNTO DOS NMEROS NATURAIS N
1.1 - Consideraes sobre os postulados .....................................................................................................
1.2 - Princpio da induo finita . .................................................................................................................
1.3 - Adio em N ........................................................................................................................................
1.4 - Multiplicao em N .............................................................................................................................
1.5 - Mltiplos adio de fatores iguais ....................................................................................................
1.6 - Potncias multiplicao de fatores ...................................................................................................

13
13
16
19
21
21

UNIDADE II
O CONJUNTO Z DOS INTEIROS relativos
2.1 - Classe de equivalncia..........................................................................................................................
2.2 - Conjunto de todas as classes de equivalncia em N x N .....................................................................
2.3 - Adio em Z ........................................................................................................................................
2.4 - Multiplicao em Z . ............................................................................................................................

23
23
24
24

UNIDADE III
PROPRIEDADES DOS INTEIROS
3.1 - Divisibilidade em Z .............................................................................................................................
3.2 - Nmeros inteiros congruentes .............................................................................................................
3.3 - Equaes diofantinas lineares com duas variveis ..............................................................................

28
29
34

Glossrio ......................................................................................................................................................

39

Referncias bibliogrficas . ..........................................................................................................................

40

Quadro-sntese do contedo
programtico

UNIDADES DO PROGRAMA

I. O CONJUNTO DOS NMEROS NATURAIS N

1.1. Consideraes sobre os postulados
1.2. Princpio da induo finita
1.3. Adio em N
1.4. Multiplicao em N
1.5. Mltiplos adio de fatores iguais
1.6. Potncias multiplicao de fatores

OBJETIVOS

Construir axiomaticamente o conjunto.

II. O CONJUNTO Z dos Inteiros Relativos

2.1. Classe de equivalncia
2.2. Conjunto de todas as classes de equivalncia em
Construir atravs de uma classe de equivalncia o
NxN
conjunto z.
2.3. Adio em Z
2.4. Multiplicao em Z

III. PROPRIEDADES DOS INTEIROS

3.1. Divisibilidade em Z
3.2. Nmeros inteiros congruentes
3.3. Equaes diofantinas lineares com duas variveis

Definir divisibilidade;
Provar os teoremas;
Definir congruncias;
Provar os teoremas;
Definir equaes diofantinas;
Resolver equaes.

Contextualizao da Disciplina
Apresentamos a construo axiomtica do conjunto dos nmeros naturais, segundo G. Peano, na qual estudaremos o conjunto, tendo como primeiro elemento a unidade. A seguir, construiremos o conjunto Z dos inteiros
relativos, como o conjunto de todas as classes de equivalncia em N x N.
Algumas propriedades do conjunto Z so desenvolvidas = divisibilidade, congruncia e equaes diofantinas.

11

UNIDADE I

13

O Conjunto dos Nmeros Naturais N

Seja N f, em que se define os postulados (axiomas) de Peano, Giusep.

1.1 - Consideraes Sobre os Postulados

1) O axioma 1 estabelece que a unidade 1 seja um nmero natural.
2) O postulado 2 estabelece que todo nmero natural tenha um sucessor natural (o conjunto dos nmeros
naturais infinito).
3) O axioma 3 estabelece que a unidade 1 seja o primeiro nmero natural.
4) O axioma 4 estabelece que naturais diferentes tenham sucessores diferentes.
Assim, podemos entender o conjunto N por:

1.2 - Princpio da Induo Finita

Seja P(n) uma propriedade que depende de n N. Para provarmos que P(n) verdadeiro
o Princpio da Induo Finita, que consiste em:

n N, usaremos

1) Provar que P(1) verdadeiro, isto , provar que a propriedade verdadeira para o primeiro nmero natural.
2) Admitir que P(k) seja verdadeiro, isto , admitir que a propriedade seja verdadeira para um natural k qualquer.
3) Provar que P(k*) verdadeiro, isto , provar que a propriedade verdadeira para o sucessor de k.
Nestas condies, estaremos provando que a propriedade verdadeira
Prove por induo que:

Da hiptese da induo, temos:

n N.

14

Como queramos demonstrar ou c.q.d.

A Soma dos Cubos

Assim, temos:

Assim, temos:

15

16

VI)

n N, 2 2 n -1 divisvel por 3.
2 .1

a) P(1): 2
- 1 divisvel por 3.
b) Admitindo que P(k): 2 2 k -1 seja divisvel por 3, ento, temos 2 2 k -1 = 3 . q, q N.
c) Provar que P(k *) = 2 2 k *1 divisvel por 3.

2 2 ( k 1 ) 1 = 2 2 k 2 1 2 2 k . 2 1
1 2 2 .2 2 k 1 4 .2 2 k 1
1 4. 2 2 k 1 4 4
2k
= 4 .( 2
4) 1 4
2k
= 4 .( 2 1) 3 4 .3q 3 12 q 3 3( 4 q 1) 3 . a, a N

2 2 k* 1 -1 =

2 2k *
2 2 k*

Sendo
VII)

2 2 k * 1 3 .a , logo , divisvel por 3.

n N, n + n

divisvel por 2.

a) P(1): 1 + 1 divisvel por 2.

b) Admitindo que p(k): k + k seja divisvel por 2, ento, temos: k + k = 2 q, q
c) Prove que P(k*) =

k*

+ k* divisvel por 2.

k* + k* = (k + 1) + (k + 1) k + 2 k + 1 + k + 1 = k + k + 2 k + 1 + 1 =
k + k + 2 k + 2 =
2 q + 2 k + 2 2 (q + k + 1)
= 2 . a, a

Logo: k* + k* = 2 a

divisvel por 2.

1.3 - Adio em N

Teoremas Fundamentais
Teorema 1 Fechamento da adio em N

m, nN, (m + n) N
p(n)

a) P(1): (m + 1) N verdade.
m + 1 = m* ... verdadeiro pela def. 1 de adio, mas m N pelo postulado 2, m* N. Logo, m* = (m + 1)N
b) Admitindo que P(k) = (m + k) N seja verdadeiro.
c) Prove que P(k*) = (m + k*) N verdadeiro.
m + k* = (m + k)* ... verdadeiro pela def. 2 da adio.
Mas (m + n) N, pela hiptese de induo.
Ento, pelo postulado 2, (m + k)* N
Logo: (m + k)* = (m + k*) N def. 2 da adio.

Teorema 2 Associatividade da adio em N

m, n, p N, m + (n + p) = (m + n) + p
a) P(1): m + (n + 1) = (m + n) + 1
m + (n + 1) = m + n* ... def. 1 adio.
= (m + n)* ... def. 2 adio.
= (m + n) + 1 ... teorema 1 e def. 1 adio.
b) Admitindo que P(k) = m + (n + k) = (m + n) + k seja verdade.
c) Provar que P(k*) = m + (n + k*) = (m + n) + k* verdade.
m + (n + k*) = m + (n + k)* ...def. 2 adio.
= (m + (n + k))* ... def. 2 adio.
= ((m + n) + k)* ... hiptese de induo.
= (m + n) + k* ... def. 2 adio.
Rascunho: a + b* = (a + b)* ; logo, m + (n + k)* = (m + (n + k))*
Teorema 3 n

N, n + 1 = 1 + n

a) P(1): 1 + 1 = 1 + 1
b) Admitindo que P(k): k + 1 = 1 + k seja verdade.
c) Prove que P(k*) = k* +1 = 1 + k* verdade.
k* + 1 = (k + 1) + 1 ... def. 1 adio.
= (1 + k) + 1 ... hiptese de induo.
= 1 + (k + 1) ... teorema 2.
= 1 + k* ... def. 1 adio.
Teorema 4 Comutatividade da adio em N

m, n N, m + n = n + m
a) P(1) = m + 1 = 1 + m verdade pelo teorema 3.
b) Admitindo que P(k): m + k = k + m seja verdade.
c) Prove que P(k*) = m + k* = k* +m.
m + k* = (m + k)* ... def. 2 adio.
= (k + m)* ... hiptese de induo.
= (k + m) + 1 ... def. 1 adio.
= k + (m + 1) ... teorema 2.
= k + (1 + m) ... teorema 3.
= (k + 1) + m ... teorema 2.
= k* + m ... def. 1 adio.

Exerccios Resolvidos:
I) Prove por induo que:
1)

m, n N, m + n* = m* + n

a) P(1) = m + 1* = m* + 1
m + 1* = (m + 1)* ... def. 2 ad.

(1 + m)* teo 3 = 1 + m* def. 2 ad m* + 1 ... teo 3

Obs.: Se quisesse provar m* + 1 = (m + 1) + 1 def. 1 ad. m + (1 + 1) ... teo 2 m + 1* def. 1 ad.

b) Admitindo que P(k) = m + k* = m* + k seja verdade.
c) Prove que P(k*) = m + (k*)* = m* + k* verdade.
m + (k*)* = (m + k*)* ... def. 2 ad.
= (m* + k)* ... hiptese de induo.
= m* + k* ... def. 2 ad.

17

18

2) m, n

N, m* + n = n* + m

a) P(1): m* + 1 = 1* + m
m* + 1 = (m + 1) + 1 ... def. 1 ad.
= m + (1 + 1) ... teo 2.
= m + 1* ... def. 1 ad.
= 1* + m ... teo. 4.
Ou:
m* + 1 = 1 + m* ... teo 3.
= (1 + m)* ... def. 2 ad.
= (m + 1)* ... teo 3.
= m + 1* ... def. 2 ad.
= 1* + m ... teo 4.
b) Admi tindo que P(k) = m* + k = k* + m seja verdade.
c) Prove que P(k*) = m* + k* = (k*)* + m verdade.
m* + k* = m* + (k + 1) ... def. 1 ad.
= (m* + k) + 1 ... teo. 2.
= (k* + m) + 1 hip de induo.
= k* + (m + 1) ... teo. 2.
= k* + (1 + m) ... teo. 3.
= (k* + 1) + m ... teo. 2.
= (k*)* + m ... def. 1 ad.
Outro modo:
m* + k* = (m* + k)* ... de. 2 ad.
= (k* + m)* ... hip o de induo.
= (m + k*)* ... teo. 4..
= m + (k*)* ... def. 2 ad.
= (k*)* + m ... teo. 4.

Estudando para a Prova

3)
4)
5)

19

1.4 - Multiplicao em N

Teoremas Fundamentais
Teorema 5 Fechamento da multiplicao em N

m, n N, (m . n) N
a) P(1): (m . 1) N
mas m . 1 = m ... def. 1 multi . e m N... hiptese do teorema. Logo, (m . 1) N.
b) Admitindo que P(k): (m . k) N seja verdade.
c) Prove que P(k): (m . k*)N verdade.
m . k* = m . k + m ... def. 2 mult.
Mas (m . k) N ... hiptese de induo e m N... hiptese do teorema.
Ento, (m . k + m) N ... teo. 1.
Logo: (m . k*) N.
Teorema 6 Distribuidade da multiplicao em relao adio

m, n, p N, m . (n + p) = m . n + m . P.
a) P(1): m (n +1) = m . n + m . 1.
m (n +1) = m . n* ... def. 1 ad.
= m . n + m ... def. 2 multi.
= m . n + m . 1 ... def. 1 multi.
b) Admitindo que P(k): m (n + k) = m . n + m . k seja verdade.
c) Prove que P(k*) = m (n + k*) = m . n + m . k* verdade.
m (n + k*) = m . (n + k)* ... def. 2 ad.
= m . (n + k) + m ... def. 2 multi.
= (m . n + m k ) + m ... hip. de ind.
= m . n + (m k + m) ... teo. 2.
= m . n + m k* ... def. 2 multi.
Teorema 7 Distributividade da multiplicao em relao adio

m, n, p N, (n + p) . m = n . m + p . m
a) P(1): (n + p) . 1 = n . 1 + p . 1
(n + p) . 1 = n + p ... def. 1 multi.
= n . 1 + p . 1 ... def. 1 multi.
b) Admitindo que P(k): (n + p) k = n k + p k seja verdade.
c) Prove que P(k*): (n + p) . k* = n k* + p k * verdade.
(n + p) . k* = (n + p) . k + (n + p) ... def. 2 multi.
= n k + p k + n + p ... hip.
hipo.por
de induo.
induo.
= n k + n + p k + p ... teo. 4.
= n k* + p k* ... def. 2 multi.
Teorema 8 Associatividade da multiplicao

m, n, p N, m (n . p) = (m . n) . p.

a) P(1): m (n . 1) = (m . n) . 1.
m (n . 1) = m . n ... def. 1 multi.
= (m . n) . 1 ... def. 1 multi.
b) Admitindo que P(k): m (n . k) = (m . n) . k seja verdade.
c) Prove que P(k*) = m (n . k*) = (m . n) . k* verdade.
m (n k*) = m . (n . k + n) ... def. 2 multi.
= m . n . k + m . n ...teo. 6.

c) Prove que P(k*): (n + p) . k* = n k* + p k * verdade.

(n + p) . k* = (n + p) . k + (n + p) ... def. 2 multi.
= n k + p k + n + p ... hipo. de induo.
= n k + n + p k + p ... teo. 4.
= n k* + p k* ... def. 2 multi.

20

Teorema 8 Associatividade da multiplicao

m, n, p N, m (n . p) = (m . n) . p.
a) P(1): m (n . 1) = (m . n) . 1.
m (n . 1) = m . n ... def. 1 multi.
= (m . n) . 1 ... def. 1 multi.
b) Admitindo que P(k): m (n . k) = (m . n) . k seja verdade.
c) Prove que P(k*) = m (n . k*) = (m . n) . k* verdade.
m (n k*) = m . (n . k + n) ... def. 2 multi.
= m . n . k + m . n ...teo. 6.
= (m . n) . k + m . n ... hip. de induo.
= (m . n) . k* ... def. 2 multi.
Teorema 9

n N, n . 1 = 1 . n

a) P(1): 1 . 1 = 1 . 1
b) Admitindo que P(k): k . 1 = 1 . k seja verdade.
c) Prove que P(k*): k* . 1 = 1 . k* verdade.
k* . 1 = (k + 1) . 1 ... def. 1 ad.
= k . 1 + 1 . 1 ... teo. 7.
= 1 . k + 1 . 1 ... hip. de induo.
= 1 . (k + 1) ... teo. 6.
= 1 . k* ... def. 1 ad.
Teorema 10 Comutatividade da multiplicao

m, n N, m . n = n . m
a) P(1): m . 1 = 1 . m verdade pelo teo. 9.
b) Admitindo que P(k): m . k = k . m, seja verdade.
c) Prove que P(k*): m . k* = k* . m verdade
m . k* = m k + m ... def. 2, multi.
= k m + m hip . de induo.
= k . m + 1 . m ... def. 1 ad.
= (k + 1) . m ... teo. 7.
= k* m ... def. 1 ad.
Exerccios
8) Prove por induo que:
Exemplo:
a) m, nN, m . n* = m + m . n
a) P(1) = m . 1* = m + m . 1.
m . 1* = m . 1 + m ... def. 2 multi.
= m + m . 1 ... teo. 4.
b) Admitindo que p(k) = m . k* = m + m k seja verdade.
c) Prove que P(k*): m(k*)* = m + m k* verdade.
m(k*)* = m k* + m ... def. 2 multi.
= m + m k + m ... hip. de induo.
= m + m k* ... def. 2 multi.

1.5 - Mltiplos Adio de Fatores Iguais

1.6 - Potncias Multiplicao de Fatores

Teoremas Fundamentais

(a . b)

k*

k 1

= (a . b)
... def. 1 ad.
= (a . b) k . (a . b) 1 ... def. 2 potncia.
= a k . b k . a 1 . b 1 ... hip. de ind. e def. 1 potncia.
k

=a

. a . b k . b ... teo. 10.

= a .a . b . b ... def. 1 pot.

k 1

k 1

=a
.b
def. 2 pot.
= a k * . b k * def. 1 ad.
Teorema 12 m, n N, a

.a

mn

=a

a) P(1): a m . a 1 = a m 1
m

a .a =a

m 1

... def. 2 pot.

b) Admitindo que P(k) = a

c) Prove qu e P(k*) = a
m

a .a

k*

=a
=a
=a
=a
=a

.a

=a .a
k

.a =a

k*

k 1

=a

m k*

seja verdade.

verdade.

... def. 1 ad.

. a . a ... def. 2 pot.

mk

. a ... hip. de induo.

(m k )1
m (k 1)
mk *

... def. 2 pot.

... teo. 2.

... def. 1 ad.

Teorema 13 m, n N, (a
a) P(1): (a

mk

m 1

) =a

m n

) =a

m.n

m. 1

(a m ) 1 = a m ... def. 1 pot.

=a

m .1

... def. 1 mltiplos.

b) Admitindo que P(k): (a

m k

m k*

c) Prove que P(k*): ( a )

m k*

(a )

= (a
=a

=a

m (k 1)

= (a )

m k

mk

=a

m. k

m .k *

seja verdade.

verdade.

...def. 1 ad.

m 1

) . (a ) ... def. 2 potncia.

m

. a hip. de induo e def. 1 potncia.

21

=a
=a
=a
=a

22

mk

. a ... hip. de induo.

(m k )1
m (k 1)
mk *

... def. 2 pot.

... teo. 2.

... def. 1 ad.

Teorema 13 m, n N, (a
a) P(1): (a

m 1

) =a

m n

) =a

m.n

m. 1

(a m ) 1 = a m ... def. 1 pot.

=a

m .1

... def. 1 mltiplos.

b) Admitindo que P(k): (a

m k

m k*

c) Prove que P(k*): ( a )

m k*

(a )

= (a
=a
=a
=a

=a

m (k 1)

= (a )

=a

m. k

m .k *

seja verdade.

verdade.

...def. 1 ad.

m k

mk

) . (a m ) 1 ... def. 2 potncia.

m

. a hip. de induo e def. 1 potncia.

mk m
m .k *

... teo. 12.

... def. 2 multi.

UNIDADE II

23

O Conjunto Z dos Inteiros Relativos

Seja N x N = {(x, y) / x N e yN}.
Sobre esse conjunto, vamos definir uma relao binria, que chamamos de relao.
Definio (a, b); (c, d) N x N
(a, b) ~ (c, d) a + d = b + c
Exemplos ilustrativos:
a) (2, 5) ~ (3, 6) 2 + 6 = 5 + 3 V
b) (2, 5) ~ (2, 5) 2 + 5 = 5 + 2 V
c) (2, 5) ~ (5, 2) 2 + 2 = 5 + 5 F, ento, (2, 5) = (5, 2)

2.1- Classe de Equivalncia

2.2- Conjunto de Todas as Classes de Equivalncia

em N x N
( 1, 1 ) ( 2,1 ) ( 3,1 ) (4, 1)
( 1, 2 ) (1, 1) (2, 1) (3, 1) (4, 1) ......
( 1,3 ) (1, 2) (2, 2) (3, 2) (4, 2) ......

Existe uma simetria da parte acima e abaixo da diagonal em negrito.

( 1,4 ) (1, 3) (2, 3) (3, 3) (4, 3) ......

( 1,5 ) (1, 4) (2, 4) (3, 4) (4, 4) ......
(1, 5) (2, 5) (3, 5) (4, 5)
Chamaremos de conjunto Z dos inteiros relativos o conjunto de todos as classes de equivalncia em N x N.

Definies

24

2.3 - Adio em Z

2.4 - Multiplicao em Z

Teoremas Fundamentais
Teorema 14 Fechamento da adio em Z

Teorema 15 Comutatividade da adio em Z

hip. por absurdo.

pelo teo. 4, segue-se que vale a igualdade inicial.

Teorema 16 Associatividade da adio em Z

hip. por absurdo.

Teorema 17 Elemento neutro da adio em Z

hip. por absurdo.

25

hip. por absurdo.

inicial.

26

Teorema 22 Distributividade da multiplicao em relao adio em Z

Teorema 23 Elemento neutro da multiplicao em Z

Exerccios Resolvidos

Estudando para a Prova

4)

a Z, (-1) . (-a) = a

5) Prove por induo:

27

28

UNIDADE III
Propriedades dos Inteiros
3.1- Divisibilidade em Z
.

Ex.:

Teoremas Fundamentais

.
.

.
.
.

multi.

29

hip.
hip.
mdulos.

3.2 - Nmeros Inteiros Congruentes

30

Teoremas Fundamentais

31

uma verdade.
verdade:
Assim, temos:

32

Ex 1.:
74(34)(3
Ex71.:
)
Ex 1.: 7 4 ( 3)

77 33
711322

1 2
4
4 33
4131

1 1

1 1
3 2
Ex 2.: -3 1 ( 2 )
1
3 32 22
Ex Ex
2.:2.:
-3-311( (22))

11 2 2
12
1120

102

Sada:
Sada:

Calcule o resto da0diviso de 13

Calcule
da diviso de 13
13 ?o( 7resto
)

11

11

por 7.

por 7.

2 11
1313= 36 por
36 1 ( 7 )
13
6 (27 ) de
Calcule
da2 diviso
1313? 6( 7o)( 7 )resto
( 7 ) e 7.

Sada:

6 ( 7 ) 13 2 6 (27 ) 13 2 = 36 ( 7 ) e 36 1 ( 7 )
13 ? ( 7 )
2
13 1 ( 7 )
2
2
2
2 5
5
10
)
(13 )13=
1 6 ( 7
13 13
1 6 ( 7 ) 13 13= 236
(17 ) e 36
13

( 7)

(7)

(13 ) = 1 ( 7 ) 13
Mas: 13 6 ( 7 )
Mas: 13 6 ( 7 )

10

(7)

1 ( 7)

13 . 13

10

6 . 1 ( 7 ) 13 11 6 ( 7 ) 13

10
2 5
5
10 10
( 7 ) 13
(13 ) =131 ( 7) 1
13. 13 1 6( 7.) 1 ( 7)
10
13 1 ( 7 )

Mas: 13 6 ( 7 )

13 . 13
13

10

1 (7)

1 ( 7)

10

13

11

1 (7)

6 (7)

O resto 6
O resto 6

6 . 1 ( 7 ) 13 11 6 ( 7 )
O resto 66.

Exerccios Resolvidos

Estudando para a Prova

Ache todos os inteiros x, tais que:

33

34

Ento m (positivo) um divisor de 710.

3.3 - Equaes Diofantinas Lineares com Duas

Variveis
O tipo mais simples de equao diofantina a equao ax + by = c, onde a, b, c so inteiros.
Todo par de inteiros (x0, y0), tais que ax0+ by0 = c, diz-se uma soluo da equao ax+by = c.
Ex.:
3x + 6y = 18
So solues: (4, 1), (-6, 6), (10, -2) etc.
Existem equaes diofantinas que no tm soluo.
Tomemos, por exemplo, 2x + 4y = 7.
A equao no tem soluo, porque 2x + 4y um inteiro par, quaisquer que sejam os valores inteiros de x e
y, enquanto 7 um inteiro mpar.
Notamos que m . d . c (2, 4) = 2 e 2 no divide 7.
Notamos que a condio de existncia da soluo da equao ax + by = c : mdc (a, b) = d e d/c.
As solues da equao ax + by = c, so dados por:

35

36

Estudando para a Prova

9) Exprimir 100 como soma de dois inteiros positivos de modo que o primeiro seja divisvel por 7 e o segundo
seja divisvel por 11.
a + b = 100

10) Determine o menor inteiro x, tal que:

11)
12)
13)
14)
15)

16)

37

17)
a)
18) Resolva:

19)
20)

Obs.: Como h muitas demonstraes e exemplos, no colocamos o gabarito.

38

Se voc:
1)
2)
3)
4)

concluiu o estudo deste guia;

participou dos encontros;
fez contato com seu tutor;
realizou as atividades previstas;

Ento, voc est preparado para as

avaliaes.
Parabns!

Glossrio
Axiomas (postulado) - sentena que no provada e considerada como verdadeira.
G. Peano - matemtico italiano.
Teorema - afirmao que carece de uma demonstrao.

39

40

Referncias Bibliogrficas
ALENCAR FILHO, Edgar. Teoria elementar dos nmeros. 3 ed. So Paulo: Ed. Blucher, 1992.
AYRES, Frank. lgebra Linear. So Paulo: Mcgraw-Hill, 1974. Coleo Schaum.
MONTEIRO, Luiz Henrique Jacy. Elementos da lgebra. Rio de Janeiro: Ao Livro Tcnico, 1971.
OLIVEIRA, Jos Plnio. Introduo teoria dos nmeros. 2 ed. Rio de Janeiro: IMPA, 2000.