Perguntas Frequêntes e Erros em Matemática

Perguntas frequentes e erros comuns
Rodrigo Carlos Silva de Lima
rodrigo.u.math@gmail.com
Sum
ario
1 Perguntas frequentes e erros comuns
2 Matem
atica
2.1
Introduzindo razes estranhas em equacoes . . . . . . . . . . . . . . . . . .
2.2
O problema das sequencias ou qual o proximo n

umero? . . . . . . . . . . .
2.3
2.4
Resposta a argumentos contrarios . . . . . . . . . . . . . . . . . . . . . . .
a2 = a ou a? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5
Livros de calculo, quais usar? . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.6
O que ha de especial no n
umero e ? . . . . . . . . . . . . . . . . . . . . . . 11
2.7
2.8
Paradoxo com derivada? . . . . . . . . . . . . . . (

. . )(
. . . . .). . (
. . . .)
. 11
k
r
s
r+s
Convolucao de Vandermonde- relacao de Euler
=
. 12
p
k
p
k
p=0
2.8.1 Interpolacao de Newton . . . . . . . . . . . . . . . . . . . . . . . . 15
2.9
Falsas conjecturas e curiosidades . . . . . . . . . . . . . . . . . . . . . . . . 16

2.9.1
n2 n + 41 gera sempre primos? . . . . . . . . . . . . . . . . . . . 16
2.10 Problema do Garcom e do sumico de 1 Real. . . . . . . . . . . . . . . . . . 16

3 N
umeros complexos
18
3.1
Ordem e n
umeros complexos. Como determinar que um n
umero complexo e maior que outro?
3.2
1 = 1 por meio de razes e complexos . . . . . . . . . . . . . . . . . . . . 18
4 Matem
atica-s
eries
4.1
20
0, 99... = 1? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.1
4.2
Representacao decimal . . . . . . . . . . . . . . . . . . . . . . . . . 21
Calculo de series do tipo

kak . . . . . . . . . . . . . . . . . . . . . . . . 24
k=0

SUMARIO
4.3
2k = 1 ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
k=0
4.4
4.5
1 = 0 por meio de series? erro em manipular 0 + 0 + . . . . . . . . . . 27
(1)k a serie de Grandi . . . . . . . . . . . . . . . . . . . . . . . . . . 29

k=0
5 D
uvidas sobre o n
umero zero
35
5.1
0 e um n
umero natural ou nao? . . . . . . . . . . . . . . . . . . . . . . . . 35
5.2
0 como operacao aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.3
0. = 0 em teoria da medida . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.4
Zero divide algum n

umero? . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.5
Inverso multiplicativo de zero , 01 . . . . . . . . . . . . . . . . . . . . . . 39
5.6
1 = 2 e variantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.7
0 e um n
umero par? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.8
00 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.9
Algumas utilidades da denicao 00
. . . . . . . . . . . . . . . . . . . . . . 40
5.9.1
Produto sobre o conjunto vazio . . . . . . . . . . . . . . . . . . . . 40
5.9.2
5.9.3
Conceito de nao multiplicar ou multiplicar 0 vezes. . . . . . . . . . 43
Algebra
linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.9.4
Series de potencias e polinomios . . . . . . . . . . . . . . . . . . . . 44
5.9.5
Binomio de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.10 Soma geometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

5.11 Identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.11.1 Uma identidade com diferencas . . . . . . . . . . . . . . . . . . . . 46
5.12 Denicao de potencia de base real e expoente inteiro. . . . . . . . . . . . . 47
5.12.1 Identidade de Worpitzky . . . . . . . . . . . . . . . . . . . . . . . . 48
5.12.2 N
umeros de Stirling do segundo tipo . . . . . . . . . . . . . . . . . 48
5.12.3 N
umero de funcoes de A em B
. . . . . . . . . . . . . . . . . . . . 49
5.13 Indeterminacao pela extensao de ax+1 = ax .a. . . . . . . . . . . . . . . . . 49

5.14 Resposta a argumentos contrarios . . . . . . . . . . . . . . . . . . . . . . . 50
am
mn
5.14.1 A regra a
= n . Um peso e duas medidas . . . . . . . . . . . . 50
a
0
5.14.2 0 e consistencia da matematica . . . . . . . . . . . . . . . . . . . . 54
5.14.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.14.4 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.14.5 Argumentos usando 0x com x positivo
. . . . . . . . . . . . . . . 57

SUMARIO
5.15 Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.15.1 Delta de kronecker . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.16 Textos que adotam a denicao
. . . . . . . . . . . . . . . . . . . . . . . . 59
5.17 Textos que sao contrarios a denicao . . . . . . . . . . . . . . . . . . . . . 59

5.18 Mais sobre limites e 00 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.19 00 e falacia logica do Non sequitur. . . . . . . . . . . . . . . . . . . . . . . 60
5.19.1 Implicacoes da nao denicao de 00 = 1 . . . . . . . . . . . . . . . . 61
5.19.2 Porque nao existe consenso entre matematicos para 00 ? . . . . . . . 62
5.20 0! = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.21 Fatorial, extensao por meio de recorrencia . . . . . . . . . . . . . . . . . . 63
5.21.1 Fatorial nao denido para inteiros negativos . . . . . . . . . . . . . 64
5.22 Fatorial ,denicao recursiva . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.23 Denicao de fatorial para n
umeros reais, usando funcao gamma . . . . . . 67
5.24 D
uvidas sobre aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
6 D
uvidas sobre aritm
etica
70
6.1
Se 5 = 3 e 3 = 2 quanto e 5 + 3? . . . . . . . . . . . . . . . . . . . . . . . 70
6.2
Ordem das operacoes , quanto da 48 2 (9 + 3)? . . . . . . . . . . . . . 70
6.3
()() = (+)? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.4
Qual a diferenca entre as medias aritmetica, geometrica e harmonica ?
. . 72
Captulo 1
Perguntas frequentes e erros comuns
Esse texto ainda nao se encontra na sua versao nal, 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.u.math@gmail.com.
Captulo 2
Matem
atica
2.1
Introduzindo razes estranhas em equaco

es
Seja a equacao em R ,x2 + 1 = 0, multiplicando ela por x2 1, segue que

x4 1 = 0 = (x 1)(x + 1) (x2 + 1),
>0
que possui solucoes x = 1 e x = 1, porem se observa que tais valores nao sao solucoes
de x2 + 1 = 0 . O que acontece nesse tipo de manipulacao? .
Vamos escrever esse tipo de problema usando conjuntos. Temos que vale a seguinte
inclusao de conjuntos,
{x R | x2 + 1 = 0} {x R | (x2 1)(x2 + 1) = 0}
A
pois se ( aqui considere uma enfase no se) existe x real tal que x2 + 1 = 0 ent
ao
umero resulta em 0 , logo (x2 + 1)(x2 1) = 0, por isso, todo
x2 + 1 vezes qualquer n
=0
elemento do conjunto A tambem e um elemento do conjunto B, alem disso o conjunto B

e exatamente
B = {1, 1},
pois (x2 1) (x2 + 1) = 0 implica x = 1 ou x = 1 e se x = 1 ou x = 1 entao
>0
(x2 + 1)(x2 1) = 0 . Entao o u

nico dado que temos e
{x R | x2 + 1 = 0} {1, 1},
6

CAPITULO 2. MATEMATICA
nao chegamos que o conjunto solucao de x2 + 1 = 0 e o conjunto {1, 1}, deduzimos

apenas que esta contido nele, se, por acaso houvesse solucao de x2 + 1 = 0 em R entao
a solucao deveria estar contida em {1, 1}, porem nao ha solucao para tal equacao em
R, o conjunto {x R | x2 + 1 = 0} e vazio, o que nao entra em contradicao com
{x R | x2 + 1 = 0} {1, 1}, pois o vazio e subconjunto de qualquer conjunto .
2.2
O problema das sequ

encias ou qual o pr
oximo
n
umero?
Um tipo de questao muito comum e dada uma sequencia nita, descobrir qual o
proximo n
umero da sequencia, neste captulo discutimos esse problema.
Exemplo 1. Uma pessoa pergunta, qual o proximo n
umero da sequencia
1, 2, 3, 4,
a maioria poderia dizer que e o n
umero 5, pois considera essa forma a mais simples de
responder tal questao .
Porem a pessoa que propos tal questao, poderia ter usado a seguinte formula para
gerar a sequencia
f (x) = x +
(x 1)(x 2)(x 3)(x 4)

4!
da
f (5) = 5 +
(5 1)(5 2)(5 3)(5 4)

(4)(3)(2)(1)
=5+
=5+1=6
4!
4!
f (5) = 6 e nao f (5) = 5 como muitos poderiam imaginar.

O valor de f (5) poderia ter sido alterado para qualquer n
umero real, bastando escolher
uma constante k conveniente e colocar
f (x) = x + k
(x 1)(x 2)(x 3)(x 4)

.
4!

Acaba entao que descobrir um proximo n

umero de uma sequencia, quando nao se e
dada a maneira de denir seus termos, acaba sendo um processo de advinhacao e nao de
matematica feita de forma com que consideramos rigorosa.
A proxima propriedades da uma ideia da arbitrariedade desse tipo de questao .
Propriedade 1. Para toda sequencia nita a1 , , an , existe sempre um padrao em
que f (1) = a1 , , f (n) = an e f (n + 1) e qualquer n
umero que se desejar .
Aqui vamos precisar que o leitor tenha conhecimento de interpolacao por polinomios,
para que o argumento seja entendido .
Demonstrac
ao. Existe um polinomio f (n)
satisfazendo f (1) = a1 , , f (n) = an e f (n + 1) = k, onde k e um n

umero qualquer
xado.
Para isso use um polinomio interpolador, como de Lagrange ou interpolacao de Newton
.
Sem uma denicao precisa da sequencia, torna-se impossvel se demonstrar algo sobre
ela para um proximo termo, pois nao se tem informacao suciente para distinguir sobre
as innitas possiveis sequencias que possuem mesmos termos iniciais.
2.3
Resposta a argumentos contr

arios
Exemplo 2.
X Argumento : Devemos sempre escolher o padrao mais simples
para a solucao!
X Resposta: Isso pode tornar o problema mais complicado ainda, pois. Precisaramos
de uma denicao do que seria um processo mais simples e outro processo ser mais
complexos. Isso poderia ate ser feito usando , por exemplo, conceito de complexidade
computacional. Porem a denicao do que seria considerado mais simples ou mais
complexo pode tambem variar. Segundo: A propria ideia de escolher a solucao
mais simples e arbitraria, porque escolher o padrao mais simples? um padrao mais
complexo poderia ser o correto para a questao proposta. Lembramos tambem que

a matematica como fazemos hoje, nao e a princpio uma ciencia emprica como a
fsica. Terceiro : Se o criterio e o padrao mais simples, em matematica, deveria
se provar que nao existe um modo mais simples de resolver o problema. Porem
mostrar que nao existe um modo mais simples poderia tornar a questao muito mais
complicada do que o desejavel. Entao se e feita a armacao que um processo X e
o mais simples, deveria se provar que tal processo e o mais simples, lembre que e
considerado o onus da prova para quem arma .
X Argumento: A pessoa nao pode simplesmente chutar qualquer valor e dizer que esta
certo, ela precisa explicar um raciocnio consistente para isso.

X Resposta: Sim ela pode, pois qualquer valor que a pessoa coloque como proximo
n
umero, sempre existe um argumento consistenteque abrange os casos dados e
inclui o novo valor que ela deseja . Para qualquer n
umero que se coloque , existe um
raciocnio consiste, que leva ao valor que se deseja , basta interpolar, por exemplo,
usando um polinomio, que fornece uma formula polinomial que passa pelos valores,
desejados, a formula polinomial e consistente com os valores iniciais e tem como
proximo valor qualquer n
umero (xo) que se deseje.
X Argumento: A resposta certa deveria ser a mais elegante.
X Resposta:Conceito de elegante pode variar de pessoa para pessoa o que x acha
elegante y pode nao achar. A princpio a matematica nao trata de conceito de

elegancia, ou como as pessoas percebem isso. Esses conceitos podem variar de
pessoa para pessoa, sociedade e outras coisas. Conceito de elegancia poderia ser
tratado em temas como losoa ou psicologia.
2.4
a2 = a ou a?
Depende da denicao que se adota, alguns denem
a2 = a, podendo ser a ou a,
que sao razes da equacao x2 = a. Porem iremos adotar que
a2 = |a|,

10
isto e, sendo sempre um n

umero nao negativo. O motivo de adotarmos essa denicao
e que queremos medir distancias usando a raiz quadrada , por exemplo a distancia entre
dois ponto (x, y) = A e B = (w, z) seria dada por
(x w)2 + (y z)2
como medida de distancia, nao poderia ser um n

umero negativo .
Porem tambem usamos a notacao x para denir uma funcao f : [0, ) R com
f (x) = x . E funcoes admitem apenas um valor como imagem, isto e, para todo
x [0, ) existe apenas um valor f (x) em R.
2.5
Livros de c
alculo, quais usar?
Se o aluno esta acompanhando um curso de calculo, um dos texto que pode ser recomendavel usar e o que o professor adota, pois dele podem ser retiradas questoes e a
maneira como o curso se desenvolve . Porem outros textos podem ser interessantes para
se obter maior informacao ou o conte
udo pode ser expresseo de uma maneira que o leitor
pode achar mais clara. O leitor pode considerar que a explicacao de um certo livro em
especco o faz compreender melhor o tema, por isso e interessante que leia alguns livros
para ver ao qual se adapta melhor . Vamos indicar aqui alguns textos :
Textos que sao considerados mais basicos e faceis de se entender:
X Autor: Stewart . Este livro e considerado didatico por muitos alunos.
X Autor : Guidorizzi . O volume I e considerado por alguna um livro razoavel, em
especial por causa dos exerccios.

Livros considerados com conte
udo mais completo :
X Autor: Spivak .
X Autor : Courant.
X Autor: Apostol .
X Autor: Piskounov.

2.6
11
O que h
a de especial no n
umero e ?
Muitas propriedades, uma delas que e e o u

nico n
umero a que satisfaz
(ax ) = ax ; x R,
isto e, torna ax invariante pelo processo de derivacao, para todo x real .
2.7
Paradoxo com derivada?
Temos que
x + + x = x2
x vezes
derivando e usando que a derivada de x, e 1 e derivada de x2 e 2x segue que
1 + + 1 = 2x,
x vezes
logo
x = 2x 2 = 1
quando x = 0. Onde estaria o erro neste argumento? Vamos escrever de forma compacta
para tentar ver melhor o que acontece.
x + + x escrito na notacao de somatorio e

x, que representa a soma x + + x
k=1
x vezes
x vezes
x
x a princpio so faz sentido para x inteiro .

. Percebemos inicialmente que
k=1
A propriedade de passar a derivada para dentro da soma, so vale se o n

umero de
termos nao depende de x,
dx
d
x=
=
1=n
dx k=1
dx
k=1
k=1
n
d
para n inteiro, independente de x , agora para
x a propriedade nao vale a
dx k=1
princpio, teramos que derivar em relacao ao limite superior do somatorio, tomando o
x
limite
x+h
k=1
k=1
(x + h)
lim
h
mas da nao temos o somatorio denido com limite superior x + h arbitrario .
h0

2.8
12
Convoluc
ao de Vandermonde- relac
ao de Euler
)
)
(
)(
(
k
r
r+s
s
=
.
p
k
p
k
p=0
Vamos apresentar varias demonstracoes dessa identidade , daremos demontracoes

usando inducao, produto de polinomios e binomio de Newton, interpolacao de Newton e
tambem derivada .
Propriedade 2.
) (
)
k ( )(
r
s
r+s
=
p
k
p
k
p=0
Demonstrac
ao.[1-Interpolacao de Newton]
Nesta primeira demonstracao usaremos interpolacao de Newton, caso nao saiba como
ela funciona, veja o nal desta secao .
Usamos a interpolacao de Newton na funcao f ,
n ( )
n
f (n + x0 ) =
k f (x0 )
k
k=0
(
)
n + x0
onde f (x0 ) e a k esima diferenca aplicada em x0 , tomando f (n + x0 ) =
p
(
)
x0
temos k f (x0 ) =
, da
pk
(
)
)
n ( )(
n + x0
n
x0
=
.
p
k
pk
k=0
k
Demonstrac
ao.[2-Produto de polinomios]
r ( )
r k
r
(1 + x) =
x
k
k=0
s ( )
s k
(1 + x) =
x
k
k=0
s
(1 + x) (1 + x) = (1 + x)
r+s
)
r+s (
r+s k
=
x
k
k=0
porem (1 + x)r (1 + x)s = (1 + x)r+s , vamos entao multiplicar os dois fatores

r ( )
s ( )
r k s k
r
s
(1 + x) (1 + x) =
x
x
k
k
k=0
k=0

13
pela regra do produto de polinomios temos

r ( )
s ( )
r+s
r k s k
x
x =
ck xk
k
k
k=0
k=0
k=0
onde
)
k ( )(
s
r
ck =
p kp
p=0
igualamos entao
logo
)
r+s (
r+s
r+s k
x =
ck xk
k
k=0
k=0
(
)
)
k ( )(
r+s
r
s
ck =
=
.
k
p kp
p=0
Demonstrac
ao.[3-n -esima derivada] Usando a formula de Leibniz da n-esima
derivada do produto de duas funcoes
n ( )
n
D f.g =
(Dk f )(Dnk g).
k
k=0
n
Usamos novamente que (1 + x)r+s = (1 + x)s (1 + x)r e aplicamos a n-

derivada
( esima
)
s
nas duas expressoes em um ponto x = 0, vale que Dk (1 + x)s = k!
(1 + x)sk ,
k
(
)
(
)
r
r+s
nk
r
rn+k
n
r+s
D (1 + x) = (n k)!
(1 + x)
, D (1 + x)
= n!
(1 + x)r+sn ,
nk
n
aplicando no ponto x = 0 e usando a formula de Leibniz tem-se
(
)
(
)( )
n ( )
r+s
n
r
s
n!
=
(n k)!k!
n
k
nk
k
k=0
dividindo por n! chegamos no desejado
(
)
)( )
n (
r+s
r
s
=
n
nk
k
k=0
( )
n
pois o termo
e cancelado .
k
Demonstrac
ao.[4-Inducao ]
Vamos provar a identidade
(
)
)
n ( )(
x+s
s
x
=
n
k
nk
k=0

14
por inducao sobre s.

Para s = 0
( )
) ( )
n ( )(
x
0
x
x
=
=
n
k
nk
n
k=0
logo a identidade vale, independente do valor n. Suponha validade para s

)
)
(
n ( )(
x
s
x+s
=
k
nk
n
k=0
(independente do valor em n ) vamos provar para s + 1
(
)
)(
)
n (
x+s+1
s+1
x
=
.
n
k
nk
k=0
Pela relacao de Stifel vale
(
) (
) (
)
x+s+1
x+s
x+s
=
+
n
n
n1
usamos a hipotese da inducao para esses dois fatores da relacao de Stifel

(
)
)
)
n ( )(
n1 ( )(
x+s+1
s
x
s
x
=
+
=
n
k
n
k
k
n
k
k=0
k=0
( )( )
)
)(
)
n ( )(
n (
s
x
s
x
s
x
=
+
+
=
0 n
k
nk
k1 nk
k=1
k=1
( ) (
) (
(
)( )
)
)(
)
n
n (
s
s
s+1 x
x
s+1
x
(
+
)
=
+
=
k
k1
0
n
nk
k
nk
k=1
k=0
(s+1
k )
Corol
ario 1. Temos como corolario, tomando k = r = s = n
) ( )
n ( )(
n
n
2n
=
p
np
n
p=0
)
( ) (
n
n
temos
=
como
np
p
( )
n ( )2
2n
n
=
.
n
p
p=0
Corol
ario 2. Outro corolario e a soma
)(
)
)( ) ( )
n (
n (
2n
n
2n n
3n
=
=
.
k
n
k
k
k
n
k=0
k=0
Corol
ario 3.
(
)
n ( )( )
r+n
r
n
=
.
n
k
k
k=0

2.8.1
15
Interpolac
ao de Newton
Vamos deduzir informalmente a formula de interpolacao de Newton, que permite escreve uma sequencia como soma das suas diferencas.
De = E 1 tem-se + 1 = E, elevando a n, tem-se
n ( )
n
n
n
E = ( + 1) =
k
k
k=0
aplicando em f (0) tem-se
n ( )
n
E f (0) = f (n) =
k f (0).
k
k=0
n
Da mesma maneira temos

n ( )
n
= (E 1) =
(1)nk E k
k
k=0
n
aplicando em f (x), temos

n ( )
n ( )
n
n
nk k
f (x) =
(1) E f (x) =
(1)nk f (x + k).
k
k
k=0
k=0
n
Por exemplo, caso f (x) = xn , podemos mostrar que n xn = n! e da

n ( )
n
n! =
(1)nk (x + k)n .
k
k=0
Vamos provar a formula de interpolacao de Newton por inducao .

Para n = 0 ela vale, supondo para n vamos provar para n + 1.
Temos por hipotese de inducao que
n ( )
n
f (x + n) =
k f (x)
k
k=0
logo por aplicacao de nesta tem-se

n ( )
n
f (x + n) =
k+1 f (x)
k
k=0
alem disso f (x + n + 1) = f (x + n) + f (x + n)
n ( )
n ( )
n
n
k+1
f (x + n + 1) =
f (x) +
k f (x) =
k
k
k=0
k=0

16
( )
( )
n1 ( )
n ( )
n
n
n
n
n+1
k+1
k
=
f (x) +
f (x) +
f (x) +
0 f (x) =
n
k
k
0
k=0
k=1
(
)
(
)
(
)
n
n ( )
n
n
n+1
n+1
n+1
k
k
=
f (x) +
f (x) +
f (x) +
0 f (x) =
n+1
k1
k
0
k=1
k=1
)
) ( )
(
(
(
)
n
n+1
n
n
n+1
n+1
k
=
f (x) +
(
+
) f (x) +
0 f (x) =
n+1
k
1
k
0
k=1
(n+1
k )
=
)
n+1 (
n+1
k=0
k f (x)
como queramos demonstrar.
2.9
Falsas conjecturas e curiosidades
(Secao em construcao, volte mais tarde .)
2.9.1
n2 n + 41 gera sempre primos?
Euler teria notado que n2 n + 41 gera primos de n = 0, ate n = 40 . Os primos

gerados sao
X 41,
2.10
Problema do Garcom e do sumico de 1 Real.
Tres amigos foram tomar uma cervejinha num boteco e ao nal, a conta deu 25, 00
reais. Fizeram o seguinte: cada um deu 10, 00 reais ao garcom e pediram o troco. O
garcom trouxe 5, 00 reais de troco em notas de 1 real . Para dividir igualmente, deu 1, 00
real de troco a cada cliente e recebeu 2, 00 reais como gorjeta. Totalizando os 5, 00 reais
do troco.
Se cada cliente pagou 10, 00 reais e recebeu 1, 00 real de troco entao eles gastaram
juntos 27, 00 e se o garcom cou com 2, 00 reais de gorjeta, temos:
X Clientes: 27, 00 reais (Gasto) .

17
X Garcom 2, 00 reais (Gorjeta).

X Total 29, 00 reais (Gasto + Gorjeta).
Pergunta-se: onde foi parar o outro 1, 00 real ?

Vamos a uma solucao do problema. O enunciado pode nos induzir a pensar que nao
se altera o valor, gasto +gorjeta, porem o que se mantem constante na verdade e o valor
gasto +troco, onde gasto = preco de custo+ gorjeta .
Entao, resumindo, o que nao varia e a soma
(Preco de custo + gorjeta) + troco
Neste caso em especco tem-se:
X Preco de custo = 25 reais .
X Gorjeta = 2 reais.
X troco=3 reais .
X Total, 30 reais, que e o valor inicial dado pelos consumidores .
Captulo 3
N
umeros complexos
3.1
Ordem e n
umeros complexos. Como determinar
que um n
umero complexo
e maior que outro?
Nos complexos em geral , nao se tem relacao de ordem entre os elementos , pois a ordem
nao poderia funcionar como , por exemplo, nos reais, que e de certa forma subconjunto
de C .
Temos em R que o quadrado de um n
umero nao nulo e sempre positivo. Mas isso nao
acontece em C pois i2 = 1 e negativo , onde e i a unidade complexa.
3.2
1 = 1 por meio de razes e complexos

Exemplo 3.
1=
1 = (1)(1) = (1) (1) = i.i = i2 = 1.
Logo 1 = 1. O erro e usar a propriedade (x.y)b = xb .y b com x = y = 1, essa

propriedade so e provado nos reais com x, y nao-negativos, isto e, x, y 0..
Entao a passagem nao valida a princpio e
(1)(1) =
(1) (1)
nao se tem provada tal propriedade de potencias com base negativa .

18

CAPITULO 3. NUMEROS
COMPLEXOS
19
Vejamos outro exemplo semelhante

Exemplo 4.
(1)3 = 1,
por outro lado
6
(1)3 = (1) 2 = ((1)6 ) 2 =
1 = 1,
portanto 1 = 1. O erro aqui se encontra na seguinte passagem

6
(1) 2 = ((1)6 ) 2 ,
pois a propriedade
xm.n = (xm )n
so e provada a princpio para x 0 e m, n reais. Entao o erro esta no uso dessa propriedade
em valor que ela nao e demonstrada.
Captulo 4
Matem
atica-s
eries
4.1
0, 99... = 1?
Esta e uma das questoes mais que devem ser mais frequentes .
Pensamos que para entender realmente, o que e em essencia essa igualdade, e necessario algum tipo de entendimento de processo limite ( ou processos equivalentes ) .
Pois 0, 999 e o limite de uma soma , isto e, uma serie . 0, 999 e o n
umero do qual
se aproxima a sequencia
x1 = 0, 9
x2 = 0, 99
x3 = 0, 999
que e o n
umero 1 , 0, 999 sendo apenas uma outra representacao do n
umero .
Teramos que denir o que signica repetir innitos decimais como em 0, 999 , isso
pode ser feito com certa clareza usando series, que e tema nao abordado em geral fora da
faculdade , entao achamos um pouco complicado explicar em essencia o que e sem usar
processos innitos, porem , nestes casos, seria possvel dar ideia intuitiva sobre o processo
. Aqui tentamos fazer a abordagem do tema por meio de series.
20
CAPITULO 4. MATEMATICA-S
ERIES
4.1.1
21
Representa
c
ao decimal
Denic
ao 1 (Representacao decimal de um n
umero real). Seja dada uma sequencia
(ak )
e um inteiro qualquer e ak com k > 0 pertence ao conjunto
0 = (a0 , a1 , a2 , ) onde a0
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Um n
umero real na forma decimal e representado por
a0 , a1 a2 a3
onde cada ak e chamado de dgito do n
umero na forma decimal .
Para dar sentido à a0 , a1 a2 a3 como n
umero real, denimos
ak
ak
a0 , a1 a2 a3 =
= a0 +
k
10
10k
k=0
k=1
Agora vamos mostrar que essa serie da representacao decimal sempre converge , logo
a0 , a1 a2 a3 representa um u
nico n
umero real.
Propriedade 3. Cada decimal representa um u
nico n
umero real.
ak
e uma serie de n
umeros positivos limitada superiormente
k
10
k=1
9
ak
pela serie
que
converge
para
1
ent
a
o
converge para um n
umero real
k
k
10
10
k=1
k=1
pelo criterio de comparacao . O criterio de comparacao usa que uma sequencia limitada
Demonstrac
ao.
superiormente e crescente converge para o supremo do conjunto, entao essa demonstracao

em geral necessita que o corpo em que estamos trabalhando seja completo, por exemplo,
nem toda representacao decimal converge para um n
umero racional.
ak
ak
Com isso conclumos que a0 , a1 a2 a3 =
= a0 +
= c e um n
umero
k
10
10k
k=0
k=1
real .
Pela unicidade de limite o n
umero real que a0 , a1 a2 a3 representa e u
nico .
Cada a0 , a1 a2 a3 representa um e apenas um n
umero real.
Corol
ario 4.
0, 9999 = 1
pois pela denicao de representacao decimal
ERIES
22
9
0, 99 = 0 +
=1
10k
k=1
No caso mostramos que uma representacao decimal para 1 pode ser dada por a0 = 0
e ak = 9 para todo k > 0 entao associamos 0, 9999 ao n
umero 1 .
Perceba que o n
umero 1 tem pelos menos duas representacoes decimais, pois 1 tambem
tem a representacao
1, 00
pois
1, 00 = 1 +
0
= 1.
k
10
k=1
Corol
ario 5. Em geral a0 , 0000 = a0 e (a0 1), 9999 = a0
pois
9
(a0 1), 9999 = a0 1 +
= a0 1 + 1 = a0 .
10k
k=0
Conclumos entao que todo n

umero inteiro a0 possui pelo menos duas representacoes
decimais
a0 , 0000 e (a0 1), 99 .
Exemplo 5.
0, 999 = 1
1, 999 = 2.
Denic
ao
2 (Representacoes decimais distintas). Duas representacoes decimais
a0 , a1 a2 a3 e b0 , b1 b2 b3 sao ditas distintas quando as sequencias associadas (a0 , a1 , a2 , )

e (b0 , b1 , b2 , ) sao distintas .
Corol
ario 6. N
umeros reais podem ter duas representacoes decimais distintas.
ERIES
23
Considere B o conjunto das sequencias (a0 , a1 , a2 , ) associadas a uma representacao

decimal, temos uma funcao f que associa a cada elemento de B a um n
umero real, denida
como
ak
f (a0 , a1 , a2 , ) =
10k
k=0
porem f nao e injetiva, pois existem sequencias x1 e x2 distintas tais que f (x1 ) = f (x2 ).
Podemos mostrar que f e sobrejetora, isto e, para cada x real existe uma sequencia x1 tal
que f (x1 ) = x.
Denic
ao 3 (Dzima periodica). Uma representacao decimal a0 , a1 a2 e dita ser
uma dzima periodica quando a sequencia dos dgitos (ak ) e periodica a partir de algum
k = n.
Denic
ao 4 (Dzima periodica simples ou Dzima simples). Uma dzima periodica,
e dita ser simples, quando a sequencia dos dgitos (ak ) e periodica a partir de k = 1.
Denic
ao 5 (Dzima periodica composta ou Dzima composta). Uma dzima periodica,
e dita ser composta, quando a sequencia dos dgitos (ak ) e periodica a partir de k > 1.
Em R se considera a adicao usual + e o produto usual , que fazem de R um corpo,
alem disso se considera o limite com a norma do modulo
lim xn = a > 0 n0 N | n > n0 |xn a| <
Se usamos outra maneira de medir distancia ao inves do modulo, nao se esta trabalhando em R de maneira usual, seria algo como dizer, 1 + 1 nao e 2 pois estamos usando
uma adicaodiferente, como por exemplo uma denida assim a +s b = (a + b).2 da
1 +s 1 = (1 + 1)2 = 4.
Em R usando adicao, multiplicacao e norma usual, denindo a expansao decimal como
serie tem-se
0, 999 = 1.
Uma colocacao comum de alguns estudantes e que 0, 999 nao e 1 e sim tende a 1, o
que nao e verdade, pois 0, 999 nao e uma sequencia dessa forma nao faz sentido dizer
que ele tende à 1, 0, 999 e o limite de uma sequencia de n
umeros reais, por denicao,
sendo portanto um n
umero real.
ERIES
4.2
24
C
alculo de s
eries do tipo
kak .
k=0
Exemplo 6. Calcular
Temos
1
s0 =
.
ak
k=0
1
1
1
s0
1
=1+
= 1.
=1+
s0
k
k+1
k+1
k+1
a
a
a
a
a
k=1
k=0
k=0
k=0
logo
a1
a
s0
= s0 (
) = 1 s0 =
.
a
a
a1
k+1
Exemplo 7. Calcular s =
. Manipulamos os ndices da serie
k
2
k=0
s0
k+1
s=
2k
k=0
=1+
k+1
k=1
2k
=1+
k+2
k=0
2k+1
multiplicamos s por
1
2
s k+1
=
da
2 k=0 2k+1
1
k+2 k+1
s
s
=
1
+
= =1+
=2
k+1
k+1
k+1
2
2
2
2
2
k=0
k=0
k=0
s
2
como
=1
s
= 2 entao s = 4.
2
Exemplo 8. Calcular
k
s1 =
.
k
a
k=1
Temos manipulando os ndices da serie que

k
k+1 k
1
1
s1 k
=
=
=
k
k+1
k+1
k+1
k+1
a
a
a
a
a
a
a1
k=1
k=1
k=0
k=0
k=0
s1
como s1
s1
(1 a)
1
= s1
=
logo
a
a
a1
s1 =
a
.
(a 1)2
ERIES
25
Na conta acima so zemos alteracoes nos ndices da serie e usamos o resultado conhecido
1
1
=
.
k+1
a
a
1
k=0
Vejamos agora o procedimento geral, que permite calcular para onde converge series,
por exemplo, do tipo

k p ak onde p e natural.
Exemplo 9 (Procedimento geral). Considere a serie convergente
s=
g(k)ak
k=b
sendo g(k) um polinomio de grau n e |a| < 1 a serie converge, facamos a seguinte manipulacao, primeiro multiplicamos s por a,
s.a =
g(k)ak+1 ,
k=b
sa
depois tomamos s e manipulamos os ndices da serie

s = g(b)ab +
g(k)ak = g(b)ab +
g(k + 1)ak+1 ,
k=b
k=b+1
tomando agora s sa tem-se

sa
s sa = g(b)ab +
k=b
g(k + 1)ak+1
g(k)ak+1 = g(b)ab +
(g(k + 1) g(k))(ak+1 )
k=b
k=b
logo denotando g(k) = g(k + 1) g(k) temos

s sa = g(b)a +
b
g(k)ak+1 ,
k=b
podemos mostrar que se g e polinomio de grau n entao a diferenca g(k) = g(k +1)g(k)
e um polinomio de grau n 1 (demonstracao pode ser feita usando binomio de Newton),
podemos continuar o processo ate que o termo da diferenca seja constante e teremos assim
o resultado da serie pois ja sabemos calcular a serie geometrica
k=0
ak =
1
.
1a
ERIES
4.3
26
2k = 1 ?
k=0
Suponha que s =
2k , entao1
k=0
s=1+
2k
k=1
temos tambem
2s =
2k+1 =
k=0
2k ,
k=1
subtraindo ambas, segue que

2s
s 2s = 1 +
s
2k
k=1
2k = 1 = s
k=1
por isso s = 1, isto e,
2k = 1.
k=0
A questao aqui e que a serie
2k e uma serie divergente , na convergencia no sentido
k=0
usual que tratamos no corpo dos reais R, por isso nao atribumos neste sentido um
valor para a soma innita s =

2k , foram feitas manipulacoes algebricas com a soma
k=0
divergente . Um criterio necessario para que uma serie seja convergente e com isso (de
maneira usual ) atribuirmos um valor a uma soma innita

ak , e que a sequencia de
k=0
termo ak dena uma sequencia que converge para zero , o que nao acontece com 2k .
Resumindo, a serie S diverge, logo nao faz sentido tomar S 2S com os conceitos de
convergencia usual tratados para series . Porem podem ser feitas extensoes do conceito
de convergencia e associar valores para series divergentes no sentido classico, porem nao
faremos isso aqui .
O erro e entao, fazer conta com serie divergente , essas contas a principio so fazem
sentido com series que sejam convergentes .
1
Aqui aplicamos o mesmo procedimento que na secao anterior
ERIES
Uma serie
27
ak e convergente quando
k=1
lim (a1 + + an )
existe , no caso que estamos abordando o limite nao existe como n

umero real , o limite e
+ ,da dizemos que a serie diverge .
n
q n+1 1
A soma de uma P.G,
dene uma sequencia convergente apenas
qk =
q
1
k=0
quando |q| < 1, no caso q = 2 a serie diverge, o limite anterior nao existe em R ele tende a
+. Neste caso a teoria de series nao garante que se possa fazer manipulacoes algebricas
som a soma innita para se obter um valor .
4.4
1 = 0 por meio de s
eries?
erro em manipular
0 + 0 +
Exemplo 10. Encontrar o erro na manipulacao
0 = 0 + 0 =
= (1 1) + (1 1) + =
= 1 + (1 + 1) + (1 + 1) + = 1
logo 1 = 0.
Comecamos com uma serie
ak onde cada ak = 0 = 1 1, isto e, a soma dos
k=1
elementos da sequencia (0, 0, ) entao ate a segunda linha tudo esta correto, porem na
terceira linha tratamos o termo da serie somada como os termos da sequencia
(1, 1 + 1, 1 + 1, )
0
que e uma serie diferente da serie inicial, alem disso a manipulacao de trocar livremente
termo numa soma innita nao pode ser feita à vontade em todo caso , so poderia ser feita
se fosse demonstrado que para series isso sempre pode ser feito, como em somas nitas.
ERIES
28
Em somas nitas nao importa a ordem com que somamos os termos o resultado e sempre
o mesmo, por exemplo
a + b + c = a + c + b = c + a + b = c + b + a,
0 + 0 + 0 = 1 1 + 1 1 + 1 1 = 1 + (1 + 1) + (1 + 1) 1 = 0,
nao importando a ordem da soma o resultado e sempre o mesmo, isso pode ser mostrado
com a propriedades de comutatividade e associatividade da adicao . Porem em somas
innitas nao se demonstra o mesmo em todos os casos e como nao se tem demonstrado,
nao se poderia usar, a princpio, essa propriedade de rearranjar os termos da serie , so
podemos usar propriedades novas, caso elas tenham sido demontradas.
Em notacao compacta , usando o smbolo

, podemos ver tambem como este erro
pode ser cometido
0=
1 = 1 + (1 + 1 + ) = 1 +
1=
k=1
1, substituindo temos
k=1
k=1
=1+
k=1
O erro aqui e escrever
(1 1) =
k=1
a propriedade
(ak + bk ) =
so e provada a princpio quando tanto
k=1
1 = 1.
k=1
k=1
k=1
1 nao e convergente.
k=1
k=1
exemplicado
k=1
k=1
k=1
porem
(1 1) =
1,
k=1
ak +
bk ,
k=1
ak quanto
k=1
bk sao convergentes , no caso
ERIES
4.5
29
(1)k a s
erie de Grandi
k=0
A serie
(1)k , nao converge com a denicao usual de series, pois o termo geral (ak )
k=1
de uma serie
ak tem que tender a zero, quando a serie e convergente. Porem existem
k=1
modos de aumentar a classe de series convergentes de tal modo a associar um valor para
a serie
(1)k , a ideia intuitiva e que os termos da serie, se alternam (1, 0, 1, 0, 1, 0, )
k=0
1
se tomamos a media dessa sequencia de termos que e
, dizemos que essa e a soma
2
de Cesàro da serie
(1)k , que e uma extensao do conceito usual de series. Podemos
k=0
mostrar que toda serie que converge para um valor L converge na media para L e alem disso
algumas series que nao convergem de modo usual convergem na media, por isso usando
a media podemos associar valor a alguns tipos de serie que antes nao possuiriam valor
associado pois seriam series divergentes. Vamos apresentar aqui denicoes e demontracoes
de resultado sobre esse topico .
Iremos agora provar alguns teoremas e apresentar denicoes.
Denic
ao 6 (Media de Cesàro). Dada uma sequencia (xn ) denimos a media de
Cesàro de (xn ) como a sequencia (yn ) dada por
1
xk
n k=1
n
yn =
yn e a media aritmetica dos n primeiros elementos de (xn )

A seguir provaremos resultados dos quais a seguinte propriedade segue como corolario
Se lim xn = a entao lim yn = a, isto e, a operacao de tomar a media de Cesàro preserva
sequencias convergentes e seus limites.
n
Denic
ao
7 (Cesàro somavel). Se lim
xk
k=1
= L entao a sequencia (xn ) e dita

n
Cesàro somavel e associamos a essa sequencia o valor L como soma de Cesàro . Dizemos
que (xn ) e (C, 1) somavel para L, nesse caso escrevemos
lim xn = L (C, 1).
ERIES
30
lim xn = L (C, 1) lim
xk
k=1
= L.
Toda sequencia convergente e Cesàro somavel, porem existem sequencias nao convergentes que sao Cesàro somavel .
Teorema 1 (Teorema de Stolz-Cesàro). Dada uma sequencia (xn ) e uma sequencia
(yn ) crescente com
lim yn =
xn
xn
= a entao lim
= a.
yn
yn
Essa propriedade e o analogo do teorema de LHospital para sequencias. Estamos
e lim
denotanto xn = xn+1 xn .
Demonstrac
ao.
xn
Como lim
= a entao para todo > 0 existe n0 N tal que para k > n0 tem-se
yn
3
xk
a| < ,
yk
3
e yn > 0 (pois tende ao innito), como (yn ) e crescente vale yk > 0, logo podemos
|
multiplicar por ele em ambos lados da desigualdade sem alterar
|xk ayk | < yk ,

3
n1
aplicando a soma
em ambos lados e usando desigualdade triangular do tipo |
k=n0 +1
|xk |, segue que

|
n1
xk a
k=n0 +1
n1
k=n0 +1
yk | <
n1

yk ,
3 k=n +1
0
usando a soma telescopica tem-se
|xn xn0 +1 ayn + ayn0 +1 )| < (yn yn0 +1 ),

3
agora como yn > 0 dividimos por esse termo de ambos lados
xk |
ERIES
31
yn +1
yn +1
xn xn0 +1
a + a 0 )| < (1 0 ),
yn
yn
yn
3
yn
xn0 +1
yn0 +1
somando agora |
|+|a
)| e usando a desigualdade triangular , temos
yn
yn
|
xn
xn +1
yn +1
yn +1
a| < (1 0 ) +| 0 | + |a 0 )|
yn
3
yn
yn
yn
1
yn0 +1
yn +1
1 pois equivale a 0 0 , que vale pois yn0 +1 e yn sao
yn
yn
xn +1
positivos, como yn , podemos tomar para n sucientemente grande que | 0 | <

yn
3
yn0 +1
)| < , usando tais desigualdades, tem-se nalmente que

e tambem |a
yn
3
tem-se que 1
|
portanto
xn

a| + + =
yn
3 3 3
xn
a.
yn
Propriedade 4. Se limzn = a e (wn ) e uma sequencia de n

umeros positivos com
n
w k zk
n
k=1
wk = entao lim
lim
= a.
n
k=1
wk
k=1
Demonstrac
ao. Tomamos xn =
wk .zk e yn =
wk entao xn = wn+1 .zn+1
k=1
k=1
xn
, yn = wn+1 > 0 entao yn e crescente e lim yn = , temos tambem que
=
yn
wn+1 zn+1
= zn+1 cujo limite existe e vale a entao nessas condicoes vale
wn+1
n
wk .zk
xn
k=1
lim
= lim
= a.
n
yn
wk
k=1
Corol
ario 7. Tomando wn = 1 entao
wk = n e seu limite e innito, tomando uma
k=1
sequencia (zn ) tal que lim zn = a entao segue que

n
lim
zk
k=1
=a
ERIES
, isto e, se lim zn = a entao lim
32
zk
k=1
= a.
n
Provamos entao que se lim xn = a entao lim xn = a (C, 1).
Exemplo 11. Tomando zn =
1
tem-se lim zn = 0 e da
n
n
lim k=1
n
1
k
= 0 = lim
Hn
.
n
Exemplo 12. Tomando zn = a n com a > 0 tem-se lim zn = 1 e da

n
ak
lim k=1
n
= 1.
Propriedade 5 (Stolz-Cesàro para limite innito). Seja (bn ) crescente e ilimitada .

an
an
Se lim
= entao lim
=
bn
bn
Demonstrac
ao. Para qualquer A > 0 existe n0 N tal que k > n0 implica
ak
> A,
bk
como bk > 0 e bk > 0, logo tem-se
ak > Abk ,
aplicando
segue por soma telescopica
k=n0 +1
an+1 an0 +1 > A.(bn+1 bn0 +1 )

an+1 > an0 +1 + A.(bn+1 bn0 +1 )
an+1
an +1
bn +1
> 0 + A.(1 0 ) > A
bn+1
bn+1
bn+1
para n grande, da
lim
an
= .
bn
Exemplo 13. A reciproca da propriedade nem sempre vale, yn = n, xn = (1)n

xn
(1)n
xn
(2)(1)n
vale lim
= lim
= 0 e lim
= lim
nao existe.
yn
n
yn
1
ERIES
33
ak
Propriedade 6. Se lim an = e an > 0 n N entao lim
k=1
= .
Demonstrac
ao. Essa prova vale mesmo se (an ) nao tem a restricao de an > 0
n
. Aplicamos o teorema de Stolz-Cesàro para limite innito . an =

ak , bn = n e
crescente e ilimitada e vale
k=1
ak = an+1 , n = 1 logo
k=1
lim
entao lim
ak
k=1
an
= lim an+1 =
n
= .
Corol
ario 8. Esse resultado diz que se lim xn = entao lim xn = (C, 1)
Demonstrac
ao.[2]
A > 0 n0
n n0
implica
>
n
N tal que para n > n0 tem-se an > 2A entao para n > 2n0 ( que
1
) vale
2
n
ak
k=1
2A
k=n0 +1
= 2A
logo
lim
n n0
2A
=A
n
2
ak
k=1
= .
Corol
ario 9. Se lim xn = e nao vale xn > 0 n N entao a propriedade tambem
vale pois existe n0 N tal que para n > n0 tem-se xn > 0 , da
n
n0
ak
k=1
ak
k=1
n0
ak
k=n0 +1
nn
0
ak
k=1
xk
ak+n0
k=1
assim se dene uma nova sequencia (xn ) que satisfaz as propriedades do resultado anterior
.
Denic
ao 8 (Serie de Grandi). A serie de Grandi e a serie
k=0
(1)k .
ERIES
34
Luigi Guido Grandi (1671 1742) foi um padre italiano , losofo, matematico, e
engenheiro.
Corol
ario 10. A serie de Grandi e divergente, pois nao existe lim(1)n .
Propriedade 7. A serie de Grandi e Cesaro somavel e possui soma de Cesaro de
1
valor .
2
Demonstrac
ao.
(1)k =
k=0
da
(1)k
k=1
da lim
n
(1)n + 1
1
+
= .
2n
2n
2
(1)n 1
+
2
2
1
n (1)n + 1
= +
2
2
2
Captulo 5
D
uvidas sobre o n
umero zero
Operacoes com o n
umero zero costumam ser d
uvidas comuns de muitos estudantes de
matematica, por isso separamos um captulo apenas para tentar responder essas d
uvidas.
5.1
0
e um n
umero natural ou n
ao?
Depende da denicao adotada, alguns autores adotam 0 nos naturais, outros nao
adotam . Por exemplo em alguns textos de analise real, temos N = {1, 2, 3, } e se
usa os naturais para indexar sequencias (x1 , x2 , x3 , x4 , ) . Porem pode ser interessante
ter o 0 no conjunto dos naturais, em termo de contagem de elemento, pois dizemos que
o conjunto vazio possui 0 elementos e usamos os naturais para associar a quantidade
de elementos de conjuntos nitos, nesse caso || = 0. Ter o 0 nos naturais tambem e
interessante em termos algebricos, pois N teria assim um elemento neutro para adicao .
5.2
0 como operac
ao aritm
etica
Existe um conjunto chamado Reta estendida, nesse conjunto, colocam dois elementos
nao reais, denotados por e . Nao se costuma denir x , pois a princpio, em
geral, nao se conhece utilidade para esse tipo de denicao . Mas se fosse para adotar uma
denicao de 0 , neste texto, defendemos a ideia de que uma boa denicao seria 1.
Na reta estendida tem-se que
35
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
36
a. = , a > 0
se a < 0 invertemos o sinal da identidade anterior. Se a = 0
0. = 0,
sim, mais ou menos innito vezes 0 e denido como sendo 0 em algumas exposicoes de
teoria da medida e integracao , nao importa aqui o que se obtem por meio de limite .
Agora, quais motivos que consideramos denir ()0 = 1 como algo natural? Vamos
apresentar duas razoes.
1. Se A e B sao dois conjuntos, o n
umero de funcoes de A em B e dado por |B||A| ,
onde |M | em geral simboliza o n
umero de elementos de M . Isso vale no caso de
conjuntos nitos . Agora se por exemplo A e vazio e B possui innitos elementos .
Existe uma e apenas uma funcao de A, o conjunto vazio, em B, a chamada funcao
vazia, por isso por extensao da notacao seria coerente tomar , neste caso |B||| = 1,
sendo que |B| = e || = 1 a notacao caria como 0 = 1.
2. Dado que a multiplicacao por e denida na reta estendida, podemos perguntar
qual o resultado de nao multiplicar por . Isso mesmo! o que acontece se
naomultiplicamos um n
umero por , resposta: o n
umero permanece inalterado
, o que equivale a multiplicar por 1 .
Esse conceito de nao multiplicar e chamado de produto vazio, a aplicacao dele
equivale a nao multiplicar.
Em geral dada a multiplicacao por x denida em uma estrutura com elemento neutro
da multiplicacao , podemos denir xn , onde n e natural como o n
umero de vezes
que multiplicamos por x em, por exemplo xn .b . Caso n = 0 , nao multiplicamos, o
que equivale a multiplicar por um 1 , essa e a ideia intuitiva do que chamamos de
produto vazio , ou o nao-multiplicar.
Em geral em matematica, em varias estruturas, denimos T 0 como um operador
identidade, como por exemplo :
X A0 = I uma matriz elevado a zero e a identidade .
X D0 = I a zero-esima derivada e a unidade .
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
37
X x0 = 1, onde x e um n
umero qualquer .
X a0 = e , onde a e elemento de um grupo e e o elemento neutro .
Isso tudo acima do ponto de vista de operacao aritmetica . Agora limites nao sao a
princpio operacoes aritmeticas , denir algo por limite nao e uma obrigacao logica
.
x
sequer estar denido, muito possuir
x
valor 1 , tal implicacao, a princpio, nao e demonstrada , o que nao for denido
Uma observacao e que x0 = 1 nao implica
ou tomado como axioma, deveria ter que ser demonstrado para ser usado de forma
valida .
5.3
0. = 0 em teoria da medida
Em geral em teoria de integracao, queremos que a integral em intervalos nao limitados

ainda possuam propriedade de linearidade, isto e,

cf (x)dx = c
f (x)dx,
1
queremos tambem que
0dx = 0. Usando as duas propriedades , linearidade e integral

1
de funcao nula resultar em valor nulo, tem-se
0=
0dx =
1
1dx = 0.,
0.1dx = 0
1
por isso queremos denotar 0. = 0 , como operacao aritmetica em um conjunto

chamado reta estendida, que e uniao dos reais R com dois elementos e , R =
R {} {} . Usamos entao 0. = 0, nao importando que 0. seja indeterminacao
como limite, isto e , se g(x) 0 e f (x) quando x a entao nao temos que o limite
de g(x).f (x) quando x a seja determinado a princpio.
Em teoria da medida se usa 0. = 0 , como operacao aritmetica na reta estendida (
nao confundir com indeterminacao em termo de limite) . Um dos motivos para se querer
essa denicao e a condicao da linearidade da integral
cf d = c
f d.
A
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
38
Temos por isso que
0d = 0, pois por linearidade
0d = 0
0d = 0.
Aqui usamos a denicao 0. = 0, pois
0d =
0.1d = 0.
1d = 0(X) = 0
mesmo quando (X) = . O mesmo para , pois
0(1)d = 0.
0d =
X
5.4
(1)d = 0.((X)) = 0.
X
Zero divide algum n

umero?
Uma resposta e : depende da denicao adotada de divisibilidade.

Temos em geral dois tipos de denicoes usadas, vamos analisar cada uma delas.
Denic
ao 9 (Primeira). Dados a e b inteiros, entao a|b existe c inteiro tal que
b = a.c.
Com a seguinte denicao temos que segue :
Corol
ario 11. Tal denicao diz que a divide b b e m
ultiplo de a. Entao 0|b,
existe c tal que b = 0.c = 0, entao b = 0, e 0|0, o n
umero zero dividiria apenas a si mesmo
. Neste caso 0 divide 0 pois 0 e m
ultiplo de zero, por qualquer fator constante c.
Porem podemos tomar outro tipo de denicao, igualmente valida :
Denic
ao 10 (Segunda). Dados a e b inteiros, entao a|b existe um u
nico c inteiro
tal que b = a.c.
Neste caso, podemos provar que 0 nao divide nenhum outro n
umero, pois . Suponha
que 0|b entao existe um u
nico c inteiro tal que
b = c.0 = 0,
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
39
da b = 0, porem nao existe um u

nico inteiro c tal que vale c.0 = 0, pois todo inteiro
c satisfaz essa propriedade. O que diferencia a primeira da segunda denicao colocada e
o uso da existencia de um u
nico c tal que b = c.a na denicao da proposicao b|a . Caso
se coloque a unicidade de c entao 0 nao divide qualquer que seja o n
umero, caso nao se
ponha a unicidade de c entao 0|0 .
5.5
Inverso multiplicativo de zero , 01 .
O inverso de zero, geralmente nao e denido em R ou qualque outro corpo que contenha
R, como C . Pois sempre vale
x.0 = 0 x R.
Com a denicao de
1
, queremos em geral, denotar o n
umero tal que
x
x.
1
=1
x
porem pela primeira identidade, temos

0(y) = 0y
1
1
1
fosse um n
umero real, considerando a propriedade x. = 1, teramos tanto 0. = 1
0
x
0
1
1
e 0. = 0 logo 0 = 1 o que nao queremos nos reais. Por esse motivo nao denimos em
0
0
1
R com a propriedade tpica de inversos multiplicativo x. = 1 .
x
1
1
Por isso que a princpio nao denimos 0 ou
e tambem por nao ser conhecida,
0
em geral, nenhuma utilidade para denir esse smbolo . Se ele fosse denido as regras
se
aritmeticas usuais para inversos, nao seriam validas para o n

umero 01 .
5.6
1 = 2 e variantes
Exemplo 14. Vejamos uma manipulacao comum , em que usando ideia de inverso
multiplicativo de 0, chega-se a uma absurdo

Sabemos que 0 = 0 que por sua vez pode ser escrito como
1 1 = (1 1).1 = 2 2 = 2(1 1),
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
40
cancelando 1 1 de ambos lados segue que 1 = 2, absurdo. O erro e supor que podemos
cancelar o n
umero 0 = 1 1 de ambos lados da igualdade ou multiplicar por um possvel
1
valor = 01 , inverso multiplicativo de zero, de ambos lados da desigualdade. Porem
0
nao consideramos 01 denido a princpio .
5.7
0
e um n
umero par?
Vamos denir n
umero par .
Denic
ao 11 (N
umero par). Um n
umero inteiro t e par se ele e da forma t = 2n
onde n e inteiro .
Corol
ario 12. 0 e um n
umero par, pois 0 = 2n para algum inteiro n, no caso n = 0,
0 = 2.0 .
5.8
00
O objetivo neste captulo e mostrar alguns casos onde a denicao 00 = 1 e u

til em
matematica, algumas manipulacoes necessitam de conceitos como calculo, interpolacao e
outras tecnicas( essas tecnicas sao usadas livremente).
5.9
Algumas utilidades da denic

ao 00
00 := 1, aqui algumas justicativas para a escolha.
5.9.1
Produto sobre o conjunto vazio
Denic
ao 12. Um conjunto A e nito, quando ele e vazio ou quando existe uma
bijecao f entre o conjunto In = {1, 2, . . . , n} = {x N |1 x n}, f : In A.
Denic
ao 13 (Particao em conjuntos ). Seja A um conjunto , dizemos que uma
decomposicao de A = B C com B C = e uma Particao de A.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
41
Se tomarmos B = A e C = , temos B = A e B = , logo e uma Particao de

A, essa Particao e chamada de Particao trivial.
Denic
ao 14 (Produto sobre conjuntos nitos). Sejam A um conjunto nito, 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 denimos
f (k) = 1
kA
f (k) = 1.
Se A possui 1 elemento a1 , denimos
f (k) = f (a1 ).
kA
Se A possui mais de um elemento, tomamos uma Particao de A = B C e denimos
f (k) =
f (k) =
f (k).
f (k)
kC
kB
k BC
kA
Se tomarmos a Particao trivial, temos
f (k) =
kA
f (k) =
k A
f (k).
f (k) = 1.
f (k) =
kA
kA
f (k)
kA
Vamos considerar agora o caso do produtorio sobre um conjunto nito A que tenha
mais de um elemento, seja esse n
umero 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
kA
f (k) =
kC
f (k).
kB
f (k) =
kA{ak }
f (k).
f (k) = [
k{ak }
f (k)].f (ak )
kA{ak }
podemos continuar esse processo ate que o conjunto tenha apenas 1 elemento onde aplicamos a denicao do produtorio sobre conjunto unitario,
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
42
Denic
ao 15. Seja In o conjunto de n
umeros naturais de 1 ate n, In = {1 k
n, k N }, e a funcao f denida nesse conjunto com valores no conjunto R, denimos
n
f (k) :=
k=1
f (k)
k In
O n
umero n e chamado limite superior e 1 de limite inferior. Se n = 0 o conjunto e vazio,
logo temos
f (k) = 1.
k=1
Alem disso temos a propriedade de abertura de limite superior que vamos usar a seguir
n+1
f (k) = [
k=1
f (k)].f (n + 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 denir
x = xn
k=1
caso n = 0, temos o produto sobre conjunto vazio, que foi denido como 1, pois o limite
superior e menor que o inferior
x = 1 = x0
k=1
, isto sendo valido para qualquer x em especial para x = 0

0
0 = 1 = 00 .
k=1
Essa denicao tambem serve para o fatorial

n! =
(k) 0! =
k=1
(k) = 1.
k=1
Observamos um possvel problema na extensao do produto vazio

n
k=n
f (k) = f (n) = f (n)
n1
k=n
f (k)
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
se f (n) = 0 entao
f (k) = 0 ,a princpio
k=n
n1
f (k) poderia ser qualquer valor, inclusive
k=n
1 como estamos denindo, e caso f (n) = 0, implicaria

manter a denicao
n1
43
n1
f (k) = 1. Dito isso, vamos
k=n
f (k) = 1 independente de f e vamos tentar dar uma ideia intuiva
k=n
disso de outra maneira.
5.9.2
Conceito de n
ao multiplicar ou multiplicar 0 vezes.
Exemplo 15. Considere y = b.
f (k).
k=1
X Se n = 1, multiplicamos b por f (1), temos uma operacao de multiplicacao.

X Se n = 2 multiplicamos b por f (1) e depois o resultado por f (2), temos duas
operacoes de multiplicacao.
X Em geral, com n > 0, temos n operacoes de multiplicao, de b com f (1), f (2), , f (n).
X Tentamos estender esse conceito para n = 0, onde teramos 0-multiplicacoes, vamos
interpretar tal conceito como tomar o n

umero b e nao multiplicar b , por qualquer que
seja o n
umero, isto e, mantemos o n
umero b inalterado, o que equivale a multiplicar
o n
umero por 1, pois 1 e o elemento neutro da multiplicacao .
Com isso damos uma ideia intuitiva de
0
f (k) = 1.
k=1
Essa e a interpretacao que damos ao produto vazio, a ideia de nao multiplicar, ou multiplicar 0 vezese equivalente a multiplicar o n
umero por 1 o que nao altera o resultado,
pois e o elemento neutro da multiplicacao .
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
5.9.3
44
Algebra
linear
Denimos sempre que T 0 = I, onde T e um operador linear, se T (v) = v temos que

T k (v) = k v, se k = 0 queremos T 0 (v) = I(v) = v independe de , entao com = 0
T 0 (v) = 00 v = v.
5.9.4
S
eries de pot
encias e polin
omios
Tomando por exemplo a serie de potencia de ex

x
e =
xk
k=0
k!
temos que e0 = 1
0
e =1=
0k
k=0
00 0k
=
+
k!
0! k=1 k!
na serie a direita temos o expoente maior que zero, entao o resultado e zero, podendo
escrever
e0 = 1 = 00 .
Em polinomios temos o mesmo
p(x) =
ak xk
k=0
queremos p(0) = a0 o termo constante

p(0) =
ak 0 = a0 0 +
k=0
ak 0k = a0
k=1
isto e, x0 = 1 para qualquer x inclusive 0 simplica a escrita teoria de serie de potencias

e polinomios.
Sequ
encias
Podemos escrever a sequencia que tem primeiro termo 1 e todos seguintes zero, usando
0n , 00 = 1 e 0n+1 = 0
(1, 0, 0, . . . ).
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
45
Podemos deduzir isso tomando a sequencia f (0) = 1 e f (n + 1) = 0 para todo n, por

interpolacao podemos achar a formula fechada para essa sequencia, usando
n ( )
n
k f (0)
f (n) =
k
k=0
temos que
( )
k ( )
k ( )
k
k
k
ks k
ks
(1)k f (0) = (1)k
f (0) = (E1) =
(1) E f (0) =
(1) f (k) =
0
s
s
s=0
s=0
k
todos outros termos do somatorio se anulam pois f (n + 1) = 0 para n natural logo temos
a sequencia expressa como
n ( )
n ( )
n
n
k
(1)k = (1 1)n = 0n .
f (n) =
f (0) =
k
k
k=0
k=0
5.9.5
Bin
omio de Newton
Temos
n ( )
n nk k
(x + y) =
x y
k
k=0
n
no caso trivial se zermos y = 0

( )
n ( )
n ( )
n nk k
n n0 0
n nk k
(x + 0) = x =
x 0 =
x
0 +
x . 0 = xn .
k
0
k
k=0
k=1
n
=1
Se tomamos x = 1 y = 1, temos
n ( )
n ( )
n nk
n
k
(1)k
1 (1) =
(1 1) = 0 =
k
k
k=0
k=0
n
observe que para n = 0, temos no lado direito

( )
0 ( )
0
0
k
(1) =
(1)0 = 1 = 00 .
k
0
k=0
5.10
Soma geom
etrica
n
xn+1 1
x =
x1
k=0
k
=0
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
tomando x = 0
0k =
k=0
logo
46
0n+1 1
1
=
=1
01
1
0k = 1 = 00 .
k=0
5.11
Identidades
Algumas identidades valem para todo n natural quando tomamos 00 = 1
5.11.1
Uma identidade com diferencas
Denimos o operador delta como

0 f (x) = f (x)
n+1 f (x) = n f (x + 1) f (x)
para todo n natural.
Podemos demonstrar que
n xn = n!
para qualquer x em especial, para que a propriedade seja valida para n = 0 = x, temos
que ter 00 = 0! pois
0 00 = 00 = 0!
porem 0! = 1, entao teramos que 00 = 1.
A mesma identidade vale com derivadas
Dn xn = n!
, com x = 0 = n tem-se
D0 00 = 0! = 00 = 1.
Estamos usando que D0 = 0 e a identidade.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
5.12
47
Denic
ao de pot
encia de base real e expoente
inteiro.
Podemos denir a potencia de base real e expoente natural da seguinte maneira

Denic
ao 16.
n
x :=
k=1
para n natural e x real.

Propriedade 8. Para n = 0 , como ja vimos, o produtorio e vazio, logo o resultado
e 1 ( que e o elemento neutro do produto), para qualquer valor de x real, incluindo 0,
temos entao
x = 1 = x0 .
k=1
Podemos denir tambem a potenciacao, da seguinte maneira

Denic
ao 17.
x0 = 1
xn+1 = xn .x
para qualquer x real e n natural.
Vamos mostrar que as denicoes sao equivalentes.
Partindo da primeira denicao, vamos mostrar que vale a segunda denicao
x0 =
x=1
k=1
logo a primeira propriedade vale, mostrando a segunda

n+1
n+1
x=[
k=1
x]x = xn .x
k=1
logo vale a segunda propriedade e denicao.

Para mostrar que vale
k=1
x = xn
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
48
partindo da segunda denicao, podemos usar inducao sobre n, para n = 0 temos a propriedade verdadeira, pois temos 1 como resultado para ambas expressoes, supondo a validade
para n
x = xn
k=1
vamos provar para n + 1
n+1
x = xn+1
k=1
Temos que
n+1
x=[
k=1
x]x = xn .x = xn+1
k=1
logo esta provado.
5.12.1
Identidade de Worpitzky
A identidade de Worpitzky vale para x = 0 = n

n
x =
)
n n (
x+k
k=0
0 ( )
0
0 =
= 1.
0
0
0
5.12.2
N
umeros de Stirling do segundo tipo
Exemplo 16. Vale a identidade

n k xn
=
k
k!
Tomando n = 0

n
0

0
= 1 chegamos em 00 = 1.
como
0
.
x=0
= 0n
= xn
x=0
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
5.12.3
49
N
umero de funco
es de A em B
Texto por Vinicius Rodrigues .

Em teoria dos conjuntos e em outros ramos da matematica denota-se por AB o con um fato geral que, denotando a
junto das funcoes de domnio B e contradomnio A. E
cardinalidade de um conjunto X por |X|, temos que:
|AB | = |A||B| .
Ou seja, a cardinalidade do conjunto de funcoes AB e a cardinalidade do contradomnio
exponenciada à cardinalidade do domnio. Denotando por o conjunto vazio, temos que
= {} conjunto que possui um so elemento, que e (O vazio e uma funcao de domnio
vazio e imagem vazia). Assim, com 00 = 1, temos que o fato geral mencionado se preserva:
| | = |{}| = 1
e
|||| = 00 = 1.
5.13
Indeterminac
ao pela extens
ao de ax+1 = ax.a.
Quando vamos denir a potencia an para n natural, queremos a1 = a e an+1 = an .a.

Caso a = 0 , podemos estender a denicao para a0 por meio dessa recorrencia de uma
maneira u
nica, pois de an+1 = an .a com n = 0 segue
a0+1 = a0 .a a0 a = a
como a = 0 podemos dividir em ambos lados, de onde tem-se a0 = 1. Agora caso a = 0, nao
podemos determinar qual seria o valor de a0 , por meio desse processo, pois substituindo
a = 0 na expressao anterior, tem-se
a0 .a = a, ; 00 .0 = 0
00 .0 e igual a zero, independente do valor que atribumos para 00 . Por isso essa abordagem nao e conclusiva e nao permite obter um valor especco para 00 , nao conseguimos
tirar nenhuma informacao nova desse processo. Mas por outro lado ele e inalterado caso
adotemos denicao de 00 = 1 ou outro valor qualquer.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
50
O mesmo problema pode acontece no caso do produto vazio

n
f (k) = f (n) = f (n)
k=n
se f (n) = 0 entao
n1
f (k)
k=n
f (k) = 0 ,a princpio
k=n
n1
f (k) poderia ser qualquer valor, inclusive
k=n
1 como estamos denindo, e caso f (n) = 0, implicaria
n1
f (k) = 1.
k=n
5.14
5.14.1
Resposta a argumentos contr

arios
A regra a
mn
am
= n . Um peso e duas medidas
a
ab
nao vale para a base 0, pois caso valesse o n
umero 0
ac
02
0
seria indenido 0 = 01 = 021 = 1 = entao nao faz sentido o argumento contrario
0
0
01
0
0
11
dizendo que 0 = 0
= 1 = , pois se essa regra vale entao 0 tambem e indenido,
0
0
o erro esta em considerar que a propriedade de subtracao de expoentes vale para base
A regra de potencia abc =
a = 0, que nao vale, pois tal propriedade e demonstrada para a = 0.

Ja observamos conceito de Um peso e duas medidasaplicado ao que tratamos acima,
isto e, considerar que 00 seria indenido por termos
01
0
=
1
0
0
mas nao aplicar o mesmo pensamento para o n
umero zero, onde
00 = 011 =
0 = 01 = 021 =
02
0
=
,
01
0
isto e, a aplicacao de uma regra apenas quando e conveniente para o que a pessoa
considera como correto a princpio , e nao apresentar a coerencia de aplicar em todos
casos onde ela deveria ser a princpio valido . Se fosse valido usar apenas quando o
expoente e zero e a base zero, precisaria se fazer uma argumentacao sobre isso tambem,
mostrar que so seria valido nesse caso .
Exemplo 17. Vejamos uma variante do argumento amn =
am
.
an
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
51
a
= 1 , para a nao-nulo. Quando voce adota
a
a convencao 00 = 1 para o conceito de funcao isto deve ser feito de modo que
X Argumento : Podemos escrever a0 =
continuem validas as propriedades.

00 = 1 , voce esta dizendo que 00 e determinado, vale e valem para o caso, as propriedades. Agora cou assim: todo n
umero elevado a 0 e igual a 1 e as propriedades de
a
potencias sao validas. Em outras palavras, a0 = = 1, para qualquer n
umero real.
a
A esta o que te levara a contradicoes. Ao denir 00 = 1, voce esta automaticamente
0
sua utilidade na validade das propriedades e o que se chega e 00 = = 1, ja que a
0
a
propriedade a0 = = 1 e valida neste caso. Isto acarreta contradicoes.
a
X Resposta: Vamos tentar mostrar que o que e argumentado acima e um nom-sequitur
(algo que nao segue necessariamente das premissas).

Uma propriedade valida para todo a nao nulo, nao implica, necessariamente , que
ela deveria ser valida a = 0 tambem . Por isso acho que esse argumento nao vale .
Podemos, e claro, dar exemplos bem denidos, onde tem-se a validade de algo para
todo a nao nulo, mas a mesma propriedade nao valendo para a = 0
Exemplo: para todo a nao nulo, temos |a| > 0 . E claro que para a = 0 temos
|a| = 0, o resultado difere da denicao de todos os outros a nao nulos .
Entao quando se fala que algo que vale para todo a real nao nulo, implicaria que
deveria valer para a nulo tambem , tem se que dar uma argumentacao do porque
isso teria que ser valido, e nao apenas colocar tem que ser assim e prontoou a
extensao tem que ser essa, sem mostrar a real necessidade disso ou implicacao
logica disso .
Se casse argumentado a necessidade real de nesse caso a propriedade valer para
todo a nao nulo, implicar necessariamente validade para a = 0 o jogo poderia
terminar .
Outro problema e a eleicaode qual propriedade deveria ou nao ser valida para
uma extensao do conceito de potencia que ja se e considerado bem denido, para
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
52
valores que nao seriam considerados bem denidos no momento . No caso se elegeu
a
a propriedade a0 = que vale para todo a = 0. O que garante que essa teria que
a
ser a propriedade que deveria ser mantida numa extensao do conceito e nao outra
propriedade? Por que nao a propriedade
amn =
am
an
au
ltima propriedade da problema tambem para a = 0 e m = n + 1 > 0, dando a
a
0
sendo apenas um caso particular dessa
identidade 0 = . A propriedade a0 =
0
a
outra mais geral com m = n = 1, essa u
ltima realmente so implica em problema
caso a = 0 .
Entao a contra argumentacao colocada se resume a dois pontos. Primeiro : Uma
propriedade valida para todo a = 0, nao implica necessariamente que ela deva ser
valida para a = 0, se essa implicacao, validade para a = 0 validade para a = 0,
e colocada ela deveria ser provada. Segundo : Escolha da propriedade que deveria
ser valida para extensao, ca a pergunta de porque uma propriedade x deveria ser
escolhida e nao uma propriedade y. Uma propriedade que consideramos natural que
potenciacao satisfacam e a0 = 1 (ou a1 = a) e ax+y = ax ay , sendo a u
ltima valida
x, y R se a > 0 e x, y reais nao negativos se a = 0, pois nao consideramos 0x
denido com x < 0. Os casos com a < 0 sendo um pouco mais complicados pois
podem recair em n
umeros complexos.
0
A propriedade 00 = 1 nao implica necessariamente que = 1, pois a propriedade
0
a
0
a = nao precisa valer para a = 0 .
a
Exemplo 18.
X Argumento : O mais natural para denir uma regra aritmetica
ou funcao em um ponto e por meio de limites.

X Resposta: O conceito de natural neste caso pode ser questionado ainda mais que
neste caso, temos modos que podem ser considerados naturais ,isto e, totalmente
aritmeticos (que e o domnio do problema, denicao de uma operacao aritmetica),
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
53
que evidenciam ou implicam o que nao se consegue determinar por meio de limites
.
Exemplo 19.
X Argumento : Temos que 0n = 0 para n > 0 e n0 = 1, n = 0, por
isso 00 seria indenido, pois nao saberamos se valeria 1 como em n0 = 1, (n = 0)

ou 0 como em 0n , (n > 0) .
X Resposta: O fato de termos 0n = 0, n > 0 e 0n = 1, n = 0 por s so nao implica
nada sobre 00 . Vamos escrever essas condicoes como funcao

g(x, y) = xy ,
entao temos g(0, y) = 0y = 0, y > 0 e g(x, 0) = x0 = 1, x = 1, temos entao
g(0, y) = 0, y > 0
g(x, 0) = 1, x = 0,
isso nao implica nada sobre g(0, 0) que poderia possui qualquer valor, na verdade
existe uma funcao R {0, 1} que satisfaz exatamente f (0, y) = 0 se y = 0 e
f (x, 0) = 1 x real, em especial f (0, 0) = 1.
Usamos a funcao delta de Kronecker, que e denida assim (x, y) = 0, x = y e
(x, y) = 1, x = y.
Denindo entao
f (x, y) = (x y, x),
temos que f (0, y) = (y, 0) = 0 com y = 0 e g(x, 0) = (x, x) = 1. Portanto existe
funcao que satisfaz essa propriedades
f (0, y) = 0, y = 0
f (x, 0) = 1, x.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
54
Nada segue das propriedades g(0, y) = 0, y > 0 g(x, 0) = 1, x = 0,, nao se implica
dessas propriedades que nao se possa denir g(0, 0) como um valor ou outro . Esse
tipo de analise nao determina ou implica ser impossvel denir 00 de uma maneira
ou de outra .
5.14.2
00 e consist
encia da matem
atica .
Exemplo 20.
X Argumento : Nao e uma denicao que se deve usar pra tudo.
No proprio caso da funcao f (x, y) = xy , se eu usar a denicao 00 = 1, entao

obviamente f (0, 0) = 1. Assumindo que estou usando essa funcao pra modelar
algum fenomeno fsico (ou qualquer um outro que voce preferir), nao ha nenhuma
razao que me leve a pensar que o fenomeno vai se comportar de acordo com o modelo
no ponto (0, 0). E este seria um caso pra nao levar 00 = 1 como denicao, mas como
um valor indeterminado mesmo.
00 = 1 e u
til em muitas, mas nao em todas as situacoes, por isso acho que nao
devemos adotar isso universalmente.
X Resposta: Primeiro, sobre modelos, se por acaso se adota 00 = 1 a funcao de lei
xy = f (x, y) tera assim uma denicao para f (0, 0) . Caso se deseje modelar algum
fenomeno, o que imagino que deve ser feito e escolher o modelo que melhor se
adapte ao problema em questao, se por acaso um modelo com f (x, y) denido dessa
forma, nao for uma boa modelagem, uma solucao e simples, muda-se o modelo, a
funcao para modelar o problema . Estamos supondo aqui que exista um tal modelo
hipotetico que seja bem representado por f (x, y) = xy com x, y = 0 , que nao foi
apresentado de fato , mas a existencia dele na verdade nao importa, pois como
argumentamos, se um modelo nao corresponde bem a uma realidade a atitude que
achamos correta e mudar o modelo, por isso nada se implica sobre a denicao ou
nao de 00 . Apesar que poderamos pensar de certa forma que xy com x e y naturais,
possui de certa forma um modelo dentro da propria matematica, que e o n
umero de
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
55
funcoes entre um conjunto com y elementos em um conjunto com x elementos .

Um exemplo como troca de modelo acontece de fato na fsica e a teoria matematica
e mantida. Considere por exemplo a geometria plana, o fato dela nao se aplicar a
espacos tempos curvos pela gravidade, nao implica uma destruicao e modicacao
da geometria plana fazendo ela ser modicada e nao mais aceita como teoria matematica e sim o uso de outro modelo matematico para geometria.
Um outro tipo de questao que poderia se colocar e a de se pedir para que se prove que
tomando 00 = 1 isto nao implicaria algum tipo de incosistencia dentro da matematica
e pedir para se provar que ela seria uma denicao consistente . Porem na verdade esse
tipo de pergunta pode ser considerada bem seletiva , pois o problema da consistencia
da matematica e um problema em aberto (talvez metamatematico), nao sabemos se a
matematica em geral e consistente , nao sabemos se podemos deduzir uma proposicao ou
negacao dela a partir de alguns princcpios basicos (axiomas) . A consistencia do sistema
axiomatico ZF , que faz parte de uma construcao moderna da matematica e dita nao ser
demonstravel em ZF . Entao o ceticismo ou seletividade dessa questao apenas para este
caso (00 ) aplica-se tambem na base atual da matematica e um questionamento apenas
deste ponto poderia, talvez, demonstrar uma motivacao inicial de considerar o valor 00
como indenido .
5.14.3
Limites
Argumento que limites nao devem ser levados em consideracao para denicao ou nao
de 00 . Se lim g(x) = 0 e lim h(x) = 0 entao a princpio nada podemos armar sobre
x0
x0
lim g(x)h(x) . Porem quando denimos limite
x0
lim f (x) = L
x0
da maneira
> 0 > 0 | 0 < |x| < |f (x) L| <
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
56
nao importa o valor de f em 0, ela pode estar denida como por exemplo, f : R R dada
por f (x) = 3 para x = 0 e f (x) = 0 se x = 0, o valor da funcao em 0 nao importa para
denicao de limite, ela poderia nao ser denida em x = 0 tambem. Entao sustento que
argumento de limite nao deveriam ser levados em consideracao em denicoes aritmeticas
(pontuais).
Os processos limites em geral sao inconclusivos para determinar o valor de 00 como
veremos a seguir, mostrando que 00 e uma indeterminacao como limites. Como temos
indeterminacao como limites, isto e, o processo sendo inconclusivo no caso da extensao
por limites, defendemos sua denicao pela sua utilidade nas identidades algebricas , que
indicam a utilidade da denicao .
Resumindo : No caso, limites sao inconlusivos para determinar valor de 00 , portanto
usamos o que indicam as identidades aritmeticas, que sao irrelevantes para processos
limites, pois nao dependem da denicao das funcoes nos pontos.
5.14.4
Continuidade
Argumento que continuidade de funcoes tambem nao devem a princpio serem consideradas para a denicao de 00 . Pois uma dada funcao qualquer f ela a princpio nao
precisa ser contnua.
Exemplo 21. Seja uma funcao f : R R denida por
f (x) =
(x 1)(x + 1)
, x = 1.
(x 1)
A funcao f pode ser denida em f (1) como um valor qualquer diferente de 2? Onde
2 = lim f (x) = lim
x1
x1
(x 1)(x + 1)
= lim (x + 1) = 2.
x1
(x 1)
Sim , ela pode ser denida com f (1) = 1 ,por exemplo , se denimos f (1) = 2 ela
deixa de ser a mesma funcao em um ponto . A crtica usando limites diz que NAO
podemos denir algo em um ponto se os limites diferirem do que temos naquela ponto
da funcao, o que desse ponto de vista pode ser um pouco absurdo . A funcao de lei
(x 1)(x + 1)
f (x) =
x = 1 e f (1) = 1 e tao valida como funcao quanto a outra
(x 1)
(x 1)(x + 1)
x = 1 , g(1) = 2 , apesar da primeira ser decontnua e a segunda
g(x) =
(x 1)
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
57
contnua . Defendemos que nao importa tambem o tipo de descontinuidade, isso nao
implica, que nao podemos denir a funcao em um ponto de uma certa maneira , se os
possveis limites diferirem da funcao no ponto . Por isso que a existencia ou nao de limites,
nao implicam categoricamente que nao se possa denir a funcao de algum modo ou outro
em um certo ponto
5.14.5
Argumentos usando 0x com x positivo
Comentario inicial, consideramos que 0x nao sendo denido para x positivo . Por
exemplo 01 , 02 etc . Neste texto consideramos apenas denicao de 0x com x 0 .
Vamos responder um comentario nessa linha . Vamos entao a mais um comentario e
resposta :
X Coment
ario :Esta denicao gera problemas. Por exemplo, considere que como voce
disse, 00 = 1, entao,
1 = 00 = 022 ,
pois 0 = 2 2, aplicando as propriedades da potenciacao
1 = 02 .0( 2)
mas 02 = 0, logo 1 = 0.02 , porem 0 vezes qualquer n
umero e igual a zero, logo
1 = 0 contradicao, pois, como sabemos, zero e diferente de 1 . Ou seja, se voce
denir que 00 = 1, voce tera propriedades diferentes das usuais.
X Resposta : Um problema neste argumento e que 02 nao e denido a principio ,
entao nao se poderia escrever

0x+y = 0x .0y ,
com x ou y menores que zero . Extrapolou-se uma propriedade onde ela nao vale .
O que vale em nosso contexto e
0x+y = 0x .0y ,
com x e y nao negativos , onde tanto 0x e 0y tem sentido . Se por exemplo x e y
sao nulos entao
0x+y = 00 = 1 = 0x .0y = 00 .00 = 1.1 = 1
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
58
se ambos sao positivos

0x+y = 0 = 0x .0y = 0.0,
se um deles e nulo, digamos x e y > 0, entao
0x+y = 0y = 0 = 0x .0y = 1.0 = 0,
1
entao a propriedade 0x+y = 0x .0y continua sendo verdadeira, desde que 0x e 0y

estejam denidos .
5.15
Aplicac
oes
5.15.1
Delta de kronecker
Denic
ao 18 (Delta de Kronecker). Sejam a e b n
umeros reais, denimos o Delta
de kronecker (a,b) , como
(a,b) = 0
se a = b
(a,b) = 1
se a = b .
Podemos escrever o delta de kronecker usando a identidade 00 = 1.
Propriedade 9.
(a,b) = 0|ab|
Demonstrac
ao. Pois se a = b temos a b = 0 e |a b| = |0| = 0 e pela denicao
0 = 1. Agora se a = b temos a b = 0 e |a b| = p um n
umero positivo, e temos 0p = 0,
0
por propriedade de potencia.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
5.16
Textos que adotam a denic

ao
5.17
Textos que s
ao contr
arios a denic
ao
5.18
Mais sobre limites e 00 .
59
Denimos a potencia para expoentes n naturais e base real a, an usando apenas

processos nitos1 . Para denir ax com a > 0 e x real , usamos processos relacionados a
limites e continuidade, tomando
ax = ex ln(a) .
Porem tais processos, como vimos, nao sao conclusivos para determinar o valor de
00 , pois 00 e uma indeterminacao na forma de limite. E a denicao aritmetica de 00 = 1
tambem nao altera a existencia de limites, pois para limites nao importa o valor da funcao
no ponto .
Processos limites sao importantes para estender a denicao de ax para valores de x nao
reais, mas para 0 = x = a a princpio , sao inconclusivos. Reconhecemos a importancia de
processos limite para extensao de regras aritmetica, porem, vamos considerar identidades
aritmeticas com a prioridade nessas denicoes, caso as identidades aritmeticas indiquem
algum valor. No caso de 00 , os exemplos aritmeticos dados induzem a utilidade da denicao de 00 = 1 e os processos limite, nao induzem a nenhum valor especial, eles variam,
sao indeterminacoes e nao dependem das denicoes pontuais.
Uma curiosidade que nao vamos usar como argumento aqui, e a seguinte, na reta
estendida, podemos denir 0.() = 0, denicao usada na teoria da medida, sabemos
tambem que lim+ ln(x) = , por isso se denimos ln(0) = e usamos a regra
x0
0.() = 0, da teoria da medida, temos

pela denicao
ax = ex ln(a)
se tomamos a = x = 0 temos
00 = e0 ln(0) = e0() = e0 = 1.
1
Considerando os produtos de n
umeros reais ja como bem definidos, o que pode necessitar de argu-
mentos relacionados a limite e continuidade
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
60
Colocamos essa passagem como curiosidade, nao vamos a usar como argumento na
defesa de 00 = 1 pois, isso iria requerer ln(0) = , que foi tomado por extensao por
limites e 0.() = 0 que e regra na teoria da medida, mesmo que essa u
ltima tambem
seja indeterminacao como limite. Nao usamos esses argumentos a princpio pois estamos
nos atendo a regras aritmeticas a princpio .
5.19
00 e fal
acia l
ogica do Non sequitur.
Ainda sobre limites e denicao aritmetica de 00 .

Denic
ao 19 (Non sequitur). Non sequitur (expressao latina para nao se segue) e
uma falacia logica que acontece quando uma conclusao nao se segue das suas premissas.
Em um non sequitur, a conclusao pode ser verdadeira ou falsa, mas o argumento e falacioso
porque ha falta de conexao entre a premissa inicial e a conclusao. Existem diversas
variacoes de non sequitur, e outras falacias logicas se originam dele, tais como a armacao
do consequente e a negacao do antecedente, que veremos a seguir .
Denic
ao 20 (Armacao do consequente). Tudo que e da categoria A e tambem da
categoria B entao, tudo que e da categoria B e tambem da A.
Exemplo 22 (Exemplo de armacao do consequente). Penso, logo existo . Pedras
existem, entao pedras pensam.
Denic
ao
21 (Negacao do antecedente). Se A, entao B. A e falso, portanto B
tambem e falso.
Exemplo 23 (Exemplo de Negacao do antecedente). Se eu ganhasse na loteria,
saberia que ela premia de verdade. Eu nunca ganhei na loteria, entao ela e falsa.
Como o Non sequitur, e usado junto com limites para se considerar a 00 como indenido
de forma aritmetica?. Sabemos que se lim f (x) = 0 = lim g(x) entao lim f (x)g(x) nao
xa
xa
xa
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
61
tende a um valor denido, mas isso nao implica a princpio uma nao denicao aritmetica
de 00 , pois digamos que lim f (x)g(x) = L entao
xa
> 0 > 0 | 0 < |x a| < |f (x)g(x) L| <

a princpio isso nada implica sobre denicoes aritmeticas, se fosse considerar o limite L
como um n
umero qualquer, deveria se mostrar sem sombras de d
uvida como isso implica
ou nao uma nao denicao aritmetica no ponto, o que nao e feito em geral, entao nesses
casos em que a implicacao nao e argumentada, trata-se de nom sequitur, resumindo a
propriedades com 0 < |x a| < , isto e, na vizinhanca do ponto x = a nao implicam
necessariamente propriedade para x = a.
O limite lim f (x)g(x) , pela propria denicao de limite, nao implica a princpio nem
xa
depende de f (a)g(a) , nao importa a denicao no ponto, para limites, e limites podem nao
implicar a princpio denicao no ponto (a funcao poderia estar nao denida no ponto ).
Por isso que a princpio nao consideramos esse tipo de argumento .
A denicao aritmetica, a princpio, nao segue de propriedade de limites, neste casos,
para que seguisse logicamente de limite, e necessario apresentar uma argumentacao para
isso, uma argumentacao valida.
Entao o que consideramos falacia de nom sequitur no caso e
X O fato de lim f (x) = 0 = lim g(x) entao lim f (x)g(x) nao tender a um valor denido
xa
xa
0
xa
a princpio, implica que 0 e indenido como operacao aritmetica. Sendo que consideramos isso como nom sequitur, pois nao se mostra como a propriedade de limite
implicaria ou nao a denicao ou falta de denicao aritmetica.
X O fato de lim f (x) = 0 = lim g(x) entao lim f (x)g(x) nao tender a um valor denido
xa
xa
xa
a priori, implica a princpio, apenas o que esta contido em seu enunciado, qualquer outra coisa que se tire disso, deveria ser argumentado usando deducoes logicas
validas. Por isso descartamos tal tipo de argumento , caso nao se preencha a lacuna
e se desfazendo do nom sequitur .
5.19.1
Implicac
oes da n
ao denic
ao de 00 = 1
Primeiro, o autor do texto acha valido que uma pessoa nao deseje adotar a denicao
00 = 1 ou outras denicoes que impliquem essa propriedade (como produto vazio), seja
por questoes de limite, continuidade ou qualquer outro motivo , pois penso que denicoes
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
62
se adotam ou nao conforme o interesse e motivacao . Porem o desejo de nao querer se

denir 00 , nao implica que nao se possa denir tal operacao . Se e defendido que nao se
pode denir 00 , entao deve-se dar um argumento mostrando que isso de fato nao pode ser
feito , caso se diga que toda denicao na matematica deve-se antes mostrar consistente
para ser denida entao camos no problema da consistencia da matematica, que e algo
nao resolvido e nao levaramos adiante a matematica (por nao saber se ela e consistente
ou nao). Entao nossa atitude aqui e a de estar abertos sempre a argumentos contrarios
para possveis incosistencias, que ainda nao observamos ou reconhecemos .
Caso nao se adote 00 = 1 todas as identidades em que se e u
til ter 00 = 1 nao poderiam
a prncipio ser usadas e esse e um dos principais motivos que desejamos ter 00 = 1, poder
usar tais identidades livremente .
Por exemplo, nao poderamos mais escrever
ex =
xk
k=0
k!
para todo x, pois com x = 0 , e0 = 1 e na serie ira aparecer o termo 00 , entao teria
que se escrever
ex = 1 +
xk
k=1
k!
uma das motivacoes de se ter 0 = 1 e se poder ter uma escrita mais compacta em
matematica .
5.19.2
Porque n
ao existe consenso entre matem
aticos para 00 ?
A resposta dada aqui sera tendenciosa, pois vem de alguem que e favoravel a se ter
0
0 = 1 ( como implicacao do produto vazio). Possveis explicacoes segundo o autor desta

secao :
X Confusao entre limite e operacao aritmetica, indeterminacao de limite ( que e um
fato ) com operacao aritmetica ( pontual ), defendemos aqui que limite nao implica
necessariamente sobre a denicao da operacao no ponto ( a nao ser , que isso seja
tomado como denicao da operacao no ponto) ou questao de continuidade ( mas
funcao nao precisa a princpio ser contnua ).
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
63
X Popularidade de argumentos errados como
00 =
01
0
= .
1
0
0
X Questoes de ensino, pois muitos sao ensinados que 00 nao e denido, entao neste
caso temos um peso da tradicao matematica . Muitos alunos em um curso de calculo

ao serem ensinados que se lim g(x) = 0 e lim f (x) = 0 entao
xa
xa
lim g(x)f (x)
xa
pode nao existir ou variar conforme as funcoes f e g , fato que e dito como 00 ser
uma indeterminacao na forma de limites , isto e, 00 ser uma indeterminac
ao na
forma de limites e uma abreviacao para o que foi exposto acima, e com isso se
acabam estendendo a operacao aritmetica 00 .
Pessoas que defendem a nao denicao de 00 , podem apresentar outros argumentos para
tentar explicar o motivo de alguns considerarem 00 = 1, porem neste texto, esperamos
ter apresentado argumentos em grande quantidade para a defesa desse ponto .
5.20
0! = 1
5.21
Fatorial, extens
ao por meio de recorr
encia
Denic
ao 22 (Denicao por produtorio). Podemos denir n! com n N, n > 0
como
n! =
k.
k=1
Da denicao temos que 1! =
(k) = 1. Podemos com isso vericar que
k=1
n!
(n + 1)! =
n+1
k=1
k=1
(k) = (n + 1).
(k) = (n + 1)n!
e usar tal recorencia (n + 1)! = (n + 1).n! com 1! = 1, onde 1! = 1 e pela denicao por
produtorio , para estender a denicao para 0! e essa extensao pode ser feita de uma u
nica
maneira.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
64
Podemos entao denir o fatorial pela recorrencia

{
n! =
1 se n = 0.
(n 1)!.n se n > 0, n N.
Disso temos que 0! = 1 pois usando a recorrencia n! = (n1)!.n ( que vale para n > 0)
com n = 1 que
1! = 0!.1 0! = 1,
=1
portanto tem-se que 0! = 1 usando a recorrencia. Por outro lado poderamos tomar
0! = 1 direto na denicao.
Ter 0! = 1 provado ou nao, sendo denicao direta ou nao, depende de qual das equivalentes denicoes de fatorial se adota . Para alguns pode se considerar mais natural
adotar 1! = 1 como denicao e retirar 0! = 1 por uso da recorrencia , pois 1! = 1 tambem
corresponde intuitivamente bem com a ideia de que
n! = n 2.1,
e naturalmente da 1! = 1 , para n = 0 o conceito do produtorio acima teria que ser
estendido , e o conceito do produto vazio , ser nao e muito claro ou conhecido para muitos
atualmente.
5.21.1
Fatorial n
ao denido para inteiros negativos
Se sabemos a recorrencia do fatorial (n + 1)! = (n + 1).n! e uma condicao inicial, por

exemplo 1! = 1 entao podemos deduzir que 0! = 1 pois tomando n = 0 na recorrencia
1
acima temos que 1! = 1.0!, da 0! = 1. Porem nao podemos estender a denicao para
todo inteiros negativos por meio da recorrencia, pois, supondo que (1)! esteja denido
como n
umero 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 denir o fatorial de maneira
uniforme para inteiros negativos, vamos deixar o fatorial indenido para tais valores.
X Pergunta : Temos que 0! = 1 , e aplicando a recorrencia para fatoriais n! = n(n 1)!
, tomando n = 0, teremos que 0! = 0(1)! , ou seja, (1)! e um n

umero que
multiplicado por 0 da 1.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
65
X Resposta: Com isso conclumos apenas que (1)! nao pode estar denido 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 n
umero real x , tem-se
0.x = 0 . Se desejar denir (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 se denir 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 = 0x.
5.22
Fatorial ,denic
ao recursiva
Denic
ao 23 (Fatorial-Denicao Recursiva.). Dado n N , podemos denir n! (
le-se n fatorial), da seguinte maneira recursiva
0! = 1
(n + 1)! = (n + 1).(n)! n N.
Corol
ario 13. 1! = 1 pois 1! = 1.(0)! = 1.1 = 1 .
Propriedade 10.
n! =
k=1
para todo n natural.

Demonstrac
ao. Aqui iremos usar o conceito de produto vazio, falamos sobre ele
no captulo sobre 00 , recomendamos a leitura dessa parte do captulo.
Vamos provar por inducao sobre n. Para n = 0 tem-se
0! = 1 =
k=1
k=1
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
66
pois o produto com limite superior 0 e um produto vazio, que por denicao e 1 . Agora
considerando a igualdade valida para n
n! =
k=1

(n + 1)! =
n+1
k=1
temos que
n+1
k = (n + 1)
k=1
k = (n + 1).n! = (n + 1)!
k=1
O fatorial tambem poderia ser denido atraves do produtorio

n! :=
k.
k=1
as denicoes recursiva e por produtorio sao equivalentes porem a relacao (n + 1)! =

(n+1).(n)! sem uma condicao inicial nao dene completamente o fatorial, pois poderamos
ter uma sequencia f (n) que satisfaz f (n + 1) = (n + 1)f (n) porem f (0) = a = 1, entao
devemos dar uma condicao inicial, seja ela 0! = 1, 1! = 1. A denicao por produtorio
implica que 0! = 1 pois temos o produtorio sobre conjunto vazio que e 1 por denicao
0! =
k = 1.
k=1
Propriedade 11. A denicao recursiva e por produtorio sao equivalentes.

Demonstrac
ao. Ja provamos que a denicao recursiva implica o produtorio, agora
vamos provar que a denicao por produtorio implica a denicao recursiva. Denindo
n! :=
k=1
para todo n natural, tem-se 0! =
k=1e
k=1
(n + 1)! =
n+1
k=1
k=(
k)(n + 1) = n!(n + 1)
k=1
logo vale a condicao inicial e a recorrencia dada para o fatorial, entao as denicoes sao
equivalentes.
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
67
O smbolo n! foi introduzido em 1808 por Christian Kramp de Strasburgo (1760

1820), que o escolheu para contornar a diculdades gracas vericadas com um smbolo
previamente usado. Uma notacao antiga de fatorial e n e nao mais usada, que pode ser
encontrada por exemplo no livro A Treatise on the Calculus of Finite Dierences do autor
George Boole de 1860.
5.23
Denic
ao de fatorial para n
umeros reais, usando
func
ao gamma
Podemos denir uma funcao fatorial para valores reais, usando uma representacao por
integral, conhecida como funcao gamma, com essa denicao por integral estendemos a
denicao dos naturais para um subconjunto de valores reais, a denicao pode ser feita
como segue
Denic
ao 24 (Funcao fatorial). Podemos denir a funcao o fatorial (x) por meio
da integral
(x) :=
tx et dt.
Propriedade 12. 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.
Demonstrac
ao. Por inducao
(0) =
0 t
fazendo uma substituicao de variaveis u = t,

ca
t e dt =
et dt
du
= 1, du = dt, du = dt, a integral
dt
eu du = eu = et
=
0
1
et
=1
0
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
68
logo (0) = 1 = 0!. Tomando a Hipotese para n

(n) = n! =
tn et dt
0
(n + 1) =
tn+1 et dt = (n + 1)!
lembrando a formula de integracao por partes

[f (t).g(t)] = f (t).g(t) + f (t).g (t)
integrando em ambos os lados
[f (t).g(t)] dt = f (t).g(t)dt + f (t).g (t)dt

pelo teorema fundamental do calculo
f (t).g (t)dt = [f (t).g(t)]
f (t).g(t)dt
tomando f (t) = tn+1 implica f (t) = (n + 1).tn e g(t) = et implica g (t) = et ,

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

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

tn+1 .et dt = (n + 1).n! pela hipotese
0
logo
pela denicao de (n + 1)!
tn+1 .et dt = (n + 1)!
CAPITULO 5. DUVIDAS
SOBRE O NUMERO
ZERO
69
Corol
ario 14. Para reais temos a mesma propriedade (x + 1) = (x + 1)(x)
tomando f (t) = tx+1 implica f (t) = (x + 1).tx e g(t) = et implica g (t) = et , entao
x+1
.e dt = [t
x+1
x+1
.e ]
.e dt = [t
x+1
x+1
(x + 1).tx . et dt
tx .et dt
.e ] + (x + 1).
tx+1 .
.e dt = [ t ] + (x + 1).
e
t
tx .et dt
aplicando os limites
x+1
t
0
logo
tx+1 .
.e dt = [ t ]
e
x+1
+ (x + 1).
tx .et dt
.e dt = (x + 1).
tx .et dt
Fica denido entao x! para valores reais de x aos quais a integral esta bem denida
x! =
tx .et dt
com a regra valida

(x + 1) = (x + 1).(x)
Denic
ao 25 (Funcao gamma). A funcao gamma pode ser denida como
(x) = (x 1) =
tx1 .et dt.
5.24
D
uvidas sobre aritm
etica
Captulo 6
D
uvidas sobre aritm
etica
6.1
Se 5 = 3 e 3 = 2 quanto
e 5 + 3?
Se 5 = 3 e 3 = 2 quanto e 5 + 3? Primeiro se 5 = 3 e 3 = 2 entao nao estamos tratando

de operacoes usais entre n
umeros naturais, pois em N nao vale 5 = 3 ou 3 = 2, assim
como nao vale em R, Z e outros conjuntos n
umericos comuns .
Outra possibilidade e dar um sentido diferente ao smbolo = , diferente do usual .
No problema nao e dado em que conjunto se esta trabalhando nem o sentido do smbolo
=, alem disso nao sabemos que sentido seria dado para uma possvel operacao entre dois
elementos 3 e 2 para podemos saber o que seria 3 + 2. Entao o problema em nosso ponto
de vista nao esta bem posto para que possa ser respondido propriamente.
O uso do smbolo + pode nao necessariamente manter as propriedades usuais, ja que
algumas propriedades foram alteradas ou usadas com outras propriedades. O que alguns
fazem nesse caso e supor que outras propriedades continuarao intactas, mas nao sabemos
disso a priori.
6.2
Ordem das operaco

es , quanto d
a 48 2 (9 + 3)?
Existe uma ordem com as quais se convenciona as operacoes aritmeticas , tal ordem e
chamada de PEMDAS. Outra ordem de operacoes poderia ser escolhida a PEMDAS nao
e uniformemente usada . Porem aqui vamos usar esse tipo de ordenacao .
O signicado de cada um desses termos apresentamos na lista a seguir, que fornece
70
CAPITULO 6. DUVIDAS
SOBRE ARITMETICA
71
tambem a ordem convencionada para as operacoes

X P-Parenteses .
X E-Expoentes.
X Multiplicacao e divisao (com mesma importancia). Na ordem da esquerda para
direita.
X Adicao e subtracao (com mesmo importancia) . Na ordem da esquerda para direita.
M D e AS colocados, sao apenas para ajudar a memorizar e nao uma uma operacao sendo
com maior prioridade do que outra.
Exemplo 24. Calcule
48 2 (9 + 3).
Usamos a regra PEMDAS .
Primeiro efetuamos a conta dentro dos parenteses, por Pem PEMDAS. Logo camos
com
48 2 (12) =
Agora seguimos da esquerda para a direita e por isso fazemos a divisao, cando com
= 24 12 = 288.
Se fosse usado outro sistema de prioridades em operacoes o resultado poderia ser
diferente.
Exemplo 25. Calcule
6 2 (1 + 3).
Pela PEMDAS, primeiro conta entre parenteses, resultando em
6 2 (4),
depois seguimos da esquerda para direita, cando
3 (4) = 12.
CAPITULO 6. DUVIDAS
SOBRE ARITMETICA
6.3
72
()() = (+)?
Vamos demonstrar a regra dos sinais ()() = (+).

(1)(1) = 1.
Provar tal identidade equivale a mostrar que (1)(1) + (1) = 0 . Temos que
1
(1)(1) + (1) = (1)(1) + (1)(1) =

colocando (1) em evidencia, tem-se
= (1)(1 + 1) = (1).0 = 0
como queramos provar . Entao (1)(1) + (1) = 0 , somando 1 de ambos lados
segue nalmente
(1)(1) = 1.
O caso geral pode ser visto usando a regra anterior
(a)(b) = (1)(1)(a)(b) = a.b.
6.4
Qual a diferenca entre as m

edias aritm
etica, geometrica e harm
onica ?
Vamos apresentar a denicao das tres medias.

Denic
ao 26 (Media harmonica). Dada a sequencia (x1 , , xn ) de n
umeros nao
nulos, sua media harmonica e denida como
MH (x1 , , xn ) =
1
x1
n
n
.
n
1 =
+ xn
1
k=1
xk
Denic
ao 27 (Media aritmetica). Dada a sequencia (x1 , , xn ) , sua media aritmetica
e denida como
CAPITULO 6. DUVIDAS
SOBRE ARITMETICA
73
x1 + + xn xk
MA (x1 , , xn ) =
=
.
n
n
k=1
n
Denic
ao 28 (Media geometrica). Dada a sequencia (x1 , , xn ) de n
umeros naonegativos, isto e, cada xk 0, sua media geometrica e denida como
MG (x1 , , xn ) = n x1 .x2 xn =
(
n
) n1
xk
k=1
A media geometrica de n n
umeros nao-negativos e a raiz n-esima do produto de tais
elementos.

Perguntas Frequêntes e Erros em Matemática

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Perguntas Frequêntes e Erros em Matemática

Caricato da

Copyright:

Formati disponibili

Perguntas frequentes e erros comuns

Rodrigo Carlos Silva de Lima

Introduzindo razes estranhas em equacoes . . . . . . . . . . . . . . . . . .

O problema das sequencias ou qual o proximo n

Resposta a argumentos contrarios . . . . . . . . . . . . . . . . . . . . . . .

Livros de calculo, quais usar? . . . . . . . . . . . . . . . . . . . . . . . . . 10

Paradoxo com derivada? . . . . . . . . . . . . . . (

Falsas conjecturas e curiosidades . . . . . . . . . . . . . . . . . . . . . . . . 16

n2 n + 41 gera sempre primos? . . . . . . . . . . . . . . . . . . . 16

2.10 Problema do Garcom e do sumico de 1 Real. . . . . . . . . . . . . . . . . . 16

1 = 1 por meio de razes e complexos . . . . . . . . . . . . . . . . . . . . 18

Calculo de series do tipo

1 = 0 por meio de series? erro em manipular 0 + 0 + . . . . . . . . . . 27

(1)k a serie de Grandi . . . . . . . . . . . . . . . . . . . . . . . . . . 29

0 como operacao aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . 35

Zero divide algum n

Inverso multiplicativo de zero , 01 . . . . . . . . . . . . . . . . . . . . . . 39

Algumas utilidades da denicao 00

Produto sobre o conjunto vazio . . . . . . . . . . . . . . . . . . . . 40

Conceito de nao multiplicar ou multiplicar 0 vezes. . . . . . . . . . 43

Series de potencias e polinomios . . . . . . . . . . . . . . . . . . . . 44

5.10 Soma geometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

5.13 Indeterminacao pela extensao de ax+1 = ax .a. . . . . . . . . . . . . . . . . 49

5.17 Textos que sao contrarios a denicao . . . . . . . . . . . . . . . . . . . . . 59

Ordem das operacoes , quanto da 48 2 (9 + 3)? . . . . . . . . . . . . . 70

Qual a diferenca entre as medias aritmetica, geometrica e harmonica ?

Introduzindo razes estranhas em equaco

Seja a equacao em R ,x2 + 1 = 0, multiplicando ela por x2 1, segue que

elemento do conjunto A tambem e um elemento do conjunto B, alem disso o conjunto B

(x2 + 1)(x2 1) = 0 . Entao o u

nao chegamos que o conjunto solucao de x2 + 1 = 0 e o conjunto {1, 1}, deduzimos

O problema das sequ

(x 1)(x 2)(x 3)(x 4)

(5 1)(5 2)(5 3)(5 4)

f (5) = 6 e nao f (5) = 5 como muitos poderiam imaginar.

(x 1)(x 2)(x 3)(x 4)

Acaba entao que descobrir um proximo n

satisfazendo f (1) = a1 , , f (n) = an e f (n + 1) = k, onde k e um n

Resposta a argumentos contr

X Argumento : Devemos sempre escolher o padrao mais simples

certo, ela precisa explicar um raciocnio consistente para isso.

elegante y pode nao achar. A princpio a matematica nao trata de conceito de

Depende da denicao que se adota, alguns denem

que sao razes da equacao x2 = a. Porem iremos adotar que

isto e, sendo sempre um n

como medida de distancia, nao poderia ser um n

especial por causa dos exerccios.

Muitas propriedades, uma delas que e e o u

Paradoxo com derivada?

x + + x escrito na notacao de somatorio e

x a princpio so faz sentido para x inteiro .

A propriedade de passar a derivada para dentro da soma, so vale se o n

Vamos apresentar varias demonstracoes dessa identidade , daremos demontracoes

porem (1 + x)r (1 + x)s = (1 + x)r+s , vamos entao multiplicar os dois fatores

pela regra do produto de polinomios temos

Usamos novamente que (1 + x)r+s = (1 + x)s (1 + x)r e aplicamos a n-

por inducao sobre s.

logo a identidade vale, independente do valor n. Suponha validade para s

usamos a hipotese da inducao para esses dois fatores da relacao de Stifel

Da mesma maneira temos

aplicando em f (x), temos

Por exemplo, caso f (x) = xn , podemos mostrar que n xn = n! e da