2

Diviso Euclidiana
Sumrio
2.1 2.2 2.3 Diviso Euclidiana . . . . . . . . . . . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . . . . 2 6 10

A Aritmtica na Magna Grcia . . . . . . . . . . . .

Unidade 2

Diviso Euclidiana
a no divide o nmero inteiro b, Euclides1 ,
por

Mesmo quando um nmero inteiro

nos seus Elementos, utiliza, sem enunci-lo explicitamente, o fato de que sempre possvel efetuar a diviso de

a,

com resto . Este resultado, cuja

demonstrao damos abaixo, no s um importante instrumento na obra de Euclides, como tambm um resultado central da teoria.

2.1

Diviso Euclidiana

Diviso Euclidiana

Teorema 1

Sejam inteiros

a e b dois nmeros inteiros com a = 0. q e r tais que b = a q + r, com 0

Existem dois nicos nmeros

r < |a|.

Demonstrao

Considere o conjunto

S = {x = b ay; y Z} (N {0}).
Existncia: Pela Propriedade Arquimediana, existe

n(a) > b, logo b na > 0, o que mostra que S no vazio. O conjunto S limitado inferiormente por 0, logo, pelo princpio da boa ordenao, temos que S possui um menor elemento r . Suponhamos ento que r = baq . Sabemos que r 0. Vmos mostrar que r < |a|. Suponhamos por absurdo que r |a|. Portanto, existe s N {0} tal que r = |a| + s, logo 0 s < r. Mas isto contradiz o fato de r ser o menor elemento de S , pois s = b (q 1)a S , com s < r .
tal que Unicidade: Suponha que

nZ

b = aq +r = aq +r , onde q, q , r, r Z , 0 r < |a| e0 r < |a|. Assim, temos que |a| < r r r < |a|. Logo, |r r| < |a|. Por outro lado, a(q q ) = r r , o que implica que |a||q q | = |r r| < |a|,
o que s possvel se

q=q

e consequentemente,

r=r.

1 para

2 Devemos

saber mais sobre a obra de Euclides, leia a nota histrica no nal deste captulo. observar que Euclides s tratava nmeros positivos.

Diviso Euclidiana

Unidade 2

q e r so chamados, respectivamente, de quociente e de resto da diviso de b por a. Da diviso euclidiana, temos que o resto da diviso de b por a zero se, e somente se, a divide b.
Nas condies do teorema acima, os nmeros O quociente e o resto da diviso de quociente e o resto da diviso de

19

por

19 por 5 so q = 3 e r = 4. 5 so q = 4 e r = 1.

Exemplo 1

Vamos mostrar aqui que o resto da diviso de que seja o nmero natural

10n por 9 sempre 1, qualquer

Exemplo 2

n. n = 1, temos que 101 = 9 1 + 1; portanto, n N, isto 10n = 9q+1.

Isto ser feito por induo. Para o resultado vale.

Suponha, agora, o resultado vlido para um dado Considere a igualdade

10n+1 = 1010n = (9+1)10n = 910n +10n = 910n +9q+1 = 9(10n +q)+1,

provando que o resultado vale para

n+1

e, consequentemente, vale para todo

n N.
Note que este resultado decorre tambm do Problema 1.1.7(a), pois l

9|10n 1; portanto, sendo isso verdade, temos que 10n 1 = 9q e, consequentemente, 10n = 9q +1. Uma prova mais simples pode ser dada com a utilizao da Proposio 1.1.6 da Unidade 1, j que 9 = 10 1 n n n e 10 1 = 10 1 .
pedia-se para mostrar que Dados dois nmeros naturais tal que

com

a > 0,

existe um nmero inteiro

Corolrio 2

na

b < (n + 1)a. q, r Z

Pela diviso euclidiana, temos que existem univocamente determinados, tais que

com

b = a q + r.

Basta agora tomar

r < a, n = q.

Demonstrao

A armao contida no corolrio acima (para

b > 0)

foi feita, sem de-

monstrao, por Euclides nos Elementos, que a utilizava para justicar a sua diviso.

Unidade 2

Diviso Euclidiana
nZ

Exemplo 3

Dado um nmero inteiro i) o resto da diviso de ii) o resto da diviso

qualquer, temos duas possibilidades:

n por 2 0, isto , existe q N tal que n = 2q ; ou de n por 2 1, ou seja, existe q N tal que n = 2q + 1.

Portanto, os nmeros inteiros se dividem em duas classes, a dos nmeros da forma da forma

2q para algum q Z, chamados de nmeros pares, e a dos nmeros 2q + 1, chamados de nmeros mpares. Os naturais so classicados

em pares e mpares, pelo menos, desde Pitgoras, 500 anos antes de Cristo. A paridade de um nmero inteiro o carter do nmero ser par ou mpar. fcil determinar a paridade da soma e do produto de dois nmeros a partir da paridade dos mesmos (veja Problema 2.1.3).

Exemplo 4

Mais geralmente, xado um nmero natural crever um nmero qualquer

2,

pode-se sempre es-

n,

de modo nico, na forma

n = mk + r,

onde

k, r Z

r < m. n
pode ser escrito em uma, e somente

Por exemplo, todo nmero inteiro uma, das seguintes formas:

3k , 3k + 1, ou 3k + 2. Ou ainda, todo nmero inteiro n pode ser escrito em das seguintes formas: 4k , 4k + 1, 4k + 2, ou 4k + 3.
Dados

uma, e somente uma,

Exemplo 5

a, n N,

com

a > 2

e mpar, vamos determinar a paridade de

(a 1)/2.
Como

mpar, temos que

an 1

par, e, portanto

(an 1)/2

um

nmero natural. Logo, legtimo querer determinar a sua paridade. Temos, pelo Problema 1.1.8(a), que

an 1 a 1 n1 = (a + + a + 1). 2 2
Sendo

mpar, temos que

an1 + + a + 1

par ou mpar, segundo

par ou mpar (veja Problema 2.1.3). procura da paridade de Sendo

Portanto, a nossa anlise se reduz

(a 1)/2. 4k + 1 ou 4k + 3. Se a = 4k + 1, ento a = 4k + 3, ento (a 1)/2 mpar.

mpar, ele da forma

(a 1)/2

par, enquanto que, se

Diviso Euclidiana
(an 1)/2 par se,

Unidade 2

Resumindo, temos que forma

e somente se,

n par ou a da

4k + 1.

Vamos achar os mltiplos de 5 que se encontram entre 1 e 253. Estes so todos os mltiplos de 5 que cabem em 253. Pelo algoritmo da diviso temos que

Exemplo 6

253 = 5 50 + 3,
ou seja, o maior mltiplo de 5 que cabe em 253

5 50,

onde

50

o quociente

da diviso de 253 por 5. Portanto, os mltiplos de 5 ente 1 e 253 so

1 5, 2 5, 3 5, . . . , 50 5,
e, consequentemente, so em nmero de 50.

Mais geralmente, dados nulos de

menores ou

a, b N com a < b, o nmero de mltiplos no iguais a b igual ao quociente da diviso de b por a.

Unidade 2

Problemas
2.2 Problemas

1. Ache o quociente e o resto da diviso

a) de 27 por 5.

b) de 38 por 7.

2. Mostre como, usando uma calculadora que s realiza as quatro operaes,

pode-se efetuar a diviso euclidiana de dois nmeros naturais em apenas trs passos. Aplique o seu mtodo para calcular o quociente e o resto da diviso de 3721056 por 18735.
3. Discuta a paridade

(a) da soma de dois nmeros. (b) da diferena de dois nmeros. (c) do produto de dois nmeros. (d) da potncia de um nmero. (e) da soma de
4.

nmeros mpares.

(a) Mostre que um nmero natural qualquer que seja (b) Mostre que

par se, e somente se,

an

par,

n N.
sempre par, quaisquer que sejam

an am

n, m N.

(c) Mostre que, se

a e b so mpares, ento a2 + b2

divisvel por 2 mas

no divisvel por 4.
5. Quais so os nmeros que, quando divididos por 5, deixam resto igual

(a) metade do quociente? (b) ao quociente? (c) ao dobro do quociente? (d) ao triplo do quociente?
6. Seja

um nmero natural.

Mostre que um, e apenas um, nmero de

cada terna abaixo divisvel por 3.

Diviso Euclidiana

Unidade 2

(a) (b)

n, n + 1, n + 2 n, n + 2, n + 4

(c) (d)

n, n + 10, n + 23 n, n + 1, 2n + 1

7. Mostre que

(a) se (b) se

n n

mpar, ento

n2 1

divisvel por 8.

no divisvel por 2, nem por 3, ento

n2 1

divisvel por

24. (c)

n N, 4 |n2 + 2. a, m
e

8. Sejam dados os nmeros naturais

tais que

1 < a < m < n.

(a) Quantos mltiplos de (b) Quantos mltiplos de (c) Quantos mltiplos de

a 7 7

existem entre m e

n?

existem entre 123 e 2551? existem entre 343 e 2551?

9. (ENC-2000) Mostre que, se um inteiro , ao mesmo tempo, um cubo e

um quadrado, ento ele da forma

10. (ENC-2000)

5n, 5n + 1,

ou

5n + 4.

(a) Mostre que, se um nmero resto 1 na diviso por 3.

no divisvel por 3, ento

a2

deixa

(b) A partir desse fato, prove que, se

a e b so

inteiros tais que 3 divide

a +b

, ento

so divisveis por 3.

11. (ENC-2001) Seja

um nmero natural; prove que a diviso de

N2

por

6 nunca deixa resto 2.

12. (ENC-2002) O resto da diviso do inteiro

por 20 8. Qual o resto

da diviso de

por 5?

13. Mostre que, se

PA sempre

n mpar, ento a soma de n termos consecutivos de uma divisvel por n.

14. Ache o menor mltiplo de 5 que deixa resto 2 quando dividido por 3 e

por 4.

Unidade 2

Problemas

Problemas Suplementares

15. Mostre, para todo

n N,

que (d) (e) (f )

(a) (b) (c)

6|n3 + 11n 9|4n + 15n 1 3n+2 |103n 1

7|23n 1 8|32n + 7 7|32n+1 + 2n+2

(g)

a2 a+1|a2n+1 + (a 1)n+2 , para todo a N

16. Mostre que, se um inteiro um quadrado e um cubo, ento da forma

7k
17.

ou

7k + 1. 4n + 1.
um

(a) Mostre que um quadrado perfeito mpar da forma (b) Mostre que nenhum elemento da sequncia quadrado perfeito.

11, 111, 1111, . . .

18.

(a) Mostre que todo quadrado perfeito da forma

5k

ou

5k 1.

(b) Com que algarismo pode terminar um quadrado perfeito? (c) Se trs inteiros positivos vericam

a2 = b 2 + c 2 ,

ento entre eles h

um mltiplo de 2 e um mltiplo de 5. (d) A soma dos quadrados de dois inteiros mpares no pode ser um quadrado perfeito.
19. Mostre que, de

n inteiros consecutivos, um, e apenas um, deles divisvel

por

n.

20. Um nmero dito livre de quadrados se no for divisvel pelo quadrado

de nenhum nmero diferente de 1. (a) Determine qual o maior nmero de nmeros naturais consecutivos livres de quadrados. (b) Dena nmeros livres de cubos e resolva o problema correspondente.
21. Seja

m N.

Pode o nmero

m(m + 1)

ser a stima potncia de um

nmero natural? (generalize).

22. Dados

a, b N, quantos sequncia a, 2a, . . . , ba?

nmeros naturais divisveis por

existem na

Diviso Euclidiana
a, d N.

Unidade 2

23. Sejam

Mostre que, na sequncia

a+0d, a+d, a+2d, a+3d, . . .

ou no existe nenhum quadrado ou existem innitos quadrados.

Unidade 2

A Aritmtica na Magna Grcia

2.3 A Aritmtica na Magna Grcia

Segundo os historiadores, foi Tales de Mileto (640-546 AC) quem introduziu o estudo da Matemtica na Grcia. Tales teria trazido para a Grcia os rudimentos da geometria e da aritmtica que aprendera com os sacerdotes egpcios, iniciando a intensa atividade matemtica que ali se desenvolveu por mais de 5 sculos. A diferena entre a matemtica dos egpcios e a dos gregos era que, para os primeiros, tratava-se de uma arte que os auxiliava em seus trabalhos de engenharia e de agrimensura, enquanto que, com os segundos, assumia um carter cientco, dada a atitude losca e especulativa que os gregos tinham face vida. Em seguida, foram Pitgoras de Samos (580?-500? AC) e sua escola (que durou vrios sculos) que se encarregaram de ulteriormente desenvolver e difundir a Matemtica pela Grcia e suas colnias. A escola pitagrica atribua aos nmeros um poder mstico, adotando a aritmtica como fundamento de seu sistema losco. Quase nada sobrou dos escritos originais dessa fase da matemtica grega, chegando at ns apenas referncias e comentrios feitos por outros matemticos posteriores. Os gregos tinham uma forte inclinao para a losoa e a lgica, tendo isto inuenciado fortemente toda a sua cultura e, em particular, o seu modo de fazer matemtica. Um importante exemplo disso foi a grande inuncia que sobre ela exerceu Plato (429-348 AC), que, apesar de no ser matemtico, nela via um indispensvel treinamento para o lsofo, ressaltando a metodologia axiomtico-dedutiva a ser seguida em todos os campos do conhecimento. O

domnio da geometria era uma condio necessria aos aspirantes para o ingresso na sua academia. A preferncia de Plato pelos aspectos mais tericos e conceituais o fazia estabelecer uma clara diferenciao entre a cincia dos nmeros, que chamava aritmtica, e a arte de calcular, que chamava logstica, a qual desprezava por ser infantil e vulgar". Com toda esta herana cultural, surge por volta de 300 AC, em Alexandria, um tratado que se tornaria um dos marcos mais importantes da Matemtica, Os Elementos de Euclides .
3 Sobre

Pouco se sabe sobre os dados biogrcos deste

Os Elementos de Euclides

Euclides e a sua obra recomendamos a leitura de

, de

10

Diviso Euclidiana

Unidade 2

grande matemtico, tendo chegado a ns, atravs de sucessivas edies, este tratado composto por treze livros, onde se encontra sistematizada a maior parte do conhecimento matemtico da poca. Aparentemente, Euclides no criou muitos resultados, mas teve o mrito de estabelecer um padro de apresentao e de rigor na Matemtica jamais alcanado anteriormente, tido como o exemplo a ser seguido nos milnios que se sucederam. Dos treze livros de Os Elementos, dez versam sobre geometria e trs, sobre aritmtica. Nos trs livros de aritmtica, Livros VII, VIII e IX,

Euclides desenvolve a teoria dos nmeros naturais, sempre com uma viso geomtrica (para ele, nmeros representam segmentos e nmeros ao quadrado representam reas). No Livro VII, so denidos os conceitos de divisibilidade, de nmero primo, de nmeros perfeitos, de mximo divisor comum e de mnimo mltiplo comum, entre outros. No mesmo livro, alm das denies acima,

todas bem postas e at hoje utilizadas, encontra-se enunciada (sem demonstrao) a diviso com resto de um nmero natural por outro, chamada diviso euclidiana (nosso Teorema 2.1.1). Com o uso iterado desta diviso, Euclides estabelece o algoritmo mais eciente, at hoje conhecido, para o clculo do mximo divisor comum de dois inteiros (Proposies 1 e 2 nos Elementos), chamado de Algoritmo de Euclides, que apresentaremos na Unidade 5. No

Livro VIII, so estudadas propriedades de sequncias de nmeros em progresso geomtrica. No Livro IX, Euclides mostra, de modo magistral, que a quantidade de nmeros primos supera qualquer nmero dado; em outras palavras, existem innitos nmeros primos (Proposio 20 nos Elementos; nosso Teorema 2.1 da Unidade 12). Euclides tambm prova que todo nmero natural se escreve de modo essencialmente nico como produto de nmeros primos, resultado hoje chamado de Teorema Fundamental da Aritmtica (Proposio 14 nos Elementos; nosso Teorema 1.1 da Unidade 12). tambm provado um resultado que d uma condio necessria para que um nmero natural seja perfeito (Proposio 35 em Os Elementos; parte de nosso Teorema 1.1, Unidade 16). Aps Euclides, a aritmtica estagnou por cerca de 500 anos, ressuscitando com os trabalhos de Diofanto de Alexandria, que viveu por volta de 250 DC. A obra que Diofanto nos legou chama-se Aritmtica e foi escrita em treze

Joo Bosco Pitombeira, Cadernos da RPM, Volume 5, N. 1, 1994; ou ainda, conquista do espao, por Carlos Tomei, Odysseus, So Paulo, 2003.

Euclides, a

11

Unidade 2

A Aritmtica na Magna Grcia

volumes, dos quais apenas sete nos chegaram. Trata-se do primeiro tratado de lgebra hoje conhecido, pois a abordagem de Diofanto era totalmente algbrica, no sendo revestida de nenhuma linguagem ou interpretao geomtrica, como o faziam todos os seus predecessores. A maioria dos problemas estudados por Diofanto em Aritmtica visava encontrar solues em nmeros racionais, muitas vezes contentando-se em encontrar apenas uma soluo, de equaes algbricas com uma ou vrias incgnitas. Um dos problemas tratados por Diofanto era a resoluo em nmeros racionais, ou inteiros, da equao pitagrica

x2 + y 2 = z 2 ,

chegando a descrever

todas as suas solues. Este problema teve o poder de inspirar o matemtico francs Pierre Fermat mais de 1300 anos depois, traando os rumos futuros que a Matemtica iria tomar, como veremos mais adiante.

12