Escolar Documentos
Profissional Documentos
Cultura Documentos
a, se n 1
an
n 1
a a , se n 1.
Se a 0 , definimos a 0 1 .
Dados a, b no nulos e m, n naturais quaisquer, valem as seguintes propriedades.
As provas seguem imediatamente das definies acima e do princpio de induo. So deixadas
como exerccio.
(a) a m a n a m n
(b) ( a m ) n a mn
(c) a n b n (a b)n
Outra operao nos nmeros naturais que tambm frequentemente definida por
induo fatorial. Para cada inteiro no negativo n , definimos o fatorial de n , denotado por n ! ,
da seguinte forma
1, se n 0
n!
n (n 1)!, se n 1
Um dos resultados bsicos de matemtica em que fatorial aparece o seguinte teorema.
Teorema 1: Sejam dados n inteiro positivo e conjuntos A e B com n elementos. O conjunto de
todas as bijees f : A B tem n ! elementos.
A afirmao bvia quando n 1 . Suponha que a afirmao seja verdadeira para
conjuntos com k elementos, vamos provar que o resultado se mantm para conjuntos com (k 1)
elementos.
Para um elemento a A fixado, existem (k 1) possibilidades de escolha para a
imagem de a por um bijeo. Para cada uma dessas escolhas, existem k ! bijees f : A B
(pela hiptese de induo). Segue que o nmero total de bijees (k 1) k ! (k 1)! ,
concluindo assim a prova do teorema.
m
m!
.
n
n !(m n)!
Afirmamos que para m inteiro no negativo dado e n inteiro tal m n , tem-se que
m
n
m
m!
1!
1 .
n
n !(m n)! 1!1!
Suponha que a afirmao seja verdadeira para m , vamos provar que tambm vale para
(m 1) .
De fato, uma conta simples mostra que
m 1 m m
n
n 1 n
m m
m 1
e so inteiros, donde
n 1 n
n
i
a b .
i 0
i 1 i
n
n 1 n
n n i i 1
n i i 1
n 1
a
b
a b
i 0 i
i 0 i
n
n n 1i i
b n 1
a b .
i 1 i 1
n
n 1 n 1
n i i
a b .
i 0 i
n
0 (1)i .
i 0
i
n