apostilaAlgebraA4 Versao0631

Os axiomas dos nmeros inteiros
eo
Princpio da Induo
Verso 0.631 (Segundo Semestre de 2017)
Autor: Anderson Brasil (IFRJ-Nilpolis).

1 O Mtodo Axiomtico 1
1 O Mtodo Axiomtico
Uma demonstrao pode ser entendida como uma cadeia de raciocnio lgico que deduz
a veracidade de uma proposio a partir de resultados bvios ou que so considerados
previamente conhecidos. Esta definio, no entanto, apresenta um defeito fundamental: a
subjetividade inerente questo de se saber quais resultados podem ser utilizados em uma
demonstrao especfica.
Para evitar este problema e deixar a matemtica com alicerces verdadeiramente slidos,
emprega-se o mtodo axiomtico, que aquele no qual se faz uso de um sistema axiomtico.
Um sistema axiomtico um sistema lgico em que se arbitra, logo de incio, quais so
as afirmaes que sero consideradas bvias e que podero ser usadas para provar outras
proposies. Tais afirmaes so denominadas axiomas ou postulados 1 e no requerem
demonstrao, sendo admitidas como verdades autoevidentes e adotadas por f. A ideia do
mtodo axiomtico que todas as proposies sejam demonstradas tomando-se por base
somente estes axiomas (ou proposies previamente demonstradas a partir destes mesmos
axiomas).
Por exemplo, suponha que um certo sistema consista em quatro axiomas que denomi-
naremos A1, A2, A3 e A4. A primeira proposio deste sistema, que denominaremos de P1,
dever ser provada atrves do uso de apenas estes quatro axiomas. Uma vez que P1 tenha
sido demonstrada, ela passa a ter o status de proposio comprovadamente verdadeira e
pode ser utilizada para demonstrar outras proposies. Assim, quando fizermos a prova da
segunda proposio deste sistema, que chamaremos de P2, podemos fazer uso de P1, alm
claro dos axiomas A1, A2, A3, A4. Analogamente, a prova da terceira proposio, P3,
poder fazer uso das proposies previamente demonstradas P1 e P2 e dos quatro axiomas.
E assim por diante. Como, a cada passo, se tem mais e mais ferramentas com as quais
trabalhar (todas as proposies j previamente provadas), tpico do mtodo axiomtico
lidar inicialmente com proposies muito simples e progressivamente obter resultados mais
complexos.
Normalmente, os matemticos preferem escolher postulados que sejam to bvios e
simples quanto possvel. E tambm tendem a eliminar qualquer postulado suprfluo, de
modo a trabalhar com o menor nmero possvel deles. O motivo para estas duas atitudes
uma caracterstica bastante notvel do mtodo axiomtico: como todas as proposies
demonstrveis so consequncias dos axiomas, a confiana que voc tem na validade destes
axiomas automaticamente se estende a qualquer proposio que seja demonstrada a partir
deles. Ento interessante que os postulados estejam acima de qualquer dvida possvel,
pois disto depende a confiabilidade de todo o sistema. Alm do mais, quanto menos pos-
tulados existirem, melhor, pois a tem-se uma quantidade mnima de coisas para serem
admitidas pela f e que, por mais autoevidentes que paream ser, ainda poderiam estar
erradas, tornando o sistema ainda mais confivel2.
1. Os antigos gregos, que inventaram o mtodo axiomtico, faziam uma distino entre estas duas palavras.
Ambas denotavam as afirmaes autoevidentes que eram usadas como base para a demonstrao de todas as propo-
sies, no entanto o termo axioma denotava uma assertiva vlida em qualquer situao ou ramo do conhecimento,
ao passo que o termo postulado era usado para denotar afirmaes especficas a uma rea do conhecimento. Assim,
a afirmao duas coisas iguais a uma terceira so iguais entre si era considerado um axioma, por ser esta uma
afirmao aplicvel rea do conhecimento, ao passo que dados dois pontos distintos, existe um e apenas uma
reta contendo estes dois pontos era considerado um postulado, por ser uma afirmao especfica da geometria.
Atualmente, entretanto, a maioria dos matemticos entende os termos axioma e postulado como sinnimos.
2. Na verdade, este apenas um dos motivos para se eliminar axiomas suprfluos. Discutimos mais este tema
no incio da seo 2.
Como ilustrao, consideremos o caso concreto do sistema axiomtico que define os
nmeros inteiros. Neste sistema, existe um axioma afirmando que a ordem com que dois
nmeros inteiros so somados no interfere no resultado desta soma. H tambm um
outro axioma dizendo que a multiplicao de qualquer nmero inteiro a pelo nmero 1
resulta neste mesmo nmero inteiro a que foi multiplicado. E existe ainda um terceiro
axioma, dizendo que, se a e b so nmeros inteiros com a 6 b e b 6 a ento a = b.
Exibimos apenas trs axiomas, porm, no total, este sistema utiliza dezesseis axiomas3,
cada um deles afirmando coisas to simples e naturais quanto estes trs axiomas que foram
expostos. Agora consideremos a seguinte proposio: todo nmero natural n sempre pode
ser escrito como a soma dos quadrados de quatro nmeros inteiros. fcil identificar a
veracidade desta proposio para alguns casos particulares de n. Por exemplo, se n = 30,
temos que n = 42 + 32 + 22 + 12. E quando n = 17, temos que n = 42 + 12 + 02 + 02.
Valores grandes de n costumam ser bem mais trabalhosos: o caso em que n = 631218
provavelmente exigiria um computador (ou muita pacincia ou sorte) para se chegar
soluo n = 7512 + 2592 + 102 +62. Assim, a princpio pode parecer bastante incerto que
esta proposio seja vlida para todos os possveis valores de n. Mas como ela pode ser
demonstrada baseando-se unicamente nesses dezesseis axiomas evidentemente verdadeiros,
os matemticos podem ter certeza absoluta da veracidade desta proposio.
O que acabamos de ver uma exibio bastante convincente da fora e da elegncia do
mtodo axiomtico. Entretanto, existe um preo a pagar no uso deste mtodo. Quando
do uso do mtodo axiomtico, entende-se que nenhuma proposio pode ser admitida
sem demonstrao se ela no estiver listada explicitamente no rol de axiomas. Portanto,
comum que seja necessrio provar inmeros resultados que j eram de antemo sabidamente
verdadeiros. A despeito deste inconveniente, entretanto, a experincia nos ensina que, para
funcionar bem, a matemtica moderna necessita do grau de rigor lgico que somente o
mtodo axiomtico pode proporcionar.
Comentrio 1. Um sistema axiomtico dito inconsistente quando leva a contradies.

Por exemplo, se um axioma afirmar que duas retas distintas tm no mximo um ponto
em comum mas for possvel demonstrar, a partir dos outros axiomas, que existem duas
retas distintas com dois pontos (tambm distintos) em comum, ento este um sistema
inconsistente. Sistemas inconsistentes evidentemente no fazem sentido e, portanto, so
considerados sistemas ruins. Assume-se implicitamente que todo sistema efetivamente
usado na prtica matemtica seja consistente4. Se alguma inconsistncia for descoberta,
ele tem que ser abandonado e substitudo por outro5.
1.1 Nota histrica

Os princpios bsicos do mtodo axiomtico foram estabelecidos na Grcia antiga e
organizados por Euclides em um livro denominado Os Elementos, que continha prati-
camente todo o conhecimento da poca a respeito de Geometria e Teoria dos Nmeros.
Modernamente, pessoas acostumadas com os padres extremamente severos da matemtica
3. A partir da seo 2, faremos um estudo pormenorizado da axiomtica do conjunto dos nmeros inteiros,
exibindo cada um desses dezesseis axiomas.
4. Infelizmente no possvel provar, acima de qualquer dvida, que um dado sistema axiomtico seja consis-
tente.
5. Isto j aconteceu pelo menos uma vez na histria da matemtica. Em 1901, Bertrand Russel mostrou que os
axiomas de Gottlob Frege para a teoria dos conjuntos podiam ser usados para se obter uma contradio. Revelada
esta inconsistncia, o sistema de Frege teve que ser abandonado e, ento, outros matemticos, entre os quais o prprio
Russel, propuseram sistemas alternativos. Atualmente, a maior parte das pessoas adota o sistema axiomtico de
Zermelo-Fraenkel com o Axioma da Escolha (tambm conhecido como modelo ZFC).
1 O Mtodo Axiomtico 3
atual apontam vrios erros nesta obra, como definies que nada definiam (por exemplo,
uma reta era definida como comprimento sem largura) e a frequente utilizao de racioc-
nios fsicos (como mover figuras geomtricas) que no eram justificados por nenhum axioma
previamente explicitado6. Entretanto, ainda que procedentes, tais crticas so pontuais.
praticamente unnime que as demonstraes vistas nos cursos atuais de geometria so, na
sua grande maioria, essencialmente as mesmas que aparecem em Os Elementos. Claro, nos
textos atuais elas so escritas em uma linguagem moderna e de forma muito mais rigorosa,
com a correo de vrias omisses do original. Porm, fundamentalmente, a argumentao
utilizada nos principais teoremas ainda a mesma que foi exposta por Euclides.
Tambm inegvel que foi nesta obra em que primeiro se exps com clareza aquilo que
se constitui no cerne do mtodo axiomtico, que a ideia de se obter todo o conhecimento
a partir de um pequeno nmero de verdades autoevidentes.
praticamente impossvel superestimar a importncia deste livro para a histria das
cincias. At o sculo XIX, foi o principal livro-texto utilizado para o ensino da geometria,
sendo assumido como de leitura obrigatria para toda a pessoa instruda. Foi a segunda
publicao com maior nmero de edies em toda a histria, perdendo apenas para a
Bblia. Porm a influncia de Os Elementos no deve ser medida de maneira mera-
mente quantitativa, mas tambm qualitativa. O modelo de pensamento que aparentemente
permitia obter certezas absolutas provocou (e ainda provoca) uma impresso profunda.
Por muito tempo, o mtodo de Euclides foi considerado a ferramenta perfeita para a
obteno de conhecimento verdadeiro sobre a realidade, sendo ao mesmo tempo belo,
elegante e confivel. Em vista disso, vrios intelectuais tentaram imitar esta tcnica em
suas respectivas reas do conhecimento, na esperana de obter resultados que, assim como
os da geometria, estivessem acima de qualquer dvida. Pode-se ver, por exemplo, que o
trabalho mais importante do fsico Isaac Newton, os Principia, foi claramente inspirado
pelo modelo de Os Elementos, com especificao de postulados e uma profuso do uso de
proposies e QEDs. Mesmo nas cincias humanas foram feitas tentativas de usar o mtodo
axiomtico para eliminar a subjetividade inerente a estas rea. Assim, a obra mxima
do filsofo holands Spinoza, A tica, constitui-se em definies, axiomas e proposies
seguidas de demonstraes, seguindo exatamente o mesmo formato do livro de Euclides.
O prestgio da geometria chegou a tal ponto que o matemtico e filsofo alemo Gott-
fried Leibniz sonhava com um futuro distante em que as discusses filsoficas poderiam ser
resolvidas mediante o uso do mtodo matemtico:
Se surgissem controvrsias, no haveria mais necessidade de disputa
entre dois filsofos do que entre dois contadores. Pois seria suficiente tomar
seus lpis nas mos, sentar em suas lousas e dizer para o outro (com um
amigo de testemunha, se quisessem): Calculemos.
Entretanto, fora do campo da matemtica, sempre foi muito difcil encontrar verdades
que pudessem ser aceitas de forma unnime por todas as pessoas, de modo que a mera
escolha dos axiomas j implicava em um forte nvel de subjetividade.
A partir do sculo XIX, a viso gloriosa da geometria como sendo a expresso de uma
verdade absoluta referente ao universo real comeou a ruir. O principal motivo para isso foi
o aparecimento das geometrias no euclidianas. Estas geometrias envolviam o uso de um
postulado que contradizia a geometria tradicional, de uma forma aparentemente contrria
ao senso comum. No obstante, eram sistemas que permitiam o desenvolvimento de uma
matemtica rica e interessante (e, mais tarde, at mesmo com aplicaes prticas). E,
6. Entretanto, para justificar estes raciocnios fsicos contidos em Os Elementos luz do rigor metodolgico
atual, na maior parte das vezes bastou aos matemticos modernos explicitar alguns axiomas que correspondiam
idia dos movimentos fsicos descritos por Euclides e que estavam sendo utilizados de maneira implcita.
pior, foi possvel provar que estas geometrias tinham o mesmo grau de confiabilidade da
geometria tradicional, no sentido de que se alguma destas geometrias fosse um sistema
inconsistente, ento a geometria tradicional tambm teria que ser inconsistente. Final-
mente, no sculo XX, o advento da fsica moderna mostrou que a realidade podia ser
bastante contrria intuio7. Estas duas coisas deixaram bastante claro que existe uma
certa arbitrariedade mesmo nos axiomas da geometria de Euclides e que, portanto, sistemas
axiomticos so entidades abstratas, no existindo nenhum sistema lgico que deva ser
considerado a expresso perfeita da realidade fsica.
A ltima grande desiluso relativa ao poderio do mtodo axiomtico veio com o tra-
balho do matemtico austraco Kurt Gdel. Em 1931, ele provou que todo sistema axiom-
tico minimamente complexo necessariamente contm proposies que jamais poderiam
ser provadas como falsas ou verdadeiras. Ou seja, nenhum sistema axiomtico capaz
de responder todas as perguntas.
Ainda que todas estas descobertas tenham arruinado a ideia do mtodo axiomtico
como o caminho para a obteno de algum tipo de verdade absoluta relativa ao universo
real, ele ainda assim um mtodo poderoso e o nico capaz de lidar com o alto grau de
abstrao presente na matemtica moderna. Por isso, atualmente considerado o nico
mtodo aceitvel dentro da matemtica.
1.2 Conceitos primitivos e no primitivos

Como vimos, o mtodo axiomtico envolve o uso de postulados a partir dos quais
deve ser deduzido todo o resto. Mas um postulado sempre uma afirmativa a respeito de
alguma coisa. Convm agora fazer uma importante distino entre os dois diferentes tipos
de objetos a respeito dos quais estes postulados podem tratar.
Um conceito dito primitivo quando no apresenta definio. Qualquer especulao a
respeito da natureza do que um dado conceito primitivo puramente filosfica e de pouca
importncia para a matemtica. Para um jogador de damas, no relevante saber o que so
ou de que so feitas as peas do jogo, o que importante o que as regras do jogo dizem
a respeito de como elas se movimentam, capturam outras peas e etc. Da mesma forma, o
mtodo axiomtico no se importa com a natureza dos conceitos primitivos, apenas com
o que as regras (isto , os axiomas) dizem a respeito do comportamento desses objetos.
Por exemplo, na geometria euclidiana plana os conceitos de pontos e retas so pri-
mitivos. Ou seja, ainda que tenhamos uma importante noo intuitiva do que seja um
ponto e do que seja uma reta, estes objetos no tm definio na matemtica. Entretanto,
mesmo sem saber exatamente o que so pontos ou o que so retas, podemos ter certeza
de que dados dois pontos distintos, existe uma nica reta contendo esses dois pontos,
porque existe um axioma que afirma exatamente isto. Esta exatamente a forma como se
lida com os conceitos primitivos no mtodo axiomtico: no sabemos o que so (nem nos
importamos com isso), porm sabemos como eles se comportam.
Outro exemplo de conceito primitivo da geometria eucliciana plana o de distncia
entre dois pontos. Simplesmente admite-se que a cada dois pontos A e B pode ser associado
um nmero real maior ou igual zero, denominado distncia, cujas propriedades bsicas
so estabelecidas nos postulados. Assim, mesmo no tendo uma definio do que significa
a distncia entre dois pontos, temos um axioma (intuitivamente bvio como se espera de
todo axioma) que diz que a distncia entre os pontos A e B zero se e somente se A = B.
7. Por exemplo, o princpio da dualidade onda-partcula estabelece que partculas subatmicas podem, em
certas situaes, deixar de se comportar como partculas e apresentar comportamento ondulatrio. J a teoria
da relatividade garante que o tempo no passa de forma igual em todos os lugares, dependendo de fatores como
velocidade do observador e presena de massas prximas.
2 O conjunto dos Nmeros Inteiros 5
Em contraste com estes conceitos primitivos, existem os conceitos no primitivos, que

so aqueles que tm uma definio. Esta definio deve sempre ser feita a partir de conceitos
primitivos ou de conceitos no primitivos previamente definidos. Um exemplo de conceito
no primitivo o de circunferncia. Dado um ponto O e um nmero real r, a circunferncia
de raio r com centro em O definida como o conjunto de pontos cuja distncia at O seja
exatamente r.
bom salientar que, no mtodo axiomtico, todas as propriedades de um conceito
no primitivo devem ser derivadas unicamente a partir de sua definio, utilizando-se os
axiomas e suas consequncias.
2 O conjunto dos Nmeros Inteiros

O conjunto Z dos nmeros inteiros admitido abstratamente como sendo um conjunto
munido de duas operaes binrias (soma e produto) e um operador relacional 6, os quais
satisfazem uma srie de dezesseis axiomas (denominados axiomas dos nmeros inteiros).
Dizer que Z tem duas operaes binrias de soma e produto um jargo tcnico
significando que se admite axiomaticamente a existncia de duas funes soma: Z Z Z

e produto: Z Z Z e que a + b deve ser entendido como o valor de soma(a,b) e a b como
o valor de produto(a,b). Na prtica, isto quer dizer meramente que o conjunto dos nmeros
inteiros um conjunto aonde existe uma noo de soma de dois inteiros e produto de dois
inteiros, e que o resultado, tanto desta soma como o deste produto, sempre sero nmeros
inteiros.
Nota 1. No sistema axiomtico que estamos introduzindo, estes operadores de soma e

produto e o operador relacional 6 no sero definidos em momento algum, sendo sua
existncia admitida axiomaticamente. Identicamente, o prprio conceito de nmero inteiro
tambm no ser definido. Estes sero os conceitos primitivos do sistema axiomtico.
Lembre-se que, dentro da filosofia do mtodo axiomtico, no faz muito sentido discutir
a natureza de conceitos primitivos. No nos interessa saber o que so e, sim, como eles se
comportam. E a informao de como eles se comportam nos dada atravs dos axiomas.
Assim, embora no tenhamos uma definio do que seja exatamente um nmero inteiro ou
do significado da soma de dois nmeros inteiros, ainda assim sabemos que a + b = b + a,
a, b Z, pois teremos um axioma que afirma precisamente isto.
Nota 2. Como os operadores de soma e multiplicao so definidos axiomaticamente como

operadores binrios ento eles agem sobre dois nmeros inteiros. Assim, neste momento,
tomaremos sempre o cuidado de ressaltar o carter binrio do operador e escrever a (b c)
ou (a b) c ao invs de escrever a b c (e analogamente para a soma). A notao sem
parnteses deve ser evitada pois ambgua: no fica clara a ordem em que as operaes so
feitas. Estamos primeiro efetuando a multiplicao de a por b e multiplicando o resultado
por c ou estamos primeiro multiplicando b com c e fazendo o produto de a pelo resultado
dessa multiplicao? Ainda que o axioma 1 (que ser introduzido na prxima seo) garanta
que o resultado obtido ser o mesmo em ambos os casos, ser somente na pgina 19 que
estaremos em condies de provar o resultado geral com n termos: de que a multiplicao
a1 a2 a3 ... an independe da ordem em que as multiplicaes so feitas. At l, portanto,
devemos sempre lembrar que os operadores de soma e multiplicao so operadores binrios
e utilizar parnteses para explicitar a ordem em que estas operaes esto sendo realizadas.
2.1 Axiomas da soma

Os primeiros quatro axiomas tratam justamente de propriedades exclusivas soma.
Axioma 1. (Propriedade Associativa para a soma)
Se a, b e c so dois nmeros inteiros, ento (a + b) + c = a + (b + c).
Axioma 2. (Existncia do Neutro Aditivo Esquerda) Existe um nico elemento,

denominado neutro aditivo ou zero, e que simbolizado por 0, tal que a + 0 = a para todo
nmero inteiro a.
Axioma 3. (Existncia do Inverso Aditivo) Para todo nmero inteiro a, existe um

nico nmero inteiro x que raiz (na varivel x) da equao a + x = 0.
OBS: Este x denominado de o oposto (ou o inverso aditivo) de a e o simbolizaremos
por a, de modo que a + (a) = 0.
Axioma 4. (Propriedade Comutativa Direita para a soma) Dados dois nmeros

inteiros a e b, ento a + b=b + a.
Esperamos que cada um dos axiomas listados acima seja bvio para o leitor, como todo
axioma deve ser. Lembre-se que os axiomas so as verdades que, por serem consideradas
autoevidentes, servem como uma base confivel a partir dos quais devemos deduzir a
veracidade de todas as outras afirmaes (em geral no to simples e bvias quanto os
axiomas e, em alguns casos, at bastante surpreendentes). Se um teorema pode ser deduzido
a partir destas verdades autoevidentes, ento nossa confiana na veracidade destes axiomas
se estende ao resultado do teorema (pois se o resultado do teorema fosse falso, ento algum
desses axiomas - que claramente so vlidos - teria que estar errado). Uma vez provado,
o resultado de um teorema pode ento ser utilizado para demonstrar outros resultados
mais complexos (que, por sua vez, tambm sero usados em outros resultados - como num
castelo de cartas, cada proposio serve de apoio a outras, sendo os axiomas o suporte de
todo o edifcio).
Correndo o risco de sermos repetitivos, enfatizamos aqui a natureza do mtodo axio-
mtico: embora ns conheamos vrias propriedades dos nmeros inteiros, advinda de toda
uma vida lidando com eles, no nos permitido assumir nenhuma destas propriedades
como verdadeiras antes que sejamos capazes de deduz-las a partir dos axiomas. De fato, a
filosofia deste mtodo de que somente so vlidos os resultados deduzidos exclusivamente
a partir dos axiomas, no importando quo intuitivamente bvios eles sejam. Assim, neste
curso faremos a prova de resultados evidentemente verdadeiros, como o de que o nmero um
maior do que o nmero zero, e de que no existe nenhum nmero inteiro entre quatro e
cinco (e, o que pior, alguma dessas demonstraes sero razoavelmente difceis!). Tal ati-
tude, embora algo irritante a princpio, necessria: queremos familiarizar o estudante com
o mtodo axiomtico, no qual nenhum resultado deve ser considerado verdadeiro enquanto
no for demonstrado exclusivamente a partir dos axiomas.
Alguns leitores impacientes devem estar pensando: Sim, eu entendo a necessidade de se
deduzir afirmaes no bvias, a partir de afirmaes das quais ningum ousaria duvidar.
Porm eu no entendo a necessidade de perdermos tempo mostrando coisas que so eviden-
temente verdadeiras, Por exemplo, provando que um maior do que zero. No podemos
assumir isto como se fosse mais um axioma?. A resposta a esta objeo complexa.
Existem vrios motivos para os matemticos agirem dessa forma. Em primeiro lugar, pode-
se dizer que uma teoria fundamentada em poucos axiomas mais bonita do que uma que
tenha axiomas redundantes. Tambm verdade que uma teoria com muitos axiomas tem
maiores possibilidades de se revelar inconsistente. Mas creio que a resposta mais definitiva
a esta pergunta esteja na profundidade do conhecimento que adquirido ao se reduzir a
quantidade de axiomas ao seu nvel mnimo. Ao entender quais so as propriedades que
so mais fundamentais para a definio de uma certa entidade algbrica (no nosso caso, o
conjunto dos inteiros) comum que se perceba a existncia de outros objetos que, apesar
de terem natureza muito diversa, tambm satisfazem a algumas destas propriedades. Por
exemplo, o leitor no ter muitas dificuldades em notar que o conjunto dos nmeros reais,
o conjunto das matrizes trs por trs e o conjunto das funes f : R R satisfazem a todos
os quatro primeiros axiomas expostos aqui8. Esta similaridade entre entidades que, de outra
forma, aparentariam ser completamente distintas, frequentemente convida construo de
uma teoria geral. Assim, em cursos de lgebra abstrata se define um grupo abeliano 9 como
sendo qualquer estrutura que satisfaa os quatro axiomas expostos nesta seo. Qualquer
teorema a respeito dos nmeros inteiros que tenha sido demonstrado utilizando-se apenas
estes quatro primeiro axiomas ser automaticamente vlido para quaisquer destes tais
grupos abelianos. Este tipo de viso geral a respeito das estruturas algbricas s permitida
quando se trabalha com o mtodo axiomtico em um nvel baixo de redundncia10.
bom tambm salientar que, embora digamos aqui que para provar qualquer resultado
s podemos utilizar os axiomas e proposies previamente obtidas, as normais usuais da
lgica11 continuam vlidas e podem ser usadas. Por exemplo, podemos admitir que se
a = b e b = c ento a = c. E que a = b a mesma coisa que b = a. Tambm podemos utilizar
livremente que a = a para todo valor de a, e que, por definio, a = / b a negao da
afirmao a = b.
Como um primeiro exemplo de demonstrao neste sistema axiomtico dos inteiros,
comeamos reparando que o axioma 2 nos garante que a + 0 = a para todo nmero inteiro a.
No entanto, no podemos usar ainda que 0 + a = a, mesmo que saibamos que isto verdade,
pois este resultado ainda no foi deduzido a partir dos axiomas. Mas isto no difcil:
Proposio 1. Se a um nmero inteiro, ento 0 + a = a.
Demonstrao. Seja a um inteiro qualquer. Pelo axioma 4, temos que 0 + a = a + 0. Por

sua vez, o axioma 2 nos garante que a + 0 = a. Substituindo na primeira equao, podemos
concluir que 0 + a = a.
Sugerimos ao leitor que procure fazer as prximas proposies como se fossem exerc-
cios, antes de ler12 as respectivas demonstraes.
Proposio 2. Se a um nmero inteiro, ento (a) + a = 0.
8. Deve-se entender que o 0 a matriz nula no caso do conjunto das matrizes trs por trs, e a funo
identicamente nula no caso do conjunto das funes f : R R.
9. A prpria noo de grupo abeliano posteriormente generalizada para a de grupos, que generalizada para a
de monides e que, por sua vez, generalizada para a noo de semigrupo. A lgebra naturalmente tende trabalhar
com estruturas cada vez mais genricas e aplicveis s mais diversas situaes, ainda que isso tenha um preo, que
a necessidade de lidar com altssimos graus de abstrao.
10. bom que fique claro que o sistema axiomtico dos inteiros que expomos aqui no o mais bsico possvel.
De fato, ao invs dos dezesseis axiomas que adotamos aqui, possvel fazer a construo dos nmeros naturais (e,
a partir deles, dos inteiros) utilizando apenas trs axiomas, que so denominados os axiomas de Peano. Porm o
uso deste sistema de Peano requer nveis elevados de abstrao e maturidade, sendo portanto desaconselhvel para
matemticos iniciantes. Tendo isto em vista, optamos pelo modelo clssico que, apesar de utilizar um nmero bem
maior de axiomas, excelente para ilustrar o funcionamento do mtodo axiomtico, nosso principal objetivo aqui.
11. Ao assumimos descuidadamente isto que chamamos de normas usuais da lgica, estamos na verdade
empurrando pra debaixo do tapete um monte de complicaes tcnicas. A lgebra moderna baseada na Teoria
dos Conjuntos que, embora normalmente seja tratado de forma ingnua, um tema cheio de sutilezas e que pode
levar a paradoxos se no for tratado de forma adequada. No cabe a um curso introdutrio esmiuar estes aspectos
complicados da lgica e, portanto, ns no o faremos. Apenas queremos deixar o estudante consciente de que existem
inmeros aspectos tcnicos e complicados por baixo daquilo que estamos chamando de normas usuais da lgica.
12. Esta uma excelente tcnica de estudo e recomenda-se que o leitor tente aplic-la tanto quanto a sua
disponibilidade de tempo permitir.
Demonstrao. Seja a um inteiro qualquer. O axioma 4 garante que (a) + a = a + (a).
Mas o axioma 3 diz que a + (a) = 0. Substituindo-se isto na primeira equao temos que
(a) + a = 0, como queramos provar.
Proposio 3. 0 + 0 = 0
Demonstrao. Pelo axioma 2, sabemos que a + 0 = a, a Z. Ento, j que esta

proposio vale para todo a Z, ela tambm vale no caso particular em que a = 0. Logo,
substituindo a = 0 em a + 0 = a, obtemos que 0 + 0 = 0, conforme queramos.
Exerccio 1. Refaa a demonstrao da proposio 1, mas desta vez utilizando primeiro o axioma 2 e
s depois o axioma 4. Observe que apesar de diferente da demonstrao anterior, a idia fundamental
desta prova idntica anterior.
Em algumas proposies, pode dar um pouco mais de trabalho encontrar exatamente

a ordem de uso dos axiomas para chegar at o resultado desejado:
Exemplo 1. (a + b) + (c + d) = (a + (b + c)) + d se a, b, c e d so nmeros inteiros.
Demonstrao. Seja h = c + d. Ento (a + b) + (c + d) = (a + b) + h que pelo axioma 1

pode ser reescrito como a + (b + h) que, pela definio de h, a + (b + (c + d)). Utilizando o
axioma 1 na ltima parte da expresso, obtemos: a + ((b + c) + d). Seja agora u = b + c, de
forma que isto se torna a + (u + d) que, mais uma vez pelo axioma 1, se torna (a + u) + d
que (a + (b + c)) + d, como queramos demonstrar.
Exerccio 2. Mostre que se a, b e c so nmeros inteiros, ento (c + a) + b = (b + c) + a.

Exerccio 3. Mostre que se a, b, c e d so nmeros inteiros, ento (a + c) + (d + b) = ((b + a) + d) + c.
Apesar de, em essncia, no ser mais do que o axioma 3 em uma nova roupagem, a
seguinte caracterizao para o inverso aditivo de um nmero til:
Proposio 4. Seja a Z.Um nmero inteiro x o inverso aditivo de a se e somente se

a + x = 0.
Demonstrao. Primeiramente, se x um inverso aditivo de a ento a definio de inverso

aditivo dada no axioma 3 claramente implica que a + x = 0. Inversamente, se x um inteiro
tal que se a + x = 0 ento x tem que ser igual a a, visto que a uma soluo para esta
equao e o axioma 3 diz que existe apenas uma nica soluo para esta equao.
Corolrio 1. (0) = 0.
Demonstrao. A proposio 4 nos diz que para mostrar que x = 0 o inverso aditivo de
a = 0, basta provar que a + x = 0. Mas com a = 0 e x = 0 ento obtemos que a + x = 0 + 0
que, pela proposio 3, implica que a + x = 0. Logo provamos que 0 o inverso aditivo de
0, que simbolizado por (0). Logo 0 = (0) que a mesma coisa que dizer que (0) = 0.
Vamos agora provar a familiar propriedade cancelativa para a soma (tambm conhecida
como regra de corte). Recomendamos ao estudante que, antes de ler a demonstrao, tente
encontrar a prova por si mesmo. Esta, em geral, a forma correta de estudo em disciplinas
envolvendo demonstraes matemticas, pois mesmo que o estudante falhe em encontrar a
soluo por si mesmo, o simples fato dele ter tentado lhe permitir uma compreenso mais
profunda das idias por trs da mesma.
Proposio 5. (Propriedade Cancelativa Direita para a soma) Se a, b e c so

nmeros inteiros, ento a + c = b + c ento a = b.
Demonstrao. Como a + c e b + c so o mesmo nmero, ento ao somarmos cada

um deles com o nmero (c), devemos obter o mesmo resultado. Logo (a + c) + (c) =
(b + c) + (c). Utilizando a propriedade associativa para a soma (axioma 1), isto se torna
a + (c + ( c)) = b + (c + ( c)). Pelo axioma 3, isto se torna a + 0 = b + 0 que pelo axioma
2 significa que a = b.
Exerccio 4. (Propriedade Cancelativa Esquerda para a soma) Se a, b e c so nmeros

inteiros, ento a + b = a + c implica que b = c. Demonstre isso de duas formas diferentes:
a) somando a esquerda das duas equaes, de forma anloga a como fizemos na prova da ltima
proposio;
b) utilizando a propriedade comutativa e em seguida o resultado da proposio 5.
Observe como este ltimo mtodo bem menos trabalhoso. Isto tpico. medida que tivermos
mais e mais proposies que possamos utilizar, a tendncia que trabalhemos a cada momento com
maior fluidez, e aos poucos, todas as propriedades familiares dos nmeros inteiros j tero sido demons-
tradas e podero ser usadas sem problemas.
Nota 3. (Unicidade do elemento neutro aditivo) O axioma 2 afirma no s a exis-

tncia do elemento neutro aditivo, mas tambm a sua unicidade. Entretanto, instrutivo
observar que esta parte da unicidade poderia ser retirada do sistema, sem qualquer prejuzo.
De fato, suponha que substitussemos o axioma 2 pelo seu equivalente sem a unicidade:
Axioma 2*: Existe pelo menos um nmero inteiro (que ser denominado um 13 neutro
aditivo ou zero) e que simbolizado por 0, tal que a + 0 = a para todo nmero inteiro a.
Neste sistema axiomtico alternativo em que temos os quatro postulados para a soma
mas em que o axioma 2 foi substitudo por este axioma 2* mais fraco, necessrio provar
uma proposio afirmando a unicidade do elemento neutro, posto que agora j no temos
mais nenhum postulado nos garantindo isto:
Proposio 6. O nico nmero inteiro tal que

a + x = a, a Z
x = 0.
Demonstrao. Por absurdo, suponha que x = 0 seja um nmero inteiro distinto de

0 satisfazendo a esta equao14. Ento, a + 0 = a, a Z. Em particular, com a = 0,
conclumos que 0 + 0 = 0. Aplicando o axioma 4, obtemos que 0 + 0 = 0. Porm,
pelo axioma 2*, qualquer nmero somado a 0 resulta neste mesmo nmero, de modo que
0 + 0 = 0 . Mas como j havamos visto que 0 + 0 = 0, isto significa que 0 = 0, contrariando
a hiptese de que 0 e 0 so nmeros inteiros distintos.
Ou seja, o axioma 2 poderia ser substitudo pelo axioma 2* (que mais fraco), sem que
se perca nenhuma informao no processo. E s no o fizemos por motivos didticos.
2.1.1 O operador de subtrao

Tendo definido o operador de soma, natural nos perguntarmos a respeito do operador
de diferena (subtrao). No h necessidade de acrescentarmos nenhum axioma novo
ou definir a subtrao como um operador primitivo. Ele pode ser definido de maneira
perfeitamente natural a partir do operador de soma:
13. Repare que sem a unicidade, no se pode mais falar da existncia do elemento neutro, mas apenas na de
um elemento neutro, pois a princpio poderiam haver outros.
14. Provas de unicidade so comuns em matemtica e quase sempre so demonstradas atravs desta mesma
estratgia: assuma, por absurdo, que existam dois objetos distintos que satisfazem s propriedades que queremos e,
a partir da, argumente de forma a concluir que estes objetos so iguais, uma contradio bvia.
Definio 1. Se a e b so nmeros inteiros, definimos a b = a + (b).
Ainda que utilizem a mesma notao, no devemos confundir o operador de subtrao

com o inverso aditivo, pois so conceitos completamente distintos (ainda que relacionados).
O smbolo designar o operador de subtrao acima quando estiver sendo utilizado como
operador binrio, isto , com dois parmetros (como em 4 7). Quando ele estiver sendo
usado como operador unrio, isto , com um nico parmetro (como em 5), ento trata-
se do inverso aditivo definido no axioma 3.
Lembre-se que, no mtodo axiomtico, todos as propriedades de um objeto devem ser
deduzidas unicamente a partir de sua definio. Felizmente, no caso da operao de sub-
trao, isto quase sempre muito fcil, como exemplificado na demonstrao da prxima
proposio:
Proposio 7. Para todo a Z, vale que 0 a = a.
Demonstrao. Por definio de subtrao, 0 a = 0 + (a). Pela proposio 1, isto

resulta em a, como queramos.
Exerccio 5. Prove que a 0 = a, para todo a Z.

Exerccio 6. Mostre que a a = 0, para todo a Z.
Exerccio 7. Sejam a, b, c Z. Prove que a = b + c se e somente se a c = b.
Exerccio 8. Sejam a e b inteiros. Prove que a = b se e somente se a b = 0.
Exerccio 9. Mostre que se a, b e c so nmeros inteiros ento (a b) + c = (a + c) b.
Demonstrao. Temos que, pela definio 1, (a b) + c = (a + (b)) + c. Utilizando o axioma 1,

obtemos que (a b) + c = a + ((b) + c) que, aps o uso do axioma 4, se torna (a b) + c = a + (c + (b)).
Aps um novo uso do axioma 1 obtemos (a b) + c = (a + c) + (b). Finalmente, aplicamos a definio
1 no lado direito da ltima equao para concluir que (a b) + c = (a + c) b.
Exerccio 10. Prove que (a b) c = a (b + c), a, b, c Z.

Exerccio 11. (Propriedade Cancelativa direita para a subtrao) Prove que a b = c b
ento a = c.
Exerccio 12. (Propriedade Cancelativa esquerda para a subtrao) Prove que a b = a c
ento b = c.
Exerccio 13. Qual o valor de 0 0? Justifique rigorosamente, tomando cuidado para no omitir
nenhum detalhe.
2.2 Axiomas do Produto

Todos os axiomas tratados aqui envolviam apenas a noo de soma. Introduziremos
agora mais quatro axiomas que lidam com a noo de multiplicao de dois nmeros
inteiros.
Axioma 5. (Propriedade Associativa para o produto)

Dados trs nmeros inteiros a, b e c, (a b) c = a (b c).
Axioma 6. (Existncia do Neutro Multiplicativo) Existe um nico elemento em Z,

que diferente de 0 e simbolizado por 1, tal que a 1 = a para todo a Z. Tal nmero 1
denominado neutro multiplicativo ou unidade.
Axioma 7. (Propriedade Cancelativa esquerda para o produto) Se a, b e c so

/ 0 ento a b = a c implica que b = c.
nmeros inteiros e a =
Axioma 8. (Propriedade Comutativa para o produto) Se a e b so nmeros inteiros,

ento a b = b a.
Os axiomas 5 e 8 tm uma correspondncia bvia com os axiomas 1 e 4. De fato, ambos

se referem associatividade e comutatividade de uma operao: o da soma no caso dos
axiomas 1 e 4 e do produto no caso dos axiomas 5 e 8.
O axioma 6 tambm tem uma correspondncia clara com o axioma 2, ambos afirmando
a existncia de um elemento neutro de uma operao, o produto e a soma respectivamente.
A nica diferena substancial entre eles que o axioma 6 nos d a informao adicional de
que o neutro da multiplicao diferente do neutro da soma, de modo que no precisamos
nos preocupar em provar que 1 = / 0.
J o axioma 3 no apresenta nenhuma correspondncia bvia com o axioma 7. De fato,
o equivalente ao axioma 3 para a multiplicao seria dizer que todo nmero inteiro possui
um inverso multiplicativo dentro dos inteiros. E isto obviamente falso na grande maioria
1
dos casos. Por exemplo, o inverso multiplicativo de 2 2 , que no pertence aos inteiros.
Assim, adota-se como axioma a regra do corte para a multiplicao. interessante observar
que o equivalente ao axioma 7 para o operador de soma no um axioma e, sim, uma
proposio (a proposio 5).
Similarmente ao que aconteceu com a soma, embora saibamos que 1 a = a para todo
inteiro a, como estamos a aplicar aqui o mtodo axiomtico e no existe nenhum axioma
afirmando explicitamente isto, ns no podemos utilizar este resultado antes que ele seja
devidamente demonstrado. Felizmente, fcil utilizar os axiomas 6 e 8 para provar este
resultado, de maneira anloga forma como utilizamos os axiomas 2 e 4 para provar a
proposio 1:
Proposio 8. Para todo a Z, 1 a = a.
Demonstrao. Seja a Z. Entao, pelo axioma 8, temos que 1 a = a 1. Mas, pelo

axioma 6, a 1 = a. Substituindo isso na primeira equao, conclumos que 1 a = a como
queramos.
Exerccio 14. Justifique porque 1 1 = 1.

Exerccio 15. (Propriedade Cancelativa Direita para o produto) Prove que dados a, b e c
inteiros com c =
/ 0 ento a c = b c implica que a = b.
Exerccio 16. Digamos que algum substitua o axioma 6 pelo seguinte axioma 6*: Existe um nmero
em Z, que ser simbolizado como 1, com a propriedade de que a 1 = a, a Z. (isto o axioma 6
sem a condio de unicidade). Prove que, nestas condies, ainda assim seramos capazes de provar a
unicidade deste elemento neutro multiplicativo. [DICA: Siga o modelo da nota 3, isto , assuma que
exista um outro elemento 1 Z tal que a 1 = a, a Z e conclua que 1 = 1 .]
2.3 A Propriedade Distributiva

O prximo axioma relaciona as operaes de soma e produto:
Axioma 9. (Propriedade Distributiva Esquerda) Para toda terna de nmeros

inteiros a, b e c vale que a (b + c) = a b + a c.
Nota 4. A regra de colocar um termo em evidncia meramente a utilizao da pro-

priedade distributiva de trs pra frente: transformamos a b + a c em a (b + c) j que a
propriedade distributiva garante que essas quantidades so iguais.
Exerccio 17. (Propriedade Distributiva Direita) Mostre que (a + b) c = a c + b c, para todo

a, b, c Z.
Exerccio 18. Mostre que (a + b) (c + d) = (a c + a d) + (b c + b d) para todo a, b, c, d Z. DICA:
Defina h = c + d.
A prxima proposio prova uma propriedade com a qual j estamos familiarizados,
mas cuja demonstrao envolver o uso de um pequeno truque algbrico15:
Proposio 9. Para todo inteiro a, tem-se que a 0 = 0.
Demonstrao. Seja a um inteiro qualquer. Comeamos utilizando o axioma 2 para

escrever que 0 + a 0 = a 0. Agora aplicaremos o resultado da proposio 3 para escrever o
0 mais direita como 0 + 0 e transformar a equao em 0 + a 0 = a (0 + 0). A propriedade
distributiva nos d ento que 0 + a 0 = a 0 + a 0. Finalmente, a proposio 5 (propriedade
cancelativa para a soma) nos permite cortar o a 0 de ambos os lados da equao e concluir
que 0 = a 0, como queramos16.
Corolrio 2. Para todo inteiro a, tem-se que 0 a = 0.
A demonstrao do corolrio acima bvia.

Exerccio 19. Justifique porque 0 0 = 0.
Proposio 10. Sejam a e b inteiros a b = 0, ento a = 0 ou b = 0.
Demonstrao. Por absurdo, admita que a = / 0 e b=/ 0. A proposio 9 permite reescrever

a hiptese a b = 0 como a b = a 0. Ento, como a = / 0, podemos aplicar o axioma 7 (regra
do corte) e concluir que b = 0. Isto um absurdo, pois b = / 0.
Nota 5. Ainda que a proposio 10 seja obviamente verdadeira nos nmeros inteiros,
interessante observar que ela pode
ser falsa
em outros
tipos de estruturas algbricas. Por
7 0 0 0
exemplo, as matrizes A = e B= so matrizes no nulas e, mesmo assim,
3 0 5 0
o produto A B resulta na matriz nula.
Para o prximo exerccio, convm ter a seguinte definio:
Definio 2. Seja a um nmero inteiro. O quadrado de a denotado por a2 e definido

por a2 = a a.
Exerccio 20. Seja a Z. Mostre que se a2 = 0 ento a = 0.
2.3.1 A Regra dos Sinais

Aprendemos na escola uma regra segundo a qual o produto de nmeros do mesmo
sinal positivo e que o produto de nmeros de sinais opostos negativo. A maioria dos
professores omite de suas aulas uma explicao do porqu dessa regras17, os alunos devem
simplesmente aceit-las e pronto. Pretendemos agora esclarecer isto, mediante um exemplo
concreto.
15. Apesar do resultado ser trivial, a demonstrao desta proposio unicamente a partir dos axiomas (e
proposies previamente demonstradas) exigir um pouco mais de engenhosidade do que as provas vistas at aqui.
Tentar resolver esta demonstrao como exerccio antes de ler a soluo pode se constituir em um interessante desafio
para o estudante interessado em desenvolver sua prpria habilidade de resolver problemas matemticos.
16. Como j observamos antes, podemos usar livremente que o operador de igualdade satisfaz propriedade
reflexiva, segundo a qual a = b equivale b = a.
17. O que realmente lamentvel, pois se desperdia uma chance de mostrar aos estudantes que existe um
motivo para todas as regras matemticas serem do jeito que so. E, assim, a maioria deles fica com a falsa noo
de que a matemtica um conjunto de regras misteriosas e totalmente arbitrrias.
Exemplo 2. Queremos saber qual o resultado de quando multiplicamos um negativo

por um positivo. Por exemplo, digamos que queiramos calcular (4) 5. Designemos
ento esse nmero x = (4) 5. A idia adicionar, a ambos os lados da equao, algo
que anule o membro do lado direito. Somamos ento 4 5 dos dois lados e obtemos:
x + 4 5 = (4) 5 + 4 5. Aps colocar o 5 em evidncia no membro do lado esquerdo, ns
obteremos x + 4 5 = ((4) + 4) 5 = 0 5 = 0. Mas como x + 4 5 = 0, pela proposio 4
temos que x o oposto de 4 5. Ou seja, x = (4 5) = 20. Apesar de termos usado isto
num exemplo particular, fcil de ver que ela se aplica em geral. E por isso que negativo
vezes positivo resulta num negativo.
Exemplo 3. Agora queremos saber o resultado de quando multiplicamos dois nmeros

negativos. Como exemplo, queremos calcular x = (3) (7). Como no exemplo anterior,
somamos algo ambos os lados da equao de modo a anular o lado direito. Neste caso,
escolhemos somar18 (3) 7 de forma a obtemos x + (3) 7 = (3) (7) + (3) 7 =
(3) ((7) + 7) = (3) 0 = 0. Como x + (3) 7 = 0, pela proposio 4 podemos garantir
que x o oposto de (3) 7. Mas j vimos que negativo com positivo negativo, ento
(3) 7 = (21). Ento x = (21). Neste momento, apesar de no momento no termos
nenhuma argumentao baseada nos axiomas para justificarmos isso, razovel assumir
que o oposto do oposto de um nmero seja o prprio nmero. Assim, x = 21. Este raciocnio
se aplica em geral para nos levar concluir que o produto de quaisquer dois nmeros
negativos positivo.
Exerccio 21. De maneira anloga a como foi feito nos exemplos acima, justifique os valores de
x = 8 (3) e y = (6) (5).
Todas os passos dados nos dois exemplos acima podem ser facilmente generalizados e
transformados em uma prova rigorosamente baseada nos axiomas, com uma nica exceo:
a nossa suposio de que o oposto do oposto de um nmero inteiro o prprio nmero.
Assim, o enunciado da proposio 11 comear enunciando que (a) = a, a Z, que ter
que ser provado logo no incio para servir de base para a prova dos dois itens seguintes, itens
estes correspondendo s ideias dos exemplos 2 e 3. Como usual, recomendamos que o leitor,
antes de ler a soluo apresentada abaixo, tente encontrar por si mesmo a demonstrao.
Proposio 11. (Regra dos Sinais) Sejam a e b nmeros inteiros. Ento:

(i) (a) = a
(ii) ( a) b = (a b) = a (b)
(iii) (a) (b) = a b
Demonstrao. (i) Pelos axiomas 3 e 4, claro que uma soluo para a equao (a) +
x = 0 x = a. Portanto, pela proposio 4, a o inverso aditivo para o elemento (a).
Ou seja, conclumos que a = (a). (ii) Como a b + (a) b = (a + ( a)) b = 0 b = 0,
ento conclumos que o elemento x = (a) b soluo da equao a b + x = 0.
Pela proposio 4, conclumos ento que (a) b o inverso aditivo de a b. Isto ,
(a) b = (a b). Analogamente, para provar a segunda igualdade escrevemos que
a (b) + a b = a (( b) + b) = a 0 = 0 e, portanto, x = a (b) uma soluo da equao
x + a b = 0 e da que que a (b) = (a b). (iii) Seja x = b. Ento (a) (b) = (a) x
se torna (a) (b) = a (x) por (ii). Mas por (i) temos que x = (b) = b. Logo
(a) (b) = a (x) = a b, como queramos provar.
Exerccio 22. Justifique porque (1) (1) = 1. [DICA: Use a proposio 11]
18. Poderamos tambm ter somado 3 (7) a ambos os lados da equao e proceder de maneira anloga.
Exerccio 23. Mostre que (1) a = a. [DICA: Use a proposio 11]
Exerccio 24. Prove que (a b) = b a. [DICA: Por definio, (a b) o nico nmero inteiro x
tal que x + (a b) = 0.]
Exerccio 25. (Propriedade Distributiva esquerda para a subtrao) Sejam a, b, c Z.
Mostre que a (b c) = a b a c.
Exerccio 26. (Propriedade Distributiva direita para a subtrao) Sejam a, b, c Z. Mostre
que (a b) c = a c b c.
Exerccio 27. Seja a Z. Mostre que se a2 = a, ento a = 0 ou a = 1.
Demonstrao. Como a2 = a, aplicando o resultado do exerccio 8, temos que a2 a = 0. Utilizando

o exerccio 25, isto se torna a (a 1) = 0. Mas, pela proposio 10, isto significa que a = 0 ou a 1 = 0.
Aplicando novamente o exerccio 8, conclumos que a = 0 ou a = 1, como queramos.
Exerccio 28. Mostre que se a Z|a2 = (a) ento a = 0 ou a = 1.

Exerccio 29. Mostre que se a2 = b2, ento a = b ou a = b.
Exerccio 30. Mostre que se x = a uma soluo da equao x2 = k ento x = a tambm o ser.
Exerccio 31. Assumindo que voc j sabe que 1 + 1 = / 0 (isto ser provado no exerccio 51), mostre
que se a um nmero inteiro tal que a = a ento a = 0. [DICA: Que tipo de manipulao algbrica
pode ser tentada? Experimente adicionar algo aos dois lados da equao.]
Demonstrao. Partindo de a = a e adicionando a esquerda dos dois lados da equao, obtemos

que a + (a) = a + a que, pelo axioma 3, torna-se 0 = a + a. Pelo axioma 6, isto pode ser reescrito
como 0 = a 1 + a 1. Aplicando o axioma 9 para colocar o a em evidncia conforme explicado na nota
4, isto pode ser reescrito como 0 = a (1 + 1). J o lado esquerdo da expresso pode ser reescrito como
0 (1 + 1) devido proposio 9, obtemos que 0 (1 + 1) = a (1 + 1). J que o enunciado do exerccio
nos diz para admitir conhecido que 1 + 1 = / 0, podemos aplicar a propriedade cancelativa direita
(exerccio 15) cortando o 1 + 1 de ambos os lados e obter que 0 = a, isto , que a = 0, como queramos.
Exerccio 32. Mostre19 que utilizando-se apenas os axiomas exibidos at agora impossvel concluir
a inexistncia de solues inteiras para a equao x2 + 1 = 0. [DICA: Mostre que o conjunto C dos
nmeros complexos satisfaz todos os axiomas exibidos at agora. Portanto, se existisse uma prova para
a inexistncia de solues para aquela equao utilizando apenas estes axiomas, esta tambm teria
que ser vlida para os complexos. O que no pode acontecer, j que esta equao tem solues em C.]
2.4 Axiomas de ordem

Intuitivamente, o conjunto Z possui uma noo de ordem, em que um certo nmero
pode ser maior, igual ou menor do que outro. Para lidarmos com esta noo de maneira
apropriada, admitiremos axiomaticamente20 a existncia de uma relao binria de ordem
6 (menor ou igual) no conjunto Z dos inteiros. Valero as seguintes propriedades:
Axioma 10. (Propriedade Reflexiva) Para todo inteiro a, vale que a 6 a.
Axioma 11. (Propriedade Anti-simtrica) Se a e b so inteiros tais que a 6 b e b 6 a

ento a = b.
Axioma 12. (Propriedade Transitiva) Se a, b e c so inteiros tais que a 6 b e b 6 c

ento a 6 c.
No h necessidade de colocar os conceitos de >, > e < como conceitos primitivos, pois
estes podem ser definidos a partir do conceito primitivo 6 previamente definido.
19. Este exerccio no exatamente difcil, mas exige muito mais maturidade matemtica do que os outros
exerccios feitos at agora.
20. Quando dizemos que a existncia do operador 6 admitida axiomaticamente, isto significa que ele um
conceito um conceito primitivo no contexto da axiomtica de Z que estamos adotando.
Definio 3. Diremos que a > b (a maior ou igual a b) se b 6 a.
Definio 4. Diremos que a b (a estritamente maior do que b) se b < a.
Exerccio 33. Prove que se a > b e b > c ento a > c.
Axioma 13. (Tricotomia) Dados dois nmeros inteiros a e b quaisquer, uma e apenas
uma das seguintes propriedades verdadeira:
(i) a > b;
(ii) a = b;
(iii) a < b;
Axioma 14. Se a, b e c so inteiros, se a 6 b ento a + c 6 b + c.
Axioma 15. Se a, b e c so inteiros, com c > 0 ento a 6 b implica que ac 6 bc.
Exerccio 34. Prove que 0 6 0 e tambm que 0 > 0.

Exerccio 35. Sejam a, b, c Z. Prove que se a > b ento a + c > b + c.
Exerccio 36. Sejam a, b Z.Prove que se a > b ento a > b.
Exerccio 37. Sejam a, b Z. Prove que a > b se e somente se a > b e a =
/ b.
Exerccio 38. Sejam a, b Z. Prove que a b ento a + c > b + c. Conclua da que se a > b ento
a + c > b + c.
Resposta. Como a > b, pelo resultado do exerccio 36, temos que a > b. Ento, pelo exerccio 35,
a + c > b + c. Considerando-se o resultado do exerccio 37, para concluirmos que a + c > b + c resta
apenas provar que a + c =
/ b + c. Por absurdo, suponha que a + c = b + c. Pela proposio 5 (propriedade
cancelativa) teramos ento que a = b. Absurdo, pois como a > b, o exerccio 38 implica que a =
/ b. QED.
Exerccio 40. Sejam a, b, c Z. verdade que se a > b ento necessariamente a + c > b + c? Esclarea
de forma definitiva, seja com uma prova ou com um contra-exemplo.
Exerccio 41. Sejam a, b, c Z. Prove que se a b e b > c ento a > c.
Exerccio 44. Sejam a, b, c Z. Prove que se a > b e c > 0 ento ac > bc.
Exerccio 45. Sejam a, b, c Z. Prove que c > 0 e a 0;
ii) se a > 0 ento a 6 0;
Demonstrao. i) Se a 6 0 o axioma 14 nos permite adicionar (a) de ambos os lados da

equao sem alterarmos a desigualdade para obter a + (a) 6 0 + (a) que se torna 0 6 a
que, pela definio 1 equivalente a dizer que a > 0. ii) Analogamente, a aplicao do
axioma 14 nos permite somar a a ambos os lados de a > 0 para obter que 0 > a que,
por definio, equivale a a 6 0.
Para a nossa prxima proposio, convm lembrar que, por definio, o quadrado a2
de um nmero inteiro a dado por a a.
Proposio 13. Para todo nmero inteiro a, vale que a2 > 0.
Demonstrao. Seja a um nmero inteiro. De fato, pela tricotomia (axioma 13) existem
apenas trs possibilidades:
Caso 1: a > 0
Pelo exercicio 36, temos que a > 0. Ento, pelo exerccio 44, podemos multiplicar a
dos dois lados da desigualdade a > 0 e concluir que a a > 0 a. Ento pela definio 2
e corolrio 2 conclumos que a2 > 0.
Caso 2: a = 0
Pelo axioma 10, 0 6 0. Mas se a = 0 ento, pela definio 2, a2 = a a = 0 0 e, portanto,
pelo exerccio 19, temos que a2 = 0. Mas, pelo exerccio 34, 0 > 0. Logo a2 > 0.
Caso 3: a < 0
Neste caso, pela definio 5, ento 0 > a. Pelo exerccio 36 podemos ento concluir
que 0 > a. Pela proposio 12, temos que 0 6 (a), isto , (a) > 0. J que (a) > 0,
o resultado do exerccio 44 nos permite multiplicar ambos os lados da desigualdade
(a) > 0 por (a) e obter (a) (a) > 0 (a). A proposio 9 implica que o lado
direito desta ltima desigualdade 0 e a regra dos sinais (proposio 11) implica que
o lado direito (a) (a) = a a = a2. Logo, obtivemos que a2 > 0.
Portanto, em qualquer um dos trs casos possveis, temos que a2 > 0, como queramos
demonstrar.
Corolrio 3. 1 > 0
Demonstrao. De fato, aplicando a proposio 13 no caso particular em que a = 1,

obtemos que 12 > 0. Isto , 1 1 > 0. Como vimos no exerccio 14 que 1 1 = 1, isto pode
ser rescrito como 1 > 0. Pelo axioma 6, sabemos que 1 =/ 0. Ento, como 1 > 0 e 1 = / 0, o
resultado do exerccio 37 implica que 1 > 0.
Exerccio 46. Prove que 1 < 0. [DICA: Parta do resultado do corolrio 3 e procure aplicar propri-
edades de desigualdades para chegar no enunciado deste exerccio.]
Exerccio 47. Utilize o resultado do exerccio acima para concluir que 1 =
/ 0.
Exerccio 48. Prove que 1 > 1.
Exerccio 49. Utilize o resultado do exerccio acima para concluir que 1 =
/ 1.
Exerccio 50. Prove que 2 > 0. [NOTA: O nmero 2 definido como sendo o resultado de 1 + 1.]
Exerccio 51. Utilize o exerccio anterior para concluir que 2 =
/ 0. [OBS: Isto finaliza a prova de que
a = a a = 0 (veja o exerccio 31).]
Exerccio 52. Seja a > 1. Mostre que a2 > a. [DICA: Se no conseguir chegar na soluo por si mesmo,
inspire-se21 no que foi feito no exerccio 27.]
Exerccio 53. Mostre que se a 6 b ento b 6 a.
Exerccio 54. O nmero 3 definido como 3 = 2 + 1. Prove que 3 > 2.
Exerccio 55. Generalize o exerccio anterior, mostrando que n + 1 > n, n Z
Exerccio 56. Mostre que a equao x2 + 1 = 0 no possui solues inteiras. [DICA: Tenha em mente
a proposio 13.]
21. Os truques utilizados em uma questo de matemtica muito comumente reaparecem em outros. Como a
prtica constante de resoluo de problemas leva ao conhecimento destes truques, este o melhor caminho para
quem deseja melhorar sua prpria capacidade de resoluo de problemas.
Exerccio 57. Vimos no exerccio 32 que, sem os axiomas de ordem, a proposio do exerccio 53
era impossvel de resolver. No entanto, agora, de posse destes axiomas, fomos capazes de resolv-lo.
Identifique porque o racioccio que fizemos no exerccio 32 no mais vlido.
Os prximos exerccios se referem ao mdulo de um nmero inteiro x, que definido

como
x, x > 0
|x| =
x, x < 0
Exerccio 58. Prove que |a| > 0, a Z. [DICA: Trabalhe com cada uma das trs possibilidades para
a em relao a 0, pela tricotomia.]
Exerccio 59. Prove que |a| = 0 se e somente se a = 0.
Exerccio 60. Mostre que |a|=|a|, a Z.
Exerccio 61. Prove que |a b| = |a| |b|, a, b Z. DICA: Use a tricotomia (na varivel a comparando
com 0) para reduzir a 3 casos. O caso a = 0 imediato. E os casos a > 0 e a < 0 podem ser finalizados
utilizando-se a tricotomia na varivel b (isto dividindo-se cada caso em 3 subcasos b > 0, b = 0 e b < 0).
2.5 O conjunto N
Munido das relaes de ordem em Z, podemos definir o conjunto dos nmeros naturais
de forma bem simples:
Definio 6. O conjunto dos nmeros naturais (simbolizado por N) definido como o

conjunto
N = {n Z|n > 0}
Comentrio 2. Conforme se v na definio 6, neste texto consideramos que zero um

elemento de N. Entretanto este um tema bastante polmico, havendo muitos autores
que defendem (e por bons motivos) que o nmero zero no deveria fazer parte de N e que
adotam a conveno de que os naturais comeam no nmero um. Assim, deve-se sempre
ser cuidadoso ao encontrar o smbolo N em qualquer bibliografia e identificar, seja pelo
contexto ou pelo ndice de smbolos, se aquela obra em particular considera o zero como
um nmero natural ou no. Enfatizamos que, aqui, consideraremos que o conjunto dos
naturais comea no zero.
Exerccio 62. De maneira anloga ao que foi feito na definio 6, escreva definies para os conjuntos
N, Z+, Z+, Z e Z . Observe ainda que (se consideramos que zero realmente um elemento de N)
vale que N = Z+.
2.6 O princpio da boa ordem

Definio 7. Se S um subconjunto de Z, dizemos que S limitado inferiormente por
k Z se s > k para todo s S (neste caso, o nmero k dito uma cota inferior para o
conjunto S).
Por exemplo, o conjunto dos nmeros pares estritamente positivos {2, 4, 6, 8, ...}
limitado inferiormente por 1, visto que 2 menor ou igual a todo elemento do conjunto (ou
seja, 2 cota inferior desse conjunto). Obviamente, ele tambm limitado inferiormente
por 1, por 0, por -1 ou, em geral, por qualquer inteiro menor ou igual a 2 (isto , neste
exemplo qualquer inteiro menor ou igual a 2 uma cota inferior de um conjunto).
Analogamente, um subconjunto S de Z ser dito limitado superiormente por K Z se
s 6 K para todo s S e neste caso o nmero K ser dito um cota superior para o conjunto S.
Definio 8. Um nmero m dito um elemento mnimo de S se m uma cota inferior

para S e, alm disso, m S.
Observe que, por enquanto, no podemos falar que um elemento m o mnimo de S e

sim apenas que ele um mnimo de S. Pois a definio de elemento mnimo no fala nada
de unicidade e, portanto, a princpio poderia acontecer de um certo conjunto admitir dois
elementos mnimos distintos. A prxima proposio, entretanto, mostra que este no o
caso:
Proposio 14. Um subconjunto de Z no possui mais do que um elemento mnimo.
Demonstrao. Suponha, por absurdo, que exista um subconjunto S com dois elementos
mnimos distintos, que designaremos por m e m . Ento, por definio, m e m so ele-
mentos de S que so cotas inferiores para S. Aplicando a definio de cota inferior para
m, ento temos que m 6 s para todo s S. Se isto vale para todo s S, ento vale em
particular para s = m , visto que m S. Logo conclumos que m 6 m . Analogamente, a
aplicao da definio de cota inferior para m implica que m 6 s para todo s S que, no
caso particular em que s = m, implica que m 6 m. Como m 6 m e m 6 m, pelo axioma 11
conclumos que m = m . Mas m e m so mnimos distintos e portanto isto um absurdo.
Logo a proposio tem que ser verdadeira.
Agora sim, podemos falar na existncia do elemento mnimo do conjunto, ao invs de

em um elemento mnimo.
Notao 1. min (S) ser a notao utilizada para designar o elemento mnimo de S.
Analogamente, diremos que um nmero M um elemento mximo de S se M uma

cota superior para S e, alm disso, M S.
Exerccio 63. Mostre que um subconjunto de Z possui no mximo um elemento mximo. [DICA:
Proceda de forma anloga da proposio 14].
J sabemos ento que se o mnimo de um conjunto existir, ele nico. No entanto,

nem sempre ele existe. O conjunto S = Z = {x Z|x 6 0} um exemplo de conjunto que
obviamente no possui um elemento mnimo. O prximo axioma nos d uma condio
suficiente para garantir a existncia deste mnimo.
Axioma 16. (Princpio da boa ordem) Todo subconjunto no-vazio de Z que limitado
inferiormente possui um elemento mnimo.
Embora o princpio da boa ordem parea bvio (como todo axioma deve ser), ins-
trutivo observar que ele no vlido para subconjuntos de R. Por exemplo, o conjunto
S = ]0, 1[ um subconjunto de R limitado inferiormente (por zero) mas no possui elemento
mnimo (zero no se qualifica como elemento mnimo, visto que zero no pertence a S
e a definio 8 exige que o mnimo seja um elemento de S). O princpio da boa ordem
est intimamente relacionado idia de que o conjunto Z um conjunto discreto e ele
ser necessrio sempre que formos provar algo relacionado esta idia. Por exemplo, na
proposio a seguir, utilizaremos este axioma para provaremos o fato (intuitivamente bvio)
de que inexistem nmeros inteiros entre zero e um.
Proposio 15. No existe x Z tal 22 que 0 < x < 1.

Demonstrao. Admita, por absurdo, que exista um inteiro x com esta propriedade.
Neste caso o conjunto S = {x Z|0 < x < 1} teria que ser um subconjunto no-vazio de Z
e, claramente, S seria limitado inferiormente por zero. Ento, pelo princpio da boa ordem,
teria que existir um elemento m = min (S) que, pela definio de mnimo, tem que ser um
elemento de S. Ento vale que 0 < m < 1.
Desejamos primeiramente concluir que m2 > 0. A proposio 13 garante que m2 > 0,
ento s falta mostrarmos que m2 = / 0. Mas se m2 fosse igual a zero, ento pelo exerccio
20 teramos que m = 0, o que no o caso. Ento conclumos que m2 > 0.
Ademais, sabemos que m < 1. O exerccio 45 diz que podemos multiplicar ambos os
lados desta desigualdade por um elemento estritamente positivo, mantendo a desigualdade.
Como m > 0, ele estritamente positivo e, portanto, os dois lados de m < 1 por m e obter
que m m < 1 m. Ou seja, m2 < m.
Como m2 < m e m < 1 ento, pelo axioma 12, temos que m2 < 1.
Logo 0 < m2 < 1 e portanto m2 um elemento de S. Mas m2 < m significa que m2 um
elemento de S que menor do que m que o mnimo de S. Isto contradiz a definio de
mnimo, visto que um mnimo tem que ser menor ou igual a todo elemento do conjunto.
Logo, chegamos a uma contradio assumindo a existncia de um inteiro x com 0 < x < 1
e portanto no pode existir inteiro com esta propriedade.
O leitor talvez se sinta confuso e perdido nos detalhes tcnicos desta demonstrao.
Aps algum treinamento, o estudante dever ser capaz de entender num vislumbre qual
a idia principal: se x tal que 0 < x < 1 ento seu quadrado x2 estritamente menor
do que x e tambm satisfaz 0 < x2 < 1. Em particular, aplicando-se isto ao mnimo m do
conjunto dos nmeros S inteiros entre zero e um, encontraramos ento um nmero m2 que
tambm satisfaz est entre zero e um (e portanto est em S) e que estritamente menor
do que o mnimo m. Uma contradio bvia, j que nenhum nmero do conjunto pode ser
estritamente menor do que o mnimo do conjunto.
A proposio a seguir tem muita importncia nos cursos de anlise:

Proposio 16. (Propriedade Arquimediana) Sejam a e b inteiros estritamente posi-
tivos. Ento existe um nmero inteiro estritamente positivo n tal que n a > b.
Demonstrao. Suponhamos, por absurdo, que n a 6 b para todo n N. Ento
o conjunto S = {b na, n N} conteria apenas nmeros positivos e, portanto, seria
limitado inferiormente por zero. Pelo princpio da boa ordem existiria ento um elemento
m = min (S) S. Como m S, ento existiria n tal que m = b n a. Considere agora o
nmero x = m a. Ento x = m a = b n a a = b (n + 1)a. Da que x um elemento
da forma b n a (com n = n + 1). Portanto x S. Mas ao mesmo tempo x = m a e,
portanto, como a estritamente positivo, temos que x < m = min (S). Ento x um
elemento de S que, ao mesmo tempo, menor do que o elemento mnimo de S. Absurdo.
Logo, tem que existir um n N tal que n a > b.
Proposio 17. Seja n natural com n > 1 e sejam a1, a2, a3, ..., an1, an nmeros inteiros.
Ento o produtrio
a1 a2 a3 ... an1 an (1)
independe da ordem em que so executadas as multiplicaes (isto , independe de onde
colocarmos os parnteses nesta expresso).
22. Nos limitaremos a esta pequena nota de rodap, mas tecnicamente, se quisermos ser realmente rigorosos,
deveramos fazer uma definio formal especificando que a notao a < b < c significa que a 1 tal que o resultado do produto de
n inteiros quaisquer no seja necessariamente independente da ordem das multiplicaes,
ento isto quer dizer que o conjunto S dos naturais n > 1 tais que o resultado do produto
de n inteiros no independe da ordem das multiplicaes, no-vazio. Sendo S claramente
um conjunto limitado inferiormente por 1, pelo princpio da boa ordem, existe n = min (S).
Como o mnimo sempre pertence ao conjunto, ento n S. Logo, pela definio de S,
existem nmeros inteiros a1, a2, ..., an que fazem o resultado do produto a1 a2 a3 ...
an1 an depender da ordem em que a multiplicao efetuada. Ento possvel arrumar
pelo menos duas maneiras de colocar parnteses em a1 a2 a3 ... an1 an de forma
a obtermos resultados distintos. Seja k1 N tal que, ao executarmos a conta usando a
primeira colocao de parnteses, o ltimo sinal de multiplicao efetuado aquele que
vem imediatamente aps ak1 e, analogamente, defina k2 N tal que o ltimo sinal de
multiplicao que executado na segunda opo de parnteses, seja aquele imediatamente
aps ak2. Ento o resultado final da conta, utilizando-se a primeira opo de parnteses,
r1 = x1 y1, aonde x1 o produto (em alguma ordem) a1 a2 ... ak1 e y1 o produto (em
alguma ordem) ak1 +1 ak1 +2 ... an. Analogamente, o resultado final da conta, ao se utilizar
a segunda opo de parnteses, r2 = x2 y2, aonde x2 o produto (em alguma ordem)
a1 a2 ... ak2 e y2 o produto (em alguma ordem) de ak2 +1 ak2 +2 ... an. Observe ainda
que estamos assumindo que os resultados de cada conta so distintos, ento r1 = / r2. Como
n o mnimo de S, ento todo nmero natural no-nulo menor do que n no pertence
S o que, pela definio de S, significa que qualquer produto de uma quantidade de termos
menor do que n d o mesmo resultado indepentemente da ordem em que essas operaes
so feitas. Isto significa que os produtrios x1 = a1 a2 ... ak1, y1 = ak1+1 ak1 +2 ... an,
x2 = a1 a2 ... ak2 e y2 = ak2+1 ak2+2 ... an do o mesmo resultado, independentemente
da ordem em que as multiplicaes so feitas. Pelo axioma da tricotomia, existem trs
possibilidades: k1 < k2, k1 = k2 ou k1 > k2. Aqui faremos a prova apenas o caso k1 < k2
(os outros so anlogos). Se k1 < k2 e como os produtrios que definem x1, y1, x2 e
y2 independem da ordem em que a multiplicao feita, podemos escrever x2 = x1 s
aonde s = ak1+1 ak2 +2 ... ak2 (como este produtrio possui menos do que n termos, seu
resultado independe da ordem em que as multiplicaes so feitas). Como r2 = x2 y2, ento
r2 = (x1 s) y2. Pela propriedade associativa, ento r2 = x1 (s y2). Mas pelas definies
de s e y2 (juntamente com a observao de que o produtrio que define y1 no depende da
ordem em que as multiplicaes so feitas), se v claramente que s y2 = y1, logo r2 = x1 y1
que r1. Logo concluiramos que r2 = r1, o que um absurdo.
De posse desse resultado, podemos ento definir o significado de a1 a2 ... an (vide
nota 2 na pgina 5)
Definio 9. Seja n natural com n > 1 e sejam a1, a2, a3, ..., an1, an nmeros inteiros.
Ento a1 a2 ... an designa o produto desses termos em qualquer ordem em que faamos
as multiplicaes (isto est bem-definido j que a proposio anterior garante que a ordem
em que fazemos as multiplicaes irrelevante).
Para a soma tudo acontece de forma inteiramente anloga:
Proposio 18. Seja n natural com n > 1 e sejam a1, a2, a3, ..., an1, an nmeros inteiros.
Ento a soma
a1 + a2 + a3 + ... + an1 + an (2)
independe da ordem em que so executadas as somas (isto , independe de onde colocarmos
os parnteses nesta expresso).
Demonstrao. Anloga anterior.
Definio 10. Seja n natural com n > 1 e sejam a1, a2, a3, ..., an1, an nmeros inteiros.
Ento a1 + a2 + ... + an designa a soma desses termos em qualquer ordem em que faamos
as somas (isto est bem-definido pela proposio anterior).
Exerccio 64. Seja S um subconjunto de Z. Defina S = {s, s S } (isto , o conjunto dos inversos
aditivos dos elementos de S). Mostre que:
i) se S possui um elemento mnimo m, ento m um elemento mximo para S;
ii) se S possui um elemento mximo M , ento M um elemento mnimo para S;
Exerccio 65. Mostre a seguinte verso do princpio da boa ordem: todo subconjunto S de Z limitado
superiormente e no-vazio possui um elemento mximo. [DICA: Prove que S limitado inferiormente
e utilize a verso normal do princpio da boa ordem.]
Exerccio 66. Mostre que o conjunto {z Z; 1 < z < 2} vazio. [DICA: Proceda por absurdo e obtenha
uma contradio com o resultado da proposio 15].
Exerccio 67. Faa os casos k1 = k2 e k1 > k2 que foram omitidos na demonstrao da proposio 17.
2.7 O princpio da induo finita

Nesta seo, trataremos do princpio da induo finita. Esta uma importante tcnica
de demonstrao que todo matemtico digno deste nome deve dominar plenamente.
Nossa atitude aqui ser um pouco diferente daquela de sees anteriores. At agora,
praticamente todos os resultados enunciados em teoremas, exerccios e exemplos eram
conhecidos e bvios, e a nica dificuldade era prov-los de forma rigorosa a partir dos
axiomas, conforme exigncia do mtodo axiomtico.
Desse momento em diante, entretanto, os resultados a ser obtidos sero bem mais
interessantes (e muito menos bvios). Nosso nvel de rigor cair um pouco, no sentido de
que admitiremos como verdadeiras as propriedades mais elementares dos inteiros (mesmo
algumas que ainda no foram provadas). Mas isto no deve ser interpretado como se
tivssemos o mtodo axiomtico. O que acontece que assumimos que, a essa altura,
o leitor j tem a experincia e as ferramentas necessrias para preencher rapidamente
qualquer lacuna que deixemos, de modo que nos permitiremos nos concentrar nas partes
realmente importantes, sem exagerar nos detalhes tcnicos.
P Q
2.7.1 As notaes e
comum o uso de reticncias para descrever uma soma (ou um produto) contendo
um nmero indefinido (ou muito grande) de termos. Assim, a soma de todos os nmeros
naturais do um at cem pode ser expressa como 1 + 2 + 3 + ... + 98 + 99 + 100. J a soma
de todos os nmeros naturais comeando do um e at n pode ser escrita como
1 + 2 + 3 + ... + (n 2) + (n 1) + n (3)
No existe qualquer regra especificando quantos termos devemos incluir antes e depois
das reticncias. No exemplo acima, explicitamos os trs primeiros termos (1, 2 e 3) e os
trs ltimos (n 2, n 1 e n), o que nos deixou com um nmero bem grande de termos
explicitados. Porm, no importa quantos termos usemos na notao com reticncias, parte
da informao sempre estar implcita. Por exemplo, neste nosso caso, est subentendido
que antes do n 2 venha o n 3.
O mais comum que no se explicitem tantos termos, deixando s o suficiente para
que o leitor seja capaz de enxergar qual o padro da expresso. Assim,
1 + 2 + ... + n (4)
uma expresso perfeitamente aceitvel e totalmente equivalente (3).
Agora, consideremos outro exemplo:
sn = 4 + 9 + 16 + ... + (n 4)2 + (n 3)2 + (n 2)2. (5)
Isto deve ser entendido como a soma dos quadrados de inteiros, da seguinte forma: come-
amos com o quadrado de 2 (j que o primeiro termo, quatro, o quadrado de dois),
em seguida adicionamos o quadrado de 3, o quadrado de 4, e assim por adiante, at
adicionarmos o quadrado de n 2. Observe que, visto que o primeiro termo o quadrado
de 2 e o ltimo o quadrado de n 2, esta uma soma de n 3 termos (pois este o
nmero de termos na lista que vai de 2 at n 2).
Se quisermos o valor de sn+1, ento sn+1 = 4 + 9 + 16 + ... + (n 3)2 + (n 2)2 + (n 1)2.
Observe que sn+1 a soma dos quadrados dos nmeros que vo do 2 at o n 1 (e no
mais do 2 at somente o n 2, como no caso de sn. Da decorre que se adicionarmos o
quadrado de n 1 ao valor de sn, chegaremos sn+1. Em smbolos, sn+1=sn + (n 1)2.
Da decorre que sn+1 um soma com um termo a mais do que sn.
bom notar tambm que s4 = 4. Pois sn a soma dos quadrados de todos os nmeros
entre 2 e n 1. No caso em que n = 3, ento esse conjunto contm apenas o elemento 2.
Logo s3 o quadrado de dois, que 4. Um raciocnio anlogo nos permite concluir que
s3 = 0 (pois no temos nenhum elemento para somar, logo o resultado tem que ser nulo).
Na dvida, recomendvel escrever casos particulares do somatrio (de preferncia
comeando com casos em que o somatrio contm dois ou trs termos) e a partir da colocar
ou retirar termos, at se ter uma compreenso do que o somatrio realmente significa:
s4 = 4
s5 = 4 + 9
s6 = 4 + 9 + 16
s7 = 4 + 9 + 16 + 25
...
De maneira inteiramente anloga, o smbolo de reticncias tambm pode ser usado em

produtos. Assim, 2 4 ... (2(n 1)) (2n) designa o produto de todos os pares, partindo
de 2 at chegar em 2n.
Exerccio 68. Seja un = 27 + 64 + ... + (n + 1)3. Determine u3 e u4. Quantos cubos estoo sendo
somados em un? Qual o valor de u2? E o de u1? Quanto un+1 un? E o valor de un+2 un?
Exerccio 69. Seja vn = 2 + 0 + 2 + 4 + ... + (2 (n + 1)). Determine v0 e v1. Quantos pares esto
sendo somados em vn? Qual so os valores de v2, v 1 e v0? Quanto vn+1 vn? E o valor de vn1 vn?
Exerccio 70. Seja wn = a1 + a2 + a3 + ... + an, aonde {an }nN e uma sequncia qualquer de numeros
reais. Determine w2, w1 e w0. Quanto vale wn+1 wn?
Uma notao muito til para a soma a1 + a2 + a3 + ... + an, conhecida como a notao
sigma, :
Xn
aj (6)
j=1
Este smbolo23 lido como o somatrio de a j , com j indo de 1 at n. A idia bsica

que estamos fazendo o ndice j variar de 1 (o ndice de baixo) at n (o ndice de cima) e
somando os valores.
1 1 1 Pn 1
Assim, a soma 1 + 2 + 3 + ... + n pode ser representada por j=1 j . A soma
2 2 2 2
Pn1 2
3 + 4 + 5 + ... + (n 1) pode ser representada por j=3 j . E a soma 2 + 3 + 4 + ... + 100
pode ser representada tanto por 100
P P99
j=2 j como por j=1 (j + 1). Ou seja, existem diversas
formas naturais de se representar a mesma soma.
23. Este smbolo a letra grega sigma, que corresponde nossa letra S (de soma).
claro que no somos obrigados a utilizar a letra j como a varivel do ndice. Assim,
Pm 2 Pm n2 so ambas expresses vlidas para a soma 12 + 22 + 32 + ... + m2.
h=1 h , n=1
De maneira inteiramente anloga, um produtrio p1 p2 ... pn representado por
n
Y
pj (7)
j=1
E, de maneira similar ao que se fez no caso de somatrios sem nenhum termo, que valem
zero, se convenciona
Q que produtrios sem termos para serem multiplicados valem um.
Assim, temos que nj=1 p j = 1 quando n = 0.
1 1 1 1
Exerccio 71. Escreva a soma 32 + 3 + 1
+ 42 + 4 + 1 + 52 + 5 + 1 + ... + 2002 + 200 + 1 na notao sigma.

x2 x2 x2 x2
Exerccio 72. Escreva o produto 1 2 1 2 1 2 ... 1 2 na notao de
2 3 4 n
produtrio.
trivial observar que:

Xn n
X n
X
c j d j = (c j dj ) (8)
j=m j=m j=m
e que
n
X n
X
cj = cj (9)
j=m j =m
Note que a primeira frmula exige que os ndices dos dois somatrios comecem e ter-
minem nos mesmos valores. Para isto comum que lancemos mo do truque de tirar do
somatrio os termos excedentes para efetuar contas. Os prximos exemplos ilustram o
processo:
P P
n 1 n+1 3
Exemplo 4. Simplificar j =1 j + ( j =0 j + 2j + 1).
O primeiro somatrio vai de 1 at n, e o segundo vai de 0 at n + 1. Logo, em relao ao
primeiro, o segundo somatrio possui dois termos excedentes extras em relao ao primeiro,
o zero (no incio do somatrio) e o n + 1 (no final). Jogamos esses dois termos pra fora do
somatrio para escrever

n+1
X n
X
j 3 + 2j + 1 = j 3 + 2j + 1 + (03 + 2 0 + 1) + ((n + 1)3 + 2(n + 1) + 1) (10)
j=0 j=1
P P P
n 1 P 1
e da conclumos que j=1 j + ( n+1
j =0 j 3 + 2j + 1) = n
j =1 j + (
n 3
j=1 j + 2j + 1) +
P
n 1
(03 + 2 0 + 1) + ((n + 1)3 + 2(n + 1) + 1) = n3 + 3n2 + 5n + 5 + j=1 j + j 3 + 2j + 1 .
Pn P
Exemplo 5. Simplificar ( h=1 2h) + ( n1t=1 4t).
Para evitar confuso, comeamos utilizando o mesmo ndice em ambos os somatrios:
Pn P Pn Pn1
( h=1 2h) + ( n1t=1 4t) = ( h=1 2h) + ( h=1 4h). Colocando para forma os termos
Pn1 Pn1
excedentes nos somatrios obtemos Pn1 2 (1) + 2 0 + 2 n + ( h=1 2h) + ( h=1 4h) que se
torna 2 (1) + 2 0 + 2 n + ( h=1 6h).
P P
2n 7 2n 7
Exerccio 73. Simplificar j =3
2j 2 + j j =n
2j 2 + j .
Pn+1 Pn+2
Exerccio 74. Simplificar ( j =3
3j 4) + ( 4j 4 j 2).
j =2
Pn Pn+1
Exerccio 75. Simplificar ( j =0 5j 2 + 6j) + ( h=1 2h3 2h).
P P
n 1 n+1
4j j 2 ( u=2 4u ).
P P
n+3 1 n+1
4j j 2 + ( j =2 4j 2j).
2.7.2 O primeiro princpio da induo finita
Teorema 1. (Primeiro Princpio da Induo finita) Seja A uma afirmao referente

elementos do conjunto dos nmeros inteiros. Se existir n0 Z tal que:
i. A verdadeira para n0 ;
ii. toda vez que A for verdadeira para algum m Z com m > n0 ento ela tambm
verdadeira para m+1;
ento esta afirmao verdadeira para todo nmero inteiro n com n > n0.
Demonstrao. Suponha, por absurdo, que exista m N com m > n0 tal que a afirmao
no seja verdadeira para A. Seja S = {n Z; n > n0 e A no seja verdadeiro para n}. Ento
m S e, portanto, S no-vazio. Ademais, S limitado inferiormente (por n0) e, portanto,
pelo princpio da boa ordem, existe s = min (S). Obviamente, como s S, ento s > n0.
Alm disso, n0 evidentemente no um membro de S (visto que A verdadeiro para n0 pela
hiptese i. Ento podemos concluir que s > n0 + 1 que equivalente a dizer que s 1 > n0.
Observe tambm que se s o mnimo de S, ento nenhum nmero estritamente menor do
que s pertence a S. Em particular, temos que o elemento s 1 S. Se s 1 > n0 e s 1 S
ento, olhando a definio de S, percebemos que isto significa que a afirmao verdadeira
para s 1. Mas a hiptese ii ento implica que a afirmao verdadeira para o elemento
(s 1) + 1 que s. Isto implicaria que s S, o que um absurdo, j que s = min (S).
Comentrio 3. A hiptese desta afirmao ii que aparece na demonstrao do princpio

da induo frequentemente chamada de hiptese de induo, e a tese desta mesma
afirmao chamada de tese de induo.
A demonstrao colocada acima importante. Porm, ainda mais importante do que

esta demonstrao a compreenso da idia intuitiva que est por trs do princpio da
induo finita.
Digamos que voc deseje provar que uma certa afirmao vlida para todos os nmeros
inteiros a partir de um certo nmero n0 (que tambm um inteiro).
O primeiro passo voc verificar (i.e, provar) que a tal afirmao verdadeira para este
nmero n0.
Em seguida, voc dever provar a seguinte proposio: se aquela afirmao verdadeira
para algum valor de m ento ela tambm verdadeira para m + 1.
Se os dois passos acima forem realizados ento, automaticamente, a afirmao verda-
deira.
Por que? Qual a lgica por trs disto?
muito simples. O primeiro passo j mostrou que a afirmao verdadeira para n0.
Agora, aplicando a segunda proposio (que voc provou) e se conclui que a afirmao
tambm verdadeira para n0 + 1. E agora? Aplicamos de novo a proposio, utilizando o
fato de que a afirmao verdadeira para n0 + 1, para concluir que ela vale para n0 + 2. O
que, mais uma vez, pela mesma lgica, implicar que a afirmao verdadeira para n0 + 3.
E assim por diante. Repetindo esse procedimento infinitas vezes, conclumos que esta
afirmao vai ser verdadeira para todo inteiro maior ou igual a n0.
comum fazer a analogia do princpio da induo ao jogo de colocar domins em

fila e derrubar todo o conjunto derrubando o primeiro elemento da fila. No domin, se
uma pedra cai, ela fora a seguinte a cair. Isto equivale provar a proposio se aquela
afirmao verdadeira para algum valor de m ento ela tambm verdadeira para m + 1
(se o m simo domin cair, ento o domin seguinte tambm cair). E a parte de provar
que a afirmao verdadeira para n0 equivale a derrubar o primeiro domin da fila (pois
o que inicia toda a reao em cadeia).
O raciocnio acima pode ser adaptado para outras situaes, gerando variaes bvias
do princpio da induo, como no prximo exemplo.
Exemplo 6. Seja A(n) uma afirmao a respeito dos nmeros inteiros. Suponha que:
i) esta afirmao verdadeira para um certo n0 Z, com n0 par;
ii) toda vez que A for verdadeira para algum m Z ento ela verdadeira para m + 2;
Para que valores de n Z se pode garantir que a afirmao A necessariamente
verdadeira?
Soluo: Sabemos que a afirmao vlida para n0. Ento, por ii conclumos que ela
vlida para n0 + 2. Ento, novamente por ii, conclumos que ela vlida para (n0 + 2) + 2
que n0 + 4. E ento, aplicando ii novamente, conclumos que ela vale para (n0 + 4) + 2
que n0 + 6. Aplicando esse raciocnio repetidamente, conclumos que a afirmao
vlida para n0, n0 + 2, n0 + 4, n0 + 6, n0 + 8, .... Como n0 par, ento conclumos que ela
necessariamente vlida para todo nmero par maior ou igual n0.
Exerccio 78. Seja A(n) uma afirmao a respeito dos nmeros inteiros. Suponha que:
i) esta afirmao verdadeira para um certo n0 Z;
ii) toda vez que A for verdadeira para algum m Z ento ela verdadeira para m 1;
Para que valores de n Z se pode garantir que a afirmao A necessariamente verdadeira?
Justifique brevemente.
Exerccio 79. Seja A(n) uma afirmao a respeito dos nmeros inteiros. Suponha que:
i) esta afirmao verdadeira para um certo n0 Z;
ii) toda vez que A for verdadeira para algum m Z ento ela verdadeira para m + 1;
iii) toda vez que A for verdadeira para algum m Z ento ela verdadeira para m;
Exerccio 80. Seja A(n) uma afirmao a respeito dos nmeros inteiros tal que:
i) a afirmao A verdadeira para n = 4.
iii) toda vez que A for verdadeira para algum m Z ento A automaticamente verdadeira para
2 m;
Exerccio 81. Seja A uma afirmao a respeito dos nmeros inteiros tal que:
i) a afirmao A verdadeira para um certo n0 Z;
ii) n0 um nmero mpar;
iii) toda vez que A for verdadeira para algum m Z ento A automaticamente verdadeira para
m 2;
2.7.3 Frmulas fechadas de somatrios

Uma das aplicaes mais comuns da induo matemtica a demonstrao de formas
fechadas para somatrios (ou, como veremos no exerccio 98, de produtrios).
Exemplo 7. Mostre que, para todo n N, vale a identidade

n2 + n
1 + 2 + 3 + ... + (n 1) + n = . (11)
2
Soluo: Neste caso, a afirmao A que desejamos provar a identidade dada na
equao 11. O valor de n0 o primeiro valor para o qual desejamos provar a veracidade
da afirmao. Neste caso, como queremos provar que a afirmao verdadeira pra
n N, ento este primeiro elemento teria que ser n0 = 1.
Ento, o primeiro passo mostrar que esta afirmao A vlida quando n = 1. Este
passo fcil. Simplesmente fazemos as contas de ambos os lados da equao 11 para
este caso particular n = 1. O somatrio da esquerda claramente vai resultar em 1 (j que
n2 + n 12 + 1 2
ele conter somente24 o elemento 1). J o elemento da direita 2 = 2 = 2 = 1.
Como os dois lados deram o mesmo valor, ento significa que a afirmao A (equao
11) verdadeira quando n = 1.
O prximo passo provar que se a afirmao A verdadeira para algum valor de
m ento ela tambm verdadeira para m + 1. Dizer que a afirmao verdadeira para
m equivale a dizer que
m2 + m
1 + 2 + 3 + ... + (m + 1) + m = (12)
2
para este valor particular de m. Partindo dessa hiptese de induo desejamos provar
que a afirmao A vlida para n = m + 1, ou seja:
(m + 1)2 + (m + 1)
1 + 2 + 3 + ... + m + (m + 1) = (13)
2
Para tal, somamos m + 1 aos dois lados da equao 12 para obter que
m2 + m
1 + 2 + 3 + ... + m + (m + 1) = + (m + 1) (14)
2
(m + 1)2 + (m + 1) m2 + m
O que falta ento mostrar que 2
= 2 + (m + 1). Se conseguirmos
provar esta igualdade, a equao 14 automaticamente implicar na equao 13. Ento
teremos mostrado que as condies i e ii do teorema 1 esto satisfeitas e, portanto,
teremos finalizado a demonstrao. Para melhor organizao, colocaremos esta parte
como um lema em separado25.
(m + 1)2 + (m + 1) m2 + m
Lema 1. 2
= 2
+ (m + 1), m > 0.
(m + 1)2 + (m + 1) m2 + m
Demonstrao. 2
= 2
+ (m + 1) (m + 1)2 + (m + 1) =
m2 + m + 2(m + 1) m2 + 2m + 1 + m + 1 = m2 + m + 2m + 2
m2 + 3m + 2 = m2 + 3m + 2, que evidentemente verdadeiro.
Exerccio 82. Prove que se n N, ento:

n3 n2 n
12 + 22 + 32 + ... + n2 = + +
3 2 6
2
n (n + 1)
Exerccio 83. Prove que 13 + 23 + ... + (n 1)3 + n3 = 2
para todo n natural no-nulo.
24. Cuidado, no cometa o erro de achar que quando se tem uma soma a1 + a2 + ... + an com n = 1, o primeiro
termo a1, o ltimo termo a1 e por isso o resultado a1 + a1 pois isto est completamente errado. O que acontece
que quando n = 1, o primeiro elemento da sequncia tambm o ltimo elemento. O que se tem ento que o
somatrio na verdade no uma soma: neste caso o somatrio vai ser o elemento a1 sozinho. Em caso de dvida,
volte seo 2.7.1 em que explicamos em detalhe as notaes sigma e as reticncias.
25. Minha recomendao que, sempre que se consiga reduzir o problema prova de uma identidade algbrica
simples, mas o caminho para provar essa identidade no estiver totalmente claro, se escreva essa identidade como um
lema em separado. Tenho notado que o ndice de acertos dos estudantes aumenta substancialmente com a adoo
dessa prtica (especialmente em casos envolvendo desigualdade como os da seo 2.7.4).
2n n3
Exerccio 84. Prove que 1 2 + 2 3 + 3 4 + ... + (n 1) n + n (n + 1) = 3
, n N. 3
+ n2 +
n
Exerccio 85. Utilize induo para provar que 12 + 32 + 52 + ... + (2n 3)2 + (2n 1)2 = 3 (4n2 1)
para todo n natural no nulo.
n
Exerccio 86. Prove novamente que 12 + 32 + 52 + ... + (2n 3)2 + (2n 1)2 = 3 (4n2 1) para todo
n natural no nulo, mas, desta vez, ao invs da utilizao direta de induo, utilize o resultado do
exerccio 82.
Demonstrao. Seja S = 12 + 32 + 52 + ... + (2n 3)2 + (2n 1)2. Ento adicionando-se e somando-
se (22 + 42 + 62 + ... + (2n)2) obtemos
(12 + 22 + 32 + 42 + 52 + 62 + ... + (2n 3)2 + (2n 2)2 + (2n 1)2) (22 + 42 + 62 + ... + (2n 2)2)
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||{z}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} |||||||||||||||||||||||||||||||||||||||||||||||||||{z}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} .
S1 S2
Definindo S1 e S2 como indicados acima temos que S = S1 S2.

(2n 1)3 (2n 1)2 2n 1 8n3 3 4n2 + 3 2n 1 4n2 4n + 1
Mas, pelo exerccio 82, S1 = 3
+ 2
+ 6 = 3
+ 2
+
2n 1 (16n 24n + 12n 2) + (12n 12n + 3) + (2n 1)
3 2 2
16n 12n + 2n
3 2
6
= 6
= 6
. Por outro, lado S2 pode ser
reescrito como S2 = 22 (12 + 22 + 32 + ... + (n 1) ). Aplicando-se novamente o exerccio
2
(n 1)3 (n 1)2 n1 n3 3n2 + 3n 1 n2 2n + 1 n1

82, temos que S2 = 4 3
+ + = 4 + + =
3 2 6 3 2 6
2n 6n2 + 6n 2 3n2 6n + 3 n1 2n3 3n2 + n 8n3 12n2 + 4n
4 6
+ 6
+ 6 =4 6
= 6
.
16n3 12n2 + 2n 8n3 12n2 + 4n 16n3 12n2 + 2n 8n3 + 12n2 4n 8n3 2n
Logo S = S1 S2 = 6
6
= 6
= 6
=
3
4n n n
3
= 3 (4n2 1).
Exerccio 87. Utilize o resultado do exerccio 83 (e no diretamente induo) para provar que, se n
um nmero natural no nulo ento
13 + 33 + 53 + .... + (2n 3)3 + (2n 1)3 = n2 (2n2 1), n N.
Exerccio 88. Prove que se n N, ento:

20 + 21 + 22 + ... + 2n = 2n+1 1
Exerccio 89. Mais geralmente, prove que se n N e a R {1}, ento26
an+1 1
a0 + a1 + a2 + ... + an = . (15)
a1
Exerccio 90. Utilize a frmula do problema anterior para concluir27 que se |a| < 1 ento
1
lim (a0 + a1 + a2 + ... + an) =
n 1a
Exerccio 91. Use a frmula do exerccio 89 e a equao 11 para calcular28
1 + 2 + 3 + 4 + ... + 100
e
1 1 1 1
+ + + ... + 100
2 22 23 2
1 1 1 1 n(n + 3)
Exerccio 92. Prove que 123
+ 234
+ ... + (n 1) n (n + 1)
+ n (n + 1) (n + 2)
= 4(n + 1)(n + 2)
para
todo n natural no-nulo.
26. Este resultado to importante a ponto de valer a pena memoriz-lo para pronta utilizao em outras reas
da matemtica ou outros problemas de induo.
27. Este exerccio na verdade a demonstrao da frmula da soma infinita dos termos da progresso geomtrica
(PG), que normalmente vista no ensino mdio.
28. Verdadeira ou no, diz a lenda que a turma de Gauss na escola, quando este era ainda criana, recebeu a
tarefa enfadonha de calcular a soma 1 + 2 + 3 + ... + 99 + 100. O professor esperava que seus pupilos demorassem
alguns minutos at completar a soma (o que lhe daria tempo para tirar uma soneca aps o almoo) mas o menino
Gauss percebeu que a soma do primeiro termo com o ltimo (1+100), do segundo termo com o penltimo (2+99),
do terceiro termo com o antepenltimo (3+98) e assim por diante, sempre resultava em 101. Ento haviam 50 grupos
de dois nmeros somando 101 cada. Logo Gauss percebeu que o total da soma deveria ser 101 50 o que lhe permitiu
responder imediatamente que o resultado da soma era 5050. Supe-se que o professor tenha ficado bastante irritado
com a interrupo de sua soneca.
1 1 1 1 1 n
Exerccio 93. Prove que 4 12 1
+ 4 22 1
+ 4 32 1 + ... + 4 (n 1)2 1
+ 4 n2 1
= 2n + 1
para todo
n natural no-nulo.
Exerccio 94. Prove que para todo n > 1 vale que:
n1
X (h + 1)2 n(n + 1)
= (16)
h=0
(2h + 1) (2h + 3) 2(2n + 1)
Exerccio 95. Sejam a, b R+. Prove que, para todo n natural no nulo vale que
n
X 1 n
= (17)
(a + (j 1) b) (a + j b) a(a + n b)
j =1
Os casos anteriores so tpicos. De fato, aps se estudar muitos casos particulares,

comum adivinhar29 a frmula geral e prov-la em seguida por induo. O exemplo a seguir
mostra detalhadamente como ocorre o processo.
Exemplo 8. Encontrar e provar uma frmula fechada30 para

1 1 1 1 1
Sn = + + + ... + + . (18)
12 23 34 (n 1) n n(n + 1)
Soluo: Na ausncia de uma idia melhor, comeamos calculando o valor de Sn para

diferentes valores de n, na esperana de reconhecer um padro. Encontramos facilmente
1 1 1 1 2 1 1 1 1 3 1 1 1 1
que S1 = 2 , S2 = 2 + 6 = S1 + 6 = 3 , S3 = 2 + 6 + 12 = S2 + 12 = 4 , S4 = 2 + 6 + 12 + 20 =
1 4
S3 + 20 = 5 . n o
1 2 3 4 n
A sequncia 2 , 3 , 4 , 5 , ... parece sugerir um padro bvio. Ser que Sn = n + 1 , como
parece?
Para aumentar a nossa confiana nesta conjectura, testaremos com outros valores:
1 5 1 6 1 7
S5 = S4 + 30 = 6 , S6 = S5 + 42 = 7 e S7 = S6 + 56 = 8 . Definitivamente, os casos estudados
n
at agora parecem sugerir que Sn = n + 1 para todo n. Mas importante salientar que,
embora nossos resultados at agora tenham sido bastante promissores, ns s podemos
afirmar com certeza que a afirmao verdadeira para n 6 7, pois estes foram os valores que
foram efetivamente testados. Mesmo que testassemos a afirmao para todo n at 999.999,
ainda assim nada nos garantiria que ela no vai falhar justamente quando n = 1.000.000,
por exemplo. Tal a essncia da prova matemtica. Precisamos de um argumento que nos
mostre, alm de qualquer dvida possvel , que a afirmao verdadeira31 para todo n. E
este argumento justamente o princpio da induo.
Desejamos provar ento que
1 1 1 1 1 n
Sn = + + + ... + + = . (19)
12 23 34 (n 1) n n(n + 1) n + 1
Como sempre, o primeiro passo provar a frmula para o primeiro valor de n que, no caso,
1
n = 1. Este passo trivialmente verdadeiro, visto que ambos os casos resultam em 2 . O
prximo passo mostrar que se a afirmao verdadeira para m N, ento isto implica
que ela vlida para m + 1.
29. Esta adivinhao mais propriamente designada verificao por inspeco.

30. Uma frmula fechada uma frmula simples que pode ser escrita explicitamente a partir de funes
elementares (isto , polinmios, senos, cossenos, logaritmos, etc).
31. Isto no mero purismo de matemticos que no tm mais o que fazer. Existem vrios casos na histria de
conjecturas de cuja veracidade ningum duvidava, devido grande evidncia emprica e, no entanto, se revelaram
falsas depois. Um exemplo clssico o do polinmio p(n) = n2 n + 41, que se acreditava sempre gerar nmeros
primos quando n um nmero natural. No entanto, embora seja verdade que p(0), p(1), p(2), p(3), ...p(40) sejam
todos primos, o valor de p(41) no o .
Se a afirmao verdadeira para m, ento isto significa que:

1 1 1 1 1 m
Sm = + + + ... + + = (20)
12 23 34 (m 1) m m(m + 1) m + 1
Partindo disso, devemos chegar concluso de que a afirmao verdadeira para m + 1,

isto :
1 1 1 1 1 1 m+1
Sm+1 = + + + ... + + + = (21)
12 23 34 (m 1) m m(m + 1) (m + 1)(m + 2) m + 2
1
Somando o termo (m + 1)(m + 2)
de ambos os lados da equao 20 obtemos que
1 1 1 1 1 m 1
+ + + ... + + = + (22)
12 23 34 m(m + 1) (m + 1)(m + 2) m + 1 (m + 1) (m + 2)
Para chegar equao 21, basta ento provarmos que:
m 1 m+1
Lema 2. m+1
+ (m + 1) (m + 2) = m + 2
m 1 m(m + 2) + 1
Demonstrao. Neste caso, a prova direta: m+1
+ (m + 1) (m + 2)
= (m + 1)(m + 2)
=
m2 + 2m + 1 (m + 1)2 m+1
(m + 1)(m + 2)
= (m + 1)(m + 2)
= m+2
.
Exerccio 96. Encontrar e provar uma frmula fechada para 1 + 3 + 5 + ... + (2n + 1) para n N.
Exerccio 97. Encontrar e provar uma frmula fechada para
1 1 1 1
+ + + ... +
4 12 1 4 22 1 4 32 1 4 n2 1

1 1 1 1
Sn = 1 1 1 ... 1 .
2 3 4 n+1

n
X 1
.
j =1
(3j 2) (3j + 1)
Exerccio 100. Encontrar e provar uma frmula fechada para h1 + h2 + h3 + ... + hn para n N, aonde
hn = 1 + 3n(n 1).
n5 n4 n3 n
Exerccio 101. Prove que p(n) = 5 + 2 + 3
30
um inteiro para todo n natural. [DICA: Faa
por induo. Quanto vale p(n + 1) p(n)?]
2.7.4 Utilizando induo para provar algumas desigualdade

Nesta subseo lidaremos exclusivamente com desigualdades.
Exemplo 9. Mostre que n! < nn para todo n natural maior ou igual a dois.
Soluo: Prosseguimos por induo em n. Primeiramente provaremos a desigualdade

para o primeiro elemento do conjunto (que neste caso n = 2). Neste caso, obtemos 2! < 22
(evidentemente verdadeira). Em seguida, precisamos provar que se a afirmao vale para
n = m ento ela vale para n = m + 1. Se ela vale para n = m, ento m! < mm. Multiplicando
ambos os lados da equao por m + 1, obtemos m! (m + 1) < mm (m + 1) que se torna32
(m + 1)! < mm (m + 1). (23)

Observe que queremos chegar na tese de induo (m + 1)! < (m + 1)m+1 para completar
a prova. Em funo da transitividade33, basta ento provarmos que mm (m + 1) 6
(m + 1)m+1, pois isto e a equao 23 juntas implicam na tese de induo. Observe que
podemos assumir que m > 2 j que so esses os casos que nos interessam.
Lema 3. mm (m + 1) 6 (m + 1)m+1 para m inteiro com m > 2.
Demonstrao. Como m > 2 e multiplicar ou dividir uma desigualdade por um nmero

positivo jamais altera essa desigualdade, m m+1
temos
que m (m + 1) 6 (m + 1)
(m + 1)m m+1 m
mm 6 (m + 1)m 1 6 mm
1 6 m . E esta ltima desigualdade verdadeira,

m+1 m+1 m
pois como m + 1 > m ento m > 1 e portanto m
> 1.
Comentrio 4. interessante observar aqui um erro que cometido frequentemente pelos

estudantes em demonstraes de desigualdades por induo, que no prestar a ateno na
direo das setas de implicao. Quando estamos a fazer uma demonstrao por induo
devemos sempre provar que hip. de induo tese de induo e no fazer uma prova
do tipo tese de induo hip. de induo. Consequentemente, no podemos partir
da tese e tentar chegar na hiptese usando algum passo que s vale no sentido .
Moral da histria: ao finalizar qualquer demonstrao utilize setas (ou con-
junes que exprimam claramente o sentido da seta como implica que) para
se certificar que sua demonstrao realmente est no sentido hiptesetese
e no o inverso.34
Exerccio 102. Prove que 2n > n2 para n N com n > 4.

Exerccio 103. Prove por induo que 4n2 3n > 2, n > 1.
Exerccio 104. A partir de que valor verdade que 2n > 2n + 1? Prove por induo.
3n
Exerccio 105. Prove que n! > 3n para n N com n > 7. Conclua da que a sequncia sn = n!

limitada superiormente.
Exerccio 106. Mostre que para todo x [1, [ vale que (1 + x)n > 1 + n x para todo n natural (esta
desigualdade conhecida como desigualdade de Bernoulli e importante para os cursos de anlise).
Exerccio 107. Mostre que n2 > 2n + 1, n > 3.
Exerccio 108. Mostre que 2n3 > 3n2 + 3n + 1 para nmero natural n com n > 3.
Exerccio 109. Mostre que se
1 1 1 1 1
Sn = 1 + + + + ... + +
2 3 4 n1 n
ento Sn > n , n > 1.
1 3 5 ... (2n 1) 1
Exerccio 110. Mostre que 2 4 6 ... (2n)
6 2n + 1 , n > 1.
1 1 1 1 1
Exerccio 111. Seja Sn = 1 + 13 1 + 23 1 + 33 ... 1 + n3 . Mostre que Sn < 3 n , n > 1.
Conclua da que o conjunto {Sn , n N} limitado superiormente por 3.
32. Lembre-se que (m + 1)! = 1 2 3 4 ... m (m + 1) = (1 2 3 4 ... m) (m + 1) = m! (m + 1).

33. A propriedade de transitividade a que nos referimos nesse caso aquela que diz que se a < b e b 6 c ento a < c.
34. Uma nota interessante acerca de tcnicas de resoluo de problemas que, embora a demonstrao pronta
seja normalmente escrita no sentido hiptese tese, o matemtico enquanto ainda est tentando resolver o
problema, costuma trabalhar com ambos os lados. A princpio todos os esforos so no sentido de partir da hiptese
e tentar torn-la cada vez mais parecida com a tese, mas se a natureza do problema assim o exigir, o matemtico
tambm trabalha com a tese e (usando somente implicaes que valham no sentido de quem vai pra tese) procura
torn-la mais parecida com a hiptese. E assim, vai alternando entre procurar um caminho que vai da hiptese para
a tese e procurar um caminho que vai da tese para a hiptese at que os dois caminhos se juntam e se tornam
um s caminho que leva a hiptese na tese.
2.7.5 Sequncia e sries com sinais alternados

sbido que (1)n +1 ou 1 conforme a paridade de n. Esta propriedade a base
de um truque que todo estudante deve conhecer. Dada uma sequncia an cujos termos
tm sinais que se alternam, uma forma de expressar o termo geral do ensimo termo
dessa sequncia escrever an = |an | (1)n se os termos com ndices pares de an que so
os positivos ou an = |an | (1)n1 caso os termos com ndices pares correspondam aos
negativos35.
Exemplo 10. A sequncia a0 = 1, a1 = 2, a2 = 3, a3 = 4, a4 = 5, a5 = 6 e etc tem termo

geral an = (n + 1) (1)n.
Exemplo 11. A sequncia a0 = 1, a1 = 4, a2 = 9, a3 = 16, a4 = 25 e etc tem termo

geral an = (1)n1 (n + 1)2 (alternativamente, ele tambm pode ser expresso como
an = (1)n+1 (n + 1)2).
2
j+1 j 2 = (1)n+1 n + n ,
Pn
Exemplo 12. Prove que j=1 (1) 2
n > 1.
P
Demonstrao. Procedemos por induo em n. Em n = 1, claro que nj=1 (1) j +1 j 2 =
2 2
j+1 j 2 = (1)1+1 12 = 1 e n + n = 1 + 1 = 1.
P1
j =1 (1) 2 2
Para fazer a induo propriamente dita, assumimos agora que a afirmao vale quando
n = m, de modo que

m
X m2 + m
( 1) j +1 j 2 = (1)m+1

2
j =1
Como usual nesse tipo de problema, somamos (1)(m+1)+1 (m + 1)2 dos dois lados da
equao para obter:
m+1
X m2 + m
(1) j +1 j 2 = (1)m+1 + (1)(m+1)+1(m + 1)2. (24)
2
j =1
Como a tese de induo

m+1
X (m + 1)2 + (m + 1)
(1) j+1 j 2 = (1)(m+1)+1 (25)
2
j =1
basta provar que
m2 + m (m + 1)2 + (m + 1)
(1)m+1 + (1)(m+1)+1(m + 1)2 = (1)(m+1)+1 , (26)
2 2
o que pode ser feito colocando-se em evidncia o termo (1)m+1 dos dois lados da equao
e fazendo-se os devidos cortes:
m2 + m (m + 1)2 + (m + 1)
(1)m+1 + (1)(m+1)+1(m + 1)2 = (1)(m+1)+1
2 2
m
m2 + m (m + 1)2 + (m + 1)
(1)m+1 2 + (1)m+1 (1)1 (m + 1)2 = (1)(m+1) (1)1 2
m
35. comum tambm se usar (1)n+1 ao invs de (1)n1.

m2 + m (m + 1)2 + (m + 1)
(1)m+1 2
+ (1)1 (m + 1)2 = (1)(m+1) (1)1 2
m
m2 + m (m + 1)2 + (m + 1)
2
+ (1)1 (m + 1)2 = (1)1 2
m
m2 + m (m + 1)2 + (m + 1)
2
(m + 1)2 = 2
m
m2 + m 2(m + 1)2 (m + 1)2 + (m + 1)
2
2
= 2
m
m2 + m 2(m2 + 2m + 1) = (m2 + 2m + 1 + m + 1)
m
m2 + m 2m2 4m 2 = m2 2m 1 m 1
m
m2 3m 2 = m2 3m 2,
o que finaliza a prova de (26) e, portanto, da proposio.
Comentrio 5. O exemplo acima ilustra um truque um algbrico bastante comum e que

convm ser conhecido dos estudantes. Se todas a expresses em uma certa igualdade contm
potncias de um mesmo valor, identifique o termo de menor expoente entre eles e coloque-
o em evidncia, para em seguida fazer os cancelamentos. Assim, ao nos depararmos com
vrias potncias de 1 (no caso, (1)m+1 no primeiro termo e (1)m+2 nos dois ltimos),
colocamos em evidncia aquele de menor potncia, (1)m+1 (j que m + 1 menor do que
m + 2).
Sn = 1 2 + 3 4 + 5 6 + ... + (1)n+1 n.
Exerccio 113. Utilize induo pra provar que
1 1 1 (1)n 2 (1)n
1 + + ... + = + , n N.
2 22 23 2n 3 3 2n
Em seguida, prove isto novamente s que dessa vez sem o uso de induo, utilizando ao invs a equao
15.
Exerccio 114. Prove que se n > 1 ento:
n
X n (n + 1)
(1)j 1 n2 = (1)n1 .
j =1
2
Exerccio 115. Refaa o exerccio 112 sem utilizar diretamente induo, usando ao invs a equao
11. DICA: Proceda de forma similiar ao que foi feito no exerccio 86.
2.7.6 Mais casos de induo

Os casos anteriores so casos bem conhecidos que todo estudante deve conhecer. No
entanto, induo no se resume aos casos anteriores. Em todos os casos em que pudermos
relacionar de maneira natural o caso n = m da afirmao com o caso n = m + 1, devemos
considerar a possibilidade de se utilizar uma demonstrao por induo36. De fato, esta
uma tcnica de demonstrao que aparece em todas as reas da matemtica.
36. instrutivo observar como todos os problemas que j foram resolvidos anteriormente foram casos em que o
P
caso m + 1 podia ser descrito em funo do caso m. Somatrios sm = m j =1 a j sempre satisfazem sm+1 = sm + am+1,
Qm
produtrios pm = j =1 a j sempre satisfazem pm+1 = pm am+1. As expresses que apareceram em outras questes
tambm apresentam esta mesma estrutura recursiva: (m + 1)! = m! (m + 1), am+1 = am a e etc.
Exemplo 13. Mostre que a soma dos ngulos internos de um polgono convexo de n lados
de 180 (n 2) graus.
Soluo: Evidentemente, s podemos falar em polgonos quando o nmero de lados n

maior ou igual a 3. Prosseguiremos por induo em n. Quando n = 3, o polgono um
tringulo cuja soma dos ngulos internos, pela lei ngular de Tales, resulta em 180 graus.
Considerando que 180 (3 2) = 180, ento a afirmao verdadeira quando n = 3.
Agora provaremos que se esta afirmao vale quando n = m, ento ela vale quando
n = m + 1. Neste caso ento sabemos que todo polgono de m lados tem soma dos ngulos
internos valendo 180 (m 2) e desejamos provar que todo polgono de m + 1 lados ter
como soma dos ngulos internos o valor de 180 ((m + 1) 2), que 180 (m 1).
Figura 1. A soma dos ngulos internos do polgono claramente a soma dos ngulos internos do
polgono de vrtices a1, a2, a3, ..., am mais a soma dos ngulos internos do tringulo a1, am , am+1.
Sejam a1, a2, a3, ..., am , am+1 os vrtices de um polgono de m + 1 lados. Considere agora
o polgono que possui vrtices a1, a2, a3, ..., am. Este polgono possui m lados e, portanto, a
soma dos ngulos internos dele resulta (pela hiptese de induo) em 180 (m 2) graus.
Mas bvio (vide a figura 1) que a soma dos ngulos internos do polgono original de m + 1
lados a soma dos ngulos internos deste polgono de m lados com a soma dos ngulos
internos do tringulo de vrtices a1, am e am+1. Mas a soma dos ngulos do tringulo
exatamente 180 graus, aplicando novamente a lei ngular de Tales. Ento a soma total dos
ngulos internos ser de 180 (m 2) + 180 = 180 (m 1), como queramos.
Exemplo 14. Num conjunto com 2n moedas, aonde n N, existe uma nica moeda falsa
que pesa levemente menos do que as demais. Dispe-se de uma balana de feira (daquelas
com dois pratos). Mostre que possvel achar a moeda falsa realizando no mximo n
pesagens.
Demonstrao. Procedemos por induo em n. Para n = 1, temos apenas 2 moedas e

podemos achar a moeda falsa em uma nica pesagem, simplesmente comparando-se as
duas na balana. Portanto a afirmao vale para n = 1.
Agora, suponhamos que a afirmao seja vlida para n = m, isto , que se tivermos um
conjunto de 2m moedas com uma moeda falsa, somos capazes de achar esta moeda falsa
utilizando m pesagens. Partindo da devemos ser capazes de concluir que em um conjunto
de 2m+1 moedas com uma moeda falsa, esta pode ser achada em m + 1 pesagens.
Peguemos essas 2m+1 moedas e a separemos (aleatoriamente) em dois grupos de 2m
moedas. Coloca-se cada um desses grupos de um lado da balana (gastando-se uma
pesagem). Claramente, o lado mais leve vai conter a moeda falsa. Agora, neste grupo
temos 2m moedas. Pela hiptese de induo podemos saber em no mximo mais m pesa-
gens qual a moeda falsa. Ou seja, somos capazes de achar a moeda falsa em no mximo
m + 1 pesagens, como queramos provar.
Antes de prosseguir para o prximo exemplo, ser til definir com preciso o significado
de um nmero ser mltiplo de outro:
Definio 11. Sejam m, n Z. O nmero n dito um mltiplo de m se existir q Z tal

que n = m q.
Exemplo 15. Mostre que 10n 1 um mltiplo de 9 para todo n natural.
Demonstrao. A prova ser feita por induo em n. Quando n = 0, temos que 10n 1 =
100 1 = 0 que claramente um mltiplo de 10. Logo a afirmao vale para n = 0.
Agora, para finalizar a prova, assumindo a hiptese de induo que 10m 1 um
mltiplo de 10, precisamos provar a tese de induo segundo a qual 10m+1 1 um
mltiplo de 10. Ento, pela definio 11, existe q Z tal que 10m 1 = 9q. Logo
10m = 9q + 1. Multiplicando os dois lados por 10, chegamos 10m+1 = 9 10q + 10.
Ento 10m+1 = 9 10q + 9 + 1 o que significa que 10m+1 1 = 9 10q + 9. De modo que
10m+1 1 = 9 (10q + 1). Definindo q = 10q + 1, conclumos que 10m+1 1 = 9q, com q Z
o que, pela definio 11, significa que 10m+1 1 um mltiplo de 9, que era exatamente
o que queramos provar.
Exemplo 16. Mostre que 10n 3n um mltiplo de 7 para todo n natural.
Demonstrao. A prova ser feita por induo em n. Quando n = 0, temos que 10n 7n =
100 70 = 0 que claramente um mltiplo de 7. Logo a afirmao vale para n = 0.
Agora, para finalizar a prova, assumindo a hiptese de induo que 10m 3m um
mltiplo de 7, precisamos provar a tese de induo segundo a qual 10m+1 3m+1
um mltiplo de 7. Ento, pela definio 11, existe q Z tal que 10m 3m = 7q. Logo
10m = 7q + 3m. Multiplicando os dois lados por 10, chegamos 10m+1 = 7 10q + 10 3m
que pode ser reescrito 10m+1 = 7 10q + (7 + 3) 3m = 7 10q + 7 3m + 3 3m o que significa
que 10m+1 = 7 10q + 7 3m + 3m+1. Passando o 3m+1 pro lado oposto da equao,
conclumos que 10m+1 3m+1 = 7 10q + 7 3m 10m+1 3m+1 = 7 (10q + 3m). Definindo
q = 10q + 3m, conclumos que 10m+1 3m+1 = 7q, com q Z o que, pela definio 11,
significa que 10m+1 3m+1 um mltiplo de 7, que era exatamente o que queramos
provar.
Exerccio 116. Prove que para todo n N, 6n 1 um mltiplo de 5.

Exerccio 117. Mostre que 23n 1 mltiplo de 7 para todo inteiro n > 0.
Exerccio 118. Mostre que 3n + 7 mltiplo de 8 para todo nmero par n > 0.
Exerccio 119. Mostre que 2n + (1)n+1 um mltiplo de 3 para todo inteiro n > 0.
Exerccio 120. Mostre que 32n+1 + 2n+2 um mltiplo de 7 para todo inteiro n > 0.
Exerccio 121. Mostre que n N, 10n 7n um mltiplo de 3.
Exerccio 122. Prove que para todo nmero natural par n, 9n 22n um mltiplo de 13.
Exerccio 123. Mostre que n3 + 2n um mltiplo de 3 para todo inteiro n > 1.
Exerccio 124. Prove que 4n + 15n 1 um mltiplo de 9 para todo inteiro n > 0.
Exerccio 125. Prove que uma frmula fechada para
1 2 3 ... m + 2 3 4 ... (m + 1) + ... + n (n + 1) (n + 2) ... (n + (m 1))
n (n + 1) ... (n + m)
m+1
.
Exerccio 126. Prove a validade da identidade
an bn = (a b) (an1 + an2b + an3b2 + ... + a2bn3 + abn2 + bn1)
para todo nmero natural n > 1.
Exerccio 127. Utilize a identidade do exercicio 126 para provar que se a e b so nmeros inteiros e
n um nmero natural no-nulo tal que an = bn, ento a = b.
Exerccio 128. Mostrar que o nmero de diagonais de um polgono convexo de n lados n(n 3)/ 2.
Exerccio 129. Mostre que existem (x, y) Z2 satisfazendo 9x + 5y = n, para todo n > 32.
Exerccio 130. Mostre que com n retas impossvel dividir o plano em mais do que 2n partes.
Exerccio 131. Sejam A e B dois conjuntos com n e m elementos, respectivamente. Mostre, por
induo sobre n, que o nmero de funes de A em B mn.

cos() sen()
Exerccio 132. Seja A = sen() cos()
. Determine (e prove) o valor de An para n > 1. DICA:
Lembre-se das frmulas para cos( + ) e sen( + ).
Exerccio 133. Nos cursos de Clculo se aprende que a derivada de uma funo f representada por
f e que vale a assim chamada regra do produto: (f g) = f g + f g para todas funes derivveis
f e g. Utilize isto e induo matemtica para provar que se f1, f2, f3, ..., fn so funes derivveis, ento:

(f1 f2 f3 ... fn) f1 f2 f3 f
= + + + ... + n , n > 2.
f1 f2 f3 ... fn f1 f2 f3 fn
Exerccio 134. Abaixo segue uma demonstrao, por induo, da afirmao (evidentemente falsa)
de que em qualquer conjunto de bolas coloridas, todas as bolas tem a mesma cor. Explique qual
exatamente o erro nesta demonstrao.
Se o conjunto tem uma nica bola, ento todas as suas bolas tm a mesma cor; isto
certamente verdade. Suponhamos que em qualquer conjuntos de k bolas coloridas, todas
as bolas tm a mesma cor. Queremos usar isto para mostrar que em um conjunto S de
k + 1 bolas coloridas (que vamos denotar por b1, b2, b3, ..., bk , bk+1 ), todas as bolas tm a
mesma cor. Para provar isto, faa o seguinte. Do conjunto de k + 1 bolas retire a bola
bk+1. Assim, ficamos com as k bolas b1, b2, b3, ..., bk que, pela hiptese de induo, tero
todas a mesma cor. Para concluir a demonstrao, basta mostrar que bk+1 tem a mesma
cor das demais bolas. Ponha, ento, a bola retirada de volta ao conjunto, e retire outra
bola, digamos b1. Novamente temos um conjunto de k bolas, que desta vez b2, b3, b4, ...,
bk+1. Pela hiptese de induo todas essas bolas devem ter a mesma cor. Logo b2 e bk+1
tm a mesma cor. Portanto todas as bolas de S tm a mesma cor, j que b1, b2, b3, ..., bk
so todas bolas de uma mesma cor!
Exerccio 135. Encontre o erro na seguinte demonstrao de que todos os nmeros naturais so iguais.
Claramente, pra concluir que todos os nmeros naturais so iguais, suficiente usar
induo para provar que a afirmao P (n) de que todos os nmeros naturais menores ou
iguais n so iguais, verdadeira para todo n natural. Claramente, esta afirmao vale
para P (0). Agora, suponha que a afirmao valha para n = m. Ento todo nmero natural
menor ou igual m igual e, portanto, m 1 = m. Adicionando-se isso aos dois lados
da equao conclumos que m = m + 1, de onde fcil concluir que todo nmero natural
menor ou igual m + 1 igual, que a tese de de induo e, portanto, finaliza a prova.
Exerccio 136. Alguns textos utilizam o princpio da induo como um axioma, no lugar do princpio
da boa ordem. Utilize ento o princpio da boa ordem e os quinze primeiros axiomas para provar o
princpio da boa ordem.
Exerccio 137. Prove o chamado Princpio da Casa dos Pombos (ou Princpio de Dirichlet) 37 : Se n
pombos esto colocados dentro de m casas (gaiolas) e n > m, ento existe alguma casa (gaiola) contendo
mais de um pombo.
Exerccio 138. Prove que todo nmero natural maior ou igual a oito pode ser escrito como uma soma
contendo apenas os nmeros 5 e 3 (por exemplo, 42 = 5 + 5 + 5 + 5 + 5 + 5 + 3 + 3 + 3 + 3).
2.7.7 Observaes adicionais
Exemplo 17. Provar que n! > n3 para todo nmero natural n com n > 6.
Demonstrao. Procedemos por induo em n. Se n = 6 ento n! = 6! = 720 e n3 = 63 =

216, logo neste caso verdade que n! > n3. Agora, basta provar que se m! > m3 ento
(m + 1)! > (m + 1)3. Multiplicando a hiptese de induo por (m + 1) chegamos equao
(m + 1)! > m3 (m + 1). Basta, ento, provar o lema:
Lema 4. m3 (m + 1) > (m + 1)3 , m > 6.
Demonstrao. Isto equivale a

m3 > (m + 1)2, m > 6. (27)
Uma prova direta para isso fazer alguns algebrismos (explicite-os!) para notar que
isto equivalente a
1 2
m> 1+ (28)
m

1 2 1 2 49
E essa ltima afirmao verdadeira, visto que como m > 6, 1 + m 6 1 + 6 = 36 .

49 1 2
Como 6 > 36 ento a hiptese m > 6 implica que m > 1 + m , provando o lema.
Suponha, porm, que no enxergssemos a equao 28. J vimos que basta demons-
trar a equao 27 para provar o lema (e, portanto, finalizar a induo). Na ausncia de
idia melhor, no devemos ter medo de escrever a equao como um lema em separado
e prov-lo atravs de uma segunda induo:
Lema 5. m3 > (m + 1)2, m > 6.
Demonstrao. Se m = 6 ento m3 = 216 e (m + 1)2 = 49 de modo que realmente

vale que m3 > (m + 1)2 quando m = 6. Por outro lado, se assumirmos a hiptese
de induo m3 > (m + 1)2 ento somamos 3m2 + 3m + 1 de ambos os lados para
obter m3 + 3m2 + 3m + 1 > (m + 1)2 + 3m2 + 3m + 1 (m + 1)3 > m2 + 2m + 1 +
3m2 + 3m + 1 (m + 1)3 > 4m2+5m+2. Se provarmos que 4m2 + 5m + 2 > (m + 2)2
por transitividade concluiramos ento que (m + 1)3 > (m + 2)2 que a tese
de induo. Mas claro que 4m2 + 5m + 2 > (m + 2)2 pois isto equivale
4m2 + 5m + 2 > m2 + 4m + 4 3m2 + m > 2 m(3m + 1) > 2 que claramente
verdadeiro (visto que m > 6 implica que m (3m + 1) > 6 (3 6 + 1) = 114.
O ltimo lema implica na equao 28, que prova o lema 4.
E a partir do lema 4, transitividade implica na tese de induo. O que finaliza a prova

da desigualdade do exemplo 17.
Exerccio 139. Mostre38 que n3 + 11n um mltiplo de 6 para todo n N.
37. A despeito de sua simplicidade e obviedade, o princpio da casa dos pombos uma ferramenta importante
na resoluo de vrios problemas de teoria dos nmeros.
Uma observao interessante que alguns problemas mais difceis s podem ser resol-
vidos com induo aps algum ajuste.
Exemplo 18. Mostre que

1 3 5 2n 1 1
... < , n > 1. (29)
2 4 6 2n 3n
Tentativa Falha de Demonstrao: Tentando proceder por induo, comeamos obser-

1 1 1 1
vando que, quando n = 1, a expresso se torna 2 < , que equivalente 4 < 3 , que por
3
sua vez equivalente 4 > 3, que evidentemente verdadeira.
1 3 5 2m 1 1
Agora, assumimos a hiptese de induo segundo qual 2 ... 2m < .
4 6 3m
2m + 1 1 3 5 2m 1 2m + 1 1 2m + 1
Multiplicando por dois lados por 2m + 2
, ento ... 2m 2m + 2 < 2m + 2 .
2 4 6 3m
1 3 5 2m 1 2m + 1 1
Ento, para provar a tese de induo segundo qual 2 4 6 ... 2m 2m + 2 1.
3m 3(m + 1)
p
1 2m + 1 1 3(m + 1)
Demonstrao. (Tentativa Falha) Temos que 2m + 2 6 p 6
3m 3(m + 1) 3m
2m + 2 3(m + 1) 2m + 2 2
2m + 1
3m 2m + 1 3(m + 1) (2m + 1)2 6 3m (2m + 2)2 (3m +
3) (4m2 + 4m + 1) 3m (4m2 + 8m + 4) 12m3 + 12m2 + 3m + 12m2 + 12m + 3 6
12m3 + 24m2 + 12m 3m + 3 0. Mas sendo m > 1, afirmao nunca ser verdadeira.
Logo, o lema 6 falso.
Ou seja, ainda que aparentemente estivssemos em um bom caminho e perto da fina-

lizao, nossa tentativa de fazer a prova diretamente por induo falhou miseravelmente.
1
Face a este fracasso, pode-se tentar uma segunda idia. Se observamos que <
3n + 1
1 1 3 5 2n 1 1
, temos que a desigualdade ... 6 implica na desigualdade original.
3n 2 4 6 2n 3n + 1
Ento, para efetuar a prova do exemplo 18 suficiente provar a seguinte proposio:
Proposio 19. Para todo n > 1 vale que:

1 3 5 2n 1 1
... 6 (30)
2 4 6 2n 3n + 1
Demonstrao. Surpreendentemente39, apesar da afirmao da proposio 19 ser mais

forte do que a do exemplo 18, ao contrrio desta, ela facilmente demonstrvel por induo.
38. Este problema pode ser resolvido sem o uso de induo, atravs de outras tcnicas que sero desenvolvidas
no decorrer deste curso. Mas mesmo ao resolver este problema por induo, podemos evitar o uso de uma segunda
induo, se formos espertos o suficiente. Aps a primeira induo, ficamos com o problema de provar que a expreso
3m2 + 3m + 12 sempre um mltiplo de seis. Ao invs de fazer isto atravs de uma segunda induo, mais fcil
observar que ele pode ser escrito como 3 m (m + 1) + 12. Pelo menos um deles, m ou m + 1, precisar ser par.
Logo, o termo m (m + 1) necessariamente par e, portanto, escrevvel como 2k. De modo que 3 m (m + 1) + 12 =
3 2k + 12 = 6 (k + 2). Logo 3m2 + 3m + 12 mltiplo de seis.
39. Por mais paradoxal que parea, no so incomuns situaes assim, em que a verso mais forte de um
problema mais fcil de ser resolvida do que uma verso particular e menos poderosa. O matemtico G. Polya
chamava isto de o paradoxo da inveno. Infelizmente no existe nenhuma regra que nos permita saber quando
vale a pena generalizar o problema que estamos tentando resolver ou no. O guia sempre a intuio que, embora
dependa fortemente da experincia e da qualidade do matemtico, tambm sempre envolve um certo grau de sorte.
1 11
De fato, para n = 1, claro que pn = 2 e = 2 portanto a (30) vale para n = 1.

3n+1
1 3 5 2m 1 1
Agora admita que ela valha para n = m, isto , 2 4 6 ... 2m 6 . Ento
3m + 1
2m + 1 1 3 5 2m 1 2m + 1
multiplicando ambos os lados da equao por 2m + 2 , temos 2 4 6 ... 2m 2m + 2 6
1 2m + 1
2m + 2 , isto ,
3m + 1
1 2m + 1
pm+1 6 . (31)
3m + 1 2m + 2
Para provar a tese de induo ento, basta provarmos que:
1 2m + 1 1
Lema 7. 2m + 2 6 p , m > 1.
3m + 1 3(m + 1) + 1

1 2m + 1 1 1 2m + 1 2
Demonstrao. 2m + 2 6 p 2m + 2 6
2 3m + 1 3(m + 1) + 1 3m + 1
1 1 (2m + 1)2 1 1 (2m + 1)2 1
p 3m + 1 (2m + 2)2 6 3(m + 1) + 1 3m + 1 (2m + 2)2 6 3m + 4
3(m + 1) + 1
(2m + 1)2 (3m + 4) 6 (3m + 1) (2m + 2)2 (4m2 + 4m + 1) (3m + 4) 6
(3m + 1) (4m2
+ 8m + 4) 12m3 + 28m2 + 19m + 4 6 12m3 + 28m2 + 20m +
4 0 6 m que verdadeiro e, portanto, prova o lema.
O lema que acabamos de provar, juntamente com a equao 31 e a propriedade tran-

1
sitiva, implica que pm+1 6 p que a tese de induo40.
3(m + 1) + 1
Nota 6. O exerccio 111 apresenta uma situao similar. A prova direta de que Sn < 3 por
1
induo no se aplica, porm a verso mais fraca Sn < 3 n nos permite o uso da induo.
Os exerccios a seguir so bem mais difceis do que os outros no restante deste texto e
podem ser entendidos como desafios.
1 1 1
Exerccio 140. Mostrar que 1 + 22 + 32 + ... + n2 < 2.
1 1 1
Exerccio 141. Mostrar que 1 + + + ... + n < 2 n.
2 3
2.7.8 Definies por induo (definies recursivas)

comum (e perfeitamente vlido) definir-se um conjunto ou uma sequncia de forma
indutiva. Por exemplo, podemos definir a sequncia xn fazendo x0 = 0 e definindo-se todos
os outros elementos da sequncia de forma indutiva pela relao xn+1 = (xn + 1)2. Esta
relao nos permitiria calcular x1 a partir de x0 e, uma vez calculado x1, isto por sua vez
nos permitiria calcular x2 que, por sua vez, nos permitiria calcular x3 e etc:
x0 = 0
x1 = (x0 + 1)2 = (0 + 1)2 = 1
x2 = (x1 + 1)2 = (1 + 1)2 = 4
x3 = (x2 + 1)2 = (4 + 1)2 = 25
x4 = (x3 + 1)2 = (25 + 1)2 = 676
x5 = (x4 + 1)2 = (676 + 1)2 = 458329
(....)
40. Existe tambm uma belssima prova elementar para a equao (29) sem o uso de induo, mas inclu-la
aqui nos desviaria de nossos propsitos de exibir casos mais avanados do princpio da induo.
J se definissemos a sequncia yn a partir de y0 = 1, y1 = 1 e yn+2 = yn+1 yn teramos
y0 = 1
y1 = 1
y2 = y1 y0 = 1 1 = 0
y3 = y2 y1 = 0 1 = 1
y4 = y3 y2 = 1 0 = 1
y5 = y4 y3 = 1 (1) = 0
(...)
Devido sua natureza intrinsecamente recursiva, muito comum que teoremas envol-
vendo sequncias definidas indutivamente, sejam feitos atravs do Princpio da Induo.
Exemplo 19. Seja zn a sequncia definida recursivamente por

z1 = 1
zn (32)
zn+1 = + n, n N
n
Prove que zn = n, n N.
Demonstrao. Procederemos utilizando induo em n. Temos que, quando n = 1,

zn = z1 = 1 = n, logo a tese vlida neste caso particular. Precisamos ainda provar de que
z
se zm = m, ento zm+1 = m + 1. Mas, pela equao de recurso, temos que zm+1 = mm + m.
m
Como zm = m, temos que zm+1 = m + m, o que implica que zm+1 = m + 1, que exatamente
a tese de induo.
Exemplo 20. Sejam , [0, 1] e seja zn a sequncia definida indutivamente por z0 =

z
e zn+1 = 2 zn2 + 2n . Prove que zn 6 1, n N.
Demonstrao. A prova ser feita utilizando induo em n. Admitiremos como bvio o

fato de que todos os termos da sequncia zn so maiores ou iguais a zero41.
Quando n = 0, temos que zn = z0 = [0, 1] e, portanto zn 6 1. Logo, a afirmao
vlida quando n = 0.
Para proceder com a induo propriamente dita, seja m N tal que zm 6 1. Ento, como
todos os termos da sequncia so positivos, podemos elevar os dois lados da desigualdade
2
2 zm 1
ao quadrado e obter que zm 6 1. Dividindo esta equao por dois, obtemos que 2
6 2.
2
2 1 2 zm 1
Mas j que [0, 1], temos que 2
zm 6 2 zm . Mas j vimos que 2
6 2 , logo
2 1
z 6 . (33)
2 m 2
Por outro lado, se dividirmos a hiptese de induo zm 6 1 por dois, obtemos
zm 1
6 (34)
2 2
2 zm
Somando estas duas equaes em destaque, conclumos que 2
zm + 2
6 1. Mas a relao
2 z
de recorrncia que define a sequncia diz que zm+1 = 2
zm + 2m . Logo, podemos concluir
que zm+1 6 1, que a tese de induo.
41. Se desejarmos ser realmente rigorosos, uma prova formal desta afirmao pode ser feita utilizando-se
induo. Caso esta demonstrao no parea bvia, convidamos o leitor a faz-la de maneira completa.
Exerccio 142. Se zn uma sequncia definida indutivamente por z0 = 0, z1 = 1 e zn+2 = zn+1 + zn n.
Determine o valor de z4.
Exerccio 143. Se zn uma sequncia definida indutivamente por z0 = 1 e zn+1 = zn2 determine o
valor de z2011 . No se preocupe muito em justificar rigorosamente isso, apenas enxergue a resposta.
Exerccio 144. Se zn uma sequncia definida indutivamente por z0 = 0 e zn+1 = zn + 1 utilize induo
matemtica para provar que zn = n, n N.
Exerccio 145. Se zn uma sequncia definida indutivamente por z0 = 5 e zn+1 = zn + 3 utilize induo
matemtica para provar que zn = 3(n + 1) + 2, n N.
Exerccio 146. Seja zn a sequncia definida recursivamente por
(
z0 = 0

zn+1 = 1 + 2n + n zn , n N
Prove que zn = n, n N.

Exerccio 147. Seja xn uma sequncia definida indutivamente por x0 = 0 e xn+1 = 2 + xn . Mostre
que a sequncia xn limitada superiormente por 2.

148. Considere a sequncia xn tal que x0 = 0 e xn+1 = 1 +
Exerccio xn , n N. Prove que
3+ 5
xn < 2 , paraqtodo n natural. DICA: Antes de fazer a induo, faa as contas e conclua primeiro

3+ 5 3+ 5
que 2
=1+ 2
.
Exerccio 149. Seja a [0, 1]. Seja xn definida indutivamente por x0 = a e xn+1 = 1 x2n. Mostre que
xn 6 1, n > 0.
2.7.9 Formalizao de algumas sequncias comuns usando-se recurso

Muitas sequncias que aparecem na prtica e que j nos so familiares so definidas
formalmente partindo de uma definio por induo. Nesta seo veremos alguns exemplos
disso e veremos como usar esta definio para provar rigorosamente as propriedades destas
sequncias42.
Exemplo 21. Seja a R e n N. O valor de an definido indutivamente a partir das

identidades
a0 = 1 (35)
an = a an1, n > 1 (36)

Prove a familiar propriedade an+m = an am para todo n, m N.
Demonstrao. Primeiramente notamos que a1 = a, pois a equao 36 implica que

a1 = a a11 = a ao que, por (35) a 1 = a.
Prosseguimos por induo em n.
Para n = 1, precisamos provar que a1+m = a1 am , m N. Ento, ao aplicarmos a
equao 36 temos a1+m = a a(1+m)1 = a am = a1 am. Logo a propriedade vale quando
n = 1.
Admitindo-se agora que seja verdade que, para um certo p, a p+m = a p am , m N.
Precisamos provar que a(p+1)+m = a p+1 am , m N. Como a(p+1)+m = a(p+m)+1, pela
equao 36 isto se torna a(p+1)+m = =a a((p+m)+1)1 = a a p+m que, pela hiptese de
induo, se torna a(p+1)+m = a a p am que, novamente pela equao 36, se transforma em
a(p+1)+m = a p+1 am, que a tese de induo.
42. Como exige o mtodo axiomtico, todas as propriedades de um objeto matemtico devem ser deduzidas
exclusivamente a partir de sua definio. Considerando que todos os conceitos definidos aqui nesta seo so muito
familiares, devemos nos precaver quanto ao uso automtico de propriedades envolvendo estes conceitos e que no
tenham sido provados ou no estejam explicitados na definio.
Comentrio 6. Talvez seja conveniente incluir aqui uma observao explicando o porqu
da conveno segundo a qual a0 = 1, a R. Para tal, nos coloquemos do ponto de vista
de um matemtico que s conhece a definio
ak = a
|||||||||||a|||||||{z}
a }}...
}}}}}}}}}}}}}}a
k vezes
com k N e que deseja generalizar este conceito para outros valores de k. Seria interessante
que a familiar43 frmula an+m = an am continuasse vlido mesmo para valores no-naturais
de m e n. Se isto acontecesse, poderamos fazer n = 0 e m = 1 e obter a0+1 = a0 a1, que
a1 = a0 a1. J que a =
/ 0, podemos cortar o a1 dos dois lados da equao e concluir que
1 = a0. Isto explica a conveno: o nico valor possvel para a0 que permite que a frmula
de an+m = an am continue sendo vlida44.
Como os exemplos abaixo mostram, vrias outras expresses familiares so natural-

mente definidas por induo.
Exemplo 22. O somatrio sn = a1 + a2 + a3 + ... + an1 + an definido indutivamente por:

s0 = 0,
sn+1 = sn + an+1, n > 0
Exemplo 23. A funo fatorial sn (usualmente denotada como n!) definida indutiva-
mente atravs das identidades:

s0 = 1,
sn+1 = sn (n + 1), n > 0
Exemplo 24. Mais geralmente, um produtrio pn = a1 a2 a3 ... an1 an formalmente

definido de forma indutiva como:

p0 = 1,
pn+1 = pn an+1, n > 0
Exerccio 150. Prove que amn = (am)n , m, n N.

Exerccio 151. Prove que para todo a, b R vale que (a b)n = an bn , n N.
Exerccio 152. O objetivo desta questo ilustrar como o conceito de multiplicao entre dois
nmeros naturais pode ser construdo utilizando-se apenas a noo de soma.
43. Esta familiar frmula natural, pois,

am = a|||||||||||a|||||||{z}
a }}}...
}}}}}}}}}}}}}}a
m vezes
e
an = a|||||||||||a|||||||{z}
a }}}...
}}}}}}}}}}}}}}a
n vezes
de modo que
an am = a|||||||||||a|||||||{z}
a }}}...
}}}}}}}}}}}}}}a a|||||||||||a|||||||{z}
a }}}...
}}}}}}}}}}}}}}a
} .
n vezes m vezes
Ento
an am = a|||||||||||a|||||||{z}
a }}}...
}}}}}}}}}}}}}}a
} ,
n + m vezes
isto , an am = an+m , m, n N.
1
44. A conveno ak = ak quando k um nmero negativo pode ser explicada analogamente: se quisermos que a
identidade an+m = an am valha para todos os inteiros m e n (incluindo os valores negativos), fazendo n = k e n = k
1
obtemos que ak+(k) = ak ak. Entao a0 = ak ak . Da, temos que 1 = ak ak e, portanto, ak = ak .
Para tal, dados dois nmeros naturais t e k, defina recursivamente a sequncia xn atravs das equaes
x0 = 0 e xn+1 = xn + t, n N. O valor de t k ento ser definido como o valor de xk.
Utilize esta definio e as propriedades da soma para provar a propriedade distributiva direita:
t (k1 + k2) = t k1 + t k2, t, k1, k2 N.
2.7.10 O segundo Princpio da Induo

Uma variao, muitas vezes til, do Princpio da Induo dada abaixo:
Teorema 2. (Segundo Princpio da Induo) Seja A uma afirmao referente

elementos do conjunto dos nmeros inteiros. Se existir n0 Z tal que:
i. A verdadeira para n0 ;
ii. toda vez que A for verdadeira para todos os valores de j com n0 6 j 6 m ento ela
tambm verdadeira para m+1;
ento esta afirmao verdadeira para todo nmero inteiro n com n > n0.
Demonstrao. (omitida - veja o exerccio 168).
O segundo Princpio da Induo bastante parecido com o primeiro. A parte inicial, que
consiste em provar que a afirmao A vale quando n0, continua igual. Tambm o objetivo
da segunda parte (a tese de induo) continua o mesmo: provar que A vale em m + 1. A
nica coisa em que o segundo Princpio da Induo difere do primeiro, na hiptese de
induo. No primeiro Princpio da Induo, esta consistiu na veracidade da afirmao A
apenas em m. No segundo, esta consistir na veracidade da afirmao A para todos os
valores de n satisfazendo n0 6 n 6 m (o que inclui m, porm tambm inclui m 1, m 2,
m 3, ... e n0). Ou seja, a nica novidade no segundo Princpio da Induo que neste, na
hora de provarmos que a afirmao A vale em m + 1, ao invs de admitirmos como hiptese
de induo somente que a afirmao A vale para m, admitiremos que ela vale para todos os
valores menores ou iguais a m, a partir do n0: ou seja, na prova de que A vale para m + 1,
podemos usar que ela vale para n0, n0 + 1, n0 + 2, ..., m 2, m 1 e m.
Comentrio 7. Em geral, o Primeiro Principal da Induo se usa quando o caso n + 1

pode ser descrito como funo do caso anterior n, ao passo que o Segundo Princpio da
Induo se usa quando o caso n + 1 descrito como funo de vrios (ou todos) os casos
anteriores n + 1.
Exemplo 25. Seja xn uma sequncia tal que

(
0 < x0 < x1 < 2
(37)
xn+2 = xn+1 xn , n N
Prove que esta sequncia limitada superiormente por 2.
Demonstrao. Pela definio de sequncia limitada superiormente, o que queremos

provar que xn 6 2, n N. Ou seja, queremos provar que essa desigualdade vale a partir
de n0 = 0. Como a relao que define xn+2 envolve no s o termo imediatamente anterior
xn+1 mas tambm o termo xn, utilizaremos o segundo Princpio da Induo. Exatamente
como fariamos se estivssemos usando o primeiro tipo de induo, comeamos provando
que a afirmao vale quando n = 0 (que o valor de n0). Isto , queremos provar que xn 6 2
quando n = 0. Neste caso, a prova trivial pois, por hiptese, x0 < 2.
Agora passemos induo propriamente dita. Seja m N. Temos que provar a tese de
induo xm+1 6 2, nos baseando na suposio de que xn 6 2 vale para todos os valores de
n com 0 6 n 6 m. Isto , sabemos que xm 6 2, xm1 6 2, xm2 6 2, ..., x2 6 2, x1 6 2 e x0 6 2
e precisamos provar que xm+1 < 2.
Mas da relao de recorrncia45,

xm+1 = xm xm1 . (38)
A hiptese de induo nos diz que (entre outras coisas) xm 6 2 e xm1 6 2. Aplicando
isto em (38), j que todos os valores da sequncia 46
so obviamente positivos, obtemos
que xm xm1 6 2 2 e,portanto, xm xm1 6 2 2 . Ento a equao (38) implica que

xm+1 6 2 2 , de onde se conclui que xm+1 6 2, que a nossa tese de induo.
Pelo segundo Princpio da Induo, a proposio est demonstrada.
Exemplo 26. Considere a sequncia an definida por a0 = 1, a1 = 3, a2 = 9 e pela relao

an+1 = an + 3an1 + 9an2, n N|n > 2
Prove que an = 3n , n N
Demonstrao. A prova ser feita por induo. Como a equao de recurso relaciona
o prximo termo da sequncia, an+1, no s com aquele imediatamente anterior, an, mas
tambm com vrios outros, como an1 e an2, ento vamos usar o segundo princpio da
induo.
Temos que a afirmao evidentemente vlida no caso particular em que n = 0, pois
a temos an = a0 e a0 = 1 por definio. Como 3n = 30 = 1 ento temos que an = 3n quando
n = 0, como queramos.
Agora, assumimos a hiptese de induo, segundo qual a proposio vale para todos
os valores de n com 0 6 n 6 m e precisamos provar a tese de induo segundo a qual a
proposio vale para o caso n = m. Como a proposio vale para todos os valores de n
satisfazendo 0 6 n 6 m, ento, pelo menos para os casos em que m > 2, ela vale para n = m,
n = m 1 e n = m 2. Logo teramos:

a m = 3m

am1 = 3m1 (39)

am2 = 3m2
Mas pela relao de recurso, tambm vale que am+1 = am + 3am1 + 9am2 que, aps a
a aplicao da equao (39) torna-se am+1 = 3m + 3 3m1 + 9 3m2 = 3m + 31 3m1 +
32 3m2 = 3m + 3m + 3m = 3 3m = 3m+1, que a tese de induo.
O nosso raciocnio acima est correto, mas assumiu que m > 2 (pois, seno, a expresso
am2 pode perder o significado). Mas tendo sido capaz de efetuar a provar neste caso
mais geral, fcil provar a tese de induo nos casos particulares restantes, como faremos
a seguir.
45. Existe uma pequena dificuldade tcnica aqui, pois como a relao de recorrncia s se aplica valores
naturais de n (isto , n > 0), ento a equao (38) s vale quando m > 2, no tendo qualquer sentido quando m = 1 ou
m = 0. O correto mesmo seria separar a prova da tese de induo em trs casos: m > 2, m = 1 e m = 0. Os dois ltimos
casos podem ser feitos na mo: partindo da hiptese segundo a qual 0 < x0 < x1 < 2, temos que x0 < 2 e x1 < 2. E
o caso principal, m > 2, pode ser feito como fizemos no texto. Apesar de termos optado por inserir esta observao
numa nota de rodap para no distrair o leitor das partes mais essenciais da demonstrao, observamos que
importante ter este tipo de restrio em mente: sem a hiptese x1 < 2, a proposio seria falsa (pois falharia em n = 1)
e na verso da demonstrao que colocamos no texto principal, em nenhum momento utilizou-se esta informao!
Convidamos o leitor a preencher os buracos desta demonstrao no exerccio 153.
46. Isto poderia ser provado rigorosamente como um lema, antes da resoluo deste problema, tambm atravs
do uso de induo.
No caso m = 0, temos que am+1 = a0+1 = a1. Mas a1 = 3, por definio, ento am+1 = 3.
E bvio que quando m = 0, 3m+1 = 3. Logo realmente verdade a tese de induo segundo
a qual am+1 = 3m+1 tambm no caso em que m = 0.
O caso m = 1 anlogo e ser exibido em formato algo mais reduzido: am+1 = a1+1 =
a2 = 9 = 32 = 3m+1.
Como provamos a tese de induo nos trs casos possvel (m > 2, m = 1 e m = 0), a
proposio est demonstrada.
Exemplo 27. Considere a sequncia definida por a1 = 2 e

an = a1 a2 a3 ... an1, n N com n > 2 (40)
n2)
Mostre que an = 2(2 para todo natural maior ou igual a dois.
Demonstrao. Em qualquer dos princpios da induo, o primeiro passo sempre provar

a afirmao para o primeiro valor de n, que neste caso n = 2. Temos, pela equao 40,
22
que a2 = a1 = 2 que realmente igual a 2(2 ) = 21 = 2. Agora precisamos provar que se
a afirmao vlida para todo valor de n com 2 6 n 6 m (hiptese de induo) ento a
afirmao vale para m + 1. Pela equao de recorrncia, temos que
am+1 = a1 a2 a3 ... am1 am (41)
Mas a hiptese de induo que a afirmao vlida para todo n natural com 2 6 n 6 m.
22 0 32 1 42 2 m3)
Logo a2 = 2(2 ) = 2(2 ), a3 = 2(2 ) = 2(2 ), a4 = 2(2 ) = 2(2 ), ..., am1 = 2(2 e
(2m2)
am = 2 . Alm do mais a1 = 2. Aplicando tudo isso na equao 41:
0 1 2 m2)
am+1 = 2 2(2 ) 2(2 ) 2(2 ) ... 2(2 (42)
que equivalente :
0 +21 +22 +...+2m2)
am+1 = 2 2(1+2 (43)
Aplicando o resultado do exerccio 88, isto se torna
m1 1) m1)
am+1 = 2(1+2 = 2(2 (44)
que exatamente a afirmao para o caso m+1. Ento assumindo que a afirmao era
verdadeira para os valores de n inferiores ou iguais a m, conclumos que ela tinha que
ser verdadeira para m + 1. Isto exatamente o segundo passo na demonstrao pelo
Segundo Princpio da Induo. Como fizemos os dois passos necessrios, a afirmao est
demonstrada.
Exerccio 153. Como foi explicado na nota de rodap 45 (pgina 43), a demonstrao do exemplo 25
apresentava uma incorreo tcnica pois assumia m > 2 na hora de provar a tese de induo. Corrija
esta demonstrao, provando a tese de induo nos casos faltantes (m = 0 e m = 1).
Exerccio 154. Dada a recorrncia an+2 = an+1 + 2 an com a0 = a1 = 1, mostre que para todo n
natural vale que an 6 2n.
Exerccio 155. Seja a sequncia definida recursivamente por x0 = 1, x1 = 3 e
xn+1 = 2 xn + 3 xn1
Prove que xn = 3n , n N.
Exerccio 156. Considere a sequncia definida por a1 = 1 e an+1 = a1 + a2 + a3 + ... + an, n N.
Encontre uma frmula fechada para an com n > 2 e demonstre-a por induo.
Exerccio 157. Dada a sequncia an definida por a1 = 3 e an+1 = a1 + a2 + a3 + ... + an, n N,
encontre uma frmula fechada para an que seja vlida para n > 2 e demonstre-a por induo. [DICA:
a
Se tiver dificuldade em enxergar a frmula para an, preste ateno nos valores de 3n . Voc tambm
precisar da frmula da soma dos termos da srie geomtrica que foi provada no exerccio 88].
Exerccio 158. Considere a sequncia definida por a1 = 2 e an = a1 + 2 a2 + 3 a3 + ... + (n 1) an1,

n N com n>2. Encontre uma frmula fechada para an com n > 2 e demonstre-a por induo.
Exerccio 159. Seja a sequncia definida por x0 = 0, x1 = 5 e
2xn + 3xn1
xn+1 = 5 + , n > 1.
5
Prove que xn > 4n, n N.
Exerccio 160. Seja a sequncia definida por a1 = 0, a2 = 3 e
an = an2 + 2 an1, n N|n > 3.
Prove que an par para todo os valores naturais no nulos de n.
n
Exerccio 161. Seja sn = 2(2 ) + 1. Prove que s0 s1 s2 ... sn1 = sn 2, n N.
Exerccio 162. A sequncia de Fibonacci definida indutivamente como F1 = F2 = 1 e Fn+2 =
Fn+1 + Fn. Mostre que Fn < 2n para todo n natural maior ou igual a um.
Exerccio 163. Considere47 a sequncia definida por a1 = 1 e a2 = 3, e an = an1 + an2 para n natural
7 n
maior ou igual a 3. Prove que an < 4 para todo n natural maior ou igual a um.
Exerccio 164. Mostre que a sequncia de Fibonacci definida no exerccio 162 satisfaz
F1 + F2 + ... + Fn = Fn+2 + 1.
Exerccio 165. Seja xn uma sequncia definida por x1 = 0 e

xn+1 = 2 + x1 + x2 + ... + xn
x2
e defina yn = nn2 . Prove que yn limitada superiormente por 2, para todo n > 1.
Exerccio 166. No pas da matemtica, utilizam-se apenas moedas que valem 4 ou 7 centavos. Prove
que qualquer valor maior ou igual a 18 centavos pode ser pago utilizando apenas estas moedas.
Exerccio 167. Procure entender a lgica por detrs do Segundo Princpio da Induo, a exemplo do
que foi feito com o Primeiro Princpio da induo na seo 2.7.
Exerccio 168. Adapte a demonstrao do Primeiro Principio de Induo que foi feita na pgina 24,
para provar o segundo Princpio da Induo a partir do Princpio da Boa Ordem.
47. Este o exemplo 1.3.9 da terceira edio do livro Nmeros: Uma Introduo Matemtica do Csar P.
Milies e Snia P. Coelho. Se voc encontrar alguma dificuldade neste exerccio, voc pode encontr-lo resolvido ali.

apostilaAlgebraA4 Versao0631

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

apostilaAlgebraA4 Versao0631

Diunggah oleh

Hak Cipta:

Format Tersedia

Os axiomas dos nmeros inteiros

Autor: Anderson Brasil (IFRJ-Nilpolis).

Comentrio 1. Um sistema axiomtico dito inconsistente quando leva a contradies.

1.1 Nota histrica

1.2 Conceitos primitivos e no primitivos

Em contraste com estes conceitos primitivos, existem os conceitos no primitivos, que

2 O conjunto dos Nmeros Inteiros

Nota 1. No sistema axiomtico que estamos introduzindo, estes operadores de soma e

Nota 2. Como os operadores de soma e multiplicao so definidos axiomaticamente como

2.1 Axiomas da soma

Axioma 2. (Existncia do Neutro Aditivo Esquerda) Existe um nico elemento,

Axioma 3. (Existncia do Inverso Aditivo) Para todo nmero inteiro a, existe um

Axioma 4. (Propriedade Comutativa Direita para a soma) Dados dois nmeros

Proposio 1. Se a um nmero inteiro, ento 0 + a = a.

Demonstrao. Seja a um inteiro qualquer. Pelo axioma 4, temos que 0 + a = a + 0. Por

Proposio 2. Se a um nmero inteiro, ento (a) + a = 0.

Demonstrao. Pelo axioma 2, sabemos que a + 0 = a, a Z. Ento, j que esta

Em algumas proposies, pode dar um pouco mais de trabalho encontrar exatamente

Exemplo 1. (a + b) + (c + d) = (a + (b + c)) + d se a, b, c e d so nmeros inteiros.

Demonstrao. Seja h = c + d. Ento (a + b) + (c + d) = (a + b) + h que pelo axioma 1

Exerccio 2. Mostre que se a, b e c so nmeros inteiros, ento (c + a) + b = (b + c) + a.

Proposio 4. Seja a Z.Um nmero inteiro x o inverso aditivo de a se e somente se

Demonstrao. Primeiramente, se x um inverso aditivo de a ento a definio de inverso

Proposio 5. (Propriedade Cancelativa Direita para a soma) Se a, b e c so

Demonstrao. Como a + c e b + c so o mesmo nmero, ento ao somarmos cada

Exerccio 4. (Propriedade Cancelativa Esquerda para a soma) Se a, b e c so nmeros

Nota 3. (Unicidade do elemento neutro aditivo) O axioma 2 afirma no s a exis-

Proposio 6. O nico nmero inteiro tal que

Demonstrao. Por absurdo, suponha que x = 0 seja um nmero inteiro distinto de

2.1.1 O operador de subtrao

Ainda que utilizem a mesma notao, no devemos confundir o operador de subtrao

Proposio 7. Para todo a Z, vale que 0 a = a.

Demonstrao. Por definio de subtrao, 0 a = 0 + (a). Pela proposio 1, isto

Exerccio 5. Prove que a 0 = a, para todo a Z.

Demonstrao. Temos que, pela definio 1, (a b) + c = (a + (b)) + c. Utilizando o axioma 1,

Exerccio 10. Prove que (a b) c = a (b + c), a, b, c Z.

2.2 Axiomas do Produto

Axioma 5. (Propriedade Associativa para o produto)

Axioma 6. (Existncia do Neutro Multiplicativo) Existe um nico elemento em Z,

Axioma 7. (Propriedade Cancelativa esquerda para o produto) Se a, b e c so

Axioma 8. (Propriedade Comutativa para o produto) Se a e b so nmeros inteiros,

Os axiomas 5 e 8 tm uma correspondncia bvia com os axiomas 1 e 4. De fato, ambos

Proposio 8. Para todo a Z, 1 a = a.

Demonstrao. Seja a Z. Entao, pelo axioma 8, temos que 1 a = a 1. Mas, pelo

Exerccio 14. Justifique porque 1 1 = 1.

2.3 A Propriedade Distributiva

Axioma 9. (Propriedade Distributiva Esquerda) Para toda terna de nmeros

Nota 4. A regra de colocar um termo em evidncia meramente a utilizao da pro-

Exerccio 17. (Propriedade Distributiva Direita) Mostre que (a + b) c = a c + b c, para todo

Proposio 9. Para todo inteiro a, tem-se que a 0 = 0.

Demonstrao. Seja a um inteiro qualquer. Comeamos utilizando o axioma 2 para

Corolrio 2. Para todo inteiro a, tem-se que 0 a = 0.

A demonstrao do corolrio acima bvia.

Proposio 10. Sejam a e b inteiros a b = 0, ento a = 0 ou b = 0.

Demonstrao. Por absurdo, admita que a = / 0 e b=/ 0. A proposio 9 permite reescrever

Para o prximo exerccio, convm ter a seguinte definio:

Definio 2. Seja a um nmero inteiro. O quadrado de a denotado por a2 e definido

Exerccio 20. Seja a Z. Mostre que se a2 = 0 ento a = 0.

2.3.1 A Regra dos Sinais

Exemplo 2. Queremos saber qual o resultado de quando multiplicamos um negativo

Exemplo 3. Agora queremos saber o resultado de quando multiplicamos dois nmeros

Proposio 11. (Regra dos Sinais) Sejam a e b nmeros inteiros. Ento: