Professional Documents
Culture Documents
ESTRUTURAS ALGBRICAS I
A teoria dos nmeros a parte da Matemtica que estuda o conjunto dos nmeros
inteiros assim como alguns de seus subconjuntos e algumas de suas extenses.
De agora em diante o conjunto dos Nmeros Naturais ao longo do curso ser adotado
da seguinte forma:
1, 2,3, 4,5,6,...
O objetivo do nosso curso ser o de apresentar alguns dos fatos mais bsicos e
elementares dessa teoria. Commented [LGdS1]: Organizar depois.
admite cota inferior, pois no existe um nmero inteiro que seja menor ou igual a todos
os elementos de S. Este conjunto tambm no possui elemento mnimo, pois por Commented [LGdS5]: Sempre vai ter um nmero inteiro
que pertence ao conjunto menor que o elemento que voc
definio elemento mnimo , por definio, uma cota inferior. considerou.
2
Agora uma pergunta que podemos fazer se sempre ser possvel encontrar um
elemento mnimo para conjuntos que admitem cotas inferires. A reposta dada pelo
Princpio do Menor Inteiro.
PRINCPIO DO MENOR INTEIRO. Seja S um subconjunto de . Se S admite Commented [LGdS6]: O conjunto S no vazio
3.5 EXEMPLO: O conjunto visto no Exemplo 3.4 formados pelos nmeros inteiros no
positivos no admite cota inferior e, portanto, no tem elemento mnimo.
A proposio a seguir parece ser um pouco bvia, mas ser de grande valia ao
longo de nossa de exposio principalmente no que diz respeito a sua demonstrao,
pois a argumentao utilizada nessa demonstrao padro quando se deseja
demonstrar unicidades em matemtica.
definio, m1 e m2 so elementos de S. Como m1 mnimo, temos que m1 x para Commented [LGdS8]: Definio de elemento mnimo:
Uma cota inferior de S que pertence a S chamado de
todo x S e, em particular m1 m2 (1). Sendo m2 tambm um elemento mnimo, elemento mnimo.
m2 x para todo x S e assim, m2 m1 (2). Juntando (1) e (2), temos que m1 m2 e, Commented [LGdS9]: Por exemplo podemos tomar m1
portanto, o elemento mnimo de S nico. =1e m2 = 2, isso satisfaz a condio (1), mas no a (2).
b (m 1)a (b ma) a b ma ,
o que uma contradio pois b ma no elemento mnimo. Logo a Proposio
Archimediana verdadeira. Commented [LGdS12]: A contradio surgiu porque
existe um elemento que pertence a S, que
(b ma ) a que menor que o elemento que
PRIMEIRO PRINCPIO DA INDUO - PIF supostamente chamei de mnimo b ma .
n(n 1)
b) 1 2 3 ... n
2
c) 2n 1 n 2
4
Tudo afirmao.
A funo a frmula: n 2 n 41
a(1) 12 1 41 V 41
a(2) 22 2 41 V 43
a(3) 32 3 41 V 47
a(4) 42 4 41 V 53
a(5) 72 7 41 V 83
Tudo afirmao.
A funo a frmula: 2n 2
d (5) 12 V 7+5
Sentenas como essas que fazem afirmaes (que podem ser verdadeiras ou
falsas) sobre propriedades de uma quantidade infinita de inteiros, so chamados de
funes proposicionais.
Se uma funo proposicional vlida para alguns valores, no significa que ela
seja vlida para todos. Isso no convence o esprito matemtico e assim precisamos
verificar se est funo proposicional vlida para todos os valores.
Exemplo: e) 991n 2 1 um nmero que no possui raiz quadrada exata, n
Soluo: Testando alguns valores, vemos que:
um nmero que no
e(n) 991n2 1 Resultado
possui raiz quadrada exata.
e(1) V 992
e(2) V 3965
e(1000) V 9910000001
e(7 894 589) V 6, 2324453548 103
Por incrvel que parea o primeiro nmero inteiro positivo para o qual essa
sentena falsa :
n 12 055 735 790 331 359 447 442 538 767
prxima pea e, o fato de tombar uma pea tombar, faz com que a pea da frente tambm
tombe. Assim fcil concluir que todas as peas tombaro.
HI Hiptese de induo
Ento p ( n ) verdadeira para todo n a . Commented [LGdS14]: r pode ser muito maior ou igual
ao inteiro a. Assim pelo que eu entendi (confirmar). Admite-
se p(a) como verdadeira aps teste e como hiptese
DEMONSTRAO admite-se ... A minha dvida r pode ser muito maior que
a?
Consideremos o conjunto S x / x a e p( x) falsa . Se conseguirmos
mostrar que S , o Primeiro Princpio da Induo Finita estar demonstrado. Commented [LGdS15]: Queremos que p(x) seja
verdadeira para todo x>=0
Suponha por contradio (ou por absurdo) que S e observemos que S
admite cota inferior em , pois a uma delas (lembre-se que cota inferior no
necessariamente pertence ao conjunto). Pelo Princpio do Menor Inteiro, S possui
elemento mnimo.
Seja m o elemento mnimo de S. Como por hiptese (i), p ( a ) verdadeira e Commented [LGdS16]: No seria a esse elemento
mnimo? No poderia pela definio ( x a ou a x )
m S , por definio de elemento mnimo, temos que p (m) falsa e, est ltima se encaixa com a definio de cota inferior.
consequentemente, m a . Desta forma m 1 a e como m mnimo, m 1 no pode Commented [LGdS17]: p(m) falso no bem pela
definio, mas sim por que m S
pertencer a S e, assim, p(m 1) verdadeira. Agora aplicando a hiptese (ii), segue que
Commented [LGdS18]: No entendi porque p(m) falsa.
p(m 1 1) p(m) tambm verdadeira. Mas isto um absurdo, pois m S e vimos Entendi
falsa por que S x / x a e p( x) falsa
que p ( m ) falsa. Qualquer elemento que pertence a S o P desse elemento
falso. isso que diz isso.
Portanto, S e p ( n ) verdadeira para todo n a
3.9 EXEMPLOS
1) Demonstre as afirmaes utilizando o Princpio da Induo Finita.
a) 2n n!, n 5.
B.I: p (5) : 25 5!
32 5 4 3 2 1
32 120
2r 1 r 1!
8
OBSERVAES:
x y
z x
yx0
2 r ! (r 1) r xz 0
x
y
yz 0
2 2 r 2r !
x z z y Qualquer dvida ver Definio 1.23 Clculo A.
E como:
(k 1)! (k 1) k (Pela definio de fatorial)
r 1
2 2 2
1 r
(Produto de potncia de mesma base)
n(n 1) (2n 1)
b) 12 22 32 n2 , n 1.
6
1 (1 1)(2 1 1)
B.I: p (1) : 12
6
1 2 3
1
6
6
1
6
11
r (r 1) (2r 1)
H.I: Seja r 1 e suponha que 12 22 32 r2 .
6
Queremos provar que:
substitui r 1 no lugar de r
(r 1) (r 1 1)(2(r 1) 1)
12 22 32 r 2 (r 1) 2
prximo termo
6
(r 1)(r 2)(2r 3)
12 22 32 r 2 (r 1)2
6
(r 1)(2r 2 7r 6) Queremos provar que
12 22 32 r 2 (r 1)2
6 um lado igual ao outro
r (r 1)(2r 1)
12 22 32 r 2 (r 1) 2 (r 1) 2
H .I 6
6 6
(r 1) 2r 2 r 6r 6 (r 1) 2r 2 7r 6
6 6
r (r 1) (2r 1)
Logo, pelo P.I.F, 12 22 32 r2 , n 1.
6
n(n 1)
c) 1 2 3 n , n 1.
2
(r 1)(r 1 1)
1 2 3 r (r 1)
2
(r 1)(r 2)
1 2 3 r (r 1)
2
Assim, temos:
r (r 1)
1 2 3 r (r 1) r 1
2
r (r 1) 2(r 1)
2
(r 1) r 2
2
n(n 1)
Logo, pelo P.I.F 1 2 3 n , n 1.
2
d) n2 2n 1, n 1.
10
32 2 3 1
97
(r 1)2 2r 2 2r
4. DIVISIBILIDADE EM
4.1 O COONJUNTO DOS NMEROS INTEIROS
11