Вы находитесь на странице: 1из 2

TREINAMENTO OLMPICO AULA 01

Notas de aula Aritmtica ou Teoria Elementar dos Nmeros



1 Divisibilidade: Considerando os inteiros a e b, pode-se afirmar que a divide b, ou
que a divisor (ou fator) de b, ou que b um mltiplo de a, se existe um inteiro c tal
que b = ca, e denotamos (representamos, simbolizamos) este fato por a, b. Um inteiro
positivo p um nmero primo se, e s se, possui 1 e p como nicos divisores. Se um
nmero no for primo, ento dito composto. O 2 o nico primo que par. Lembre-
se: 1 no primo.
Fatos usuais:
- Se a, b > 0, e a,b, ento . a b s
Se a,b
1
, a , b
2
, a , b
3
, ... a , b
n
, ento para alguns inteiros c
1
, c
2
, c
3
,..., c
n
, vale a , .
1
n
i i
i
bc
=

-
1.1 Propriedades Fundamentais da relao de divisibilidade:
i) a , b, b , c a , c
ii) d , a, d , b d , ax + by, conseqentemente: d , a + b e d , a b

1.2 Algoritmo da diviso Euclidiana: Para algum inteiro positivo a e um inteiro b,
existem nicos inteiros r e q tais que b = qa + r e 0 r a s < , com r = 0 se a , b.

1.3 Teorema Fundamental da Aritmtica: Cada inteiro maior que 1 pode ser escrito
unicamente da forma
3 1 2
1 2 3
. . .....
n
n
p p p p
o o o o
, onde os
i
p so primos distintos e os
i
o so
inteiros.

Ex
1
: Considere x e y inteiros. Prove que 2x + 3y divisvel por 17 se 9x + 5y for
divisvel por 17.

Ex
2
: Encontre todos os inteiros positivos d tais que d divide n
2
+ 1 e (n + 1)
2
+ 1 para
algum inteiro n.

1.4 MDC e MMC: O maior divisor comum (MDC) entre dois inteiros positivos a e b
o maior inteiro positivo que divide a e b simultaneamente, e analogamente, diz-se que
o menor mltiplo comum (MMC) entre dois inteiros a e b o menor inteiro positivo que
mltiplo de a e de b. Diz-se que a e b so primos entre si se MDC (a,b) = 1.
Fatos usuais:
- MDC (a,1) = 1, MDC (a,a) = a, MDC(a,0) = a, MDC (a,b) = MDC(b,a)
- MDC (a,b) = MDC (b, a b)
- Para todo a e b, temos ( , ). ( , ) MDC a b MMC a b ab =
- Para todo a, b e m, ( , ) ( , ) MDC ma mb mMDC a b = e ( , ) ( , ) MMC ma mb mMMC a b = .
Se d , MDC(a,b), ento
( ) ,
,
MDC a b
a b
MDC
d d d
| |
=
|
\ .
-
- Se a , bc e MDC(a,c) = 1, ento a , b.
- Se p um primo, p , ab p , a ou p , b.
- O menor fator primo de um nmero no primo (composto) n n s .
- Todos primos p > 3 tm a forma 6 1 n .
Ex
3
: Prove que a frao
21 4
14 3
n
n
+
+
irredutvel para algum inteiro positivo n.
1
Probleminhas para sala de aula
01. Verifique se 4
545
+ 545
4
se ou no um primo.

02. (Leningrado 1990) Sejam a e b nmeros naturais tais que b
2
+ ba + 1 divide a
2
+ ab
+ 1. Prove que a = b.

03. (IMO 1998) Determine todos os pares de inteiros positivos (x,y) tais que xy
2
+ y + 7
divide x
2
y + x + y.

04. (IMO 1998) Sejam a e b dois inteiros positivos tais que ab + 1 divide a
2
+ b
2
. Mostre
que
2 2
1
a b
ab
+
+
um quadrado perfeito.

05. Se a e b so nmeros naturais, mostre que (2 1, 2 1)
a b
mdc = .
( , )
2 1
mdc a b


06. Mostre que para quaisquer inteiros positivos mpares a e b =
.
(2 1, 2 1)
a b
mdc + +
( , )
2 1
mdc a b
+

07. (IMO 2003) Seja n um inteiro positivo, e sejam p
1
, p
2
, p
3
, ..., p
n
, primos distintos
maiores que 3. Prove que
1 2 3
...
2
n
p p p p
1 + tem pelo menos 4
n
divisores.

08. Prove que no existe polinmio p(x) com coeficientes inteiros tais que p(7) = 11 e
p(11) = 13.

09. Para cada inteiro positivo p, consideremos a equao
1 1 1
x y p
+ = . Mostre que se p
primo, ento h exatamente 3 solues, caso contrrio, ou seja, p um nmero
composto, h mais que 3 solues.

10. Mostre que no primo para n > 1.
5 4
( ) 1 f n n n = + +
Problemas bnus para os alunos.
01. (Rssia 1963) Resolva em inteiros a equao 3
xy xz yz
z y x
+ + = .
02. (Leningrado 1989) Seja a um nmero natural maior que 1, e seja b um nmero
natural que um divisor de a
2
+ 1. Prove que se b a > 0, ento b a a > .
03. (IMO 2003) Encontre todos os pares de inteiros positivos tais que ( , m n)
2
2 3
2 1
m
mn n +
um nmero natural.
04. (IMO 2007) Sejam a e b inteiros positivos. Mostre que se 4 1 ab divide
( )

ento a = b.
2
2
4 1 a
05. (IM0 1994) Encontre todos os pares ordenados ( ) , m n onde m e n so naturais tais
que
3
1
1
n
mn
+

um inteiro.


2