Escolar Documentos
Profissional Documentos
Cultura Documentos
Os numeros inteiros
Algebra
(Curso de CC)
24 / 51
Algebra
(Curso de CC)
25 / 51
Algebra
(Curso de CC)
26 / 51
Lema
Sejam a, b e c inteiros.
(i) Se a | b e b | c, entao a | c.
(ii) Se a | b, entao a | bc.
(iii) Se a | b e a | c, entao a | b + c.
(iv) Se a | b e b | a, entao a = b.
(iv) Se a | 1, entao a = 1.
(v) Se a, b N e a | b, entao a b.
Algebra
(Curso de CC)
27 / 51
Proposicao
Qualquer conjunto nao-vazio de inteiros tem mnimo (respectivamente,
maximo) desde que seja minorado (respectivamente, majorado).
O Princpio de Boa Ordenacao e equivalente a qualquer uma das formas
do Princpio de Inducao Matematica que se apresentam a seguir.
Algebra
(Curso de CC)
28 / 51
Algebra
(Curso de CC)
29 / 51
Exemplo
Vamos provar que para qualquer n inteiro positivo,
1 + 2 + ... + n =
n(n + 1)
.
2
S,
ent
a
o
2
. Assim
1 + 2 + ... + n = n(n+1)
2
1 + 2 + ... + n + (n + 1) = n(n+1)
+ (n + 1) = (n+1)(n+2)
, donde podemos
2
2
afirmar que (n + 1) S. Logo, por induc
ao, 1 + 2 + ... + n = n(n+1)
para todos
2
os inteiros positivos n.
Algebra
(Curso de CC)
30 / 51
Exerccio
Escreva duas func
oes GAP para calcular a soma de todos os n
umeros
inteiros positivos ate n inclusive, uma usando a f
ormula dada no exemplo
anterior e a outra usando um ciclo for.
Compare a sua eficiencia usando a funcao time para o efeito.
Em alguns casos torna-se mais conveniente utilizar uma outra forma do
Princpio de Inducao equivalente `a que foi anteriormente referida.
Algebra
(Curso de CC)
31 / 51