Você está na página 1de 131

publicao do departamento de matemtica

da universidade do minho

publicado pelo departamento de matemtica


da universidade do minho
campus de gualtar, 4710-054
braga, portugal

primeira edio, Fevereiro 2009

ISBN 978-972-8810-15-3

nmero dezassete

matemtica discreta
paula marques smith
paula mendes martins

Do not worry about your diculties in mathematics.


I assure you that mine are greater.
Albert Einstein

O plano curricular do 1o Ciclo de Matemtica e do 1o Ciclo de Cincias de Computao


da Universidade do Minho prev que a unidade curricular (uc) Matemtica Discreta seja
leccionada no 2o semestre, com uma escolaridade semanal de duas horas tericas e trs horas
terico-prticas. O programa desta unidade curricular contempla um estudo introdutrio da
Teoria de Grafos e da Teoria de Nmeros. O objectivo da unidade curricular Matemtica
Discreta familiarizar os alunos com conceitos e resultados bsicos da Teoria de Grafos
e da Teoria de Nmeros. Mais concretamente, esperamos que com o aproveitamento em
Matemtica Discreta os alunos

apliquem o Algoritmo de Euclides para o clculo do m.d.c. de dois inteiros


resolvam equaes diofantinas
apliquem critrios de primalidade
identiquem nmeros congruentes mdulo n e propriedades desta relao
resolvam congruncias lineares e sistemas de congruncias lineares
identiquem e caracterizem classes de grafos.
Para alm destes objectivos especcos de aprendizagem, a unidade curricular Matemtica
Discreta tem tambm objectivos gerais, igualmente importantes na formao do aluno:

Ajudar o aluno a raciocinar com correco e segurana;


Desenvolver capacidades de apresentao dos seus raciocnios de forma organizada e
clara;
v

Levar o aluno a compreender a importncia do rigor no estudo das matrias;


Fomentar o trabalho individual e em grupo;
Estimular o esprito crtico do aluno.
O presente livro um texto de apoio unidade curricular Matemtica Discreta e tem
assim o objectivo de ser uma apresentao simples, mas cuidada, de conceitos e resultados
bsicos da Teoria de Grafos e da Teoria de Nmeros. Ao longo do texto so apresentados
bastantes exemplos que devero ser vericados e explorados pelo aluno. As demonstraes
devero ser encaradas como parte fundamental da aprendizagem: importante que o aluno
as entenda no com o objectivo de as reproduzir posteriormente mas antes com a nalidade de adquirir experincia e destreza na construo de provas. Dentro de cada captulo,
as seces terminam com exerccios. Incitamos os alunos a resolv-los: no se aprende
matemtica sem resolver problemas! Os de ndole mais prtica e de resoluo de certo
modo mecanizada desenvolvero no aluno tcnicas bsicas e ajud-lo-o a perceber e a
interiorizar os conceitos. Exerccios de natureza mais terica, para alm do desao que constituem, so um contributo essencial na aprendizagem da construo de argumentos e na
organizao dos mesmos.
Os conceitos e os resultados tericos estaro sempre, neste e noutros livros semelhantes,
disposio do aluno. A nossa esperana que, acompanhado pelo empenho do aluno
no processo de aprendizagem, este trabalho consiga ajud-lo a resolver algumas das suas
diculdades em matemtica.
Paula Marques Smith
Paula Mendes Martins
Fevereiro de 2009

vi

Contedo

1 introduo teoria de grafos


1.1
1.2

1.3

1.4

1.5

alguns problemas histricos . . . . . . . . . . . . . . . . . . . . . . . . . .


conceitos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 incidncia e adjacncia . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2
1.2.3
1.2.4
1.2.5
1.2.6
grafos
1.3.1
1.3.2
grafos
1.4.1
1.4.2
1.4.3
1.4.4
1.4.5
grafos
1.5.1
1.5.2
1.5.3

caminhos . . . . . . . . . . . . .
subgrafos . . . . . . . . . . . . .
alguns grafos especiais . . . . . .
grau de um vrtice . . . . . . . .
Exerccios . . . . . . . . . . . .
conexos . . . . . . . . . . . . . .
rvores . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . .
planares . . . . . . . . . . . . . .
frmula de Euler . . . . . . . . .
a no planaridade de K5 e K3,3 .
Teorema de Kuratowski . . . . .
grafos platnicos . . . . . . . . .
Exerccios . . . . . . . . . . . .
eulerianos e grafos hamiltonianos
grafos eulerianos . . . . . . . . .
grafos hamiltonianos . . . . . . .
Exerccios . . . . . . . . . . . .

vii

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1
5
8
10
11
13
15
16
22
23
25
26
28
29
32
35
39
41
41
45
47

contedo
1.6

1.7

nmero cromtico . . . . . . . . . . . . . .
1.6.1 a colorao dos vrtices de um grafo
1.6.2 Exerccios . . . . . . . . . . . . . .
Exerccios de reviso . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

2 introduo teoria de nmeros


2.1

2.2

2.3
2.4

2.5
2.6

49
49
52
52

55

teoria da divisibilidade nos nmeros . . . . . . .


2.1.1 algoritmo da diviso . . . . . . . . . . .
2.1.2 mximo divisor comum . . . . . . . . .
2.1.3 nmeros primos entre si . . . . . . . . .
2.1.4 o algoritmo de Euclides . . . . . . . . .
2.1.5 mnimo mltiplo comum . . . . . . . . .
2.1.6 Exerccios . . . . . . . . . . . . . . . .
nmeros primos . . . . . . . . . . . . . . . . .
2.2.1 teorema fundamental da aritmtica . . .
2.2.2 Exerccios . . . . . . . . . . . . . . . .
equaes diofantinas . . . . . . . . . . . . . . .
2.3.1 Exerccios . . . . . . . . . . . . . . . .
congruncias mdulo n . . . . . . . . . . . . .
2.4.1 conceitos e resultados bsicos . . . . . .
2.4.2 critrios de divisibilidade . . . . . . . . .
2.4.3 congruncias lineares . . . . . . . . . .
2.4.4 Exerccios . . . . . . . . . . . . . . . .
sistemas de congruncias lineares . . . . . . . .
2.5.1 Exerccios . . . . . . . . . . . . . . . .
alguns teoremas relevantes na teoria de nmeros
2.6.1 Pequeno Teorema de Fermat . . . . . .
2.6.2 Teorema de Euler . . . . . . . . . . . .
2.6.3 Teorema de Wilson . . . . . . . . . . .
2.6.4 Exerccios . . . . . . . . . . . . . . . .

Bibliograa

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

55
55
58
62
64
66
68
71
71
78
79
82
84
84
90
93
97
101
110
111
111
114
117
120

123

viii

1. introduo teoria de grafos

As the island of knowledge grows, the surface


that makes contact with mystery expands.
W. Mark Richardson

Um grafo uma coleco de vrtices (tambm chamados ns) e de arestas, cada uma
das quais liga dois ns. Para visualizar um grafo, podemos pensar nos ns como pontos do
espao, do plano ou de qualquer outra superfcie e representar as arestas por linhas ligando
os ns. Esta representao no nica. A nica caracterstica importante de um grafo a
incidncia de ns e arestas. Todos os elementos de um grafo podem sofrer continuamente
deslocaes ou deformaes, continuando, no entanto e sempre, a representar o mesmo
grafo, i.e., a mesma coleco de ns e de arestas.

1.1 alguns problemas histricos


Frequentemente, a resoluo de um problema concreto, numa qualquer rea do conhecimento, encontrada recorrendo teoria de grafos. Como veremos nos quatro problemas
que de seguida se enunciam, o procedimento para obter uma soluo do problema o
seguinte: comeamos por construir um grafo que seja um modelo matemtico do problema.
Recorrendo Teoria de Grafos resolvemos, de seguida, o problema terico e abstracto do
grafo que construmos e, nalmente, interpretamos, nos termos do problema real, a soluo
encontrada.
Nesta seco do curso, apresentamos quatro problemas histricos e construmos os grafos
que os modelam. A resoluo dos problemas ser discutida nas seces seguintes.

As sete pontes de Knigsberg. A cidade de Knigsberg (hoje Kaliningrad na Rssia)


atravessada pelo rio Pregel e tinha, no sculo XVIII, duas ilhas ligadas entre si e s duas
margens do rio por sete pontes.

introduo teoria de grafos

Conta a histria que os habitantes da cidade caminhavam tradicionalmente ao domingo


pela cidade, tentando encontrar um caminho que permitisse passear pela cidade atravessando
todas as pontes uma s vez. Tendo tido diculdade em encontrar tal caminho, apresentaram,
numa carta, o problema ao matemtico suo Leonard Euler (1707-1783). Em 1736, Euler
provou que o caminho pretendido no existia!
A tcnica de Euler para resolver o problema consistiu basicamente em considerar o mapa
de Knigsberg e "transform-lo"naquilo a que hoje chamamos um grafo, no qual as margens
do rio e as ilhas so consideradas os vrtices do grafo, estando estes ligados por arestas do
mesmo modo que as margens e as ilhas estavam ligadas pelas pontes. O grafo de Euler
tinha o seguinte aspecto:

O problema das quatro cores. Este famoso teorema particularmente interessante


porque um exemplo de um problema em matemtica que extremamente fcil de expor

introduo teoria de grafos


mas tambm extremamente difcil de resolver.
O resultado foi conjecturado inicialmente em 1852 quando Francis Guthrie, ao tentar
colorir o mapa das provncias de Inglaterra de acordo com aquela regra, reparou que apenas
necessitava de quatro cores diferentes. Nessa altura, Fredrick Guthrie, seu irmo e aluno
de Augustus De Morgan, colocou a questo a este ltimo, que entretanto, escreveu a
Arthur Cayley, a expor o problema. Foi Cayley quem publicou pela primeira vez o problema,
atribuindo os crditos a De Morgan.
Assistiu-se desde ento a vrias tentativas de provar o resultado. Uma demonstrao" foi
apresentada por Alfred Kempe in 1879. No entanto, Percy Heawood provou, em 1890, que
a demonstrao" de Kempe estava incorrecta. Mais ainda, Heawood provou que todos os
grafos planares podam ser coloridos com pelo menos cinco cores.
Em 1 de Abril de 1975, Martin Gardner elaborou um mapa de 110 regies, armando
serem precisas exactamente 5 cores para o colorir.

Confrontado posteriormente com a colorao desse mesmo mapa com apenas 4 cores,
Gardner respondeu que aquele mapa era apenas uma brincadeira prpria do dia em que foi
apresentado.
Foi j em 1976 que surgiu a primeira demonstrao do resultado. No entanto, esta
demonstrao era computacional e no matemtica. Appel e Haken, usando a informtica,
estudaram 1476 casos distintos de regies e provaram que qualquer outro mapa se reduz a um
daqueles. Em 1994, simplicando a demonstrao de Appel e Haken, Seymour, Robertson,
Sanders e Thomas reduziram o nmero de mapas distintos de 1476 para 633.

introduo teoria de grafos


A resoluo do problema passa por construir um grafo a partir do mapa dado, criando
um vrtice para cada pas do mapa e ligando dois vrtices por arestas sempre que os pases
que esses vrtices representam partilham uma fronteira.

O problema do rei com cinco lhos. Este problema foi apresentado pelo matemtico
alemo August F. Mbius (1790-1868) por volta do ano de 1840 e consiste no seguinte:
Havia um rei que tinha cinco lhos. No seu testamento determinou que, aps a sua morte,
os lhos dividiriam o seu reino em cinco provncias de tal modo que cada provncia zesse
fronteira com cada uma das restantes. O rei determinou ainda que os lhos ligassem as
capitais de cada provncia por estradas, de tal modo que duas quaisquer dessas estradas
no se intersectassem. O problema que se coloca o de saber se possvel cumprir as
determinaes do rei! Tal como nos problemas anteriores, comeamos por construir um
grafo que traduza o problema enunciado: os vrtices do grafo correspondem s capitais das
cinco provncias e as arestas s estradas que as ligam. Traduzido em termos de grafos,
o primeiro desejo do rei consiste em desenhar um grafo com cinco vrtices, no qual dois
quaisquer vrtices so adjacentes. Ainda em termos de grafos, a segunda vontade do rei
prende-se com o problema de construir aquele grafo de tal modo que ele seja planar (i.e., de
tal modo que duas quaisquer arestas no se cruzam no plano). Prova-se que a construo
de um tal grafo no possvel. Assim, a segunda vontade do rei no pode ser cumprida!

LHHH

b
L H
A b L
A bb
A b L
A

bL

O problema das trs casas. A origem deste problema no conhecida mas sabe-se que
foi pela primeira vez referido em 1913 pelo matemtico Henry Ernest Dudeney (1857-1930).
O problema envolve a ligao de cada uma de trs casas s redes de gua, de electricidade
e de gs, sem que qualquer uma das ligaes se cruze. O grafo que modela este problema
designa-se por K3,3 e o seguinte:

introduo teoria de grafos

X
HXX

HHXX HHH

HH
HH
X

H
XXX
H

XXH
HH

XH

Os vrtices do grafo correspondem s trs casas e s trs redes de abastecimento e as


arestas s ligaes entre as casas e as redes. Do ponto de vista dos grafos, o problema
consiste em saber se o grafo K3,3 planar. Tal como no problema anterior, prova-se que
tal grafo no planar pelo que as ligaes pretendidas no se podem efectuar!
A resoluo dos dois ltimos problemas revelou-se fundamental na caracterizao dos
grafos planares, estabelecida pelo matemtico polaco Kazimierz Kuratowski (1896-1980) em
1930.

1.2 conceitos bsicos


Um grafo uma representao de um conjunto de pontos e do modo como eles esto
ligados. Aos pontos de um grafo chamamos vrtices e s ligaes (que representamos por
linhas) chamamos arestas. Essa representao pode ser feita de vrias formas. De seguida
apresentamos 3 formas diferentes de representao de um mesmo grafo.

@ c
@

@
@
@
@

@
@

Podemos considerar vrios tipos de grafos, de acordo com o nmero de arestas que ligam
dois vrtices e/ou a existncia de uma orientao de arestas. Em alguns casos possvel
os conceitos serem formalizados atravs da Teoria de Conjuntos. o caso dos conceitos de
grafo simples e de digrafo.

Denio 1.1 Um grafo simples um par ordenado G = (V, E) no qual V um conjunto


no vazio e E um conjunto de subconjuntos de V com exactamente dois elementos. Aos
elementos de V chamamos vrtices e aos elementos de E chamamos arestas.

introduo teoria de grafos


O conjunto dos vrtices no tem que ser necessariamente nito. Podem considerar-se
grafos com um conjunto numervel de vrtices. No nosso curso estudaremos apenas grafos
com um nmero nito de vrtices.

Exemplo 1.1 O grafo


d

@ c
@

simples. De facto, V = {a, b, c, d} e E = {{a, b}, {b, c}, {c, d}}.

Tendo em conta a denio, dois grafos G = (V, E) e G0 = (V 0 , E 0 ) so iguais se


V = V 0 e E = E0.

Observaes: 1 - Existem representaes aparentemente"diferentes de um mesmo grafo.


Numa representao de um grafo, o importante o nmero de vrtices, o nmero de arestas
e o modo como estas se dispem em relao queles. Por exemplo, o grafo do Exemplo 1.1
pode ser representado por

"
" d

"

"

"
"
c

"

"
"
" b

"

ou

"
a

2 - Uma mesma representao pode descrever grafos que, por denio, so distintos. Por
exemplo, a descrio

introduo teoria de grafos

tanto pode representar o grafo G1 = (V1 , E1 ), onde

V1 = {a, b, c, d} e E1 = {{a, b}, {b, c}, {c, d}} ,


como o grafo G2 = (V2 , E2 ), onde

V2 = {1, 2, 3, 4} e E2 = {{1, 2}, {2, 3}, {3, 4}} .


Vamos abusar da linguagem"e armar que G1 e G2 so o mesmo grafo. Neste curso, no
distinguiremos grafos que diferem apenas na natureza dos seus vrtices.
Um digrafo no mais do que um grafo simples no qual consideramos a orientao das
arestas. Assim,

Denio 1.2 Chama-se digrafo a um par G = (V, E) onde V um conjunto no vazio e


E V V . Aos elementos de V chamamos vrtices e aos elementos de E , arestas.
Da denio de digrafo resultam algumas observaes pertinentes:
1 - Por denio, as arestas de um digrafo so um par ordenado. Assim, dados dois
vrtices distintos a e b, as arestas (a, b) e (b, a) so distintas.
2 - Para cada vrtice a, o par (a, a) uma aresta.
Na representao de um digrafo, uma aresta (a, b) representada por uma linha orientada. Em particular, para cada vrtice a, a aresta (a, a) representada por um lacete
orientado.

Exemplo 1.2 O digrafo G = (V, E), onde


V = {a, b, c, d}
e

E = {(a, a), (a, b), (b, a), (b, c), (c, d), (d, c)},
pode ser representado por

introduo teoria de grafos

: c X
yXX

XXX


X
9
d
: b

9
.
a
7

Um multigrafo (respectivamente, multidigrafo) um grafo no qual se admite a existncia


de mltiplas arestas (respectivamente, arestas orientadas) entre dois vrtices .
No caso de um multigrafo (respectivamente, multidigrafo) no faz sentido representar
as arestas custa dos vrtices, pois h ambiguidade, uma vez que dois vrtices podem estar
ligados por mais do que uma aresta (respectivamente, mais do que duas arestas orientadas).

Exemplo 1.3 O grafo

* b

@
I

d
>
#
#
#
#
#
#
#
#
#
#
#
=
=
c #

um multidigrafo com 4 vrtices.


Neste curso estudaremos sobretudo os grafos simples. No havendo ambiguidade e se
nada for dito em contrrio, referirmo-nos-emos aos grafos simples apenas como grafos.

1.2.1

incidncia e adjacncia

Seja G = (V, E) um grafo com n vrtices e m arestas (n N e m N0 ). Para melhor


facilitar a escrita, consideremos V = {vi : 1 i n} e E = {ej : 1 j m}.

Denio 1.3 Diz-se que ej E incidente a vi V se existe vk V tal que aresta ej


liga os vrtices vi e vk .

Denio 1.4 Uma matriz [aij ] Mnm (Z} diz-se uma matriz de incidncia de G se
(

ai j =

se ej no incidente a vi

se ej incidente a vi

introduo teoria de grafos


Exemplo 1.4 Seja G = (V, E) o grafo onde V = {a, b, c, d} e E = {{a, b}, {b, c}, {c, d}}.
Considerando v1 = a, v2 = b, v3 = c, v4 =
obtemos a matriz de incidncia

M =
0

d, e1 = {a, b}, e2 = {b, c} e e3 = {c, d},

0 0

1 0

.
1 1

0 1

Observemos que temos 4 linhas, pois existem 4 vrtices, e 3 colunas, correspondentes s 3


arestas.

Denio 1.5 Dois vrtices vi e vj de G dizem-se adjacentes se existe uma aresta em G


incidente a ambos.

Denio 1.6 Diz-se que uma matriz [aij ] Mnn (Z} uma matriz de adjacncia de G
se

(
ai j =

Exemplo 1.5 A matriz

se vi e vj no so adjacentes

se vi e vj so adjacentes

0 1 0 0

1 0 1 0

M =

0 1 0 1

0 0 1 0
uma matriz de adjacncia do grafo do exemplo anterior. Observemos que esta matriz,
sendo de adjacncia, uma matriz quadrada. Como estamos perante um grafo simples, a
matriz simtrica e a diagonal preenchida por zeros.
Dado um grafo, a construo de uma matriz de incidncia (ou de adjacncia) depende da
ordem pela qual se consideram os vrtices e as arestas. Assim, o mesmo grafo admite vrias
matrizes de incidncia e de adjacncia. No entanto, duas quaisquer matrizes de incidncia
(ou de adjacncia) de um mesmo grafo so semelhantes, pois uma obtm-se da outra por
troca de linhas e/ou colunas.

introduo teoria de grafos


1.2.2

caminhos

Grande parte da Teoria de Grafos envolve sequncias especiais de vrtices. Nesta seco,
apresentamos as mais relevantes.

Denio 1.7 Um caminho de um grafo G uma sequncia de vrtices de G no qual dois


vrtices sucessivos denem uma aresta. Representa-se um caminho por hv1 , v2 , . . . , vn i,
onde v1 , v2 , ..., vn so vrtices de G. Ao primeiro vrtice da sequncia chamamos origem
do caminho ou vrtice inicial e ao ltimo vrtice, chamamos destino do caminho ou vrtice
nal.
Por conveno, chama-se caminho trivial sequncia hai, onde a V .

Exemplo 1.6 No grafo


a

\ @

@
c a \
d

\
a
@

aa
\
@ a
e
f

ha, b, d, f, c, e, f, bi um caminho de a a b.

Observao. Um caminho pode ser tambm denido como uma sequncia de arestas na
qual quaisquer duas arestas sucessivas tm um vrtice em comum.

Exemplo 1.7 No grafo


a

e1

\
@ e2

@
\

e
11

@
\

@
10
\
e7
e9
ca
d
e8

\
a
@ aa e6 \

aa
@

e5
aa \
@
e3
aa
\
@
e
f
e4

o caminho ha, b, d, f, c, e, f, bi pode tambm ser representado por he1 , e2 , e3 , e6 , e5 , e4 , e9 i.

Denio 1.8 Chama-se comprimento de um caminho ao nmero de arestas que denem


esse caminho.

Exemplo 1.8 O caminho apresentado no Exemplo 1.6 tem comprimento 7.


10

introduo teoria de grafos


Denio 1.9 Chama-se caminho elementar a um caminho onde nenhum vrtice repetido.
Exemplo 1.9 O caminho apresentado no Exemplo 1.6 no elementar. No mesmo grafo,
o caminho ha, f, d, bi um caminho elementar.

Denio 1.10 Um caminho simples ou atalho um caminho sem arestas repetidas.


Exemplo 1.10 O caminho apresentado no Exemplo 1.6 um atalho. Neste grafo, o caminho ha, b, d, f, c, e, f, c, e, bi no um atalho.

Denio 1.11 Um circuito um caminho no qual o vrtice inicial coincide com o vrtice
nal.

Exemplo 1.11 No grafo do Exemplo 1.6, o caminho hf, c, e, f i um circuito.


Denio 1.12 Um circuito simples um caminho que , simultaneamente, circuito e
atalho.

Denio 1.13 Um ciclo um circuito simples, no trivial, onde no h repetio de


vrtices com a excepo dos vrtices inicial e nal.

1.2.3 subgrafos
Denio 1.14 Um subgrafo de um grafo G = (V, E) um grafo G0 = (V 0 , E 0 ) onde
V 0 V e E0 E.

Exemplo 1.12 O grafo

HHH

A
A

subgrafo do grafo
H
L HHH

b L
A b L
A bb
A b L
A
bL

11

introduo teoria de grafos


Exemplo 1.13 O grafo

no subgrafo do grafo

Exemplo 1.14 Seja G = (V, E) onde


V = {a, b, c, d} e E = {{a, b}, {b, d}, {c, d}, {b, c}, {a, c}} .
O par (V 0 , E 0 ) onde V 0 = {a, c} e E 0 = {{a, c}, {b, d}} no um subgrafo de G.

Denio 1.15 Sejam G = (V, E) um grafo e V 0 V . Chama-se subgrafo de G induzido


por V 0 ao grafo G0 = (V 0 , E 0 ) onde

E 0 = {vi , vj } E : vi , vj V 0 .

Exemplo 1.15 Dado o grafo


d
LHHH

c
b L
b
A b

A
LL
A b
b

o subgrafo induzido por {a, b, c, e}

A bb
A

b
A b

12

introduo teoria de grafos


1.2.4 alguns grafos especiais
Nesta seco apresentamos alguns grafos que, por terem caractersticas prprias, merecem
destaque especial.

Denio 1.16 Um grafo trivial um grafo G = (V, E) onde #V = 1 e #E = 0.


Denio 1.17 Um grafo nulo um grafo G = (V, E) onde #E = 0.
Denio 1.18 Seja n 3. Um grafo com n vrtices e n arestas diz-se um grafo ciclo
de comprimento n se as n arestas denirem um ciclo. Um grafo ciclo de comprimento n
representa-se por Cn .

Exemplo 1.16 O grafo C4 pode ser representado por

Denio 1.19 Seja n 1. Um grafo com n + 1 vrtices e n arestas diz-se um grafo linha
de comprimento n se dois dos vrtices so adjacentes a um e um s vrtice e todos os outros
so adjacentes a dois e s dois vrtices. O grafo linha de comprimento n representa-se por
Pn .

Exemplo 1.17 O grafo linha de comprimento 4, P4 pode ser representado por

Denio 1.20 Um grafo completo um grafo no qual dois quaisquer vrtices so adjacentes. Um grafo completo com n vrtices representa-se por Kn .

Exemplo 1.18 Para n = 1, 2, 3, 4, 5, os grafos completos so:


K1

K2

K3

K4

K5

H
L HHH

A
@
b

L
A b L
A
@
A bb

A
@
A b L
A

bL

13

introduo teoria de grafos

Um raciocnio indutivo mostra que o grafo completo Kn tem

n
2

!
arestas.

A proposio seguinte caracteriza os subgrafos de um grafo completo que so por si


grafos completos.

Proposio 1.1 Sejam m, n N. Ento Km subgrafo de Kn se e s se m n.


Demonstrao: Trivial.

Denio 1.21 Um grafo G = (V, E) diz-se grafo bipartido se existir uma partio {X, Y }
de V de tal modo que cada vrtice de X adjacente apenas a vrtices de Y e cada vrtice
de Y adjacente apenas a vrtices de X .

Exemplo 1.19 Os dois grafos seguintes so bipartidos

Ce C
Ce
C

C e C
C e C
e
C

Ab
A bb
A b
A
b

O seguinte resultado uma caracterizao importante dos grafos bipartidos.

Proposio 1.2 Um grafo G bipartido se e s se no admite ciclos de comprimentos


mpar.

Demonstrao: Sejam G = (V, E) e {X, Y } uma partio de V de tal modo que cada
vrtice de X adjacente apenas a vrtices de Y e cada vrtice de Y adjacente apenas a
vrtices de X . Seja C = hv1 , v2 , . . . , vn , v1 i um ciclo de G. Se v1 X , ento, v2 Y ,
v3 X , ..., v2k+1 X , v2k Y , ... Como vn Y , conclumos que n par. Logo, o
comprimento de C par.
Reciprocamente, se G = (V, E) apenas tem ciclos de comprimento par, denimos a
partio {X, Y } estabelecendo que vrtices adjacentes pertencem a classes de partio
diferentes.

14

introduo teoria de grafos


Denio 1.22 Um grafo bipartido completo um grafo bipartido G = (V, E) tal que,
para a partio {X, Y } de V da denio, cada vrtice de X adjacente a todos os vrtices
de Y (e, portanto, cada vrtice de Y adjacente a todos os vrtices de X ). Representa-se
um grafo bipartido completo por Km,n onde #X = m e #Y = n com m n.

Exemplo 1.20 Os grafos K2,3 e K3,3 so representados, respectivamente, por


a
!
%e aa !! %e
!
a
%
e
% !
e! aa
% aa e
% !! e
aa
%!
e%
e
!

P
QP

Q
Q PPP
Q
Q P
Q
Q P

Q
PP
Q
Q

PP

Q
P
Q

Q
P

Facilmente se conclui que, dados m, n N com m n, o grafo bipartido completo


Km,n tem mn arestas.

Proposio 1.3 Sejam m, n, p, q N tais que m n e p q . Ento Km,n subgrafo de


Kp,q se e s se m p e n q .

Demonstrao: Trivial.

1.2.5 grau de um vrtice


Denio 1.23 Sejam G = (V, E) um grafo e v V . Chama-se grau (ou valncia) de v ,
e representa-se por grau(v), ao nmero de arestas incidentes a v .

Exemplo 1.21 No grafo completo K6 todos os vrtices tm grau 5.


Exemplo 1.22 No grafo bipartido completo K2,3 existem dois vrtices com grau 3 e trs
vrtices com grau 2.

Observaes. 1. O grau de um vrtice pode ser obtido da matriz de incidncia somando


todas as entradas referentes linha correspondente a esse vrtice.
2. O grau de um vrtice pode tambm ser obtido da matriz de adjacncia somando
todas as entradas referentes linha (ou coluna) correspondente a esse vrtice.
O prximo resultado fundamental para todo o estudo que faremos nas prximas seces.

15

introduo teoria de grafos


Teorema 1.1 Num grafo G = (V, E) a soma dos graus de todos os vrtices o dobro do
nmero de arestas.

Demonstrao: (Por induo sobre o nmero de arestas)


Seja P (n) a armao:
A soma dos graus de todos os vrtices de um grafo com n arestas 2n.
Passo 1. Suponhamos que o grafo no tem arestas. Ento, cada vrtice tem grau 0 e,
portanto, a soma dos graus 0 = 2 0. Ento, P (0) verica-se.
Passo 2. Seja k N0 . Suponhamos que a armao P (k) verdadeira. Queremos
provar que P (k + 1) verdadeira.
Seja G = (V, E) um grafo com k + 1 arestas. Consideremos G0 um subgrafo de G
com os mesmos vrtices de G mas com menos uma aresta, digamos, {a, b} (com a, b V ).
Ento, G0 tem k arestas e, portanto, por hiptese de induo, a soma dos graus de todos
os vrtices de G0 2k . Para obter G de G0 juntamos"a aresta {a, b}. Assim, o grau de a
aumentado em 1 e o grau de b aumentado em 1. Logo, a soma dos graus de todos os
vrtices de G 2k + 1 + 1 = 2(k + 1).
Tendo em conta os passos 1 e 2 e o Princpio de Induo Natural, provamos que P (n)
verdadeira para todo n N0 .

Este Teorema tambm conhecido pelo Teorema do aperto de mos. De facto, se um


grupo de pessoas derem apertos de mo, o nmero de mos apertadas o dobro do nmero
de apertos.

Corolrio 1.1 Em qualquer grafo, o nmero de vrtices de grau mpar par.


Demonstrao: Trivial, tendo em conta que, se G = (V, E) um grafo com n arestas,
X
grau(v) impar

grau(v) +

grau(v) =

grau(v) par

grau(v) = 2n.

vV

1.2.6

Exerccios

Exerccio 1.2.1. Escreva uma descrio formal de cada um dos seguintes grafos:

16

introduo teoria de grafos

@
@

H
JH
S
H


J H
S
J HHS
H
S

H
J

S HH

J
S H

H
J
S H

S
J
H

S
HH

H
H S
HHS

S
H

S HH

S H

H
S H
H
S

a
!
%e aa !! %e
aa%
% !
e!!
a e
% !! e
% aa e
aa
%!
e%
e
!

Exerccio 1.2.2. Determine as matrizes de incidncia e de adjacncia de cada um dos grafos


apresentados no exerccio anterior.
Exerccio 1.2.3.

(a)
1

Desenhe um grafo que tenha como matriz de adjacncia a matriz

1 1 1
0 0 1 1

0 0 1 1
0 1 0

(b)
;
.

1 0 1
1
1
0
0

0 1 0
1 1 0 0

Exerccio 1.2.4. Desenhe um grafo que tenha como matriz de incidncia a matriz

1 0 1 1

1 0 1 1 0

0 1 1 0
0 1 0 1 1

(a)
(b) 1 1 0 0 .
;
1 1 0 0 0

0 0 0 1

0 0 1 0 1
0 0 0 0
Exerccio 1.2.5. Considere o seguinte grafo G.

17

introduo teoria de grafos


a

@
@

@
@

@
@
@
@

(a) Indique um caminho de a a h que no seja simples.


(b) Indique um caminho simples de a a h que no seja elementar.
(c) Indique um caminho elementar de a a h.
(d) Indique um circuito de G que no seja ciclo.
(e) Indique um ciclo de G de comprimento 7.
(f) Verique se os seguintes grafos so subgrafos de G:
(i) G1 = ({a, b, e, f }, {{a, b}, {a, e}, {a, f }, {e, f }}).
(ii) G2 = ({a, b, d, g, h}, {{a, b}, {a, d}, {b, g}, {d, g}, {g, h}}).
(iii) G3 = ({a, c, d, e, f }, {{a, c}, {a, e}, {c, d}, {e, f }}).
(g) Determine o subgrafo de G induzido por cada um dos subconjuntos de vrtices
seguintes:
(i) {a, b, c, d, e};
(ii) {b, c, e, f, g};
(iii) {b, c, e}.
Exerccio 1.2.6. Seja G = (V, E) um grafo. Um subgrafo de vrtice eliminado um subgrafo G0 = (V 0 , E 0 ) induzido de G onde V 0 = V \{v}, para algum v V . Represente
os subgrafos de vrtice eliminado de:

(a)

HH

HH

18

introduo teoria de grafos

(b)
(c) K5 ;

Z
A Z
A Z
Z

A
Q
Q
Q
A

Q A
QQA

QA

(d) K2,3 .
Exerccio 1.2.7. Considere o grafo de Petersen aqui representado.
"

"b
b

b
"
b

L
B
l B,

L
l,

L
,lB
T
L
L
T

"
PP

Determine:
(a) um caminho simples de comprimento 5;
(b) um caminho elementar de comprimento 9;
(c) ciclos de comprimento 5, 6, 8 e 9.
Exerccio 1.2.8. Sejam G = (V, E) um grafo e a e b dois vrtices distintos em V . Mostre
que se existe um caminho entre a e b ento existe um caminho elementar entre a e b.
Exerccio 1.2.9.

(a) Considere o grafo

g
f

d PP

A
A

PP
PP
e

(i) Determine dois caminhos elementares distintos de f a k .


(ii) Determine um ciclo com vrtices usados na alnea anterior.

19

introduo teoria de grafos


(b) Seja G = (V, E) um grafo e x, y V . Mostre que, se existem dois caminhos
elementares distintos entre x e y , ento, G admite um ciclo.
Exerccio 1.2.10. Sejam G = (V, E) um grafo e u, v V . Seja d(u, v) denido por: Se
u = v ento d(u, v) = 0; se u 6= v e existe um caminho entre u e v , ento, d(u, v)
o menor dos comprimentos dos caminhos elementares de u a v ; caso contrrio,
d(u, v) = . A d(x, y) chama-se distncia entre u e v .
Determine a distncia entre dois quaisquer vrtices do grafo:
(a) K5 ;
(b) K2,3 ;
(c) de Petersen.
Exerccio 1.2.11. Dos seguintes grafos, diga quais so bipartidos, indicando uma partio
do conjunto dos seus vrtices.

A Z
A Z
Z

A
Q
Q
Q
A

Q A
QQA

QA

S
S
S
S

C
C

C
@ C
@
C
@
@
C
@C
@
C

@
@
@

,l
, l
,
l
l
,

C
C

S
S
S
S

HH
@
@
H

Exerccio 1.2.12. Seja G = (V, E) o grafo onde V = {a, b, c, d, e, f, g, h, i, j} e

E = {{a, b}, {b, c}, {b, d}, {b, e}, {b, j}, {c, g}, {d, g},
{f, d}, {f, e}, {h, b}, {h, f }, {i, a}, {i, h}} .
(a) Represente o grafo G.

20

introduo teoria de grafos


(b) Mostre que G bipartido, indicando uma partio do conjunto dos seus vrtices.
Exerccio 1.2.13. D exemplo, caso exista, de:
(a) um grafo sem vrtices de grau mpar;
(b) um grafo sem vrtices de grau par;
(c) um grafo com exactamente um vrtice de grau mpar;
(d) um grafo com exactamente um vrtice de grau par;
(e) um grafo com exactamente dois vrtices de grau mpar;
(f) um grafo com exactamente dois vrtices de grau par.
Exerccio 1.2.14. Prove o Teorema da Amizade: Em toda a cidade com pelo menos 2
habitantes, residem 2 pessoas com o mesmo nmero de amigos que habitam nessa
mesma cidade".
Exerccio 1.2.15. Qual o nmero mnimo de vrtices de um grafo simples com 200 arestas?
Porqu?
Exerccio 1.2.16. A sequncia gradual de um grafo a sequncia dos graus dos seus vrtices,
ordenados do maior ao menor. Por exemplo, a sequncia gradual do grafo completo
K4 3, 3, 3, 3 e a sequncia gradual do grafo K2,3 3, 3, 2, 2, 2. Para cada uma das
sequncias de nmeros, indique as que so sequncia gradual de algum grafo. Neste
caso, represente o grafo em questo.
(a) 4,4,4,4;
(b) 3,3,3,2,1;
(c) 1,1,1,1,1,1;
(d) 5,4,4,3,2,2;
(e) 4,3,3,2,2,1;
(f) 4,4,3,3,3,3,3,3,2,2.
Exerccio 1.2.17. Liste todas as sequncias graduais de um grafo com 4 vrtices.

21

introduo teoria de grafos


1.3

grafos conexos

Denio 1.24 Um grafo conexo um grafo G = (V, E) no qual existe um caminho entre
dois quaisquer dos seus vrtices.

Denio 1.25 Um grafo desconexo um grafo que no conexo.


Exemplo 1.23 O grafo
"b

"

b
b
"
b

L P B
l B,

L
l,
lB

L
,
T
L
T
L

"
PP

um grafo conexo. O grafo


"b

"

"

b
b
L

B
l B,
L

l,
lB
L

,
L

"

um grafo desconexo.
Dado um grafo qualquer, podemos denir uma relao binria no conjunto dos seus
vrtices. Dizemos que dois vrtices distintos esto em relao se e s se existir um caminho
entre eles. Esta simples relao binria revela-se bastante importante no estudo dos grafos
conexos.

Teorema 1.2 Seja G = (V, E) um grafo. A relao R denida por, para todos x, y V ,
x R y x = y ou existe um caminho de x para y ,
uma relao de equivalncia em V .

22

introduo teoria de grafos


Demonstrao: Exerccio.

A relao R, como relao de equivalncia que , determina em V uma partio em


classes de equivalncia. Para cada v V , o subgrafo de G induzido pela classe de equivalncia de v , determinada por R, um grafo conexo. Por esta razo, as classes de equivalncia
determinadas por R designam-se por componentes conexas de G.
Do teorema anterior resulta de imediato a seguinte caracterizao de grafo conexo.

Corolrio 1.2 Um grafo G = (V, E) conexo se e s se a relao R denida em V admite


uma nica classe de equivalncia.

O prximo resultado permite-nos obter subgrafos de grafos conexos que so, por si,
grafos conexos.

Teorema 1.3 Sejam G = (V, E) um grafo conexo e a, b, x1 , x2 , ..., xn V tais que


ha, b, x1 , x2 , ..., xn , ai um ciclo em G. Ento, G0 = (V, E\ {{a, b}}) um grafo conexo.

Demonstrao: Trivial, tendo em conta que ha, xn , ..., x2 , x1 , bi um caminho de a a b


em G0 .

1.3.1 rvores
Nesta subseco, apresentamos uma classe de grafos conexos - a classe das rvores.

Denio 1.26 Uma rvore um grafo conexo no qual no existem ciclos.


Exemplo 1.24 O grafo

@
@
@

uma rvore.

23

introduo teoria de grafos


Exemplo 1.25 Os grafos

so as nicas rvores com, respectivamente, dois e trs vrtices.

Exemplo 1.26 Os grafos

@
@

so as nicas rvores com quatro vrtices.

Exemplo 1.27 Os grafos

""bb
"
b

b
b

B
l

B
l
l B
lB
lB

so as nicas rvores com cinco vrtices.

Teorema 1.4 Numa rvore, a diferena entre o nmero de vrtices e o nmero de arestas
1.

Demonstrao: Exerccio (utilizando o Princpio de Induo Forte).

Teorema 1.5 Toda a rvore no trivial tem pelo menos dois vrtices de grau 1.
Demonstrao: Seja G = (V, E) uma rvore. Por um lado, se G tem v vrtices e a arestas,
pelo teorema anterior,

a = v 1.
24

introduo teoria de grafos


Por outro lado, sabemos que

grau(vi ) = 2(v 1) = 2v 2.

vi V

Se todos os vrtices tiverem grau no mnimo 2, temos que

grau(vi ) 2v,

vi V

e, ento, ter-se-a 2v 2 2v , um absurdo. Logo, pelo menos um vrtice tem de ter grau
1. Se houvesse s um vrtice nestas condies, teramos

grau(vi ) 2(v 1) + 1 = 2v 1

vi V

e, portanto, seria 2v 2 2v 1, um absurdo. Logo, existem pelo menos dois vrtices de


grau 1.

1.3.2 Exerccios
Exerccio 1.3.1. Demonstre o Teorema 1.2.
Exerccio 1.3.2. Um conjunto de desconexo de um grafo conexo G um conjunto de
arestas cuja remoo d origem a um grafo desconexo.
(a) Encontre conjuntos de desconexo para o grafo de Petersen com 3, 4 e 5 arestas.
(b) Encontre conjuntos de desconexo com o menor nmero possvel de arestas para
os grafos seguintes:

@
@

@
@

Exerccio 1.3.3. Construa todas as rvores possveis com 6 vrtices.

25

introduo teoria de grafos


Exerccio 1.3.4. (a) Demonstre o Teorema 1.4.
(Sugesto: Use o princpio de induo forte sobre o nmero de arestas.)
(b) Uma oresta um conjunto de rvores. Mostre que se G uma oresta com c
rvores, v vrtices e a arestas, ento, a = v c.
Exerccio 1.3.5. (a) Mostre que um grafo conexo com v vrtices tem pelo menos v 1
arestas.
(b) Mostre que um grafo conexo com v vrtices e exactamente v 1 arestas uma
rvore.
Exerccio 1.3.6. Mostre que qualquer rvore com pelo menos dois vrtices um grafo bipartido. Quais as rvores que so grafos bipartidos completos?
Exerccio 1.3.7. O complemento de um grafo G = (V, E) um grafo G = (V , E), onde

V = V e E = {{x, y} V : x 6= y, {x, y} 6 E}.


(a) Determine o complemento de K3,5 .
(b) Determine G, onde G um grafo desconexo com duas componentes conexas
que so os grafos K3 e K5 .
(c) Dado o grafo ciclo C5 , mostre que C5 e C5 so o mesmo grafo.
(d) Considere o grafo linha P3 . Mostre que P3 e P3 so o mesmo grafo.
(e) Diga, justicando, se a seguinte armao verdadeira ou falsa: O complemento de um grafo conexo um grafo conexo.

1.4

grafos planares

Denio 1.27 Um grafo planar um grafo que pode ser representado no plano sem se
vericarem cruzamentos de arestas, a no ser, eventualmente, nalgum dos vrtices que as
denem.
Chamamos a ateno para o facto de, dado um grafo planar, existirem diferentes representaes suas no plano sem cruzamentos de arestas. A cada uma destas representaes
chamamos representao planar do grafo planar.

26

introduo teoria de grafos


Exemplo 1.28 O grafo

@
@
@

planar pois pode ser representado por

A
@A
@
A

Torna-se importante aqui observar que, quando um grafo desconexo, podemos reduzir
a questo da planaridade a cada uma das componentes conexa do grafo.

E
E
E
E
E
E
E

E
E
E
E
E
E
E

Assim, nesta seco iremos concentrar-nos nos grafos conexos.


Uma representao planar de um grafo planar conexo dene no plano regies, s quais
chamamos faces. Comeamos por observar que, dado um grafo planar, uma sua representao planar dene sempre uma regio ilimitada, a qual designamos por face exterior do
grafo.

A
1A

27

@
@

@
@

@
2
@

@
@

introduo teoria de grafos


Numa face limitada por arestas, identicamos um ciclo que a circunda, ao qual chamamos
fronteira da face. H arestas que no esto nas fronteiras das faces, mas esto nas faces. So
as chamadas arestas de corte. Se retirarmos uma aresta fronteira de uma face, diminumos
o nmero de faces do grafo em 1.

Exemplo 1.29 No grafo planar

e8

e7

e6

e1

@
@

e4 @

e2

@
e
2
@ e3
5
@
@

a aresta e6 uma aresta de corte da face 1. As arestas e2 , e3 e e5 formam a fronteira da


face 2.

1.4.1

frmula de Euler

Em 1752, Euler estabeleceu o seguinte resultado fundamental na Teoria de Grafos.

Teorema 1.6 Para um grafo planar conexo com v vrtices, a arestas e f faces, tem-se
v a + f = 2.

Demonstrao: (Por induo sobre o nmero de arestas)

1o passo. Se um grafo conexo tem 0 arestas, ento, tem 1 vrtice e 1 face. Logo,

v a + f = 1 0 + 1 = 2.
2o passo. Seja n N0 . Suponhamos que para qualquer grafo com n arestas, v vrtices
e f faces, se tem
v n + f = 2.
Seja G = (V, E) um grafo com n + 1 arestas, v vrtices e f faces. Queremos provar que

v (n + 1) + f = 2.
28

introduo teoria de grafos


Temos dois casos a considerar:
1o caso: G tem um vrtice de grau 1. Seja v1 V esse vrtice. Ento existe uma
nica aresta incidente a v1 . Seja {v1 , v2 } essa aresta. Ento, o grafo G0 = (V 0 , E 0 ), onde
V 0 = V \{v1 } e E 0 = E\{{v1 , v2 }}, um grafo conexo com menos um vrtice (tem v 1
vrtices), menos uma aresta (tem n arestas) mas o mesmo nmero de faces (tem f faces)
que G. Aplicando a hiptese de induo a G0 obtemos

(v 1) n + f = 2,
i.e.,

v (n + 1) + f = 2.
2o caso: G no tem vrtices de grau 1. Ento, G no uma rvore e, portanto, tem
pelo menos um ciclo.
Consideremos o grafo G00 = (V 00 , E 00 ), onde V 00 = V e E 00 = E\{{v1 , v2 }} e {v1 , v2 }
uma aresta de um ciclo. Ento, G00 um grafo conexo com o mesmo nmero de vrtices
(tem v vrtices), com menos uma aresta (tem n arestas) e menos uma face (tem f 1
faces) que o grafo G. Aplicando a hiptese de induo, temos que

v n + (f 1) = 2,
i.e.,

v (n + 1) + f = 2.

1.4.2 a no planaridade de K5 e K3,3


Para provar que os grafos K5 e K3,3 no so planares, necessitamos de conceitos e lemas
que apresentamos de seguida.

Denio 1.28 Seja G = (V, E) um grafo planar. Diz-se que uma face incidente a uma
aresta se esta aresta "toca"essa face.

Exemplo 1.30 No grafo


29

introduo teoria de grafos


d

2 @

@ b

a face 2 incidente aresta {a, b}, mas no incidente a {c, d}.

Lema 1.1 Seja G um grafo conexo, planar com a arestas e f faces (f 2). Ento, f 23 a.
Demonstrao: Para cada face, contemos o nmero de arestas s quais essa face incidente. Somemos todos esses nmeros. Seja S essa soma.
Por um lado, como para cada aresta existem, no mximo, duas faces s quais a aresta
incidente, temos que
S 2a.
Por outro lado, como cada face incidente, no mnimo, a trs arestas, temos que

3f S.
Logo, 3f 2a, ou seja, f 32 a.

Lema 1.2 Seja G um grafo planar conexo com pelo menos duas faces. Se G tem a arestas
e v vrtices, ento, 3v a 6.

Demonstrao: Pela frmula de Euler, temos que


v a + f = 2.
Aplicando o lema anterior, temos que

2
v a + a 2,
3
i.e.,

3v 3a + 2a 6
e, portanto,

3v a 6.

30

introduo teoria de grafos


Teorema 1.7 O grafo K5 no planar.
Demonstrao: O grafo K5 tem 5 vrtices e 10 arestas. Se K5 fosse planar, uma sua
representao planar teria, pelo menos, duas faces (existem ciclos em K5 ). Aplicando o
lema anterior, concluiramos que

5 = 3 5 10 6,
o que um absurdo. O absurdo resulta de termos suposto que K5 planar. Logo, K5 no
planar.

O que acontece com K3,3 ? Ser K3,3 um grafo planar?


Sabemos que K3,3 tem 6 vrtices e 9 arestas, pelo que K3,3 satisfaz a desigualdade do
Lema 1.2 (3 6 9 = 9 6). Assim, nada podemos concluir sobre a planaridade de K3,3
a partir deste resultado. Temos de procurar outro mtodo para vericar se K3,3 ou no
planar.
Percorrendo a demonstrao do Lema 1.1, tendo em conta que num grafo bipartido
completo cada ciclo tem, no mnimo, 4 arestas, podemos substituir a expresso 3f S por
4f S , obtendo assim, o seguinte lema.

Lema 1.3 Seja G um grafo bipartido completo, planar com a arestas e f faces (f 2).
Ento, f 21 a.

Agora, percorrendo a demonstrao do Lema 1.2, usando o Lema 1.3 (e no o Lema


1.1), provamos que:

Lema 1.4 Seja G um grafo bipartido completo planar com pelo menos duas faces. Se G
tem a arestas e v vrtices, ento, 2v a 4.

Estamos agora em condies de provar que o grafo K3,3 no planar.

Teorema 1.8 O grafo K3,3 no planar.


31

introduo teoria de grafos


Demonstrao: O grafo bipartido completo K3,3 tem 6 vrtices e 9 arestas. Se K3,3 fosse
planar, teria pelo menos duas faces (pois tem um ciclo de comprimento 4) e, pelo Lema 1.4,
teramos
3 = 2 6 9 4,
o que um absurdo. O absurdo resulta de termos suposto que K3,3 planar. Assim, K3,3
no planar.

Observemos que os Teoremas 1.7 e 1.8 mostram que dois dos problemas apresentados
na seco 1.1 (o do rei com 5 lhos e o das 3 casas) no tm soluo. O Teorema 1.8
garante ainda que o Lema 1.2 no uma caracterizao dos grafos planares conexos, j que
o grafo K3,3 no satisfaz o seu recproco.
Tendo em conta que, obviamente, qualquer subgrafo de um grafo planar ainda um
grafo planar, terminamos esta seco com a caracterizao dos grafos completos e grafos
bipartidos completos planares, ambos consequncia das consideraes feitas anteriormente.

Teorema 1.9 Seja n N. O grafo completo Kn planar se e s se n < 5.

Teorema 1.10 Sejam m, n N. O grafo bipartido completo Km,n planar se e s se


m < 3.

1.4.3

Teorema de Kuratowski

Acabmos de ver que grafos que tenham como subgrafo K5 ou K3,3 no so planares. No
entanto, existem grafos que no admitem aqueles dois grafos como subgrafos. Sero esses
grafos planares ou no? Para dar resposta a esta pergunta introduzimos o conceito de grafos
homeomorfos.

Denio 1.29 Sejam G = (V, E) um grafo e a, b V tal que {a, b} E . Diz-se que
G0 = (V 0 , E 0 ) um grafo obtido de G por adio de um vrtice de grau 2 se
V 0 = V {x}
e

E 0 = E\ {{a, b}}

32

{{a, x}, {x, b}} .

introduo teoria de grafos


Exemplo 1.31 O grafo

@
@

@
@

um grafo obtido do grafo

@
J

@
J
@
J
@
J

@
@
@

por adio de um vrtice de grau 2.


Existe tambm o processo recproco para obteno de um novo grafo.

Denio 1.30 Sejam G = (V, E) um grafo e a, b, x V tais que grau(x) = 2,


{a, x}, {b, x} E mas {a, b} 6 E . Diz-se que G0 = (V 0 , E 0 ) um grafo obtido de G
por remoo de um vrtice de grau 2 se
V 0 = V \{x}
e

E 0 = E\ {{a, x}, {x, b}}

{{a, b}} .

As duas denies anteriores so fundamentais para a denio seguinte.

Denio 1.31 Dois grafos dizem-se homeomorfos se um deles puder ser obtido do outro
por adio ou remoo de vrtices de grau 2.

33

introduo teoria de grafos


Exemplo 1.32 Os grafos

so homeomorfos.

Exemplo 1.33 Os grafos

no so homeomorfos.

claro que dois grafos homeomorfos ou so ambos planares ou so ambos no planares.


Assim, tendo em conta os Teoremas 1.7 e 1.8, vimos que a no existncia de subgrafos
homeomorfos a K5 ou a K3,3 condio necessria para um grafo ser planar. O Teorema
de Kuratowski estabelece que esta condio tambm suciente, caracterizando, deste
modo, os grafos planares.
Omitiremos a demonstrao da condio necessria por ela envolver conceitos topolgicos.

Teorema 1.11 (de Kuratowski) Um grafo planar se e s se no contm um subgrafo


homeomorfo a K5 ou a K3,3 .

Exemplo 1.34 Consideremos o grafo

,Caa
S
a
, @

a
aaS
, C @
,
S
a
C @

@
C
l
@
C
l
l C
@
,
J C
,
J C
,
J
J
C,
.
34

introduo teoria de grafos


O grafo

,aa
S
a
, @
@
aa S
,
S
,
@ aa

l
@

l
@
l
l
@

um subgrafo do primeiro, homeomorfo ao grafo

,aa
S
a

, @

aa S
, @

,
@ aa
S
P
PP

PP @
PP @
P@
P

que no mais que o grafo bipartido completo K3,3 . Assim, conclumos que o primeiro
grafo do exemplo no planar.

1.4.4 grafos platnicos


Nesta seco estudaremos um caso particular de grafos planares - os grafos platnicos.
Este nome deve-se ao facto de estarem relacionados com os cinco poliedros platnicos (ou
regulares) celebrizados por Plato (428-347 a.C.) no dilogo Timaeus.

35

introduo teoria de grafos

Denio 1.32 Um grafo platnico um grafo conexo, planar, no qual todos os vrtices
tm o mesmo grau e o nmero de arestas s quais cada face incidente constante.

Exemplo 1.35 O grafo trivial um grafo platnico.


Exemplo 1.36 O grafo K2 um grafo platnico.
Exemplo 1.37 O grafo ciclo Cn com n 3 (i.e., o grafo com n vrtices de grau 2 e n
arestas representado por uma linha poligonal com n lados) um grafo platnico.
O prximo resultado mostra-nos que, supondo que o grau de cada vrtice , no mnimo,
3, os nicos grafos platnicos que existem so os grafos resultantes de representaes, em
termos de grafos, dos 5 slidos platnicos.

Teorema 1.12 Seja G = (V, E) um grafo platnico onde grau(v) 3, para qualquer
v V . Ento, G um dos seguintes grafos
36

introduo teoria de grafos

Demonstrao: Sejam G = (V, E) um grafo planar com v vrtices, a arestas e f faces.


Sejam m, n N tais que m, n 3 so os nmeros de arestas incidentes a cada um dos
vrtices e a cada uma das faces de G, respectivamente. Ento,

mv = nf = 2a
e

v a + f = 2,
ou seja,

v=
e

2a
,
m

2a
n

f=

2a
2a
a+
= 2.
m
n

Logo,

1
1 1
+
m n 2

= 1.

Como 1 > 0 e a > 0, conclumos que

1
1
1
+ > .
m n
2

()

Vejamos agora quais os valores possveis para m e n:

m = 3 e n = 3. (Corresponde ao primeiro grafo da gura.) Neste caso temos


1 1
2
1
+ = > .
3 3
3
2
m = 3 e n = 4. (Corresponde ao terceiro grafo da gura.) Neste caso temos
1 1
7
1
+ =
> .
3 4
12
2
37

introduo teoria de grafos


m = 3 e n = 5. (Corresponde ao quarto grafo da gura.) Neste caso temos
1 1
8
1
+ =
> .
3 5
15
2
m = 3 e n 6. Aqui, temos
1 1
1 1
3
1
+ + = = ,
3 n
3 6
6
2
o que contradiz a desigualdade ().

m = 4 e n = 3. (Corresponde ao segundo grafo da gura.) Neste caso temos


1 1
7
1
+ =
> .
4 3
12
2
m = 4 e n 4. Aqui, temos
1 1
1 1
1
+ + = ,
4 n
4 4
2
o que contradiz a desigualdade ().

m = 5 e n = 3. (Corresponde ao ltimo grafo da gura.) Neste caso temos


1 1
8
1
+ =
> .
5 3
15
2
m = 5 e n 4. Aqui, temos
1 1
1 1
9
1
+ + =
< ,
5 n
5 4
20
2
o que contradiz a desigualdade ().

m 6 e n 3. Aqui, temos
1
1
1 1
1
+ + = ,
m n
6 3
2
o que contradiz a desigualdade ().
Como percorremos todos os casos possveis, ca provado que os 5 grafos apresentados so
os nicos grafos nas condies do enunciado.

38

introduo teoria de grafos


1.4.5 Exerccios
Exerccio 1.4.1. Prove que qualquer rvore satisfaz a frmula de Euler.
Exerccio 1.4.2. Para cada um dos seguintes grafos planares encontre uma representao
planar e indique o nmero de faces:

a
\

\
c
\
@
\
@

a
@
@

c a \
a \
@
aa
\
@ a

a
@
@

ca \
a \
@
\
@ aaa

@
@

Exerccio 1.4.3. Encontre uma representao planar de K2,6 .


Exerccio 1.4.4. Para cada um dos grafos seguintes, encontre uma representao planar ou
justique porque que no possvel ter tal representao:

a a! b
aa
!!

!
aa

!
d aa
!c
aa
!!

!
e !a f

\ @
@

\
c
f
\

@
@ \

a
\ aaa@
@

a
fa \
!c
\
a
!
!

@
a
!\
@ a
e !a

Exerccio 1.4.5. Sejam n N e Gn = (V, E) o grafo tal que V = {v1 , v2 , ..., vn } e E =


{{vi , vj } V : i 6= j e m.d.c.(i, j) = 1}. Para que valores de n Gn planar?
Exerccio 1.4.6. Mostre que os seguintes pares de grafos so homeomorfos, fazendo a correcta modicao de vrtices de grau 2:
1.

H
H
H

e
@

e
@

2. @
e

e
@

e
%@
e%
@
3.
@

%e
@%
e

H H
H

HH HHH ;

X
HX
HX
X
HX
H XX
X

39

introduo teoria de grafos


Exerccio 1.4.7. Use o Teorema de Kuratowski para provar que os seguinte grafos no so
planares:

"b
"
b
"
b
"
b
PP

L P B
l B,
L

l,
(a) L

,lB
T
L
T
L

(c)

"b
" J b
J b
"
hhh
b
(((
(hJ
"

J %
L a
e
!
a!
%
Le
e
L e\\%%

L H
H
L HH

(e)

(b)

(d)

Q
L@Q
L @Q
Q

aa L !
@!J
L
a
!
a
!
aLa @ J
L !!
La

!!
J
L
a@
aa
!
L

@
aa L
L
!!
@

J aaL

!
L
!
J@ a
a
L

!
aa L
!
J @ !
aaL
!L
J!@
Q L
Q@ L
Q

@
QL

"b
" J b
J b
"
hhb
"((
h
(hJ
(

J %
Le a B !
!
%
Le @
@a
a
B
!
e
%
L e
B
%
B

L H
H
L HH

A

S @@A
S

S @
A
A

S
A

A
S

A
A
A
A
A
A

Exerccio 1.4.8. Considere os dois seguintes grafos. Prove que o primeiro planar e o
segundo no planar.

QB@
B@

b
"
,J
Z
"b
," J bZZ
, J l Z
,

P
,PP J
l
L

,
l
J
l
,

HHL
J

HH J
J

A
AQQ B @

AQ QB @

@ B Q A
@ B QA
Q
A
@B
@B

40

introduo teoria de grafos


Exerccio 1.4.9. Justique que o grafo de Pappus, a seguir representado, no planar.
"b
"
b

"
b
"
b

"
b

T
"
b
b
"
T
b
"

T
T
T
"T
T b
"
T b
"b

T
"
b T
T

T

T
"
b
T
"
b
b
T
"
b
T
"
b
"
b
"
b
"
b"

Exerccio 1.4.10. Construa um grafo G com 6 vrtices, sendo dois deles de grau 4 e quatro
de grau 3, tal que
(a) G seja planar;
(b) G no seja planar.
Exerccio 1.4.11. Seja G um grafo conexo planar com pelo menos 3 vrtices. Mostre que
G tem pelo menos um vrtice de grau no superior a 5.

1.5 grafos eulerianos e grafos hamiltonianos


1.5.1 grafos eulerianos
O estudo que faremos nesta seco permitir-nos- responder questo levantada a Euler
sobre as pontes de Knisberg em 1736. Comeamos com as seguintes denies.

Denio 1.33 Seja G = (V, E) um grafo. Um caminho euleriano um caminho simples


que contm todas as arestas do grafo.

De notar que um caminho eureliano de um grafo conexo G contm, necessariamente,


todos os vrtices de G.

41

introduo teoria de grafos


Denio 1.34 Seja G = (V, E) um grafo. Um circuito euleriano um caminho euleriano
onde o primeiro e ltimo vrtices coincidem.

Denio 1.35 Um grafo G = (V, E) diz-se um grafo euleriano se existir um circuito


euleriano em G.

Denio 1.36 Um grafo G = (V, E) diz-se um grafo semieuleriano se existir, em G, um


caminho euleriano que no circuito.

Exemplo 1.38 O grafo

@ c

@
@

@ b
a
@

@
@

f
euleriano, pois nele podemos denir o circuito euleriano
ha, f, b, c, e, d, a, b, d, c, ai.

Exemplo 1.39 O grafo

@ c

@
@
@ b
a
@

semieuleriano, pois nele podemos denir o caminho euleriano

ha, b, c, e, d, a, c, d, bi.

Exemplo 1.40 O grafo

@
@
@

42

introduo teoria de grafos


no euleriano nem semieuleriano, pois no possvel denir, neste grafo, um circuito ou
um caminho eulerianos.
O prximo lema o primeiro passo para a caracterizao dos grafos eurelianos e dos
grafos semieulerianos.

Lema 1.5 Seja G um grafo conexo onde todos os vrtices tm grau par. Ento qualquer
caminho simples pode ser estendido a um circuito simples.

Demonstrao: Seja
C = hv1 , v2 , ..., vn1 , vn i
um caminho simples em G. Temos duas situaes:

v1 = vn . Neste caso, o caminho simples , ele prprio, um circuito simples.


v1 6= vn . Seja m o nmero de vezes que uma qualquer aresta do caminho incidente
a vn . Ento, m um nmero mpar. Como vn tem grau par, existe pelo menos
uma aresta incidente a vn que no pertence ao caminho. Seja {vn , vn+1 } essa aresta.
Ento,
C 0 = hv1 , v2 , ..., vn1 , vn , vn+1 i
um caminho simples.
Aplicando agora o raciocnio anterior a C 0 e repetindo-o um nmero necessrio de vezes,
conclumos que existe vk V tal que hv1 , v2 , ..., vn1 , vn , vn+1 , ..., vk i um caminho simples
e v1 = vk .

Estamos ento em condies de caracterizar os grafos eulerianos conexos.

Teorema 1.13 Seja G um grafo conexo. Ento, G euleriano se e s se todos os seus


vrtices tm grau par.

Demonstrao: Seja G = (V, E) um grafo conexo e euleriano. Sejam


C = hv1 , v2 , ..., vn i
43

introduo teoria de grafos


um circuito euleriano em G (estamos a considerar, portanto, vn =v1 ) e x um dos vrtices de
G. Como G conexo e o caminho C euleriano, x = vi para algum i {1, 2, ..., n 1, n}.
Vejamos que vi tem grau par. Claramente, {vi1 , vi } e {vi , vi+1 } so arestas de G. Se
existir outra aresta incidente a vi em C , existe j {1, 2, ..., n} tal que j 6 {i 1, i, i + 1}
e vi = vj . Ento, {vj1 , vj } e {vj , vj+1 } so arestas de C incidentes a vi distintas das
duas encontradas anteriormente. Repetindo o raciocnio at considerarmos todas as arestas
incidentes a vi , conclumos que vi tem grau par.
Reciprocamente, suponhamos que G = (V, E) um grafo conexo onde todos os vrtices
tm grau par. Ento existem circuitos simples em G. Seja

C = hv1 , v2 , ..., vn , v1 i
um circuito simples com o comprimento mximo possvel. Observamos que C tem todos os
vrtices de G. Se C no euleriano, ento, existe uma aresta que no se encontra em C .
Seja {vi , vn+1 } essa aresta, para algum i {1, 2, .., n}. Ento,

C 0 = hvi , vi+1 , vi+2 , ..., vn , v1 , ...vi1 , vi , vn+1 i


um caminho simples que, pelo lema anterior, se pode estender a um circuito simples com
mais arestas que C , o que contradiz o comprimento mximo de C . A contradio resulta
de termos suposto que C no era euleriano. Logo, C euleriano.

Os grafos semieulerianos conexos caracterizam-se de modo semelhente.

Teorema 1.14 Um grafo conexo semieuleriano se e s se existem exactamente dois vrtices de grau mpar.

Prova-se que os resultados apresentados so vlidos para multigrafos. Em relao ao


problema das pontes de Knisberg, tendo em conta os dois ltimos teoremas, podemos
concluir que o multigrafo que modela o problema no euleriano, nem semieuleriano, j
que cada um dos quatro vrtices do multigrafo tm grau mpar. A soluo do problema
encontrar um caminho euleriano naquele multigrafo. Se tal caminho existisse, como o
multigrafo no semieuleriano, teria de ser um circuito euleriano, o que no pode acontecer
por o multigrafo no ser euleriano. Assim, o passeio que os habitantes de Knisberg queriam
fazer no possvel de realizar.

44

introduo teoria de grafos


Terminamos observando que se G um grafo semieuleriano, basta adicionarmos uma
nova aresta (incidente aos dois vrtices de grau mpar) para obtermos um grafo euleriano
com os mesmos vrtices de G.

1.5.2 grafos hamiltonianos


Nesta subseco estudamos uma classe particular de grafos - os grafos hamiltonianos. O
nome hamiltoniano vem do matemtico e fsico irlands William R. Hamilton (1805-1865),
a quem se deve a introduo, em 1857, de um jogo, denominado "A viagem volta do
mundo", tambm conhecido como "O problema do caixeiro-viajante". Pensando em 20
cidades importantes da poca, Hamilton considerou um dodecaedro, fez corresponder as
referidas cidades aos 20 vrtices do slido e marcou cada um dos vrtices com um alnete.

.
O objectivo do jogo era denir um percurso, ao longo das arestas do slido, que passasse
uma e uma s vez por cada cidade, comeando e terminando na mesma cidade. Para no
repetir cidades, o jogador usava um o para construir o percurso. Como j vimos na seco
anterior, o dodecaedro pode ser representado pelo grafo

.
Assim, em termos de grafos, o objectivo do jogo de Hamilton construir um ciclo deste
grafo que contenha todos os seus vrtices.

45

introduo teoria de grafos


Denio 1.37 Seja G = (V, E) um grafo. Chama-se caminho hamiltoniano a qualquer
caminho elementar que passa por todos os vrtices de G. Chama-se ciclo hamiltoniano a
um ciclo que contm todos os vrtices de G.

Exemplo 1.41 No grafo

@ c

@
@
@ b
a
@

@
@

f
o caminho ha, f, b, d, c, ei hamiltoniano e o ciclo ha, f, b, c, e, d, ai hamiltoniano.

Denio 1.38 Um grafo hamiltoniano um grafo que contm um ciclo hamiltoniano.


Facilmente se verica que o jogo de Hamilton tem pelo menos uma soluo, que a
apresentada na gura seguinte.

.
Contrariamente ao que acontece nos grafos eulerianos, no foi ainda encontrada uma
caracterizao dos grafos hamiltonianos. No entanto, em alguns casos particulares possvel
estabelecer uma tal caracterizao:

Um grafo completo Kn hamiltoniano se e s se n 3.


Um grafo bipartido completo Km,n hamiltoniano se e s se n = m 2.
Existem algumas propriedades que os grafos hamiltonianos satisfazem, que podem ajudar
a construir, ou a deduzir que impossvel construir, um ciclo hamiltoniano. De facto, se
um grafo G = (V, E) hamiltoniano, temos que:

46

introduo teoria de grafos


(i) Se um vrtice v V tem grau 2, ento, as duas arestas incidentes a v fazem parte
de qualquer ciclo hamiltoniano;
(ii) Na construo de um ciclo hamiltoniano, nenhum ciclo se pode formar at se percorrerem todos os vrtices.
(iii) Se na construo de um ciclo hamiltoniano duas arestas incidentes num mesmo vrtice
tm de ser consideradas na construo do circuito, ento, as restantes arestas incidentes a esse vrtice no podem ser consideradas na construo do ciclo hamiltoniano.

Vejamos um exemplo em como podemos fazer uso destas propriedades:

Exemplo 1.42 Considere-se o grafo


b

h
@

@ d

Este grafo no hamiltoniano pois se o fosse: por (i), as arestas {a, b}, {a, h}, {b, c},
{c, d}, {e, d}, {f, e}, {f, g} e {h, g} estariam em qualquer ciclo hamiltoniano (os vrtices
a, c, g e e so vrtices de grau 2); ento, por (iii), todas as restantes arestas de G no
poderiam ser consideradas na construo do ciclo hamiltoniano; obteramos ento o ciclo
ha, b, c, d, e, f, g, h, ai, o que contradiz (ii).

1.5.3 Exerccios
Exerccio 1.5.1. Considere os seguintes grafos:

47

introduo teoria de grafos


g
b

d PP

Q
A Q
A

A Q A
A QQ A

A
QA

PP
PP
e

A
A

ca \
a \
@
\
@ aaa

@
@

"" bbb
"
b
y
c"
a
!d
az
!
x
L

B
ll
,,
B
L

v w
L
L
J

e
H

L HH

b L d
A bb

A
LL
A b
b

c
@
@

(a) Indique os que so eulerianos.


(b) Indique os que so semieulerianos.
(c) Indique os que so hamiltonianos.
Exerccio 1.5.2. Quais dos grafos platnicos so eulerianos? E hamiltonianos?
Exerccio 1.5.3. Para que valores de n, m N o grafo Kn,m euleriano?
Exerccio 1.5.4. Para que valores de n, m N o grafo Kn,m hamiltoniano?
Exerccio 1.5.5. Considere o grafo G representado por

@
@

Mostre que o grafo euleriano mas no hamiltoniano.


Exerccio 1.5.6. Mostre que o seguinte grafo no euleriano nem hamiltoniano:

48

@
@

introduo teoria de grafos

S
S
S
S

S
S
S
S

Exerccio 1.5.7. Sejam G e G0 dois grafos conexos homeomorfos. Mostre que G euleriano
se e s se G0 euleriano.

1.6 nmero cromtico


O Teorema das quatro cores estabelece que dado qualquer plano dividido em regies disjuntas
(como, por exemplo, o planisfrio), essas regies podem ser coloridas usando, no mnimo,
quatro cores, de tal modo que duas regies conexas adjacentes no so pintadas com a
mesma cor. Duas regies dizem-se adjacentes se partilharem uma linha de fronteira. Esto
tambm excludas regies desconexas (no planisfrio, por exemplo, no se consideram os
enclaves).

1.6.1 a colorao dos vrtices de um grafo


semelhana de problemas do mundo real que analismos anteriormente, o problema da
colorao de um mapa pode tambm ser traduzido em termos de grafos planares. Para tal,
basta identicarmos cada uma das regies como um vrtice e dizermos que dois vrtices so
adjacentes se as regies que eles representam so tambm adjacentes.

49

introduo teoria de grafos


Denio 1.39 Sejam G = (V, E) um grafo e C um conjunto a cujos elementos chamaremos cores. Uma colorao de G uma aplicao f : V C tal que, dados v, w V ,
f (v) 6= f (w) se {v, w} E . Uma k -colorao uma colorao f tal que #f (V ) = k .

Denio 1.40 Seja G = (V, E) um grafo. Chama-se nmero cromtico de G, e representa-se por (G), ao menor k N tal que existe uma k -colorao de G.

Exemplo 1.43 Sejam m, n N. Ento, (Km,n ) = 2.


Exemplo 1.44 Para todo n N, Kn tem nmero cromtico n.
Estamos agora em condies de reescrever o Teorema de Headwood de 1890

Teorema 1.15 Seja G um grafo conexo planar. Ento, (G) 5.

A conjectura de Guthrie de 1852, posteriormente provada em 1976, pode ser reescrita


do seguinte modo

Conjectura 1.1 O nmero cromtico de qualquer grafo conexo planar no superior a 4.

Finalizamos com a apresentao de um algoritmo para colorir grafos, da autoria de Welch


e Powell.

Algoritmo de Welch-Powell
1o Passo. Liste todos os vrtices por ordem decrescente dos seus graus;
2o Passo. Atribua uma cor C1 ao 1o vrtice da lista e, seguindo a ordem da lista, atribua a cor
C1 a cada vrtice no adjacente aos vrtices ao quais foi anteriormente atribuda a
cor C1 ;
3o Passo. Repita o 1o Passo com os vrtices ainda no coloridos;
4o Passo. Repita o 2o Passo usando uma segunda cor;
Repita os dois passos anteriores com cores diferentes at colorir todos os vrtices.

Exemplo 1.45 Considere-se o grafo G


50

introduo
teoria de grafos
b

h
@

@ d

e
f
Coloquemos, por ordem decrescente de grau, os vrtices de G: d, h, b, f, a, c, i, g, e. Atribui-se a colorao R a d. Como h no adjacente a d, atribui-se a colorao R tambm a h.
Mais nenhum vrtice da lista pode ser colorido com R. Considere-se ento o vrtice b ao
qual atribumos a colorao G. Os vrtices f e i, e s estes, tambm devem ser coloridos
com G. Os restantes 4 vrtices podem ser coloridos com uma mesma cor, por exemplo, B .
Embora este seja um bom algoritmo para colorir grafos, no ecaz na determinao
do nmero cromtico de um grafo, j que o nmero de cores usadas a que ele pode conduzir
no necessariamente o nmero cromtico. Vejamos o seguinte exemplo.

Exemplo 1.46 Considere-se o grafo G


h

g
@
@ e
f
d

b
Comecemos por listar os vrtices por ordem decrescente segundo o seu grau:
grau

vrtice

b, e

a , d, g

c, f , h

Como a ordem com que consideramos os vrtices de, por exemplo, grau 3, aleatria,
podemos obter duas coloraes distintas:

f1 =

C3 C2 C1 C2 C1 C1 C3 C1
51

introduo teoria de grafos


e

f2 =

C3 C2 C1 C4 C1 C1 C2 C1

!
.

bvio que, ao processar o algoritmo para a segunda colorao, no estamos a usar o


nmero mnimo de cores.

1.6.2

Exerccios

Exerccio 1.6.1. Determine o nmero cromtico dos grafos platnicos.


Exerccio 1.6.2. Construa um grafo planar conexo cujo nmero cromtico seja 4.
Exerccio 1.6.3. Construa um grafo cujo nmero cromtico seja 6.
Exerccio 1.6.4. Seja n 3. Prove que o nmero cromtico de um grafo ciclo de comprimento n 2 se n par e 3 se n mpar.
Exerccio 1.6.5. Seja G um grafo conexo com pelo menos 2 vrtices. Mostre que G
bipartido se e s se tem nmero cromtico 2.

1.7

Exerccios de reviso

Exerccio 1.7.1. Considere o grafo G representado por

@
@

t
@

@ y

@ x

@
@

(a) Mostre que G no planar.


(b) Mostre que (G) = 4.
(c) Verique se G bipartido.
(d) O complemento de um grafo H = (V, E) um grafo H = (V , E), onde

52

introduo teoria de grafos


V = V e E = {{a, b} V : a 6= b, {a, b} 6 E}.
Determine o complemento de G.
Exerccio 1.7.2. Considere o seguinte grafo (conhecido por grafo de Grtzsche)

Mostre que o grafo


(a) no planar;
(b) tem nmero cromtico 4;
(c) no bipartido;
(d) hamiltoniano;
(e) no euleriano.
Exerccio 1.7.3. Considere o grafo

b@
@

@
@

a
H

@
@d
H

HH @
HH@

H@

H h
e

Mostre que o grafo


(a) tem nmero cromtico 4;

53

introduo teoria de grafos


(b) no bipartido;
(c) hamiltoniano;
(d) no euleriano.
Exerccio 1.7.4. Considere o grafo G = (V, E) representado por

dH

A@HH

A @ H
A e Hh
A
A
A @
A @@ A
f
g A

H
@ AA
HH
@
H

@A

(a) Mostre que G no bipartido.


(b) Sabendo que G planar, determine o nmero de faces que ter uma representao planar de G.
(c) Determine o nmero cromtico de G.

54

2. introduo teoria de nmeros

A great discovery solves a great problem but there


is a grain of discovery in the solution of any problem.
George Polya

2.1 teoria da divisibilidade nos nmeros


2.1.1 algoritmo da diviso
Nesta seco estabelecemos e provamos um resultado que nos , de certo modo, familiar e
que constitui o alicerce onde assenta todo o estudo que faremos no captulo 2: o Algoritmo
da Diviso  qualquer inteiro pode ser dividido por qualquer inteiro no nulo. Este conceito
de ser dividido por tem, naturalmente, que ser formalizado.

Teorema 2.1 (Algoritmo da Diviso) Dados dois nmeros inteiros a e b tais que b > 0
existe um e um s inteiro q e existe um e um s inteiro r tais que

a = bq + r e 0 r < b.

Demonstrao: Existncia. Consideremos o conjunto


S = {a xb N0 : x Z} .
Se 0 S , ento, 0 o elemento mnimo de S . Se 0 6 S , ento, S N. Temos

b 1 |a|b |a|
a + |a|b a + |a| 0
a (|a|)b 0.
55

introduo teoria de nmeros


Como |a| Z, a (|a|)b S e, portanto, S 6= . Logo, Pelo Princpio da Boa
Ordenao de N 1 , existe o elemento mnimo de S . Seja r = min S . Ento, existe q Z
tal que

r = a qb e r 0,
i.e., existe q Z tal que

a = qb + r e r 0.
Suponhamos agora que b r. Ento,

a (q + 1)b = a qb b = r b 0,
pelo que a (q + 1)b S , i.e., r b S . Assim, r b min S = r, o que um absurdo,
pois b > 0. O absurdo resulta de termos suposto que b r. Logo, r < b.
Unicidade. Sejam q, q 0 , r, r0 Z tais que

a = bq + r, a = bq 0 + r0 , 0 r < b e 0 r0 < b.
Por um lado,

b(q q 0 ) = r0 r
e, portanto,

b|q q 0 | = |r0 r|.


Por outro lado,
(
0r<b

0 r0 < b

0 r0 < b
b < r 0

()

= b < r0 r < b |r0 r| < b.

Logo, de (), temos que b|q q 0 | < b, pelo que 0 |q q 0 | < 1. Como q q 0 Z,
conclumos que q q 0 = 0, i.e., q = q 0 . Novamente de (), conclumos que r = r0 .

O resultado seguinte uma consequncia do Algoritmo da Diviso e estende a diviso


de qualquer inteiro por qualquer inteiro positivo diviso de qualquer inteiro por qualquer
inteiro no nulo.
1

Princpio da Boa Ordenao de N: Todo o subconjunto no vazio de N tem elemento mnimo.

56

introduo teoria de nmeros


Corolrio 2.1 Sejam a, b Z com b 6= 0. Ento, existem inteiros q e r, univocamente
determinados, tais que a = bq + r e 0 r < |b|.

Demonstrao: Tendo em conta o teorema anterior, resta-nos estudar o caso em que


b Z . Como |b| > 0, aplicando o teorema anterior, temos que existem um e um s q 0 Z
e um e um s r0 Z tais que
a = q 0 |b| + r0 e 0 r0 < |b|.
Ento, como |b| = b, obtemos

a = (q 0 )b + r0 e 0 r0 < |b|,
o que prova o resultado pretendido.

Dados a, b Z e b 6= 0, os nmeros q e r tais que a = bq+r e 0 r < |b|, univocamente


determinados em Z, designam-se, respectivamente, por quociente da diviso de a por b e
resto da diviso de a por b. Dividir a por b signica obter o quociente e o resto da diviso
de a por b.

Exemplo 2.1 Para a = 7 e b = 6, temos a = 7 = 1 6 + 1 = 1 b + 1 e 0 1 < 6.


Exemplo 2.2 Para a = 1 e b = 6, temos a = 0 6 + 1 = 0 b + 1 e 0 1 < 6.
Exemplo 2.3 Para a = 2 e b = 7, temos a = 1 (7) + 5 = 1 b + 5 e 0 5 < | 7|.
Exemplo 2.4 Para a = 61 e b = 7, temos a = (8) (7) + 5 = 8 b + 5 e
0 5 < | 7|.
Apresentamos, de seguida, a ttulo de exemplo, algumas propriedades dos nmeros inteiros cuja demonstrao uma aplicao do Algoritmo da Diviso.

O resto da diviso do quadrado de qualquer nmero inteiro por 4 ou 0 ou 1.


Sejam a Z e b = 2. Aplicando o algoritmo da diviso, podemos dividir a por b e
obtemos q, r Z tais que a = 2q + r e r {0, 1}. Assim,

 se r = 0, temos que a = 2q (para algum q Z) e, portanto, a2 = 4q = 4q + 0;


57

introduo teoria de nmeros


 se r = 1, temos que a = 2q + 1 (para algum q Z) e, portanto, a2 =
4q 2 + 4q + 1 = 4(q 2 + q) + 1.
O quadrado de qualquer nmero inteiro mpar da forma 8k + 1 para certo inteiro k .
Sejam a Z um nmero mpar e b = 4. Ao dividir a por b, obtemos a = bq + r onde
q Z e r {0, 1, 2, 3}. Como a mpar, teremos necessariamente que ter r {1, 3},
j que se r {0, 2}, o nmero a par. Assim,

 se r = 1, a = 4q + 1 e
a2 = (4q + 1)2 = 16q 2 + 8q + 1 = 8(2q 2 + q) + 1;

 se r = 3, a = 4q + 3 e
a2 = (4q + 3)2 = 16q 2 + 24q + 9 = 8(2q 2 + 3q + 1) + 1.
Para qualquer inteiro a 1,

a(a2 +2)
3

um inteiro.
2

Seja a Z. Dizer que o nmero a(a 3+2) um inteiro equivalente a dizer que
a(a2 + 2) divisvel por 3. Faamos, portanto, a diviso de a por 3. Apenas 3
situaes distintas podem ocorrer:
ou a = 3q ou a = 3q + 1 ou a = 3q + 2, para algum q Z.

 Se a = 3q , ento, a(a2 + 2) = 3q(9q 2 + 2) = 3k onde k = q(9q 2 + 2);


 Se a = 3q + 1, ento, a(a2 + 2) = (3q + 1)(9q 2 + 6q + 3) = 3k0 onde k0 =
(3q + 1)(3q 2 + 2q + 1);

 Se a = 3q + 2, temos que a(a2 + 2) = (3q + 2)(9q 2 + 12q + 6) = 3k onde


k = (3q + 2)(3q 2 + 4q + 2).

2.1.2

mximo divisor comum

Nesta subseco, vamos estudar um caso particular da diviso inteira  o caso onde o resto
obtido nulo.

Denio 2.1 Sejam a, b Z. Diz-se que a divide b, e escreve-se a | b, se existe c Z tal


que b = ac.

58

introduo teoria de nmeros


Observao. As expresses a divide b, a divisor de b, a um factor de b, b divisvel por
a e b mltiplo de a tm todas o mesmo signicado.
Escrevemos a - b para signicar que a no divide b.

Teorema 2.2 Sejam a, b, c, d Z nmeros inteiros. Ento:


(1) a | 0, 1 | a e a | a;
(2) a | 1 a = 1 e 0 | a a = 0;
(3) a | b e c | d ac | bd;
(4) a | b e b | c a | c;
(5) a | b e b | a a = b;
(6) a | b e b 6= 0 |a| |b|;
(7) a | b e a | c a | (bx + cy), para todos x, y Z.

Demonstrao: Demonstraremos as alneas (3), (6) e (7). As outras so deixadas como


exerccio.
(3) Se a | b e c | d, ento, existem q, q 0 Z tais que b = aq e d = cq 0 , pelo que
bd = (aq)(cq 0 ) = ac(qq 0 ), com qq 0 Z, i.e., ac | bd;
(6) Seja b 6= 0 tal que a | b. Ento, existe c 6= 0 tal que b = ac. Assim, |b| = |a||c| com
|c| 1 e, portanto, |a| |b|;
(7) Se a | b e a | c, existem q, q 0 Z tais que b = aq e c = aq 0 . Logo, para quaisquer
x, y Z, temos que

bx + cy = (aq)x + (aq 0 )y = a(qx + q 0 y).


Como qx + q 0 y Z, conclumos que a | (bx + cy).

Um raciocnio indutivo permite generalizar a alnea (7) do teorema anterior.

59

introduo teoria de nmeros


Corolrio 2.2 Sejam k N e a, b1 , b2 , ..., bk Z. Se, para cada i {1, 2, ..., k}, a | bi ,
ento,

a|

k
X

bi xi ,

i=1

quaisquer que sejam x1 , x2 , ..., xk Z.

Sejam a, b Z. Como 1 | a e 1 | b, temos que

D = {d N : d | a e d | b} 6= .
Se a = b = 0, ento, D = N;
Se a 6= 0 ou b 6= 0, ento, existe um nmero nito de elementos em D. De todos
eles podemos considerar o maior : ser ento o maior nmero inteiro positivo que divide
simultaneamente a e b. A existncia deste nmero d sentido seguinte denio.

Denio 2.2 Sejam a, b Z, a 6= 0 ou b 6= 0. Chama-se mximo divisor comum de a e


b, e representa-se por m.d.c.(a, b), ao inteiro positivo d tal que:
(i) d | a e d | b;
(ii) c N, c | a e c | b c d.

Teorema 2.3 Para quaisquer a, b Z, com a 6= 0 ou b 6= 0, existem x, y Z tais que


m.d.c.(a, b) = ax + by.

Demonstrao: Sejam a, b Z e suponhamos, sem perda de generalidade, que a 6= 0.


Consideremos o seguinte subconjunto de N:

S = {au + bv N : u, v Z} .
Tomando

(
v=0eu=

se a > 0

se a < 0

60

introduo teoria de nmeros


temos que

au + bv = |a| S,
pelo que S 6= .
Assim, S um subconjunto no vazio de N e, pelo Princpio da Boa Ordenao em N,
temos que existe min S . Seja d = min S . Como d S , d = ax + by , para alguns x, y Z.
Provemos que d = m.d.c.(a, b):
(i) Como a Z e d > 0, obtemos, pelo Algoritmo da Diviso,

a = qd + r e 0 r < d.
Logo,

r = a qd = a q(ax + by) = a(1 qx) + b(qy).


Assim, se r > 0, ento, r S , pelo que d r, o que contradiz o facto de 0 r < d. Logo,
temos que r = 0 e, portanto, a = dq , ou seja, d | a.
De modo anlogo, provamos que d | b.
(ii) Seja c N tal que c | a e c | b. Ento, pelo Teorema 2.2(7), c | (ax0 + by 0 ),
para quaisquer x0 , y 0 Z. Logo, para x0 = x e y 0 = y , c | d e, pelo Teorema 2.2(6),
c = |c| |d| = d.

Corolrio 2.3 Se a e b so inteiros, no ambos nulos, ento, o conjunto


T = {ax + by : x, y Z}
exactamente o conjunto de todos os mltiplos de d = m.d.c.(a, b).

Demonstrao: Seja d = m.d.c.(a, b). Por um lado, pelo teorema anterior, existem x0 , y0
Z tais que
d = ax0 + by0 .
Logo, d T e, portanto, para todo n Z, temos que

nd = a(nx0 ) + b(ny0 ) T.
Por outro lado,

d | a, d | b (x, y Z) d | ax + by.
61

introduo teoria de nmeros


Logo, podemos concluir que qualquer elemento de T um mltiplo de d.

O prximo teorema estabelece que a relao entre o mximo divisor comum de dois
inteiros, no ambos nulos, e qualquer outro divisor comum desses inteiros mais do que
uma relao de ordem.

Teorema 2.4 Sejam a e b inteiros, no simultaneamente nulos, e seja d um inteiro positivo.


Ento, d = m.d.c.(a, b) se e s se d satisfaz as seguintes condies:
(1) d | a e d | b;
(2) c Z, c | a e c | b c | d.

Demonstrao: Seja d = m.d.c.(a, b). Por (i) da denio de m.d.c.(a, b), d | a e d | b, o


que prova (1). Se c Z tal que c | a e c | b, pelo Teorema 2.2(7), temos que c | ax + by ,
para todos x, y Z. Assim, pelo Teorema 2.3, conclumos que c | d, o que prova (2).
Reciprocamente, seja d Z tal que d satisfaz as condies (1) e (2). Ento, a condio
(i) da denio obviamente satisfeita. Seja c N tal que c | a e c | b. Ento, por (2),
c | d. Logo, pelo Teorema 2.2 (6), c = |c| |d| = d, o que prova (ii). Assim, por denio,
d = m.d.c.(a, b).

2.1.3

nmeros primos entre si

Denio 2.3 Dois nmeros inteiros a e b, no simultaneamente nulos, dizem-se primos


entre si se m.d.c.(a, b) = 1.

Teorema 2.5 Sejam a e b nmeros inteiros, no simultaneamente nulos. Ento, a e b so


primos entre si se e s se existirem inteiros x e y tais que 1 = ax + by .

Demonstrao: Se a e b so primos entre si, 1 = m.d.c.(a, b) e, pelo Teorema 2.3, existem


x, y Z tais que 1 = ax + by .
Reciprocamente, se existem inteiros x e y tais que 1 = ax + by , ento, pelo Corolrio
2.3, 1 mltiplo do m.d.c.(a, b). Como so ambos positivos, conclumos pelo Teorema
2.2(2) que 1 = m.d.c.(a, b).

Corolrio 2.4 Sejam a e b nmeros inteiros, no simultaneamente nulos. Se m.d.c.(a, b) =


d, ento, m.d.c.( ad , db ) = 1.
62

introduo teoria de nmeros


Demonstrao: Temos:
m.d.c.(a, b) = d x, y Z : d = ax + by
x, y Z : 1 = ad x + db y.
Como

a
d

b
d

so inteiros (porque d | a e d | b), segue-se que

a
d

b
d

so primos entre si.

Observao. O recproco deste corolrio no verdadeiro. Por exemplo,


9
m.d.c.( 6
3 , 3 ) = m.d.c.(2, 3) = 1 e 3 6= 3 = m.d.c.(6, 9).

Corolrio 2.5 Sejam a, b, c Z, com a e b no simultaneamente nulos. Se a | c, b | c e


m.d.c.(a, b) = 1, ento, ab | c.

Demonstrao: Por um lado, como a | c e b | c, temos que existem x, y Z tais que


c = ax = by.
Por outro lado, como 1 = m.d.c.(a, b), temos que existem x0 , y0 Z tais que

1 = ax0 + by0 .
Logo,

c = c 1 = c(ax0 + by0 ) = cax0 + cby0 = byax0 + axby0 = (ab)(yx0 + xy0 ).


Como yx0 + xy0 Z, conclumos que ab | c.

Observao: No Corolrio 2.5, a condio de a e b serem primos entre si no pode ser


omitida. De facto, existem a, b, c Z tais que a | c, b | c e, no entanto, ab - c. Por exemplo,
4 | 12, 6 | 12 e 4 6 = 24 - 12.

Corolrio 2.6 (Lema de Euclides) Sejam a, b, c Z, com a e b no simultaneamente


nulos. Se a | bc e m.d.c.(a, b) = 1, ento, a | c.

Demonstrao: Se 1 = m.d.c.(a, b), ento, existem x, y Z tais que 1 = ax + by . Assim,


c = c 1 = acx + bcy.
63

introduo teoria de nmeros


Como a | ac e, por hiptese, a | bc, temos, pelo Teorema 2.2(7), que a | (ac)x + (bc)y = c.

Observao. De novo, a condio m.d.c.(a, b) = 1 necessria para que a concluso do


Lema de Euclides seja verdadeira. De facto, considerando a = 12, b = 8 e c = 9, temos
que 12 | 9 8 e, no entanto, 12 - 9 e 12 - 8.

2.1.4

o algoritmo de Euclides

Vimos, numa seco anterior, que existe mximo divisor comum de quaisquer dois inteiros
no simultaneamente nulos. A prova desta realidade no , no entanto, construtiva j que
no ensina a calcular o mximo divisor comum de dois tais inteiros  ele aparece como o
elemento mnimo de um certo subconjunto de inteiros positivos. Como calcular, ento, o
mximo divisor comum de dois inteiros no simultaneamente nulos? No stimo livro da obra
Elementos de Euclides (350 a.C.), o autor apresenta um mtodo ecaz de clculo do mximo
divisor comum, o qual envolve a aplicao sucessiva do Algoritmo da Diviso. Este mtodo
tem tambm a virtude de permitir que se calculem os coecientes envolvidos na expresso
do m.d.c.(a, b) como combinao linear de a e b. Embora exista evidncia histrica de que
este mtodo tenha sido estabelecido antes do tempo de Euclides, ele hoje conhecido por
todos como o Algoritmo de Euclides.
Sejam a, b Z no simultaneamente nulos.
Comecemos por observar que, como m.d.c.(|a|, |b|) = m.d.c.(a, b) = m.d.c.(b, a), podemos estudar apenas o caso em que
a b > 0.

Lema 2.1 Sejam a e b inteiros no nulos e q, r Z tais que a = qb + r e 0 r < b.


Ento,

d = m.d.c.(a, b) d = m.d.c.(b, r).

Demonstrao: Seja d = m.d.c.(a, b). Ento,


(i) d | a e d | b;
(ii) se c N tal que c | a e c | b, ento c d.
Queremos provar que d = m.d.c.(b, r), i.e., que
(i') d | b e d | r;

64

introduo teoria de nmeros


(ii') se c N tal que c | b e c | r, ento, c d.
Por um lado, de (i), temos que d | a e d | b, pelo que d | 1 a + (q)b, ou seja, d | r.
Conclumos, assim, (i'). Por outro lado, se c N tal que c | b e c | r, ento, c | qb + r,
ou seja c | a. Logo, por (ii), c d, o que prova (ii').
O recproco prova-se de modo anlogo.

Teorema 2.6 (Algoritmo de Euclides) Sejam a e b inteiros tais que a b > 0. Se


existem q1 , q2 , ..., qn+1 , r1 , r2 , ..., rn Z tais que

a = q1 b + r1 e 0 < r1 < b
b = q2 r1 + r2 e 0 < r2 < r1
r1 = q3 r2 + r3 e 0 < r3 < r2
..
.
rn2 = qn rn1 + rn e 0 < rn < rn1
rn1 = qn+1 rn + 0,
ento, m.d.c.(a, b) = rn .

Demonstrao: Imediata, tendo em conta que, pelo lema anterior, temos que
m.d.c.(a, b) = m.d.c.(b, r1 ) = m.d.c.(r1 , r2 ) = = m.d.c.(rn1 , rn ) = m.d.c.(rn , 0) = rn .

Observao. Usando as sucessivas expresses das divises inteiras, podemos determinar


x, y Z tais que m.d.c.(a, b) = ax + by . O exemplo seguinte ilustra o processo a seguir.

Exemplo 2.5 Queremos calcular o m.d.c.(12378, 3054) e escrev-lo como combinao linear de 12378 e 3054. Para tal, procedemos s seguintes divises inteiras

12378 = 4 3054 + 162

(1)

3054 = 18 162 + 138

(2)

162 = 1 138 + 24

(3)

138 = 5 24 + 18

(4)

24 = 1 18 + 6

(5)

18 = 3 6 + 0.
65

introduo teoria de nmeros


Logo, m.d.c.(12378, 3054) = 6. Mais ainda, temos que

6 = 24 1 18

por (5)

= 24 (138 5 24)

por (4)

= 6 24 1 138
= 6(162 1 138) 138

por (3)

= 6 162 7 138
= 6 162 7(3054 18 162)

por (2)

= 132 162 7 3054


= 132(12378 4 3054) 7 3054

por (1)

= 132 12378 535 3054.


Assim, determinmos dois inteiros x e y (x = 132 e y = 535) de tal modo que
m.d.c.(12378, 3054) = 6 = 12378x + 3054y .

Observao. Os dois inteiros encontrados com o raciocnio apresentado no exemplo anterior, i.e., usando o Algoritmo de Euclides, no so nicos. Por exemplo, clculos simples
mostram que
6 = 12378 3186 + 3054 (12913).

2.1.5

mnimo mltiplo comum

Sejam a, b Z\{0}. Sabemos que

a | ab e b | ab,
pelo que podemos armar que o conjunto

{k N : a | k e b | k}
no vazio. Pelo Princpio da Boa Ordenao de N, existe

m = min {k N : a | k e b | k} ,
i.e., existe o menor inteiro positivo simultaneamente mltiplo de a e b. Chamamos-lhe
mnimo mltiplo comum de a e b. Mais precisamente, temos a seguinte denio.

66

introduo teoria de nmeros


Denio 2.4 Sejam a, b Z\{0}. Chama-se mnimo mltiplo comum de a e b, e
representa-se por m.m.c.(a, b), ao min {k N : a | k e b | k}, i.e., ao inteiro positivo m tal
que:
(i) a | m e b | m;
(ii) se c N tal que a | c e b | c, ento, m c.
Se a = 0 ou b = 0, diz-se que m.m.c.(a, b) = 0.

Observao. Para quaisquer inteiros a e b, m.m.c.(a, b) |ab|.


Lema 2.2 Sejam a e b inteiros no nulos e m Z. Ento, m = m.m.c.(a, b) se e s se m
tal que:
(i) a | m e b | m;
(ii) se c Z tal que a | c e b | c, ento, m | c.

Demonstrao: Exerccio.

Teorema 2.7 Para quaisquer inteiros positivos a e b,


m.m.c.(a, b) =

ab
.
m.d.c.(a, b)

Demonstrao: Comeamos por observar que, sendo a, b > 0, temos que m.d.c.(a, b) 6= 0.
Sejam d = m.d.c.(a, b), x, y Z tais que a = dx e b = dy e x0 , y 0 Z tais que
d = ax0 + by 0 .
Consideremos o nmero m = ab
d . Ento,
ady
dxb
(i) m = d = bx e m = d = ay . Assim, m Z tal que b | m e a | m;
(ii) se c N tal que b | c e a | c, existem u, v Z tais que

c = bu e c = av .
Assim,

c
cd
c(ax0 + by 0 )
c
c
=
=
= x0 + y 0 = ux0 + vy 0 Z
m
ab
ab
b
a
e, portanto, m | c. Logo, m = |m| |c| = c.
ab
Por (i) e (ii), conclumos que m.m.c.(a, b) = m.d.c.(a,b)
.
67

introduo teoria de nmeros


Corolrio 2.7 Dados dois inteiros positivos a e b, tem-se que
m.m.c.(a, b) = ab m.d.c.(a, b) = 1.

2.1.6

Exerccios

Exerccio 2.1.1. Sejam a, b Z tais que a < 0 e b > 0. Sejam q, r, q1 , r1 Z tais que
a = bq1 + r1 e 0 r1 < b, a = bq + r e 0 r < b. Mostre que:
(a) se r1 = 0 ento q = q1 e r = 0;
(b) se r1 6= 0 ento q = (q1 + 1) e r = b r1 .
Exerccio 2.1.2. Determine o quociente e o resto na diviso de:
(a) 310156 por 197;
(b) 32 por 45;
(c) 0 por 28;
(d) -19 por 6;
(e) -234 por -9.
Exerccio 2.1.3. Mostre que, se a e b so inteiros e b > 0, ento, existem, e so nicos, q
e r inteiros tais que a = qb + r e 2b r < 3b.
Exerccio 2.1.4. Utilizando o Algoritmo da Diviso, mostre que:
(a) o quadrado de um inteiro da forma 3k ou 3k+1, para certo inteiro no negativo
k;
(b) 3a2 1 no um quadrado perfeito, para todo o inteiro a.
Exerccio 2.1.5. Na diviso de 392 por 45, determine:
(a) o maior inteiro que se pode somar ao dividendo sem alterar o quociente;
(b) o maior inteiro que se pode subtrair ao dividendo sem alterar o quociente.

68

introduo teoria de nmeros


Exerccio 2.1.6. Verique que, para todo o inteiro n 1,

n(n + 1)(2n + 1)
um inteiro.
6

Exerccio 2.1.7. D exemplos de inteiros a, b e c tais que a | bc mas a 6 |b e a 6 |c.


Exerccio 2.1.8. Mostre que, se a | b, ento (a) | b, a | (b) e (a) | (b).
Exerccio 2.1.9. Mostre que, se a | (2x 3y) e a | (4x 5y), ento a | y .
Exerccio 2.1.10. Justique que, dados dois inteiros quaisquer a e b, os inteiros a e a + 2b
tm a mesma paridade.
Exerccio 2.1.11. Mostre que, para todo o inteiro a, um dos inteiros a, a + 2, ou a + 4
divisvel por 3.
Exerccio 2.1.12. Recorrendo ao Princpio de Induo, verique que so verdadeiras as
seguintes armaes, para n 1:
(a) 8 | (52n + 7);
[Sugesto: Observe que 52(n+1) + 7 pode ser escrito como 52 (52n + 7) + (7 52 7).]

(b) 15 | (24n 1).


Exerccio 2.1.13. Verique que, se a e b so ambos inteiros mpares, ento 16 | (a4 +b4 2).
Exerccio 2.1.14. Prove que o produto de quatro inteiros consecutivos divisvel por 24.
Exerccio 2.1.15. Mostre que m.d.c.(a, b) = 1 = m.d.c.(a, c) se e s se m.d.c.(a, bc) = 1.
Exerccio 2.1.16. Mostre que, dado um inteiro a 6= 0, se tem m.d.c.(a, 0) = |a| = m.d.c.(a, a)
e m.d.c.(a, 1) = 1.
Exerccio 2.1.17. Verique que, dados um inteiro positivo n e um inteiro a, m.d.c.(a, a + n)
divide n. Conclua que dois inteiros consecutivos so primos entre si.
Exerccio 2.1.18. Sejam a e b inteiros. Mostre que:
(a) existem inteiros x e y tais que c = ax + by se e s se m.d.c.(a, b) | c.
(b) se x e y so inteiros tais que ax + by = m.d.c.(a, b), ento m.d.c.(x, y) = 1.
Exerccio 2.1.19. Mostre que, se a = qb + r, ento m.d.c.(a, b) = m.d.c.(b, r).

69

introduo teoria de nmeros


Exerccio 2.1.20. Utilizando o Algoritmo de Euclides, determine o mximo divisor comum
de cada par de inteiros a e b e escreva-o como combinao linear de a e b:
(a) a = 1001, b = 357;
(b) a = 1001, b = 33;
(c) a = 56, b = 126;
(d) a = 90, b = 1386;
(e) a = 2860, b = 2310.
Exerccio 2.1.21. Exprima o m.d.c.(2, 3) como combinao linear de 2 e 3, de dois modos
distintos.
Exerccio 2.1.22. Determine, usando o Algoritmo de Euclides, inteiros x e y que satisfaam:
(a) m.d.c.(56, 72) = 56x + 72y ;
(b) m.d.c.(24, 138) = 24x + 138y .
Exerccio 2.1.23. Sabendo que m.d.c.(a, b) = 1, conclua que:
(a) m.d.c.(a + b, a b) = 1 ou m.d.c.(a + b, a b) = 2;
(b) m.d.c.(a + b, ab) = 1.
Exerccio 2.1.24. Determine o menor inteiro positivo k da forma k = 22x + 55y , onde x e
y so inteiros.
Exerccio 2.1.25. Sejam a, b Z , a 6= 0 e b 6= 0. Mostre que:
(a) se a | b, ento |a| = m.d.c.(a, b) e |b| = m.m.c.(a, b);
(b) se d = m.d.c.(a, b), ento |k|d = m.d.c.(ka, kb), para qualquer k Z e k 6= 0.
Exerccio 2.1.26. Sejam a e b inteiros positivos. Verique que as seguintes armaes so
verdadeiras:
(a) m.d.c.(a, b) = m.m.c.(a, b) se e s se a = b;
(b) se k > 0, ento m.m.c.(ka, kb) = k m.m.c.(a, b);
(c) se m um mltiplo comum de a e b, ento m.m.c.(a, b) | m.
[ Sugesto: Use o Algoritmo da Diviso para escrever m na forma qt + r, onde t =
m.m.c.(a, b) e 0 r < t. Mostre que r um mltiplo comum de a e b.]

70

introduo teoria de nmeros


2.2 nmeros primos
De entre os nmeros inteiros, existe uma classe de nmeros que desempenham um papel
fundamental, de facto, alicerante em toda a teoria de nmeros  a classe dos nmeros
primos.

2.2.1 teorema fundamental da aritmtica


Comeamos esta seco recordando que, para qualquer a Z, se tem 1 | a e a |
a. Assim, qualquer nmero inteiro no nulo diferente da identidade, admite no mnimo 4
divisores. Faz, ento, sentido a seguinte denio.

Denio 2.5 Um inteiro p > 1 diz-se um nmero primo se 1 e p forem os nicos divisores
positivos de p.
Um inteiro k > 1 diz-se um nmero composto se no for um nmero primo.

Teorema 2.8 Sejam a, b, p Z. Se p um nmero primo e p | ab, ento, p | a ou p | b.


Demonstrao: Suponhamos que p um nmero primo tal que p | ab e p - a. Ento,
m.d.c.(a, p) = 1 e, portanto, pelo Lema de Euclides, p | b.

Corolrio 2.8 Sejam n N e p, a1 , a2 , ..., an Z. Se p primo e p | a1 a2 an , ento,


p | ak para algum k {1, 2, ..., n}.

Corolrio 2.9 Seja n N. Se p, q1 , q2 , ..., qn1 e qn so nmeros primos tais que


p | q1 q2 qn , ento, p = qk para algum k {1, 2, ..., n}.

O prximo teorema estabelece um resultado que consta no Livro IX da Obra Elementos


de Euclides: todo o nmero inteiro maior que 1 pode decompor-se, de modo nico, num
produto de primos. Compreende-se, assim, que os primos constituem os tijolos"de que so
feitos todos os nmeros inteiros! No surpreende, portanto, que os nmeros primos tenham
despertado e continuem a despertar a ateno de tantos matemticos. Se por um lado se
provaram muitos teoremas importantes relativos, por exemplo, distribuio dos primos,
muitos outros resultados igualmente notveis permanecem ainda por provar!

71

introduo teoria de nmeros


Teorema 2.9 (Teorema Fundamental da Aritmtica) Todo o nmero n > 1 exprime-se como produto de um nmero nito de primos. Esta representao nica a menos da
ordem de factores.

Demonstrao: Seja n Z+ .
Existncia. Se n primo, temos que n se escreve como produto de um nico factor
primo.
Se n no primo, existe d Z tal que 1 < d < n e d | n. Seja p1 o menor inteiro
positivo tal que p1 | n. Ento, p1 primo (de facto, se p1 no fosse primo, existiria p01 Z
tal que 1 < p01 < p1 e p01 | p1 , e, portanto, 1 < p01 < n e p01 | n, o que contradiz o facto de
p1 ser o mais pequeno inteiro positivo nestas condies). Assim, existe n1 Z tal que

n = p1 n1 em que p1 primo e 1 < n1 < n.


Retomemos o raciocnio efectuado para n, aplicando-o agora a n1 . Conclumos que ou
n1 primo (e, portanto, n produto de dois nmeros primos) ou n1 no primo e existem
p2 primo e n2 Z+ tais que n = p1 p2 n2 e 1 < n2 < n1 < n.
Repetindo sucessivamente o raciocnio, obtemos uma cadeia decrescente de inteiros
positivos
n > n1 > n2 > > 1
que tem um nmero nito de elementos, o que signica que, ao m de um nmero nito
de passos obtemos um nmero primo e, portanto,

n = p1 p2 pk .
Unicidade (a menos da ordem dos factores). Sejam r, s N e p1 , p2 , ..., pr , q1 , q2 , ...,
qs nmeros primos tais que

n = p1 p2 pr = q1 q2 qs .
Suponhamos, ainda, sem perda de generalidade, que r s e que

p1 p2 pr e q1 q2 qs .
Como p1 | n,

p1 | q1 q2 qs
72

introduo teoria de nmeros


e, portanto, pelo Corolrio 2.9, existe k {1, 2, ..., s} tal que p1 = qk . Logo, q1 p1 .
Como q1 | n, de modo anlogo, conclumos que p1 q1 . Logo, p1 = q1 . Ento,

p1 p2 pr = p1 q2 qs ,
pelo que

p2 p3 pr = q2 q3 qs .
Repetindo o raciocnio sucessivamente (r 1 vezes) e tendo em conta que r s, conclumos
que se r < s,
1 = qr+1 qr+2 qs > 1,
um absurdo. Logo, r = s e as duas factorizaes so iguais.

Corolrio 2.10 Todo o nmero inteiro n > 1 pode escrever-se, de modo nico, como
n = pk11 pk22 pkr r
em que, para i {1, 2, ..., r}, ki N e pi um nmero primo e

p1 < p2 < < pr .

Proposio 2.1 Se n = pa11 pa22 pakk a factorizao de n > 1 em nmeros primos, ento,
o conjunto dos divisores positivos de n o conjunto de todos os nmeros da forma

pc11 pc22 pckk onde, para todo i {1, 2, ..., k}, 0 ci ai .

Demonstrao: Exerccio.

A proposio anterior permite estabelecer um mtodo para o clculo do mximo divisor


comum e do mnimo mltiplo comum de quaisquer inteiros maiores que 1. Este mtodo
assenta na decomposio de cada um dos inteiros no produto de nmeros primos.

Proposio 2.2 Sejam a =

k
Y
i=1

pai i

eb=

k
Y

pbi i , onde, para todo i {1, 2, ..., k}, ai 0,

i=1

bi 0 e pi primo.
Para cada i {1, 2, ..., k}, sejam ci = min{ai , bi } e di = max{ai , bi }. Ento,
73

introduo teoria de nmeros


m.d.c.(a, b) =

k
Y

pci i

m.m.c.(a, b) =

i=1

k
Y

pdi i .

i=1

Demonstrao: Exerccio.

Exemplo 2.6 Consideremos os nmeros 990 e 462. Para determinar o m.d.c.(990, 462) e o
m.m.c.(990, 462), comeamos por factorizar os nmeros dados em nmeros primos. Como
990 = 2 32 5 11
e

462 = 2 3 7 11,
conclumos que

m.d.c.(990, 462) = 2 3 50 70 11 = 66
e

m.m.c.(990, 462) = 2 32 5 7 11 = 6930.

Uma questo importante no estudo dos nmeros primos a de saber como reconhecer,
de um modo expedito, se um dado inteiro maior do que 1 um nmero primo. De seguida
apresentamos um propriedade que pode ajudar a determinar se um dado nmero ou no
um nmero primo.

Proposio 2.3 Todo o nmero composto a N tem um divisor primo p tal que p

a.

Demonstrao: Seja a = a1 a2 com a1 , a2 N\{1}. Suponhamos que a1 a2 . Ento,


ter que ser a1

a. De facto,
a1 >


a a = a1 a2 a1 a1 > a a = a,

o que um absurdo.
Como a1 > 1, existe p primo tal que p a1 e p | a1 . Logo, existe p primo tal que

p a e p | a.

74

introduo teoria de nmeros


Exemplo 2.7 Consideremos o nmero 509. Como
222 = 484 509 529 = 232 ,
temos que

509 < 23.

22 <

Os primos no superiores a 509 so, assim, os nmeros 2, 3, 5, 7, 11, 13, 17 e 19. Como
qualquer um destes nmeros no divide 509, podemos concluir que 509 um nmero primo.

Exemplo 2.8 Consideremos o nmero 2093. Como


452 = 2025 2093 2116 = 462 ,
temos que

45 <

2093 < 46.

Os primos no superiores a 2093 so, assim, os nmeros 2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
31, 37, 41 e 43. Vericamos que 2 - 2093, 3 - 2093 e 5 - 2093, mas, 7 | 2093. De facto,
2093 = 7 299.
Consideremos ento o nmero 299. Como

17 =

289 < 299 < 324 = 18,

temos que os primos no superiores a 299 so 2, 3, 5, 7, 11, 13 e 17. Simples clculos


mostram que 2 - 299, 5 - 299, 7 - 299, 11 - 299 e
299 = 13 23.
Como 23 primo, conclumos que 2093 um nmero composto e pode ser escrito como

2093 = 7 13 23.

Eratstenes (276 - 194 a.C.), matemtico, gegrafo e astrnomo grego, elaborou um


algoritmo para determinar todos os nmeros primos inferiores a um dado nmero natural n.

75

introduo teoria de nmeros


Este algoritmo, baseado na proposio anterior, cou conhecido como crivo de Eratstenes
e consiste no seguinte:
(1) Listam-se todos os inteiros de 2 a n de acordo com a ordem usual;
(2) Eliminam-se, sistematicamente, todos os nmeros compostos, cancelando todos

os mltiplos de primos p, com p tais que p n;


(3) Os elementos restantes (i.e., os nmeros que no passaram no crivo) so os
primos inferiores a n.

Exemplo 2.9 Determinemos os nmeros primos inferiores a 100. Para isso, consideramos
a lista de todos os nmeros de 2 a 100:

10

11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

A aplicao do passo 2 (cancelando, neste caso, todos os mltiplos de 2, de 3, de 5 e de 7)


permite-nos eliminar todos os nmeros compostos no superiores a 100:

76

introduo teoria de nmeros


2

9 10

11 12
13 14
15
16
17 18
19 20

21
22
23 24
25
26
27
28
29 30

31 32
33
34
35
36
37 38
39
40

41 42
43 44
45
46
47 48
49
50

51
52
53 54
55
56
57
58
59 60

61 62
63
64
65
66
67 68
69
70

71 72

73 74
75
76
77
78
79 80
81
82
83 84
85
86
87
88
89 90

91
92
93
94
95
96
97 98
99
100

Conclumos ento que os primos menores que 100 so 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31,
37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 e 97.

Outra questo que se coloca a de saber se existe um nmero primo maior do que todos
os outros. A resposta foi encontrada por Euclides que provou a existncia de uma innidade
de nmeros primos.

Teorema 2.10 Existe uma innidade de nmeros primos.


Demonstrao: Suponhamos que existe um nmero primo, p, maior que todos os outros
primos, i.e., suponhamos que

2, 3, 5, 7, 11, ..., p

()

a sucesso nita de todos os nmeros primos.


Consideremos s = 2 3 p. Como s + 1 > 1, o inteiro s + 1 admite pelo menos
um divisor primo q , ou seja, admite um divisor q que pertence lista (). Logo,

q |s+1 e q |s
77

introduo teoria de nmeros


e, portanto,

q | (s + 1) s = 1.
Assim, q = 1, o que contradiz o facto de q ser primo. A contradio resulta de termos
suposto que existia um nmero nito de primos. Logo, existe uma innidade de primos.

2.2.2

Exerccios

Exerccio 2.2.1. Mostre que:


(a) se p primo e p | a1 a2 ...an , ento p | ak , para algum k tal que 1 k n;
(b) se p, q1 q2 ...qn so todos primos e p | q1 q2 ...qn , ento p = qk , para algum k tal
que 1 k n.
Exerccio 2.2.2. Prove que:
(a) todo o primo da forma 3n + 1 da forma 6m + 1, (m, n N);
(b) o nico primo da forma n3 1, com n N, o 7; [Sugesto: Escreva n3 1
como (n 1)(n2 + n + 1).]

(c) se p 5 um nmero primo, ento p2 + 2 um nmero composto;


[Sugesto: p da forma 6k + 1 ou 6k + 5.]

(d) todo o inteiro da forma n4 + 4, em que n > 1, composto.


Exerccio 2.2.3. Factorize os inteiros 105, 684, 1375 e 139 como produto de nmeros primos.
Exerccio 2.2.4. Sejam m = ps11 ps22 ...pskk e n = pt11 pt22 ...ptkk , em que p1 , p2 , ...pk so primos
distintos, si 0 para 1 i k e ti 0 para 1 i k . Para cada i, sejam
ui = min{si , ti } e vi = max{si , ti }. Prove que:
(a) m.d.c.(m, n) = pu1 1 pu2 2 ...puk k ;
(b) m.m.c.(m, n) = pv11 pv22 ...pvkk .
Exerccio 2.2.5. Usando a factorizao de 507 e 1287 em factores primos, determine m.d.c.(507, 1287)
e m.m.c.(507, 1287).

Exerccio 2.2.6. Verique que 701 um nmero primo, testando todos os primos p 701
como possveis divisores.

78

introduo teoria de nmeros


Exerccio 2.2.7. Prove que:

p irracional para todo o primo p;

(b) se a N e n a racional, ento n a um inteiro.


(a)

Exerccio 2.2.8. (a) Mostre que condio necessria para que um nmero p 6= 2 seja
primo que satisfaa p = 4n 1, n N.
(b) Esta condio tambm suciente? Justique.
Exerccio 2.2.9. Mostre que h uma innidade de primos da forma 6n + 5.

2.3 equaes diofantinas


Denio 2.6 Uma equao diofantina uma equao do tipo
a1 xn1 1 + a2 xn2 2 + + ak xnk k = c,
onde, para cada i {1, 2, ..., k}, ni N, ai Z e c Z.

O nome diofantina" devido ao matemtico Diophantus (250 a.C.), autor de uma srie
de 13 livros chamada Arithmetica onde a solubilidade algbrica de equaes estudada.
Nesta seco vamos estudar as equaes diofantinas lineares com duas variveis, i.e.,
equaes do tipo

ax + by = c em que a, b, c Z e a, b 6= 0.
Chama-se soluo da equao ax + by = c a qualquer par (x0 , y 0 ) Z2 de tal modo que
ax0 + by 0 = c. Resolver a equao diofantina ax + by = c determinar o conjunto das suas
solues. A equao ax + by = c diz-se solvel se admite pelo menos uma soluo.

Exemplo 2.10 A equao 3x+6y = 18 tem vrias solues. Por exemplo, (x0 , y0 ) = (4, 1)
e (x1 , y1 ) = (6, 6) so solues da equao.

Exemplo 2.11 A equao 2x + 10y = 17 no tem soluo, j que, para quaisquer x, y Z,


2x + 10y um nmero par (nunca igual a 17, que um nmero mpar).
79

introduo teoria de nmeros


Estes dois exemplos levantam duas questes: 1) Quando que uma equao diofantina
do tipo ax + by = c tem soluo? 2) Se uma equao diofantina tiver soluo, ser
essa soluo nica ou haver outras? Com os resultados seguintes responderemos a estas
questes.

Proposio 2.4 Sejam a, b, c Z com a e b no nulos. A equao diofantina ax + by = c


tem soluo se e s se m.d.c.(a, b) | c.

Demonstrao: Seja d = m.d.c.(a, b). Ento, existem x0 , y0 Z tais que d = ax0 + by0 .
Mais ainda, como d | a e d | b, temos que d | ax + by , para todos x, y Z.
Por um lado, se ax + by = c tem soluo, ento, trivialmente, d | c.
Por outro lado, se d | c, existe k Z tal que c = dk = (ax0 + by0 )k = a(x0 k) + b(y0 k)
e, portanto, (x0 k, y0 k) soluo da equao diofantina ax + by = c.

Proposio 2.5 Se ax + by = c admite uma soluo, ento, admite uma innidade de


solues.

Demonstrao: Seja (x0 , y0 ) uma soluo particular de ax + by = c. Se (x0 , y 0 ) tambm


soluo de ax + by = c, temos que

ax0 + by 0 = ax0 + by0 ,


i.e.,

a(x0 x0 ) = b(y0 y 0 ).

()

Seja d = m.d.c.(a, b). Ento,

a 0
b
(x x0 ) = (y0 y 0 ).
d
d
Como ad e db so primos entre si, vem que ad | y0 y 0 , ou seja, existe t Z tal que
y0 y 0 = ad t, i.e.,
a
y 0 = y0 t.
d
Substituindo em (), vem que
a
a(x0 x0 ) = b t,
d

80

introduo teoria de nmeros


ou seja

b
x0 = x0 + t.
d
Logo, se (x0 , y0 ) soluo de ax + by = c, (x0 + db t, y0 ad t) tambm soluo da
equao, qualquer que seja t Z. Assim, a equao ax + by = c tem uma innidade de
solues.

importante observar aqui que, seguindo a demonstrao da proposio anterior, vericamos que no s provamos que temos uma innidade de solues, mas tambm provamos
que todas as solues so do mesmo tipo. Assim, faz sentido a seguinte denio.

Denio 2.7 Chama-se soluo geral da equao ax + by = c ao par (x0 , y 0 ) em que


(

x0 = x0 + db t
y 0 = y0 ad t

, t Z,

sendo (x0 , y0 ) uma soluo da equao ax + by = c.

Exemplo 2.12 Determine a soluo geral da equao 172x + 20y = 1000.


Comeamos por determinar m.d.c.(172, 20). Como

172 = 8 20 + 12
20 = 1 12 + 8
12 = 1 8 + 4
8 = 2 4 + 0,
conclumos que

m.d.c.(172, 20) = 4.
Mais ainda, como 4 | 1000, conclumos que a equao admite solues.
Para determinar a soluo geral da equao, comeamos por determinar uma soluo
particular. Como
4 = 12 1 8

= 12 1 (20 1 12)
= 2 12 1 20
= 2 (172 8 20) 1 20
= 2 172 17 20,
81

introduo teoria de nmeros


temos que

1000 = 4 250 = 500 172 + (4250) 20


e, portanto, (500, 4250) uma soluo particular da equao.
Logo, (x0 , y 0 ) Z2 , com
(
(
x0 = 500 + 20
x0 = 500 + 5t
4 t
,
t

Z
,
i.e.,
,t Z ,
0 = 4250 43t
y 0 = 4250 172
t
y
4
a soluo geral pretendida.

2.3.1

Exerccios

Exerccio 2.3.1. Quais das seguintes equaes diofantinas tm soluo?


(a) 6x + 51y = 22;
(b) 33x + 14y = 115;
(c) 14x + 35y = 93.
Exerccio 2.3.2. Determine as solues inteiras das seguintes equaes diofantinas:
(a) 56x + 72y = 40;
(b) 24x + 138y = 18;
(c) 221x + 35y = 11.
Exerccio 2.3.3. Determine as solues inteiras positivas das seguintes equaes diofantinas:
(a) 18x + 5y = 48;
(b) 54x + 21y = 906;
(c) 5x 11y = 29.
Exerccio 2.3.4. Exprima 100 como soma de dois inteiros positivos de modo que o primeiro
seja divisvel por 7 e o segundo seja divisvel por 11.
Exerccio 2.3.5. Determine as solues inteiras no negativas da equao 39x + 26y = 104.
Exerccio 2.3.6. Justique se a equao 30x + 17y = 300 tem solues inteiras positivas.

82

introduo teoria de nmeros


Exerccio 2.3.7. De quantas maneiras se pode exprimir o nmero 4 como diferena de dois
inteiros positivos, dos quais o primeiro divisvel por 8 e o segundo mltiplo de 15?
Indique trs delas.
Exerccio 2.3.8. Determine dois inteiros, um positivo e outro negativo, cuja soma 42 e
tais que um deles mltiplo de 126 e o outro divisvel por 56.
Exerccio 2.3.9. Diga, justicando, se possvel exprimir o nmero 104 como soma de dois
inteiros positivos, tais que um deles mltiplo de 6 e o outro divisvel por 11.
Exerccio 2.3.10.

(a) Para que valores inteiros de x e de y se tem 11x + 7y = 200?

(b) Para que valores encontrados em (a) se tem 3x + y mltiplo de 3?


Exerccio 2.3.11. Determine, caso existam, o menor inteiro no negativo x e o menor inteiro
no negativo y , tais que 55x 121y = 319.
Exerccio 2.3.12. Determine, caso existam, as solues (x, y) da equao 297x + 349y = 3,
tais que x, y Z, x ] , 557] e y ] , 417[.
Exerccio 2.3.13. Determine as solues inteiras no negativas da equao 39x+26y = 104.
Exerccio 2.3.14. Um teatro amador cobra 1,80 euros de entrada a cada adulto e 75 cntimos
a cada criana. Num espectculo, as receitas totais somaram 90 euros. Sabendo que
estiveram presentes mais adultos do que crianas, diga quantas pessoas estiveram a
assistir a esse espectculo.
Exerccio 2.3.15. Um turista espanhol e um guia subiram a correr os degraus da pirmide
Keops perseguidos por um leo! O turista conseguia subir cinco degraus de uma s
vez, o guia seis degraus e o leo sete degraus. A dada altura, o turista estava a um
degrau do topo da pirmide, o guia a nove degraus e o leo a dezanove degraus.
Quantos degraus pode ter a pirmide?
Exerccio 2.3.16. Tenho um certo nmero de prolas. Se zer 76 pulseiras com o mesmo
nmero de prolas, faltam-me 50 prolas para fazer a 77a pulseira. Mas se zer 78
pulseiras com o mesmo nmero de prolas, uso a totalidade das prolas que possuo.
Qual o nmero mnimo de prolas que tenho?

83

introduo teoria de nmeros


Exerccio 2.3.17. Quando morreu, a idade de um homem era
Que idade tinha o homem em 1940?

2.4
2.4.1

1
29

do ano do seu nascimento.

congruncias mdulo n
conceitos e resultados bsicos

A teoria das congruncias uma abordagem a questes de divisibilidade que assenta na aritmtica dos restos. O conceito de congruncia e a notao a ele associado foram introduzidos
pelo matemtico alemo Karl Friedrich Gauss (1777 - 1855) na sua obra Disquisitiones Arithmeticas. Com a publicao deste livro, aos 24 anos de idade, Gauss lanou os alicerces da
Teoria de Nmeros.
Citando Gauss, se um inteiro positivo n mede a diferena entre dois nmeros a e b ento
a e b dizem-se congruentes em relao a n. Caso contrrio, a e b dizem-se incongruentes.
Mais precisamente, temos a seguinte denio.

Denio 2.8 Seja n N. Diz-se que um inteiro a congruente mdulo n com um inteiro
b, e escreve-se a b(mod n), se n um divisor de a b, i.e., se a b = nk , para algum
k Z. Se a no congruente mdulo n com b, escreve-se a 6 b(mod n) e diz-se que a
incongruente com b mdulo n.

Gauss explicou que foi levado a adoptar o smbolo pela grande analogia desta relao com a igualdade algbrica. Mais adiante, precisaremos esta analogia evidenciando as
diferenas mais relevantes!

Teorema 2.11 Para quaisquer inteiros a e b,


a b(mod n) a e b tm o mesmo resto na diviso por n.

Demonstrao: Suponhamos que a b(mod n). Ento, para algum k Z, a b = nk


ou, equivalentemente, a = b + kn, para algum k Z.
Pelo Algoritmo da Diviso, existem q, r Z tais que

b = qn + r e 0 r < n.
84

introduo teoria de nmeros


Logo,

a = qn + r + kn = (q + k)n + r e 0 r < n.
Assim, a e b tm o mesmo resto na diviso por n.
Reciprocamente, suponhamos que existem q, q 0 , r Z tais que

a = qn + r, b = q 0 n + r e 0 r < n.
Ento,

a b = qn + r q 0 n r = (q q 0 )n,
pelo que

n | a b,
ou seja,

a b(mod n).

Antes de estudarmos as propriedades da relao binria (mod n) observemos que,


xado n N, para qualquer inteiro a Z existem e esto univocamente determinados,
inteiros q, r Z tais que
a = qn + r e o r < n,
i.e., tais que

a r = qn e 0 r < n.
Portanto, a congruente mdulo n com o resto da sua diviso por n.
Assim, cada inteiro a congruente mdulo n com um e um s dos inteiros

0, 1, 2, , n 2, n 1.
Faz sentido, ento, a seguinte denio.

Denio 2.9 Seja n N. Um conjunto de n inteiros {a1 , a2 , , an } diz-se um conjunto de resduos mdulo n se todo o inteiro congruente mdulo n com um e um s ak
(k {1, 2, ..., n}).

85

introduo teoria de nmeros


Exemplo 2.13 Os conjuntos A = {0, 1, 2, 3} e B = {4, 50, 5, 3} so conjuntos de
resduos mdulo 4. De facto, em relao ao conjunto B , como 4 0(mod 4), 3
1(mod 4), 50 2(mod 4) e 5 3(mod 4), todo o inteiro congruente mdulo 4 com um
e um s dos elementos de B . No entanto, o conjunto {0, 1, 2, 4} no conjunto de resduos
mdulo 4 pois 3 Z e

3 6 0(mod 4), 3 6 1(mod 4), 3 6 2(mod 4) e 3 6 4(mod 4).

O prximo resultado estabelece propriedades da relao (mod n).

Teorema 2.12 Sejam a, b, c, d Z. Ento,


(i) a a(mod n);
(ii) a b(mod n) b a(mod n);
(iii) a b(mod n) e b c(mod n) a c(mod n);

(
(iv) a b(mod n) e c d(mod n)

(
(v) a b(mod n)

ac bd(mod n)
a + c b + d(mod n)

ac bc(mod n)
a + c b + c(mod n)

(vi) a b(mod n) ak bk (mod n), k N.

Demonstrao:
(i) Como n | 0 e 0 = a a, temos que a a(mod n);
(ii) Suponhamos que a b(mod n). Ento, n | a b. Logo, n | b a e, portanto,
b a(mod n);
(iii) Suponhamos que a b(mod n) e b c(mod n). Ento, n | a b e n | b c, pelo
que n | (a b) (b c), ou seja, n | a c. Logo, a c(mod n);

86

introduo teoria de nmeros


(iv) Suponhamos que a b(mod n) e c d(mod n). Ento, n | ab e n | cd, pelo que,
para todos x, y Z, n | (a b)x + (c d)y . Por um lado, se considerarmos x = 1 e
y = 1, obtemos que n | (a+c)(b+d) e, portanto, a+c b+d(mod n). Por outro
lado, considerando x = c e y = b, obtemos n | ac bd, pelo que ac bd(mod n);
(v) O resultado imediato tendo em conta as alneas (i) e (iv);
(vi) O resultado imediato tendo em conta a alnea (iv) e aplicando o mtodo de induo.

Observao. Tendo em conta (ii) do teorema anterior, sempre que a b(mod n) , diremos,
sem ambiguidade, que os inteiros a e b so congruentes mdulo n.
As alneas (i), (ii) e (iii) do teorema anterior mostram que (mod n) uma relao de
equivalncia. Assim sendo, ela determina em Z uma partio em classes de equivalncia.
Vejamos como so constitudas estas classes. Sejam a Z e [a]n a classe de equivalncia
de a para a relao (mod n). Seja r o resto da diviso de a por n. Como a r(mod n),
temos que [a]n = [r]n e, portanto,

[a]n = [r]n = {x Z : x r(mod n)} = {x Z : x = nk + r, k Z} = nZ + r.


Assim, existem tantas classes de equivalncia mdulo n quanto o nmero de restos possveis na diviso por n, i.e., exactamente n classes de equivalncia mdulo n, a saber:
[0]n , [1]n , ..., [n1]n . O conjunto quociente Z/(mod n) = {[0]n , [1]n , ..., [n1]n } representase por Zn e as classes [0]n , [1]n , ..., [n 1]n designam-se por inteiros mdulo n.
As alneas (iv) e (v) mostram que a relao (mod n) respeita a adio e a multiplicao
de inteiros. Diz-se que (mod n) compatvel com a adio e a multiplicao em Z.
Apresentamos, de seguida, exemplo de duas questes de divisibilidade que se resolvem
muito simplesmente recorrendo relao (mod n), para certo n N.

1. Mostre que 41 | 220 1.

87

introduo teoria de nmeros


Note-se que 41 | 220 1 220 1(mod 41).
Comeamos por observar que

25 = 32 9(mod 41)
e, portanto,

(25 )4 (9)4 (mod 41).

(1)

Como

(9)2 = 81 1(mod 41),


segue-se que

(9)4 = ((9)2 )2 1(mod 41).

(2)

De (1) e (2), conclumos que

220 1(mod 41).

2. Determine o resto da diviso de

100
X

n! por 12.

n=1

Como 4! = 24 0(mod 12) temos que, para n 4,

n! = n(n 1) 5 4! 0(mod 12)


e, portanto, como 1! = 1 1(mod 12), 2! = 2 2(mod 12) e 3! = 6 6(mod 12),
100
X

n! = 1! + 2! + 3! +

n=1

100
X

n! 1 + 2 + 6 + 0(mod 12),

n=4

ou seja,

100
X

n! 9(mod 12).

n=1

Assim, o resto da diviso de

100
X

n! por 12 9.

n=1

88

introduo teoria de nmeros


As propriedades da relao (mod n) estabelecidas no Teorema 2.12 so trivialmente
satisfeitas pela relao de igualdade em Z. Mas, nem todas as propriedades da relao de
igualdade so satisfeitas pela relao (mod n). A lei do corte e a lei do anulamento do
produto so duas delas.

Lei do corte
Seja n N. Ser que, dados a, b, c Z e a 6= 0, se tem

ab ac(mod n) = b c(mod n)?


Sejam n = 6, a = 2, b = 4, c = 1. Ento,

ab ac(mod n) e, no entanto, b 6 c(mod n).


Portanto, a relao (mod n) no satisfaz a lei do corte. O prximo teorema permite
estabelecer em que condies a lei do corte vlida.

Teorema 2.13 Sejam n N e a, b, c Z. Se ca cb(mod n), ento, a b(mod nd ), onde


d = m.d.c.(c, n).

Demonstrao: Suponhamos que ca cb(mod n). Ento, n | ca cb, i.e.,


c(a b) = kn para algum k Z.

()

Como n > 0, existe m.d.c.(c, n). Seja d = m.d.c.(c, n). Ento, existem r, s Z tais
que

c = dr e n = ds.
Substituindo em (), obtemos dr(a b) = kds e, portanto, r(a b) = ks, para algum
k Z. Assim, temos que

s | r(a b).
Como r e s so primos entre si (ver Corolrio 2.4), conclumos, pelo Lema de Euclides, que
s | a b, ou seja,

a b(mod s) onde s = nd .
89

introduo teoria de nmeros

A condio para a validade da lei do corte estabelecida de imediato.

Corolrio 2.11 Sejam a, b, c Z.


a b(mod n).

Se ca cb(mod n) e m.d.c.(c, n) = 1, ento,

Lei do anulamento do produto


Seja n N. Ser que, dados a, b Z, se tem

ab 0(mod n) = a 0(mod n) ou b 0(mod n)?

Como

2 3 0(mod 6), 2 6 0(mod 6) e 3 6 0(mod n),


conclumos que a lei do anulamento do produto no satisfeita pela relao (mod n).
Vejamos em que condies que ela vlida na aritmtica das congruncias.

Teorema 2.14 Sejam a, b Z. Se ab 0(mod n) e m.d.c.(a, n) = 1, ento, b


0(mod n).

Demonstrao: Consequncia imediata do Corolrio 2.11, tendo em conta que 0 = a 0.

2.4.2

critrios de divisibilidade

Dados um inteiro a e um inteiro no nulo b, o Algoritmo da Diviso garante a existncia de


q, r Z tais que a = bq + r. De acordo com aquele algoritmo, a determinao de q e de r
simultnea, no se podendo calcular um sem calcular o outro. Existem, contudo, mtodos
que nos permitem determinar r sem necessitar de calcular q . Dado um inteiro positivo
n, chama-se critrio de divisibilidade por n a qualquer proposio que permite calcular,
mediante um processo rpido e ecaz, o resto da diviso por n de um inteiro positivo a dada
a sua representao decimal.

90

introduo teoria de nmeros


Se a0 , a1 , ..., an {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} e an 6= 0, o nmero

a = an 10n + an1 10n1 + + a2 102 + a1 10 + a0


um inteiro positivo com n+1 algarismos. Representamos este nmero por an an1 a2 a1 a0 .
No havendo ambiguidade, no se coloca a barra. Por exemplo,

459 = 4 102 + 5 10 + 9
e

5p8 = 5 102 + p 10 + 8.
A esta representao chamamos representao decimal de a.

Teorema 2.15 Seja m N. Se r1 , r2 , ..., rn1 , rn so os restos da diviso de, respectivamente, 10, 102 , ..., 10n1 , 10n por m, ento,

an an1 a2 a1 a0 an rn + an1 rn1 + + a2 r2 + a1 r1 + a0 (mod m).

Demonstrao: A demonstrao imediata tendo em conta a representao decimal do


nmero an an1 a2 a1 a0 e as propriedades apresentadas no Teorema 2.12.

Exemplo 2.14 Pretendemos determinar o resto da diviso de 1492 por 3.


Como

10 1(mod 3),
102

= 100 1(mod 3),

103 = 1000 1(mod 3),


conclumos que

1 103 + 4 102 + 9 10 + 2 1 1 + 4 1 + 9 1 + 2(mod 3),


ou seja,

1492 168(mod 3).


Mas, 168 0(mod 3), pelo que

1492 0(mod 3).


91

introduo teoria de nmeros


Com base no Teorema 2.15, estabeleceremos, de seguida, critrios de divisibilidade para
os divisores 2,5,3,9,4 e 11.

n = 2.
Como 10 0(mod 2), temos que 10i 0(mod 2), para qualquer inteiro i 1. Logo,

an an1 a2 a1 a0 a0 (mod 2).

Critrio de divisibilidade por 2: O resto da diviso de um inteiro positivo a por 2


o resto que se obtm dividindo por 2 o algarismo das unidades de a.

n = 5.
Como 10 0(mod 5), temos que 10i 0(mod 5), para qualquer inteiro i 1. Logo,

an an1 a2 a1 a0 a0 (mod 5).

Critrio de divisibilidade por 5: O resto da diviso de um inteiro positivo a por 5


o resto que se obtm dividindo por 5 o algarismo das unidades de a.

n = 3.
Como 10 1(mod 3), temos que 10i 1(mod 3), para qualquer inteiro i 1. Logo,

an an1 a2 a1 a0 an + an1 + + a2 + a1 + a0 (mod 3).

Critrio de divisibilidade por 3: O resto da diviso de um inteiro positivo a por 3


o resto que se obtm dividindo por 3 a soma de todos os algarismos de a.

n = 9.
Como 10 1(mod 9), temos que 10i 1(mod 9), para qualquer inteiro i 1. Logo,

an an1 a2 a1 a0 an + an1 + + a2 + a1 + a0 (mod 9).


92

introduo teoria de nmeros


Critrio de divisibilidade por 9: O resto da diviso de um inteiro positivo a por 9
o resto que se obtm dividindo por 9 a soma de todos os algarismos de a.

n = 4.
Como 10 2(mod 4), temos que 102 0(mod 4) e, portanto, 10i 0(mod 4), para
qualquer inteiro i 2. Logo,

an an1 a2 a1 a0 2 a1 + a0 (mod 4).

Critrio de divisibilidade por 4: O resto da diviso de um inteiro positivo a por 4


o resto que se obtm dividindo por 4 a soma do dobro do algarismo das dezenas de
a com o algarismo das unidades de a.

n = 11.
Como 10 1(mod 11), temos que 102 1(mod 11) e, portanto,

10i (1)i (mod 11),


para qualquer inteiro i 1. Logo,

an an1 a2 a1 a0 (a0 + a2 + ) (a1 + a3 + )(mod 11).

Critrio de divisibilidade por 11: O resto da diviso de um inteiro positivo a por


11 o resto que se obtm dividindo por 11 a diferena entre a soma dos algarismos
de a de ordem par e a soma dos algarismos de a de ordem mpar (considerando que
o algarismo da unidades de ordem par).

2.4.3 congruncias lineares


Denio 2.10 Chama-se congruncia linear a toda a expresso da forma ax b(mod n)
em que a, b Z, a 6= 0 e x um smbolo.

93

introduo teoria de nmeros


Chama-se soluo da congruncia linear ax b(mod n) a qualquer inteiro x0 tal que
ax0 b(mod n) uma armao verdadeira. Resolver uma congruncia linear determinar o conjunto de todas as solues dessa congruncia linear.

Exemplo 2.15 A congruncia linear 4x 5(mod 6) no tem solues em Z. De facto,


para qualquer x0 Z, 4x0 5 um nmero mpar e, portanto, no divisvel por 6.

Exemplo 2.16 A congruncia linear 3x 9(mod 12) admite, entre outras, as solues
x0 = 3, x1 = 9 e x2 = 7. Observe-se que x0 x1 (mod 12) e x0 6 x2 (mod 12), o que
nos permite concluir que, de entre as solues de uma congruncia linear, existem solues
que so congruentes entre si e outras que no so congruentes entre si.

Das equivalncias

ax b(mod n) n | ax b
ax b = ny
ax + (n)y = b

(y Z)
(y Z),

podemos armar que a existncia de soluo da congruncia linear ax b(mod n) equivalente existncia de soluo da equao diofantina ax + (n)y = b. Assim, temos o
seguinte resultado.

Teorema 2.16 Sejam a, b Z e a 6= 0. A congruncia linear ax b(mod n) admite


soluo se e s se m.d.c.(a, n) | b.

A demonstrao do teorema seguinte permite determinar o conjunto das solues de


uma dada congruncia linear

Teorema 2.17 Sejam n N, a, b Z e d = m.d.c.(a, n). Se x0 soluo da congruncia


linear ax b(mod n), ento,

x0 , x0 +

n
2n
(d 1)n
, x0 +
, , x0 +
d
d
d

a lista completa das solues da congruncia linear ax b(mod n), no congruentes


mdulo n duas a duas.

94

introduo teoria de nmeros


Demonstrao: Se x0 soluo da congruncia linear ento existe y0 Z tal que (x0 , y0 )
a
soluo da equao diofantina ax ny = b. Assim, (x0 + n
d k, y0 d k), com k Z,
a soluo geral daquela equao. Portanto, para cada k Z, x0 = x0 + n
d k soluo da
congruncia linear dada.
Considerando k {(d 1), (d 2), ..., 1, 0}, obtemos as d solues

x0 , x0 +

n
2n
(d 1)n
, x0 +
, , x0 +
d
d
d

da congruncia linear ax b(mod n).


Vejamos que: (a) Estas solues no so congruentes mdulo n duas a duas; (b) No
h mais do que d solues no congruentes mdulo n.
(a) Sejam 0 t2 < t1 d 1 tais que

n
n
t1 x0 + t2 (mod n).
d
d

x0 +
Ento,
e, como m.d.c.( nd , n) =

n
n
t1 t2 (mod n)
d
d
n
d

= d,

n
d

t1 t2 (mod d).
Assim, d | t1 t2 , o que impossvel pois 0 < t1 t2 < d. Logo,

x0 +

n
n
t1 6 x0 + t2 (mod n).
d
d

(b) Seja t Z. Ento, existem q, r Z tais que t = dq + r e 0 r d 1. Logo,

x0 +

n
d t

= x0 + nd (t)
= x0 + nd (dq + r)
= x0 + nq + nd r
x0 + nd r(mod n).

Como 0 r d 1, x0 +
apresentada.

n
d t

congruente mdulo n com um dos inteiros da lista

Corolrio 2.12 Se m.d.c.(a, n) = 1, ento, a congruncia linear ax b(mod n) tem uma


e uma s soluo mdulo n.

95

introduo teoria de nmeros


Exemplo 2.17 Na sequncia do Teorema 2.16, a congruncia linear
4x 5(mod 6)
no admite solues inteiras porque m.d.c.(4, 6) = 2 e 2 - 5.

Exemplo 2.18 Queremos resolver a congruncia linear


18x 30(mod 42).
Como m.d.c.(18, 42) = 6 e 6 | 30, a congruncia admite exactamente 6 solues no
congruentes mdulo 42, duas a duas. Uma soluo possvel 4 porque

18 4 = 72 30(mod 42).
Logo, as 6 solues referidas so

x4+

42
t(mod 42),
6

t {0, 1, 2, 3, 4, 5},

i.e.,

x1 4(mod 42),

x2 11(mod 42),

x3 18(mod 42)

x4 25(mod 42),

x5 32(mod 42),

x6 39(mod 42).

O prximo resultado fundamental para o estudo que faremos de seguida.

Teorema 2.18 Seja ax b(mod n) uma congruncia linear que admite solues. Ento,
existem c Z e m N tais que x0 soluo de ax b(mod n) se e s se x0 soluo de
x c(mod m).

Demonstrao: Sejam x0 uma soluo de ax b(mod n) e d = m.d.c.(a, n). Ento, d | b


e, portanto, pelo Teorema 2.13,

b
n
a
x0 (mod ).
d
d
d

(?)

Mais ainda, pelo Corolrio 2.4, m.d.c.( ad , nd ) = 1, pelo que existe


n
a a
1(mod ).
d d
d

96

a
d

Z tal que

introduo teoria de nmeros


Assim, multiplicando ambos os membros de (?) por

a
d

, obtemos

b a
n
(mod ),
d d
d

i.e., x0 soluo de x c(mod m) com c = db ad e m = nd . Reciprocamente, se x0

soluo de x db ad (mod nd ), bvio que x0 tambm soluo de ax b(mod n).
x0

2.4.4 Exerccios
Exerccio 2.4.1. Prove que:
(a) se a b(mod n) e m | n, ento a b(mod m);
(b) se a b(mod n) e c > 0, ento ca cb(mod cn);
Exerccio 2.4.2. D um exemplo que mostre que a2 b2 (mod n) no implica que
a b(mod n).
Exerccio 2.4.3. Verique que, se a b(mod n), ento, m.d.c.(a, n) = m.d.c.(b, n).
Exerccio 2.4.4. Para que valores de n se tem 25 4(mod n)?
Exerccio 2.4.5. Justique, se verdadeira ou falsa cada uma das seguintes armaes:
(a) 91 0(mod 7);
(b) 2 2(mod 8);
(c) 17 6 13(mod 2).
Exerccio 2.4.6. Verique se:
(a) o conjunto {-12, -4, 11, 13, 22, 32, 91} um sistema completo de resduos
mdulo 7;
(b) o conjunto {-2, -1, 0, 1, 2} um sistema completo de resduos mdulo 5.
Exerccio 2.4.7. Determine quais dos seguintes conjuntos so sistemas completos de resduos
mdulo 4:
(a) {-2, -1, 0, 1};

97

introduo teoria de nmeros


(b) {0, 4, 8, 12};
(c) {-13, 4, 17, 13};
(d) {-5, 0, 6,22}.
Exerccio 2.4.8. Determine um sistema completo de resduos mdulo 7 constitudo apenas
por nmeros primos.
Exerccio 2.4.9. Justique se, em Z6 , verdadeira ou falsa cada uma das seguintes armaes:
(a) [89]6 + [13]6 = [0]6 e [25]6 [16]6 = [5]6 ;
(b) [89]6 + [13]6 = [3]6 e [25]6 [16]6 = ;
(c) [89]6 + [13]6 = [0]6 e [25]6 [16]6 = .
Exerccio 2.4.10. Indique quatro inteiros, dois positivos e dois negativos, na classe [3]:
(a) como elemento de Z5 ;
(b) como elemento de Z6 .
Exerccio 2.4.11. Indique, justicando, caso existam:
(a) um inteiro primo x tal que x [22]15 [8]15 ;
(b) dois elementos x, y em [20]15 ([39]15 + [80]15 ) tais que 40 < x < 0 e
y > 80;
(c) um nmero primo x tal que x 6 (mod 12);
(d) dois elementos distintos em [182]9 [20]9 ;
(e) o maior nmero par n tal que 89 5 (mod n);
(f) o maior inteiro x par, no positivo, tal que x 50 (mod 109).
Exerccio 2.4.12. Indique os restos das divises de 250 e 4165 por 7.
Exerccio 2.4.13. Calcule o resto de da diviso de 4215 por 9.
Exerccio 2.4.14. Usando as propriedades das congruncias, mostre que, para n 1, se
tem:

98

introduo teoria de nmeros


(a) 7 divide 52n + 3 25n2 ;
(b) 13 divide 3n+2 + 42n+1 .
Exerccio 2.4.15. Na diviso por 5, um inteiro p admite resto 3. Qual o resto da diviso
de p2 + 2p 1 por 5?
Exerccio 2.4.16. Prove que:
(a) se a um inteiro mpar, ento a2 1 (mod 8);
(b) para todo o inteiro a, a3 0, 1 ou 6 (mod 7);
(c) para todo o inteiro a, a4 0 ou 1 (mod 5);
(d) para todo o inteiro a no divisvel por 2 e por 3, tem-se a2 1 (mod 24).
Exerccio 2.4.17. Determine o resto da diviso de 2357 1036 + 499 por 11.
Exerccio 2.4.18. Mostre que 1110 1 (mod 100).
Exerccio 2.4.19. Mostre que, para qualquer inteiro n, n3 n = 3k , para certo inteiro k .
Exerccio 2.4.20. Prove que:
(a) dado um inteiro a, o dgito das unidades de a2 0, 1, 4, 5, 6 ou 9;
(b) qualquer um dos inteiros 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 pode ser o dgito das unidades
de a3 , para algum inteiro a;
(c) dado um inteiro a, o dgito das unidades de a4 0, 1, 5 ou 6.
9

Exerccio 2.4.21. Indique os dois ltimos dgitos de 99 .


Exerccio 2.4.22. Trabalhando mdulo 9 ou 11, indique os dgitos que faltam nos clculos
apresentados:
(a) 51840 273581 = 1418243x040;
(b) 2x99561 = [3(523 + x)]2 ;
(c) 246x = x 493;
(d) 512 1x53125 = 1000000000.

99

introduo teoria de nmeros


Exerccio 2.4.23. Deduza, no sistema decimal, o critrio de divisibilidade por 6 e por 8.
Exerccio 2.4.24. Determine os algarismos x, y de modo que o inteiro 3x5y seja simultaneamente divisvel por 4 e por 9.
Exerccio 2.4.25. Determine os dgitos x e y tais que o nmero 34xx58y simultneamente
divisvel por 9 e por 11.
Exerccio 2.4.26. Determine os algarismos a e b tais que o nmero 279a15b0 simultneamente divisvel por 4 e por 9.
Exerccio 2.4.27. Determine os algarismos a e b tais que o nmero 56a21b simultneamente divisvel por 2 e por 11.
Exerccio 2.4.28. Resolva as seguintes congruncias lineares:
(a) 25x 15(mod 29);
(b) 5x 2(mod 26);
(c) 140x 133(mod 301).
Exerccio 2.4.29. Diga, justicando, quais das congruncias seguintes so solveis e, para
essas, indique a menor soluo no negativa:
(a) 10x 14(mod 15);
(b) 10x 14(mod 16);
(c) 12x 7(mod 35);
(d) 60x 30(mod 165).
Exerccio 2.4.30. Usando congruncias, resolva a seguinte equao diofantina: 4x + 51y =
9.
Sugesto: 4x 9(mod 51) x = 15 + 51t e 51y 9(mod 4) y = 3 + 4s.
Encontre a relao entre t e s.
Exerccio 2.4.31. Relativamente congruncia linear 3x 2(mod 70), determine, caso exista:
(a) a maior soluo negativa inferior a 96;

100

introduo teoria de nmeros


(b) uma soluo que seja um nmero primo.
Exerccio 2.4.32. Diga, justicando, se a congruncia linear 14x 18(mod 60) tem solues
pares.
Exerccio 2.4.33. Relativamente congruncia linear 13x 17(mod 42), determine, caso
existam,
(a) as solues negativas superiores a 100;
(b) uma soluo par.
Exerccio 2.4.34. Relativamente congruncia linear 16x 9(mod 11), determine, justicando,
(a) duas solues que sejam nmeros primos;
(b) duas solues que sejam nmeros pares;
(c) o conjunto das solues do intervalo ] , 337].
Exerccio 2.4.35. Considere a congruncia linear 18x 9(mod 21).
(a) Verique que a congruncia linear dada admite soluo.
(b) Quantas solues tem a congruncia linear 18x 9(mod 21) no intervalo inteiro
]-1, 80]? Calcule-as.

2.5 sistemas de congruncias lineares


Denio 2.11 Chama-se sistema de congruncias lineares a um sistema do tipo

(S)

a1 x b1 (mod n1 )

a2 x b2 (mod n2 )
.

..

a x b (mod n )
k
k
k

onde k N\{1} e, para todo i {1, ..., k}, ai , bi Z e ni N.


Uma soluo de (S) qualquer inteiro que soluo de todas as congruncias de (S).

101

introduo teoria de nmeros


Exemplo 2.19 O sistema de congruncias lineares
(

x 1(mod 4)
x 3(mod 6)

admite a soluo x0 = 9.

Nem todos os sistemas de congruncias lineares admitem solues. Vejamos o seguinte


exemplo.

Exemplo 2.20 O sistema de congruncias lineares


(

x 1(mod 4)
x 4(mod 6)

no admite solues inteiras. De facto, se x0 soluo do sistema, temos que existem


q1 , q2 Z tais que
x0 = 4q1 + 1
e
x0 = 6q2 + 4.
Assim,

4q1 + 1 = 6q2 + 4
i.e.,

4q1 6q2 = 3
e, portanto, a equao diofantina

4x 6y = 3
solvel, ou seja, 2 = m.d.c.(4, 6) | 3, o que um absurdo. O absurdo resultou de termos
suposto que x0 soluo do sistema. Logo, o sistema apresentado no admite solues.

Denio 2.12 Um sistema de congruncias lineares que admite soluo diz-se um sistema
solvel.
Dois sistemas de congruncias lineares dizem-se sistemas equivalentes se tiverem o
mesmo conjunto soluo.
Os sistemas de congruncias lineares podem ter um papel relevante na resoluo de
congruncias lineares. Vejamos o seguinte exemplo.

102

introduo teoria de nmeros


Exemplo 2.21 Pretende-se resolver a congruncia linear
17x 9(mod 276).
Sabemos que 276 = 22 3 23. Como m.d.c.(17, 276) = 1, a congruncia linear admite
uma e uma s soluo mdulo 276. Como

17 33 = 561 9(mod 276),


temos que essa soluo x 33(mod 276). Observamos agora que esta soluo a mesma
do sistema

17x 9(mod 3)

(S)
i.e., a mesma do sistema

17x 9(mod 4) ,

17x 9(mod 23)

2x 0(mod 3)
.
x 1(mod 4)

17x 9(mod 23)

Como 2 e 3 so primos entre si, podemos aplicar a lei do corte na primeira congruncia do
sistema. Assim, o sistema (S) tem as mesmas solues que o sistema

x 0(mod 3)

.
x 1(mod 4)

17x 9(mod 23)


Procuremos um inteiro que seja simultaneamente soluo das trs congruncias lineares.
Como a primeira congruncia admite soluo, temos que existe k Z tal que

x = 3k.
Pretendemos que k seja tal que x = 3k tambm soluo da segunda congruncia linear,
i.e., seja tal que 3k 1(mod 4). Temos:

3k 1(mod 4) k 3(mod 4)
4|k3
k = 4l + 3

(l Z)

x(= 3k) = 12l + 9.


103

introduo teoria de nmeros


Agora, procuremos l tal que x = 12l + 9 seja tambm soluo da terceira congruncia
linear,i.e., tal que 17(12l + 9) 9(mod 23). Temos

17(12l + 9) 9(mod 23) 17 12l 9 9 17(mod 23)


17 12l 9 (16)(mod 23)
17 12l 17(mod 23)
12l 1(mod 23)
l 2(mod 23)
l 23q + 2
x = 12l + 9 = 12(23q + 2) + 9 = 12(23q + 2) + 9 = 276q + 33
Logo,

x 33(mod 276).
Estamos em condies de concluir que a congruncia dada inicialmente e o sistema (S) so
equivalentes, pois tm o mesmo conjunto de solues.
Apresentado este exemplo, levanta-se a questo de saber se qualquer congruncia linear com soluo ou no equivalente a um sistema de congruncias lineares solvel. A
proposio seguinte prova que a situao apresentada no exemplo anterior no uma coincidncia.

Proposio 2.6 Sejam n N e


mk
1 m2
n = pm
1 p2 pk

a factorizao de n em factores primos distintos p1 , p2 , ..., pk . Ento, para quaisquer inteiros


a e b, x0 soluo da congruncia linear ax b(mod n) se e s se x0 soluo do sistema

ax b(mod pm

1 )

2
ax b(mod pm
2 )
(S)
..

ax b(mod pmk )
k

104

introduo teoria de nmeros


Demonstrao: Suponhamos que x0 soluo de ax b(mod n). Ento, n | (ax0 b).
i
i
Como, para cada i {1, 2, ..., k}, pm
| n, temos que pm
| (ax0 b) e, portanto, x0
i
i
mi
soluo das congruncias lineares ax b(mod pi ), com i {1, 2, ..., k}.

Reciprocamente, suponhamos que x0 soluo do sistema (S). Ento, para cada


mk
m2
i
1
i {1, 2, ..., k}, pm
| (ax0 b). Como pm
so todos primos entre si dois
1 , p2 , , pk
i
a dois, aplicando o Corolrio 2.5, conclumos que
mk
1 m2
n = pm
1 p2 pk | (ax0 b).

Logo, x0 soluo da congruncia linear ax b(mod n).

Como determinar as solues de um sistema de congruncias lineares (S) que admita


soluo?
Se (S) admite solues, tendo em conta o Teorema 2.18, o conjunto de solues de (S)
o conjunto de solues de um sistema

(S 0 )

x c1 (mod m1 )

x c2 (mod m2 )
..

x c (mod m )
k
k

onde, para cada i {1, ..., k}, ci Z e mi N. Assim, o problema de encontrar as


solues de um sistema de congruncias lineares solvel reduz-se ao problema de encontrar
as solues de um sistema do tipo de (S 0 ).
Aprendemos, de seguida, como calcular as solues de qualquer sistema de congruncias
lineares que admite soluo. Para tal, comeamos por provar o seguinte teorema, cuja
origem remonta ao sculo I (Problema de Sun-Tsu adiante apresentado).

Teorema 2.19 (Teorema Chins dos Restos) Sejam k N\{1}, a1 , a2 , ..., ak Z e


n1 , n2 , ..., nk N tais que
(i, j {1, ..., k})

i 6= j = m.d.c.(ni , nj ) = 1.
105

introduo teoria de nmeros


Ento, o sistema de congruncias lineares

x a1 (mod n1 )

x a2 (mod n2 )
(S)
..

x a (mod n )
k
k
tem uma e uma s soluo mdulo n1 n2 nk .

Demonstrao: Seja n = n1 n2 nk . Para cada i {1, 2, ..., k}, seja Ni =


n
ni

= n1 ni1 ni+1 nk . Como, para i 6= j , ni e nj so primos entre si, tambm


m.d.c.(Ni , ni ) = 1 e, portanto, para cada i, a congruncia linear Ni x 1(mod ni ) admite
soluo nica mdulo ni . Seja ela xi . Vamos provar que o inteiro
x0 = x1 N1 a1 + x2 N2 a2 + + xk Nk ak
soluo de (S). Comecemos por observar que, para r, i {1, 2, ..., k} e r 6= i, como
nr | Ni , Ni 0(mod nr ) e, portanto,

x0 = x1 N1 a1 + x2 N2 a2 + + xk Nk ak ar Nr xr (mod nr ).
Como xr soluo de Nr x 1(mod nr ), obtemos

x0 ar (mod nr ).
Portanto, o sistema (S) admite a soluo x0 .
Suponhamos de seguida que x0 outra soluo de (S). Ento,

x0 x0 (mod nr ),
para qualquer r {1, 2, ..., k} e, portanto, nr | x0 x0 , para cada r {1, 2, ..., k}. Como
m.d.c.(ni , nj ) = 1 (i 6= j ), obtemos, pelo Corolrio 2.5, n1 n2 nk | x0 x0 . Assim,
x0 x0 (mod n).

O ltimo resultado desta seco, que apresentamos de seguida, foi provado no sc. VII
d.C. por Yih-Hing e generaliza o Teorema Chins dos Restos para o caso onde os valores
dos naturais ni que denem as congruncias no so necessariamente primos entre si.

106

introduo teoria de nmeros


Teorema 2.20 Sejam k N\{1}, a1 , a2 , ..., ak Z e n1 , n2 , ..., nk N Ento, o sistema
de congruncias lineares

x a1 (mod n1 )

x a2 (mod n2 )
..

x a (mod n )
k
k

tem soluo se e s se, para todos i, j {1, ..., k},

m.d.c.(ni , nj ) | (aj ai ).
Alm disso, se o sistema tiver soluo, ela nica mdulo n, onde n o mnimo mltiplo
comum de n1 , n2 , , nk .

Demonstrao: Suponhamos que m.d.c.(ni , nj ) | (aj ai ). Queremos provar que o sistema


dado admite soluo. A ideia construir, a partir do sistema dado, um sistema nas condies
mi mi
m
do Teorema Chins dos Restos, fazendo uso da Proposio 2.6. Se ni = pi1 1 pi2 2 pir ir
a factorizao de ni (para cada i {1, 2, ..., k}) em factores primos, substitumos cada
congruncia linear x ai (mod ni ) pelo sistema de congruncias lineares

mi

x ai (mod pi1 1 )

x ai (mod pmi2 )
i2
.
..

x a (mod pmir )
i
ir
que, pela Proposio 2.6, lhe equivalente. Obtemos assim um sistema equivalente ao
primeiro, no qual todos os naturais que denem as congruncias so potncias de primos
mas no so, necessariamente, primos entre si. Seja p um nmero primo da lista de primos
obtidos na decomposio dos naturais ni (i {1, 2, ..., k}) e seja pe a maior potncia de
p que ocorre nas referidas decomposies. Seja ni (i {1, 2, ..., k}) um dos naturais que
divisvel por pe . Assim, se pf | nj , temos que f e e, portanto, pf | ni . Ento,
pf | m.d.c.(ni , nj ) e, portanto, pf | (ai aj ). Logo, se x0 soluo de x ai (mod pe ),
ento, tambm o ser de x ai (mod pf ) e de x aj (mod pf ). portanto, se eliminarmos do
sistema as congruncias lineares mdulo pl , em que l < e, obtemos um sistema equivalente

107

introduo teoria de nmeros


ao inicial. O sistema obtido pela eliminao destas congruncias , pelo Teorema Chins
dos Restos, um sistema solvel.
Suponhamos agora que existe uma soluo x0 do sistema dado. Ento, x0 ai (mod ni )
para qualquer i {1, 2, ..., k} e, portanto, ni | (x0 ai ), para cada i {1, 2, ..., k}. Para
cada i, j {1, 2, ..., k} tais que i 6= j , sejam nij = m.d.c.(ni , nj ). Ento, nij | ni e nij | nj
e, portanto, nij | (x aj ) (x ai ), ou seja, nij | aj ai .
Finalmente, provemos que, se o sistema tiver soluo, ela nica mdulo mnimo mltiplo comum de n1 , n2 , , nk . Seja x0 uma soluo do sistema. Se x tambm soluo
do sistema, ento, x x0 (mod ni ), para cada i {1, 2, ..., k}, i.e., ni | x x0 , para cada
i {1, 2, ..., k}. Logo, sendo n o mnimo mltiplo comum de n1 , n2 , ..., nk , n | x x0 e,
portanto, x x0 (mod n).

Terminamos com alguns exemplos de resoluo de sistemas de congruncias lineares.

Exemplo 2.22 Problema de Sun-Tsu (sc. I): Encontre um nmero que tem resto 2, 3
e 2 na diviso por 3, 5 e 7, respectivamente.
O problema traduz-se na resoluo do seguinte sistema de congruncias lineares

x 2(mod 3)

x 3(mod 5) .

x 2(mod 7)
Resolvemo-lo utilizando o Teorema Chins dos Restos. Sejam n = 3 5 7 = 105 e

N1 =

n
= 35;
3

N2 =

n
= 21;
5

N3 =

n
= 15.
7

Como m.d.c.(35, 3) = m.d.c.(21, 5) = m.d.c.(15, 7) = 1, temos que cada uma das congruncias lineares
35x 1(mod 3),

21x 1(mod 5),


15x 1(mod 7)
admite uma e uma s soluo mdulo 3, 5 e 7, respectivamente, a saber,

x1 = 2,

x2 = 1
108

x3 = 1,

introduo teoria de nmeros


respectivamente. Ento, pelo Teorema Chins dos Restos,

x0 = 2 35 2 + 3 21 1 + 2 15 1 = 233
uma soluo do sistema inicial. Logo, a nica soluo do sistema mdulo 105

x0 233(mod 105),
ou seja,

x0 23(mod 105).

Exemplo 2.23 Pretende-se resolver o seguinte sistema


(S)

x 2(mod 4)
x 4(mod 6) .

x 1(mod 3)

Como 4 e 6 no so primos entre si, no podemos resolver o sistema pelo Teorema Chins
dos Restos. No entanto, dado que

m.d.c.(6, 4) = 2 | 2 = 42,

m.d.c.(6, 3) = 3 | 3 = 41

m.d.c.(4, 3) = 1 | 5 = 61,

o Teorema 2.20 garante que o sistema tem uma nica soluo mdulo m.m.c.(4, 6, 3) = 12.
Seguindo a demonstrao do Teorema 2.20, conclumos que o sistema dado equivalente
ao sistema do sistema

x 2(mod 4)

x 4(mod 2)
(S1 )

x 4(mod 3)

x 1(mod 3)
que equivalente ao sistema

(
(S2 )

x 2(mod 4)
x 1(mod 3)

Resolvemos agora o sistema (S2 ) pelo Teorema Chins dos Restos. Sejam n = 12, N1 = 3
e N2 = 4. A congruncia 3x 1(mod 4) tem uma s soluo mdulo 4, a saber x1 = 3. A
congruncia 4x 1(mod 3) tem uma s soluo mdulo 3, a saber x2 = 1. Assim,

x0 = 2 3 3 + 1 4 1 = 22
109

introduo teoria de nmeros


uma soluo do sistema (S1 ). Como 22 10(mod 12) temos que x0 soluo do sistema
(S2 ) se e s se

x0 10(mod 12).
Logo, o conjunto das solues do sistema (S)

{10 + 12t : t Z}.

2.5.1

Exerccios

Exerccio 2.5.1. Resolva os seguintes sistemas de congruncias lineares:

2x 1(mod 5)

1(mod
3)

3x 9(mod 6)
(a)
(b)
; (c)
x 2(mod 5) ;

4x

1(mod
7)

x 3(mod 7)

5x 9(mod 11)

x 1(mod 2)
x 3(mod 11)
(d)
;
(e)
x 2(mod 5) .

x 6(mod 8)

x 5(mod 7)
Exerccio 2.5.2.

(a)

x 2(mod 5)
x 3(mod 6) .

x 4(mod 7)

Resolva os seguintes sistemas de congruncias lineares:

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

(b)
x 4(mod 5) ;
2x 4(mod 6) .

x 1(mod 2)
x 1(mod 2)

Exerccio 2.5.3. Utilizando o Teorema Chins dos Restos, resolva a congruncia 17x
5(mod 42).
Exerccio 2.5.4. Determine o menor inteiro a > 2 tal que 2 | a, 3 | a + 1, 4 | a + 2, 5 | a + 3
e 6 | a + 4.
Exerccio 2.5.5. Quando se retiram 2, 3, 4, 5 ovos de cada vez de um determinado cesto,
cam, respectivamente, 1, 2, 3, 4 ovos no cesto. Ao retirar 7 ovos de uma s vez, no
sobra qualquer ovo no cesto. Qual o menor nmero de ovos que o cesto pode conter?

110

introduo teoria de nmeros


Exerccio 2.5.6. Um bando de 17 piratas roubou um saco de moedas. Ao tentarem dividir
igualmente por todos eles a fortuna roubada, deram conta que sobravam 3 moedas.
Lutaram, para ver quem cava com as trs moedas e, nessa luta, morreu um pirata.
Distriburam, de novo, as moedas por todos e, desta vez, sobraram 10 moedas. Tendo
havido nova luta, mais um pirata morreu. Desta vez, a fortuna pde ser distribuda, na
ntegra, por todos! Qual o nmero mnimo de moedas que o saco roubado poderia
ter contido?
Exerccio 2.5.7. Recorrendo ao Teorema Chins dos Restos, determine as solues inteiras
da congruncia linear 19x 4(mod 84) que pertenam ao intervalo ] 200, 284].
Exerccio 2.5.8. Um inteiro positivo a dividido por 5 d resto 3 e dividido por 9 d resto 4.
(a) Determine o resto da diviso de a por 45.
(b) Calcule os inteiros positivos mpares, compreendidos entre 100 e 300, que tm,
na diviso por 45, o mesmo resto que a.
Exerccio 2.5.9. Determine os inteiros positivos x inferiores a 336 e tais que x 2(mod 8),
x 1(mod 7) x 2(mod 6).
Exerccio 2.5.10. Aplicando o Teorema Chins dos Restos, indique trs inteiros n, dos quais
um negativo e dois so positivos, para os quais se tem, simultaneamente, 3 | n,
5 | (n + 2) e o resto da diviso de n 3 por 9 6.
Exerccio 2.5.11. Recorrendo ao Teorema Chins dos Restos, resolva a congruncia linear
14x 18(mod 60).

2.6 alguns teoremas relevantes na teoria de nmeros


2.6.1 Pequeno Teorema de Fermat
Em 1640, numa carta a Bessy, funcionrio da Casa da Moeda francesa, Fermat escreveu:
Se p primo e a um inteiro no divisvel por p, ento, p divide ap1 1. Na mesma carta
acrescentou ainda que no mandava a demonstrao, pois ela era bastante longa. Quase
100 anos depois, em 1736, esta armao foi provada por Euler (na realidade, tudo leva a
crer que j Leibnitz a tinha provado em 1683, mas no h qualquer prova escrita). Este
resultado cou conhecido na histria como o Pequeno Teorema de Fermat.

111

introduo teoria de nmeros


Teorema 2.21 (Pequeno Teorema de Fermat) Se p primo e a um inteiro no divisvel por p, ento, ap1 1(mod p).

Demonstrao: Considerem-se os seguintes p 1 mltiplos de a:


a

2a

3a

(p 1)a.

()

Observamos que, como p no divide a, se tem, para todos r, s {1, 2, ..., p 1}, que

ra 6 sa(mod p)

ra 6 0(mod p).

Temos, assim, em (), p1 inteiros no congruentes dois a dois mdulo p; logo, a, 2a, 3a, , (p
1)a so congruentes mdulo p com um e um s dos nmeros 1, 2, 3, ..., p 1. Portanto,

a 2a 3a (p 1)a 1 2 3 (p 1)(mod p),


i.e.,

ap1 (p 1)! (p 1)!(mod p).


Mas, m.d.c.(p, (p 1)!) = 1, pelo que

ap1 1(mod p).

Como consequncia imediata do Pequeno Teorema de Fermat, temos o seguinte resultado:

Corolrio 2.13 Se p primo, ento ap a(mod p), para qualquer inteiro a.


Demonstrao: Por um lado, se p | a, ento, a 0(mod p), pelo que ap 0(mod p).
Logo, ap a(mod p).
Por outro lado, se p - a, ento, pelo Pequeno Teorema de Fermat, ap1 1(mod p), ou
seja, ap a(mod p).

Apresentamos de seguida alguns exemplos de aplicao do Pequeno Teorema de Fermat.

112

introduo teoria de nmeros


Exemplo 2.24 Queremos provar que 538 4(mod 11). Como 11 primo e 11 - 5, conclumos, pelo Pequeno Teorema de Fermat, que

510 1(mod 11).


Assim,

538 = (510 )3 58 58 (mod 11).


Como 54 = 625 11 2(mod 11), ou seja 54 2(mod 11), conclumos que 58
(2)2 (mod 11). Logo,
538 4(mod 11).
Usando o contra recproco do Pequeno Teorema de Fermat (ou do seu corolrio), podemos vericar se um dado nmero ou no primo. De facto, se existe a tal que p - a e
ap1 6 1(mod p) (ou tal que ap 6 a(mod p)), ento, conclumos que p no um nmero
primo.

Exemplo 2.25 Mostremos que 117 no um nmero primo. Consideremos a = 2 e vejamos


que 2117 6 2(mod 117). Calculemos o resto da diviso de 2117 por 117. Sabemos que

27 = 128 11(mod 117).


(A escolha da potncia 27 justica-se por 27 ser a potncia de 2 mais prxima de 117.)
Assim, temos que

2117 = 2716+15 1116 25 (mod 117) 2117 1218 25 (mod 117)


2117 48 25 (mod 117)
2117 221 (mod 117)
2117 (27 )3 (mod 117)
2117 113 (mod 117)
2117 121 11(mod 117)
2117 4 11(mod 117)
2117 44(mod 117).
Logo, 2117 6 2(mod 117), pelo que podemos concluir que 117 no primo.

113

introduo teoria de nmeros


O exemplo seguinte mostra que o recproco do Pequeno Teorema de Fermat no
verdadeiro.

Exemplo 2.26 Vejamos que existem inteiros a e p para os quais ap1 1(mod p) e p no
primo. Como 42 = 16 1(mod 15), temos que 414 17 (mod 15), ou seja, a151
1(mod 15). No entanto, 15 no um nmero primo.
O Lema seguinte permite-nos fazer alguma aritmtica com as congruncias em determinadas condies.

Lema 2.3 Sejam p e q nmeros primos distintos e a um inteiro tal que ap a(mod q) e
aq a(mod p). Ento,
apq a(mod pq).

Demonstrao: De ap a(mod q) conclumos que apq aq (mod q). Mas, aq a(mod q).
Assim, apq a(mod q). De modo anlogo, conclumos que apq a(mod p). Logo, como p
e q so primos entre si,
apq a(mod pq).

2.6.2

Teorema de Euler

Uma dos conceitos com maior impacto na Teoria de Nmeros o da Funo de Euler, que de
seguida apresentamos. Entre outras aplicaes, esta denio permitiu a Euler generalizar
o Pequeno Teorema de Fermat.

Denio 2.13 Para cada n 1, seja (n) o nmero de inteiros positivos k tais que k n
e m.d.c.(k, n) = 1. funo : N N, denida por n 7 (n) chama-se Funo de
Euler.

Exemplo 2.27 Tendo em conta a denio, temos, por exemplo, que (1) = (2) = 1,
(3) = (4) = (6) = 2 e (5) = 4.
Facilmente se conclui que, dado n 2, se tem que (n) n 1. Mais ainda, se n um
nmero primo, ento, (n) = n 1. Finalmente, se n um nmero composto, existe pelo
menos um inteiro positivo k tal que m.d.c.(n, k) 6= 1, pelo que (n) n 2. Acabmos
de provar o seguinte critrio de primalidade custa da Funo de Euler.

114

introduo teoria de nmeros


Lema 2.4 Um inteiro positivo n primo se e s se (n) = n 1.
Lema 2.5 Se p primo e k > 0, ento,
1
(pk ) = pk pk1 = pk (1 ).
p
pk
= pk1 elep
mentos que so divisveis por p, pelo que no so primos com pk . Todos os outros elementos
so primos com pk . Assim,

Demonstrao: Dos elementos do conjunto {1, 2, 3, ..., p, ..., pk } existem

(pk ) = pk pk1 .

Lema 2.6 Sejam m e n inteiros positivos tais que m.d.c.(m, n) = 1. Ento, (mn) =
(m)(n).

Demonstrao: Se m = n = 1, o resultado trivial j que (1) = 1. Suponhamos, ento,


que m, n > 1. Na tabela seguinte, com n linhas e m colunas, apresentamos todos os mn
primeiros inteiros positivos:

m+1

m+2

m+3

2m

..
.

..
.

..
.

..

..
.

(n 1)m + 1 (n 1)m + 2 (n 1)m + 3

nm

Observamos primeiro que um nmero desta tabela primo com mn se o for simultaneamente
com m e n. Por um lado, todos os nmeros de uma mesma coluna so congruentes mdulo
m. Assim, (m) o nmero de colunas da tabela que tm algum nmero primo com m.
Por outro lado, os elementos a, m + a, 2m + a, ..., (n 1)m + a de uma coluna de primos
com m constitui o conjunto de resduos da diviso por n. Ento, (n) destes elementos so
primos com n. Assim, as (m) colunas tm (n)(m) nmeros primos com mn. Logo,
(mn) = (m)(n).

115

introduo teoria de nmeros


Exemplo 2.28 Os inteiros m = 5 e n = 4 so primos entre si, pelo que (20) = (5)(4) =
4 2 = 8.

Exemplo 2.29 O resultado do Lema anterior no vlido se os nmeros considerados no


forem primos entre si. Para ilustrar esta situao, basta observar que (4) = 2 6= 4 =
(2)(2).
O prximo teorema permite calcular (n) a partir da decomposio de n em factores
primos.

Teorema 2.22 Se um inteiro n > 1 admite a factorizao


n = pk11 pk22 pkr r ,
onde p1 , p2 , ..., pr so primos distintos dois a dois, ento,

(n) = (pk11 pk11 1 )(pk22 pk22 1 ) (pkr r pkr r 1 )


= n(1

1
p1 )(1

1
p2 ) (1

1
pr ).

Demonstrao: A demonstrao faz-se por induo sobre r e tendo em conta os Lemas


2.5 e 2.6.

Exemplo 2.30 Como 60 = 22 3 5, temos que


1
1
1
(60) = 60(1 )(1 )(1 ) = 16.
2
3
5

Em 1760, Euler apresentou o seguinte resultado que tem como corolrio o Pequeno
Teorema de Fermat.

Teorema 2.23 (Teorema de Euler) Se a Z e n N so tais que m.d.c.(a, n) = 1,


ento,

a(n) 1(mod n).


116

introduo teoria de nmeros


Demonstrao: Sejam r1 , r2 , ..., r(n) os (n) inteiros positivos menores que n e primos
com n. Como m.d.c.(a, n) = 1, temos que, para cada i {1, 2, ..., (n)}, existe j
{1, 2, ..., (n)} tal que ari rj (mod n). Mais ainda, para quaisquer i, j {1, 2, ..., (n)}
com i 6= j , ari 6 arj (mod n). Assim,

ar1 ar2 ar(n) r1 r2 r(n) (mod n),


ou seja,

a(n) r1 r2 r(n) r1 r2 r(n) (mod n).


Como r1 , r2 , , r(n) so primos com n, podemos simplicar a expresso e obtemos

a(n) 1(mod n).

O Pequeno Teorema de Fermat resulta imediatamente do Teorema de Euler tendo em


conta o Lema 2.4.

2.6.3 Teorema de Wilson


Em 1770, Edward Waring apresentou, na obra Meditations algebraicae", a seguinte conjectura de Wilson: se p primo, ento, p divide (p + 1)! + 1. Em 1771, Lagrange no s
demonstrou esta conjectura como observou que o seu recproco igualmente vlido. De
seguida, apresentamos esta demonstrao.

Teorema 2.24 [Teorema de Wilson] Se p um nmero primo, ento, (p1)! 1(mod p).
Demonstrao: Comeamos por observar que a condio se verica para p = 2 e p = 3.
De facto,

(2 1)! = 1 1(mod 2)
e

(3 1)! = 2 1(mod 3).


Provemos agora a condio para p > 3. Seja a {1, 2, 3, ..., p 1}. Consideramos a
congruncia linear
ax 1(mod p).

117

introduo teoria de nmeros


Como m.d.c.(a, p) = 1, existe uma e uma s soluo mdulo p desta congruncia linear.
Seja a essa soluo. Ento,

1 a p 1 e aa 1(mod p).
Se a = a temos

a2 1(mod p) p | a2 1
p | (a 1)(a + 1)
p | a 1
= a = 1

ou
ou

p|a+1
a = p 1.

Se a 6= a , temos ento que

a {2, 3, 4, ..., p 3, p 2}.


Os p 3 elementos deste conjunto podem ser agrupados em pares (a, a ) tais que a 6= a e
p3

aa 1(mod p). Obtemos p3


2 pares e, portanto, 2 expresses do tipo aa 1(mod p).
Pelo Teorema 2.12(iv) obtemos

2 3 (p 3) (p 2) 1(mod p),
i.e.,

(p 2)! 1(mod p).


Logo,

(p 1)! = (p 1)(p 2)! p 1(mod p)


e, portanto,

(p 1)! 1(mod p).

Exemplo 2.31 Com este exemplo, ilustramos a demonstrao do Teorema de Wilson e


mostramos que o resto da diviso de 12! por 13 12. Seja p = 13. Da lista 2 3 4

118

introduo teoria de nmeros


5 6 7 8 9 10 11 podemos formar 5 pares de nmeros e com eles formar as 5
congruncias
2 7 1(mod 13)
3 9 1(mod 13)
4 10 1(mod 13)
5 8 1(mod 13)
6 11 1(mod 13).
Ento,

2 7 3 9 4 10 5 8 6 11 1(mod 13),
i.e.,

11! 1(mod 13).


Logo,

12! = 12 11! 12 1(mod 13),


i.e.,

(13 1)! 1(mod 13).


O resultado seguinte o recproco do Teorema de Wilson, tambm provado por Lagrange.

Teorema 2.25 Se (n 1)! 1(mod n), ento, n primo.


Demonstrao: Suponhamos que n no primo. Ento, existe um inteiro d tal que
1 < d n 1 e d | n. De 1 < d n 1 conclumos que d | (n 1)!. De d | n,
como n | (n 1)! + 1 por hiptese, conclumos que d | (n 1)! + 1. Logo,
d | (n 1)! + 1 (n 1)!,
ou seja, d | 1, o que contradiz o facto de 1 < d. Logo, n primo.

Os Teoremas 2.24 e 2.25 permitem concluir que um nmero inteiro positivo n primo
se e s se (n 1)! 1(mod n). Apesar de ser uma caracterizao dos nmeros primos,
no de modo algum um modo ecaz de vericar se um nmero ou no primo.

119

introduo teoria de nmeros


O Teorema de Wilson garante ainda que existe uma innidade de nmeros compostos
do tipo n! + 1. Continua em aberto a questo de se saber se existe ou no uma innidade
de nmeros primos da mesma forma.

2.6.4

Exerccios

Exerccio 2.6.1. Recorrendo ao Pequeno Teorema de Fermat, mostre que:


(a) a21 a(mod 15), para todo o inteiro a;
(b) a13 a(mod 273), para todo o inteiro a;
(c) a12 1(mod 35), para todo o inteiro a tal que m.d.c.(a, 35) = 1.
Exerccio 2.6.2. Mostre que 60 divide a4 + 59 se m.d.c.(a, 30) = 1.
Exerccio 2.6.3. Se a Z tal que 7 - a, prove que a3 + 1 ou a3 1 divisvel por 7.
Exerccio 2.6.4. Seja p um nmero primo. Mostre que 2 (p 3)! 1(mod p).
Exerccio 2.6.5. Determine:
(a) o resto da diviso de 15! por 17;
(b) o resto da diviso de 2 26! por 29.
Exerccio 2.6.6. Verique que 4 29! + 5! divisvel por 31.
Exerccio 2.6.7. Considere a funo de Euler . Calcule (420), (1001) e (5040).
Exerccio 2.6.8. Verique que (n + 2) = (n) + 2, para n = 12, 14, 20.
Exerccio 2.6.9. Verique o Teorema de Euler para n = 10 e a = 3.
Exerccio 2.6.10. Seja a Z tal que m.d.c.(a, 15) = 1. Mostre que a17 a(mod 15):
(a) recorrendo ao Pequeno Teorema de Fermat;
(b) recorrendo ao Teorema de Euler.
Exerccio 2.6.11. Quais os dois ltimos dgitos na representao decimal de 3256 ?

120

introduo teoria de nmeros


Exerccio 2.6.12. Mostre que se n um nmero inteiro mpar que no mltiplo de 5 ento
n divide um inteiro cujos dgitos so todos iguais a 1.
Exerccio 2.6.13. Por que que se tem (2n) = (n) para qualquer inteiro positivo mpar
n?

121

Bibliograa

[1] Bondy, J.A. & Murty, U.S.R., Graph Theory with applications, Elsevier, 5th Printing
(1982)
[2] Burton, D.M. Elementary Number Theory, Wm. C. Brown Publishers (1989)
[3] Jones, G.A. & Jones, J.M. Elementary Number Theory, Springer Undergraduate Mathematics Series, 8th printing, London (2005)
[4] Watkins, J.J. & Wilson, R.J. Graphs: an introductory approach: a rst course in discrete
mathematics, John Wiley and Sons (1990)

123