Perguntas frequentes e erros comuns- 0!.

Rodrigo Carlos Silva de Lima

rodrigo.uff.math@gmail.com


Sumario
1 Perguntas frequentes e erros comuns- 0!

1.1

0! = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Fatorial, extensao
. . . . . . . . . . . . . . . . .
por meio de recorrencia

1.2.1

Fatorial nao
definido para inteiros negativos . . . . . . . . . . . .
Produto Sobre O Conjunto Vazio . . . . . . . . . . . . . . . . . . .

4
8

1.3

Conceito de Nao
Multiplicar ou Multiplicar 0 Vezes. . . . . . . .
Fatorial, definicao
recursiva . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4

Definicao
reais, usando funcao
de fatorial para numeros

gamma . . . .

11

1.2.2
1.2.3

5
9

Captulo 1
Perguntas frequentes e erros
comuns- 0!
Esse texto ainda nao
se encontra na sua versao
final, sendo, por enquanto, constitudo apenas de anotacoes
informais. Sugestoes
para melhoria do texto, correcoes

da parte matematica
ou gramatical eu agradeceria que fossem enviadas para meu

Email rodrigo.uff.math@gmail.com.

1.1 0! = 1
1.2

por meio de recorrencia

Fatorial, extensao

m Definic ao

1 (Definicao
Podemos definir n! com n N, n > 0
por produtorio).

por meio do produtorio

n! :=

n
Y
k=1

k.

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

Da definicao
anterior temos que 1! =

1
Y

(k) = 1. Com isso podemos verificar que

k=1
n!

z }| {
n
n+1
Y
Y
(k) = (n + 1).n!.
(n + 1)! =
(k) = (n + 1).
k=1

k=1

Obtemos entao
(n + 1)! = (n + 1).n! com a condicao
a recorrencia

inicial 1! = 1. A
extensao
maneira por meio da recorrencia
para n = 0, pode ser feita de uma unica

e condicao
inicial obtidas.
Obtivemos a recorrencia


n! =

1 se n = 1.

(n 1)!.n se n > 1, n N.

Fazendo a extensao
para n > 0 podemos deduzir que 0! = 1 pois
da recorrencia

usando a identidade n! = (n 1)!.n, com n = 1, obtemos

1! = 0!.1 0! = 1,
|{z}
=1

portanto segue que 0! = 1. Por outro lado poderamos tomar 0! = 1 como condicao

inicial no lugar de 1! = 1.
Deduzir que 0! = 1 depende de qual das equivalentes definicoes
de fatorial adotamos. Para alguns pode-se considerar mais natural adotar 1! = 1 como definicao

e deduzir 0! = 1 por uso da recorrencia,

pois 1! = 1 tambem

pode ser obtido pela

expressao
do fatorial como produtorio,

n! = n . . . 2.1,
e naturalmente da temos 1! = 1. Para n = 0 o conceito do produtorio
acima teria

que ser estendido, nesse caso temos o conceito de produto vazio, que ainda nao
e
tao
em portugues
difundido nos textos de Matematica

atualmente.

1.2.1

definido para inteiros negativos

Fatorial nao

Se sabemos a recorrencia
do fatorial (n + 1)! = (n + 1).n! e uma condicao

inicial,
por exemplo 1! = 1, podemos deduzir que 0! = 1 pois tomando n = 0 na recorrencia

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

z}|{
acima temos que 1! = 1.0!, da 0! = 1. Porem
nao
podemos estender a definicao

para todo inteiros negativos por meio da recorrencia,

pois, supondo que (1)! esteja

definido como numero

real, tem-se que, tomando n = 1 na recorrencia

(0)! = 0.(1)! = 0
da 0! = 0 e 0! = 1 o que e absurdo . Por nao
podermos definir o fatorial de maneira
uniforme para inteiros negativos, vamos deixar o fatorial indefinido para tais valores.
Vamos responder alguns comentarios
sobre o tema.

Comentario:
Temos que 0! = 1, aplicando a recorrencia
para fatoriais n! =

n(n 1)! , tomando n = 0, teremos que 0! = 0(1)!, ou seja, (1)! e um numero

que multiplicado por 0 da 1.

Resposta: Com isso conclumos apenas que (1)! nao
pode estar definido em

R ( ou mesmo nos complexos) de maneira que se respeite a recorrencia

do

fatorial n! = n(n 1)! para valor inteiros negativos, pois para todo numero

real x, tem-se 0.x = 0. Se desejamos definir (1)! de forma que a recorrencia

do fatorial seja valida,

e necessario
entao

considerar um conjunto diferente de

R onde haveria um elemento (1)! nao

real, e entao
definir uma operacao
de
multiplicacao
nesse conjunto de tal forma que com essa nova operacao
se
tenha
(1)!.0 = 0,
mas tal operacao
nao
poderia ter as mesmas operacoes
que um corpo como R
ou C, pois nesses conjuntos se tem 0.x = 0 x.

1.2.2

Produto Sobre o Conjunto Vazio

m Definic ao

2. Um conjunto A e finito, quando ele e vazio ou quando existe

uma becao
f entre o conjunto In = {1, 2, . . . , n} = {x N|1 x n}, f : In A.

Definic ao
3 (Particao
em conjuntos ). Seja A um conjunto , dizemos que

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

uma decomposicao
de A = B C com B C = e uma Particao
de A.
Se tomarmos B = A e C = , temos B = A e B = , logo e uma Particao
de
A, essa Particao
e chamada de Particao
trivial.

m Definic ao

4 (Produto sobre conjuntos finitos). Sejam A um conjunto finito,

f : A R, uma funcao
que associa elementos de A (quando esse possui elementos)
em R(Poderia ser outro conjunto onde tem-se com o produto um grupo abeliano),
se A e vazio definimos

f(k) = 1

kA

f(k) = 1.

Se A possui 1 elemento a1 , definimos

f(k) = f(a1 ).

kA

Se A possui mais de um elemento, tomamos uma Particao

de A = B C e
definimos

f(k) =

kA

f(k) =

k BC

f(k).

kB

f(k)

kC

Se tomarmos a Particao
trivial, temos

f(k) =

kA

f(k) =

k A

f(k).

f(k) = 1.

kA

f(k) =

kA

f(k)

kA

Vamos considerar agora o caso do produtorio

sobre um conjunto finito A que

tenha mais de um elemento, seja esse numero

de elementos n + 2 vamos tomar um

elemento qualquer ak em A, tomando como o conjunto B o conjunto que contem

apenas esse elemento e como conjunto C o conjunto A sem esse elemento, isto e
B = {ak } e C = A {ak }, a intersecao
desses conjuntos e vazia e sua uniao
e o
conjunto A, A {ak } {ak } = e A {ak } {ak } = A, o conjunto C possui n + 1
elementos, escrevemos entao

Y
kA

f(k) =

Y
kC

f(k).

Y
kB

f(k) =

Y
kA{ak }

f(k).

Y
k{ak }

f(k) = [

kA{ak }

f(k)].f(ak )

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

podemos continuar esse processo ate que o conjunto tenha apenas 1 elemento onde
aplicamos a definicao
sobre conjunto unitario,
do produtorio

m Definic ao

5. Seja In o conjunto de numeros

naturais de 1 ate n, In = {1

k n, k N}, e a funcao
f definida nesse conjunto com valores no conjunto R,
definimos

n
Y

f(k) :=

k=1

f(k)

k In

O numero
n e chamado limite superior e 1 de limite inferior. Se n = 0 o conjunto

e vazio, logo temos

0
Y

f(k) = 1.

k=1

Alem
disso temos a propriedade de abertura de limite superior que vamos usar
a seguir

n+1
Y

n
Y
f(k) = [
f(k)].f(n + 1)

k=1

k=1

esta propriedade e valida,

pois tomamos a seguinte Particao

do conjunto

A = {k N|1 k n + 1} = {k N|1 k n} {n + 1}.

Podemos definir

n
Y

x = xn

k=1

caso n = 0, temos o produto sobre conjunto vazio, que foi definido como 1, pois o
limite superior e menor que o inferior
0
Y

x = 1 = x0

k=1

, isto sendo valido

para qualquer x em especial para x = 0

0
Y

0 = 1 = 00 .

k=1

Essa definicao
tambem
serve para o fatorial

n! =

n
Y
k=1

(k) 0! =

0
Y

k=1

(k) = 1.

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

Observamos um possvel problema na extensao

do produto vazio
n
Y

f(k) = f(n) = f(n)

k=n

se f(n) = 0 entao

n
Y

n1
Y

f(k)

k=n

f(k) = 0 ,a princpio

k=n

n1
Y

f(k) poderia ser qualquer valor,

k=n

inclusive 1 como estamos definindo, e caso f(n) 6= 0, implicaria

isso, vamos manter a definicao

n1
Y

n1
Y

f(k) = 1. Dito

k=n

f(k) = 1 independente de f e vamos tentar dar

k=n

uma ideia intuiva disso de outra maneira.

1.2.3

Multiplicar ou Multiplicar 0 Vezes.

Conceito de Nao

Z Exemplo 1. Considere y = b.

n
Y

f(k).

k=1

Se n = 1, multiplicamos b por f(1), temos uma operacao

de multiplicacao.

Se n = 2 multiplicamos b por f(1) e depois o resultado por f(2), temos duas

operacoes
de multiplicacao.

Em geral, com n > 0, temos n operacoes

de multiplicao,
de b com f(1), f(2), , f(n).
Tentamos estender esse conceito para n = 0, onde teramos 0-multiplicacoes,

vamos interpretar tal conceito como tomar o numero

b e nao

multiplicar b
, por qualquer que seja o numero,
isto e,
b inalterado,

mantemos o numero

o que equivale a multiplicar o numero

por 1, pois 1 e o elemento neutro da

multiplicacao
.
Com isso damos uma ideia intuitiva de
0
Y

k=1

f(k) = 1.

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

Essa e a interpretacao
que damos ao produto vazio, a ideia de nao
multiplicar,
ou multiplicar 0 vezes"e equivalente a multiplicar o numero
por 1 o que nao

altera o resultado, pois e o elemento neutro da multiplicacao

.

1.3

recursiva
Fatorial, definic ao

Nesta secao
e obtemos propriedades
definimos o fatorial por meio da recorrencia

dele por meio dela.

Definic ao
6 (Fatorial-Definicao
Recursiva.). Dado n N, podemos definir

n! ( le-se
n fatorial), da seguinte maneira recursiva

0! = 1

(n + 1)! = (n + 1).(n)! n N.

$ Corolario
1. 1! = 1 pois 1! = 1.(0)! = 1.1 = 1 .

b Propriedade

1.

n! =

n
Y

k=1

para todo n natural.

Aqui iremos usar o conceito de produto vazio.
Demonstrac ao.
Vamos provar por inducao
sobre n. Para n = 0 tem-se
0! = 1 =

0
Y

k=1

k=1

pois o produto com limite superior 0 e um produto vazio, que por definicao
e 1 .
Agora considerando a igualdade valida
para n

n! =

n
Y
k=1

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

vamos provar para n + 1

(n + 1)! =

n+1
Y

10

k=1

temos que

n+1
Y

k = (n + 1)

n
Y

k=1

k = (n + 1).n! = (n + 1)!

k=1

O fatorial tambem
poderia ser definido atraves
do produtorio

n! :=

n
Y

k.

k=1

as definicoes
sao
recursiva e por produtorio

equivalentes porem
a relacao
(n + 1)! =
(n + 1).(n)! sem uma condicao
inicial nao
define completamente o fatorial, pois
poderamos ter uma sequencia
f(n) que satisfaz f(n + 1) = (n + 1)f(n) porem

f(0) =

a 6= 1, entao
devemos dar uma condicao
inicial, seja ela 0! = 1, 1! = 1. A definicao

por produtorio
implica que 0! = 1 pois temos o produtorio
sobre conjunto vazio que

e 1 por definicao

0! =

0
Y

k = 1.

k=1

b Propriedade

2. A definicao
sao
recursiva e por produtorio

equivalentes.

Ja provamos que a definicao

Demonstrac ao.
recursiva implica o produtorio,

agora vamos provar que a definicao

implica a definicao
por produtorio

recursiva.
Definindo

n! :=

n
Y

k=1

para todo n natural, tem-se 0! =

0
Y

k=1 e

k=1

(n + 1)! =

n+1
Y
k=1

n
Y
k=(
k)(n + 1) = n!(n + 1)
k=1

logo vale a condicao

dada para o fatorial, entao
inicial e a recorrencia

as definicoes

sao
equivalentes.

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

11

O smbolo n! foi introduzido em 1808 por Christian Kramp de Strasburgo (1760

1820), que o escolheu para contornar a dificuldades graficas
verificadas com um

smbolo previamente usado. Uma notacao

antiga de fatorial e bn e nao
mais usada,
que pode ser encontrada por exemplo no livro A Treatise on the Calculus of Finite
Differences do autor George Boole de 1860.

1.4

de fatorial para numeros

Definic ao
reais, usando

gamma
func ao

Podemos definir uma funcao

fatorial para valores reais, usando uma representacao

por integral, conhecida como funcao

gamma, com essa definicao
por integral estendemos a definicao
dos naturais para um subconjunto de valores reais, a definicao

pode ser feita como segue

m Definic ao

7 (Funcao
fatorial). Podemos definir a funcao
o fatorial (x) por

meio da integral

Z
(x) :=

tx et dt.

b Propriedade

3. Vamos mostrar que (n) = n! para n natural.

Observamos que a funcao

fatorial e escolhida como a integral acima pois ela
interpola os valores do fatorial para todo n natural, a princpio nao
usamos a funcao

fatorial para determinar qual seria o valor de 0!, se a funcao

fatorial nao
tivesse a
propriedade (0) = 1 nao
usaramos tal funcao,
como extensao
do fatorial.
Por inducao
Demonstrac ao.

Z
Z
0 t
(0) =
t e dt =
et dt
0

du
= 1, du = dt, du = dt, a
fazendo uma substituicao
u = t,
de variaveis

dt

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

integral fica

12






1 
t 
e du = e  = e  = t  = 1
e
u

logo (0) = 1 = 0!. Tomando a Hipotese

para n

Z
tn et dt
(n) = n! =
0

vamos provar para n + 1

(n + 1) =

Z
0

tn+1 et dt = (n + 1)!

lembrando a formula
de integracao

por partes

[f(t).g(t)] 0 = f 0 (t).g(t) + f(t).g 0 (t)

integrando em ambos os lados
Z
Z
Z
0
0
[f(t).g(t)] dt = f (t).g(t)dt + f(t).g 0 (t)dt
pelo teorema fundamental do calculo

Z
0

f(t).g (t)dt = [f(t).g(t)] f 0 (t).g(t)dt

tomando f(t) = tn+1 implica f 0 (t) = (n + 1).tn e g(t) = et implica g 0 (t) = et ,
entao

n+1

n+1

. e ] (n + 1).tn . et dt
Z
n+1 t
n+1 t
t .e dt = [t .e ] + (n + 1). tn .et dt
Z
Z
tn+1 .
n+1 t
t .e dt = [ t ] + (n + 1). tn .et dt
e
aplicando os limites

Z
Z
tn+1 . 
n+1 t
t .e dt = [ t ] + (n + 1).
tn .et dt
e
0
0
0
t
Z

.e dt = [t

logo

n+1

.e dt = (n + 1).
tn .et dt
0

tn+1 . 
pois o termo que estava fora da integral [ t ] quando t tende ao infinito o termo
e
0
tende a zero pois o denominador cresce mais rapido,
e quando t = 0 anula o termo,

temos entao

Z
0

tn+1 .et dt = (n + 1).n! pela hipotese

CAPITULO 1. PERGUNTAS FREQUENTES E ERROS COMUNS- 0!

logo

Z
0

13

tn+1 .et dt = (n + 1)!

pela definicao
de (n + 1)!

$ Corolario
2. Para reais temos a mesma propriedade (x + 1) = (x + 1)(x)

tomando f(t) = tx+1 implica f 0 (t) = (x + 1).tx e g(t) = et implica g 0 (t) = et ,

entao

Z
t
Z

x+1

x+1

. e ] (x + 1).tx . et dt
Z
x+1 t
x+1 t
t .e dt = [t .e ] + (x + 1). tx .et dt
t

.e dt = [t

Z
t

x+1

Z
tx+1 .
.e dt = [ t ] + (x + 1). tx .et dt
e
t

aplicando os limites

Z
t
0

logo

x+1


Z
tx+1 . 
.e dt = [ t ] + (x + 1).
tx .et dt
e
0
0
t

Z
t
0

x+1

.e dt = (x + 1).
t

tx .et dt

Fica definido entao

x! para valores reais de x aos quais a integral esta bem
definida

Z
x! =

tx .et dt

com a regra valida

(x + 1) = (x + 1).(x)

m Definic ao

8 (Funcao
gamma). A funcao
gamma pode ser definida como
Z
(x) = (x 1) =
tx1 .et dt.
0