Você está na página 1de 4

Diviso euclidiana e o teorema fundamental da aritmtica

A diviso euclidiana, ou diviso com resto, uma das quatro operaes que toda criana aprende na escola. Sua formulao precisa : dados , existem

com e a = bq + r. Tais q e r esto unicamente determinados e so chamados o quociente e resto da diviso de a por b. Se b > 0 podemos definir e se b < 0, denotado por nico inteiro k tal que . Dados dois inteiros a e b (em geral com ) dizemos que b divide a, ou que a um , tambm . ; definimos e ; em qualquer caso, r = a - bq. O resto r s vezes . Lembramos que o nico inteiro k tal que denota o

mltiplo de b, e escrevemos b | a, se existir com a = qb. Se dizemos que b um divisor de a. Assim, b | a se e somente se Proposio 1.1: Dados existe um nico

tal que d|a, d|b e, para todo com d = ax + by.

, se c|a e c|b ento c|d. Alm disso existem

Esse natural d chamado o mximo divisor comum, ou mdc, entre a e b. Escrevemos ou (se no houver possibilidade de confuso) d = (a,b). Dem: O caso a = b = 0 trivial (temos d = 0). Nos outros casos, seja e seja d = a x0 + b y0 o menor elemento positivo de I(a,b). Como , existem com a = dq + r e . Temos

; como r < d e d o menor elemento positivo de I(a,b), r = 0 e d | a. Analogamente, d | b. Suponha agora que c|a e c|b; temos c | a x + b y para quaisquer valores de x e ydonde, em particular, c|d. O algoritmo de Euclides para calcular o mdc baseia-se nas seguintes observaes simples. Se a = bq + r, , temos (com a notao da demonstrao acima)

I(a,b) = I(b,r), donde (a,b) = (b,r). Definindo a0 = a, a1 = b e an = an+1 qn+2 + an+2, (ou seja, an+2 o resto da diviso de an por an+1) temos para qualquer valor de n. Seja N o menor natural para o qual aN+1 = 0: temos (a,b) = (aN,0) = aN. Lema 1.2: Se (a, b) = 1 e a|bc ento a|c. Dem: Como (a, b) = 1, existem com ax + by = 1, logo a | c = acx + bcy.

Quando (a,b) = 1 dizemos que a e b so primos entre si. Um natural p > 1 chamado primo se os nicos divisores positivos de p so 1 e p. Um natural n > 1 chamado composto se admite outros divisores alm de 1 e n.

Claramente, se p primo e temos o seguinte resultado:

temos (p,a) = 1. Usando o lema anterior e induo

Corolrio 1.3: Sejam p um nmero primo e sejam ento p|ai para algum i, .

. Se

Estamos agora prontos para enunciar e provar o teorema que diz que todo inteiro admite fatorao nica como produto de primos. Teorema 1.4: (Teorema fundamental da aritmtica) Seja Podemos escrever n de uma nica forma como um produto um nmero natural.

onde

um natural e

so primos.

Dem: Mostramos a existencia da fatorao por induo. Se n primo no h o que provar (escrevemos m = 1, p1 = n). Se n composto podemos escrever n = ab, , 1 < a < n, 1 < b < n. Por hiptese de induo, a e b se decompem como produto de primos. Juntando as fatoraes de a e b(e reordenando os fatores) obtemos uma fatorao de n. Vamos agora mostrar a unicidade, tambm por induo. Suponha que

com

. Como

temos p1 | qi para . Analogamente temos

algum valor de i, donde, como qi primo, p1 = qi e , donde p1 = q1. Mas por hiptese de induo

admite uma nica fatorao, donde m = m' e pi = qi para todo i. Outra forma de escrever a fatorao

com

, ei > 0. Ainda outra formulao escrever

onde o produto tomado sobre todos os primos mas apenas um nmero finito de expoentes maior do que zero. Segue deste teorema o outro algoritmo comum para calcular o mdc de dois nmeros: fatoramos os dois nmeros e tomamos os fatores comuns com os menores expoentes. Este algoritmo bem menos eficiente do que o de Euclides para inteiros grandes (que em geral no sabemos fatorar) mas instrutivo saber que os dois algoritmos do o mesmo resultado. Corolrio 1.5: Se (a,n) = (b,n) = 1 ento (ab,n) = 1. Dem: Evidente a partir do algoritmo descrito acima. Teorema 1.6: (Euclides) Existem infinitos nmeros primos. Dem: Suponha por absurdo que p1, p2,..., pm fossem todos os primos. O nmero no seria divisvel por nenhum primo, o que contradiz o teorema fundamental da aritmtica. Observe que no provamos que primo para algum conjunto finito de primos (por exemplo, os m primeiros primos). Alis,

, , 4! + 1 = 25 = 52 e no so primos. No existe nenhuma frmula simples conhecida que gere sempre nmeros primos. Veja a seo 3.1.