Tese 5

UNIVERSIDADE ESTADUAL DO CEAR
NATANAEL CHARLES BRITO FREITAS
PRINCPIO DA INDUO MATEMTICA:

FUNDAMENTO TERICO E APLICAES NA
EDUCAO BSICA
FORTALEZA- CEAR
2013
2
NATANAEL CHARLES BRITO FREITAS
PRINCPIO DA INDUO MATEMTICA: FUNDAMENTO

TERICO E APLICAES NA EDUCAO BSICA
Dissertao apresentada ao Curso de

Mestrado Profissional em Matemtica em
rede nacional (PROFMAT) do Centro de
Cincias e Tecnologia (CCT) da
Universidade Estadual do Cear, como
requisito parcial para a obteno do Ttulo
de Mestre em Matemtica.
Orientador: Prof. Dr. Guilherme Lincoln

Aguiar Ellery
Fortaleza-Cear
2013
3
Dados Internacionais de Catalogao na Publicao
Universidade Estadual do Cear
Biblioteca Central Prof. Antnio Martins Filho
Bibliotecrio (a) Leila Cavalcante Stiro CRB-3 / 544
F886p Freitas, Natanael Charles Brito.
Princpio da Induo Matemtica: Fundamento Terico e

Aplicaes na Educao Bsica / Natanael Charles Brito Freitas.
2013.
CD-ROM 97f. : il. (algumas color.) ; 4 pol.
CD-ROM contendo o arquivo no formato PDF do trabalho

acadmico, acondicionado em caixa de DVD Slim (19 x 14 cm x
7 mm).
Dissertao (mestrado) Universidade Estadual do Cear, Centro

de Cincias e Tecnologia, Mestrado Profissional em Matemtica em
Rede Nacional, Fortaleza, 2013.
rea de Concentrao: Matemtica.
Orientao: Prof. Dr. Guilherme Lincoln Aguiar Ellery.
1. Princpio de induo matemtica. 2. Aplicaes. 3. Educao

bsica. I. Ttulo.
CDD: 510
4
5
O Princpio de Induo um eficiente instrumento para a demonstrao de fatos referentes

aos nmeros naturais. Por isso deve-se adquirir prtica em sua utilizao
Elon Lages Lima

6
RESUMO
Essa dissertao trata dos princpios de induo matemtica destacando seu fundamento terico e
suas aplicaes no contexto da educao bsica. Assim, este trabalho apresenta a base terica do
mtodo induo e algumas de suas aplicaes na comprovao de fatos algbricos, geomtricos,
aritmticos e em situaes prticas da vida, no contexto dos nmeros naturais. Nesse intuito, fez-se
uma pesquisa de teoremas importantes versando sobre os nmeros naturais, estudados na educao
bsica, e de suas respectivas demonstraes por induo matemtica, objetivando disponibilizar a
todos os professores e alunos do ensino fundamental e mdio. Deste modo, os principais resultados
so teoremas importantes que ocupam um lugar de destaque na matemtica do ensino bsico,
validados pelo mtodo de induo. O material apresentado nesta pesquisa permite concluir que o
princpio da induo um importante mtodo de comprovao de resultados matemticos, tendo
diversas aplicaes. No incio deste trabalho feita uma pequena abordagem sobre os nmeros
naturais e suas propriedades.
Palavras-chave: Princpios de induo matemtica; Mtodo de induo; Aplicaes; Educao

bsica.
7
ABSTRACT
This dissertation deals with the principles of mathematical induction highlighting its theoretical
foundation and its applications in the context of basic education. Thus, this paper presents the
theoretical basis of the induction method and some of its applications in proving facts algebraic,
geometric, arithmetic and practical situations of life, in the context of natural numbers. To that end,
it was a survey done of important theorems about natural numbers, studied in basic education and
its related statements by mathematical induction, aiming to make available to all teachers and
students of primary and secondary education. Thus, the main results are theorems occupy an
important place in mathematics teaching basic validated by induction method. The material found in
this study allows us to conclude that the principle of induction is an important method of proving
mathematical results, and various applications. Earlier this work is do neon a small approach the
natural numbers and their properties.
Keywords: Principles of mathematical induction, induction method; Applications; basic education.

8
AGRADECIMENTOS
A Deus, por me ajudar a superar todos os desafios.
A meus amigos e familiares, que souberam entender minha ausncia e me apoiaram

durante todo o curso.
A meu companheiro de estudo Cledinardo, por toda ajuda e apoio prestado. Aprendemos
muito um com o outro.
Ao professor Guilherme Ellery, por sua dedicao na coordenao do curso e por suas
orientaes no perodo de elaborao da dissertao.
A todos os professores do curso, por toda colaborao e apoio prestados.
Aos meus colegas do curso, por toda amizade e ajuda. Sucesso a todos.
A Universidade Estadual do Cear, pela oportunidade de fazer o mestrado em suas

instalaes.
Ao Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico-CNPq, pelo apoio

financeiro como bolsista.
9
LISTA DE FIGURAS
Figura 1: Giuseppe Peano ......................................................................................... 16
Figura 2: Efeito domin .............................................................................................. 34
Figura 3: Isaac Newton ............................................................................................. 49
Figura 4: Jacques Bernoulli ....................................................................................... 54
Figura 5: Abraham de Moivre.................................................................................... 67
Figura 6: Jakob Steiner ............................................................................................. 70
Figura 7: Polgono convexo de n+1 lados ................................................................. 71
Figura 8: Leonhard Euler .......................................................................................... 73
Figura 9: Superfcie polidrica limitada convexa ....................................................... 74
Figura 10: Pierre de Fermat ...................................................................................... 78
Figura 11: Leonardo Fibonacci ..................................................................................... 80
Figura 12: Brasil - 40 Selos Postais ........................................................................... 84
Figura 13: Torre de Hani ............................................................................................ 85
Figura 14: Bilhete de Loteria ....................................................................................... 87
Figura 15: Moedas de Ouro ....................................................................................... 89

10
Sumrio
LISTA DE FIGURAS ............................................................................................................................. 9
1. INTRODUO ...........................................................................................................................12
2. NMEROS NATURAIS ...............................................................................................................14
2.1. Contexto histrico: Da Intuio Abstrao.......................................................................14
2.2. Caracterizao dos Nmeros Naturais ...............................................................................16
2.2.1. Axiomas de Peano......................................................................................................16
2.3. Propriedades dos Nmeros Naturais..................................................................................18
2.3.1. Adio em N ..............................................................................................................18
2.3.2. Multiplicao em N ....................................................................................................19
2.3.3. Ordem .......................................................................................................................20
3. PRINCPIO DE INDUO MATEMTICA ....................................................................................26
3.1. Mtodos de Validao .......................................................................................................26
3.2. Induo Emprica ...............................................................................................................28
3.2.1. Conjectura de Fermat ................................................................................................29
3.2.2. Conjectura de Goldbach .............................................................................................30
3.3. Axioma da Induo ............................................................................................................31
3.4. Primeiro Princpio da Induo ............................................................................................32
3.4.1. Prova Indutiva............................................................................................................35
3.4.2. Funes com domnio N .............................................................................................37
3.4.3. Algumas definies dadas por recorrncia .................................................................38
3.5. Primeiro Princpio da Induo generalizado .......................................................................39
3.6. Segundo Princpio da Induo ............................................................................................40
3.7. Segundo Princpio de Induo generalizado .......................................................................42
4. APLICAES DA INDUO MATEMTICA .................................................................................43
4.1. Aplicaes algbricas .........................................................................................................43
4.1.1. Progresses Aritmticas e Geomtricas .....................................................................43
4.1.2. Teoremas Binomiais ...................................................................................................49
4.1.3. Desigualdades algbricas ...........................................................................................54
4.1.4. Somatrios ................................................................................................................56
4.1.5. Propriedades do Determinante de uma matriz ...........................................................63
4.1.6. Outras aplicaes .......................................................................................................66
4.2. Aplicaes geomtricas .....................................................................................................69
4.2.1. Pizza De Steiner .........................................................................................................69
11
4.2.2. Diagonais de um polgono convexo ............................................................................70

4.2.3. Soma dos ngulos internos de um polgono convexo .................................................72
4.2.4. Relao de Euler ........................................................................................................73
4.3. Aplicaes aritmticas .......................................................................................................76
4.3.1. Teorema Fundamental da Aritmtica .........................................................................76
4.3.2. Pequeno Teorema de Fermat .....................................................................................77
4.3.3. Algoritmo de Euclides ................................................................................................78
4.3.4. Princpio de Dirichlet (ou Princpio das gavetas) .........................................................79
4.3.5. Propriedades na sequncia de Fibonacci ....................................................................80
4.4. Aplicaes no Mundo Material ..........................................................................................84
4.4.1. O problema da franquia postal ...................................................................................84
4.4.2. Torre de Hani e o Fim do Mundo ..............................................................................85
4.4.3. O problema da loteria ................................................................................................87
4.4.4. O Problema da moeda falsa .......................................................................................89
4.4.5. Os coelhos de Fibonacci .............................................................................................90
CONSIDERAES FINAIS ...................................................................................................................92
ANEXO: Equivalncia entre os princpios de Boa Ordem e Induo Matemtica ................................97
12
1. INTRODUO
Esta pesquisa aborda os princpios de induo, seu fundamento terico e suas

diversas aplicaes na matemtica estudada na educao bsica.
Na matemtica, as proposies podem ser comprovadas pelo uso de vrios

mtodos. Aplicando-os, podemos provar que uma determinada propriedade verdadeira ou
no, verificando se ela constitui, de fato, um teorema. Na histria do desenvolvimento
matemtico, vemos que nem sempre foi assim. Segundo Lzaro (2003, p.243), foi a partir da
obra de Euclides, Os elementos, que passou-se a exigir a demonstrao para os resultados
matemticos.
No h dvidas de que as demonstraes possuem um carter essencial na

matemtica. Neste contexto, este trabalho prope o uso do mtodo da induo matemtica,
como um dos mtodos de demonstrao, para validar teoremas e proposies matemticas
envolvendo nmeros naturais, estudados na educao bsica.
Um dos resultados centrais desta pesquisa o teorema conhecido como

Princpio de Induo Matemtica, destacando, com particular interesse, suas diversas
aplicaes na matemtica estudada no ensino bsico.
Veremos que este teorema muito til para comprovar frmulas e proposies
dadas a priori e para confirmar conjecturas feitas sobre subconjuntos infinitos de N.
Para desenvolvimento da teoria abordada nesta pesquisa, optamos pelo mtodo

axiomtico dedutivo que consiste em partir de verdades inquestionveis (axiomas de Peano)
e utilizando argumentaes lgicas, deduzir novas verdades.
Atualmente, nas escolas de ensino mdio, em sua maioria, as demonstraes

so postas de lado e os resultados matemticos so apresentados como verdades
absolutas. Isto se d, dentre outros motivos, pela dificuldade apresentada pelos alunos e
pelo tipo de demonstrao utilizada pelos professores. Nesse contexto, o mtodo de
induo se encaixa perfeitamente, tendo em vista ser uma ferramenta muito simples, e
muito til para provar propriedades feitas sobre nmeros naturais. Podendo, assim,
despertar nos alunos o interesse pelas demonstraes.
Este trabalho trata de fundamentar o mtodo de induo, fornecer uma lista de

propriedades matemticas provadas a partir dele. Disponibilizando est pesquisa no s
para estudantes universitrios, mas tambm para estudantes do ensino mdio e professores
13
da educao bsica. Deste modo, pretendo contribuir para a melhora do ensino da

matemtica na educao bsica.
Esta dissertao est estruturada em cinco partes. A primeira a introdutria e

traz informaes gerais da pesquisa. A segunda faz um estudo dos nmeros naturais,
apresentando e demonstrando algumas de suas propriedades. O destaque desta seo so
os axiomas de Giuseppe Peano (1858 1932) nos quais se fundamentam a caracterizao
dos nmeros naturais e os princpios de induo.
Em seguida, no captulo 3, so enunciados os princpios de induo e suas

respectivas demonstraes, intercaladas no texto so apresentadas algumas aplicaes,
entre as quais se destacam a prova indutiva e as definies recorrentes.
O captulo 4 parte central desta pesquisa, pois apresenta uma srie de

aplicaes algbricas, geomtricas e aritmticas do mtodo indutivo. A ltima seo deste
captulo ainda contm cinco problemas, particularmente interessantes, onde mais uma vez,
o princpio da induo matemtica til para solucion-los. Todas estas aplicaes podem,
perfeitamente, ser abordadas na educao bsica.
A ltima parte dedicada s consideraes finais e conclusivas resultantes da

pesquisa realizada.
Considerando sempre o rigor intrnseco Matemtica, procurou-se manter uma

ordem apropriada dos tpicos abordados.
14
2. NMEROS NATURAIS
Neste captulo apresentado um estudo dos nmeros naturais, abordando sua

caracterizao e sua evoluo de noo intuitiva para ente abstrato. Na ltima seo, est
descrita uma relao de propriedades dos nmeros naturais.
2.1. Contexto histrico: Da Intuio Abstrao
Os nmeros constituem um dos principais objetos de estudo da matemtica e

so encontrados nos seus diversos segmentos.
Segundo Lima (2006, p.25), os textos tradicionais afirmam que:
Nmero o resultado da comparao entre uma grandeza e unidade. Se a

grandeza discreta, essa comparao chama-se uma contagem e o
resultado um nmero inteiro; se a grandeza contnua, a comparao
chama-se medio e o resultado um nmero real
Esta definio tradicional de nmero nos mostra, exatamente, para que servem e
por quais motivos foram criados os nmeros. Eles so entes abstratos que nos permitem
contar e medir.
As noes primitivas de nmero, grandeza e forma podem ser encontradas nos

primeiros tempos da raa humana e, em todas as etapas de sua evoluo, encontra-se o
sentido de nmero.
Por meio de uma srie de situaes, o homem completou sua ideia restrita de
nmero natural com a prtica da operao de contar. Segundo Boyer (1974, p.166) [...]
nossos mais antigos antepassados a princpio s contavam at dois, qualquer outro
conjunto, alm desse nvel era dado como muitos .
Pode-se dizer que a operao de contagem se realiza fazendo corresponder

cada objeto de uma coleo (conjunto), a um nmero da sucesso natural: 1,2,3,4, ... .
Com o passar do tempo a ideia de nmero tornou-se amplamente vivida pelo

homem e ele sentiu a necessidade de exprimi-lo de algum modo, inicialmente por meio de
expresses, gestos, palavras, smbolos ou sinais. Os dedos da mo poderiam ser usados
para indicar um conjunto de um, dois, trs, quatro ou cinco objetos. Para fazer uma
correspondncia com os elementos de um conjunto maior podiam ser usados montes de
pedra.
15
medida que a civilizao se desenvolveu, a humanidade adotou os nmeros

naturais como modelo abstrato de contagem.
Dentre todos os nmeros adotados pelo homem, os naturais foram os primeiros

a ser criados, inicialmente com o intuito de contar. Entretanto, sua evoluo de uma noo
intuitiva para um conceito mais elaborado foi muito lenta.
Uma vez adotado, o nmero se desliga do objeto que ele representava

originalmente, a relao entre os dois esquecida e o nmero passa a ser um ente abstrato,
sendo indicado por um smbolo ou por seu nome, quando possvel.
As necessidades provocadas por um sistema mais evoludo e cada vez mais

complexo conduziram, atravs dos sculos, a formalizao e sistematizao do conjunto
dos nmeros naturais.
Considera-se que os nmeros naturais so 1, 2, 3, 4, 5, ... . A totalidade desses

nmeros constitui o conjunto N que ser chamado de conjunto dos nmeros naturais.
Usando notao de conjuntos, tem-se:
N = { 1, 2, 3, 4, 5, ... } .
Comparar conjuntos de objetos com a sequncia 1, 2, 3, 4, ... torna mais preciso

o processo de contar; logo, esse processo pressupe o conhecimento dessa sequncia
numrica.
Apesar de sua importncia, o conjunto N no suficiente para o estudo de toda

a matemtica e no atende todas as necessidades prticas da vida cotidiana. No entanto,
a partir de N e de suas propriedades que podemos construir os principais conjuntos
numricos usados na educao bsica.
Praticamente, todos os livros adotados nas instituies de educao bsica no

Brasil consideram o nmero 0 (zero) como o primeiro nmero natural. Trata-se de uma
questo de preferncia do autor, definida previamente, de acordo com a teoria que se
pretende desenvolver.
Nesta pesquisa, optou-se por adotar o conjunto N como sendo
N = { 1, 2, 3, 4, 5, ...}.
Deve-se ter em mente que o smbolo 0 foi usado, inicialmente, pelos maias e
pelos hindus, difundido pelos rabes e adotado no ocidente, no como um nmero mas
como um algarismo, com a nica funo de preencher uma casa decimal vazia.
16
A noo primitiva de nmero evoluiu ao ponto de termos um sistema de

numerao que nos permite, por meio do uso dos smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9,
chamados algarismos, representar todos os nmeros naturais.
A criao de um smbolo para representar o nada constitui um fato ousado na

evoluo do pensamento. Essa criao relativamente recente e foi devida a exigncias da
numerao escrita.
No conjunto N valem dois princpios fundamentais: o Princpio da Boa Ordem e o

Princpio da Induo Matemtica. Estes so apresentados adiante e provado, no anexo
desta pesquisa, que eles so equivalentes.
2.2. Caracterizao dos Nmeros Naturais
Nesta seo, apresentada uma breve abordagem sobre a caracterizao dos

nmeros naturais. Trata-se da teoria axiomtica dos nmeros naturais, onde nmeros
naturais e sucessor so noes primitivas e os axiomas so os de Peano.
2.2.1. Axiomas de Peano
Figura 1: Giuseppe Peano
Giuseppe Peano nasceu no dia 27 de agosto de 1858 em Piemont, Itlia e

morreu em 20 de abril de 1932 em Turim, Itlia. Em 1889 publicou os seus axiomas. Deve-
se a Peano a constatao de que toda a teoria dos nmeros naturais pode ser desenvolvida
a partir de quatro fatos bsicos, denominados Axiomas de Peano.
17
A partir destes princpios, possvel descrever, de forma precisa e concisa,

todos os nmeros naturais. Deste modo, os quatro axiomas elaborados por Giuseppe Peano
permitem a construo axiomtica de N.
Os elementos do conjunto N so denominados nmeros naturais. A

caracterizao de N feita, essencialmente, a partir da noo primitiva de sucessor. De
modo intuitivo, dados n, n N, dizer que n sucessor de n significa dizer que n vem logo
depois de n, no havendo nenhum nmero natural entre eles.
O termo primitivo sucessor no est definido. Porm, seu uso disciplinado

pelos seguintes princpios:
P1 Todo nmero natural tem um nico sucessor;
P2 Nmeros naturais distintos tm sucessores distintos, ou equivalentemente, nmeros

naturais que tm o mesmo sucessor so iguais;
P3 Existe um nico nmero, chamado um e indicado por 1, que no sucessor de nenhum

outro;
P4 Sendo X um conjunto contendo nmeros naturais tal que: 1 X e o sucessor de todo

elemento de X ainda pertence a X. Ento X = N.
Estes princpios, so denominados axiomas de Peano. Eles so os pilares de

toda a teoria dos nmeros naturais, pois a partir deles se pode provar todas as propriedades
de N.
Outra forma, muito interessante, de enunciar os axiomas de Peano feita pelo

autor Elon Lages Lima(Revista Eureka, No 3, de 1998). Nela definida uma funo sucessor
s: N N que apresenta as seguintes caractersticas:
A Existe uma funo s: N N, que associa a cada n N um elemento s(n) N, chamado

sucessor de n.
B A funo s: N N injetiva.
C Existe um nico elemento 1 no conjunto N tal que 1 s(n) para todo n N.
D Se um subconjunto X de N tal que1 X e s(X) X (isto , n X implica s(n) X, para

todo n N), ento X=N.
18
Usando a notao s(n) para indicar o sucessor de um nmero natural n, tem-se

ento 2 = s(1), 3 = s(2), 4 = s(3), s(4) = 5, e assim por diante. Desta forma, a igualdade
s(1) = 2 indica que o smbolo 2 usado para indicar o sucessor de 1. A mesma ideia se
aplica s demais igualdades.
Deste modo, indica-se a sequncia dos nmeros naturais como segue:
Assim, aplicando sucessivas vezes o procedimento de tomar o sucessor s(n),

obtm-se todos os nmeros naturais.
Segundo LIMA (1998)
o axioma da induo uma forma sagaz e operacional de dizer que

qualquer nmero natural n pode ser alcanado se partirmos de 1 e
repetirmos suficientemente a operao de tomar o sucessor de um nmero
Depois de definir a operao de adio para os naturais adotado n+1 em vez

de s(n).
2.3. Propriedades dos Nmeros Naturais
Nesta seo, so apresentadas algumas das propriedades dos nmeros

naturais.
Entre os nmeros naturais define-se duas operaes fundamentais: a adio,

que aos nmeros n,p N faz corresponder a soma n + p e a multiplicao que lhes associa
ao produto n.p.
2.3.1. Adio em N
De forma intuitiva, a soma n + p o nmero que encontra-se ao efetuar a

operao de tomar o sucessor de n por p vezes seguidas. Em particular, tem-se que n+1 o
sucessor de n.
Fixado n, a soma n+1 est definida, pois trata-se do sucessor de n. Supondo

definida a soma n+p e considerando a igualdade n+(p+1) = (n+p) + 1, define-se a soma
n + (p+1), isto , a soma de n com o sucessor de p.
19
De fato, pela igualdade n+(p+1) = (n+p) + 1, vemos que para obter a soma
n + (p+1) basta tomar o sucessor (n+p) + 1 de n+p. Pelo quarto axioma de Peano (axioma
da Induo) a soma est definida para quaisquer n,p N.
Proposio 1. Se m,n N ento a soma m + n N.
Demonstrao
Fixado um m N arbitrrio, considera-se o conjunto
X = { n N; m+n N }.
Prova-se que X = N, usando o quarto axioma de Peano (P4), mostrando assim,

que m+n N para todo n N.
Com efeito, sabe-se que 1 X, pois, m+1 o sucessor de m, e pelo axioma de

Peano m+1 um nmero natural.
Admitindo que n X, ou seja, m+n N, prova-se que (n+1) X, isto , que

m+(n+1) N.
De fato, usando a hiptese de induo, tem-se que:
m+(n+1) = m + n + 1 = (m+n) + 1
Pelo que foi admitido acima, m+n N, e como (m+n) + 1 o seu sucessor, temos
que (m+n) + 1 N, mostrando que (n+1) X.
Logo, pelo quarto axioma de Peano (P4), X = N e m+n N para todo n N.
Isto nos mostra que o conjunto dos nmeros naturais fechado em relao a
adio.
2.3.2. Multiplicao em N
A multiplicao de nmeros naturais pode ser definida de modo anlogo

adio. Fixado um nmero natural n qualquer, a multiplicao por p definida da seguinte
forma:
(1) n.1 = n e (2) n.(p+1) = n.p + p.

20
Na definio acima tem-se, pela igualdade (1), que o produto do nmero n por 1,
ou seja, n.1 est bem definido. Pela igualdade (2), estando definido o produto n.p, podemos
obter o produto n.(p+1) por recorrncia. Para isto, basta efetuar a soma np + p.
Pelo quarto axioma de Peano (P4) podemos garantir que a multiplicao est
definida para quaisquer n,p N.
Proposio 2. Se m,n N ento o produto m . n um elemento de N.
Demonstrao
Fixado um m N arbitrrio, considera-se o conjunto
X = { n N; m.n N }.
Prova-se que X = N, usando o quarto axioma de Peano (P4), mostrando assim,

que m.n N para todo n N.
Com efeito, sabe-se que 1 X, pois, por definio m.1 = m N.
Admitindo que n X, ou seja, m.n N, prova-se que (n+1) X, isto , que

m.(n+1) N.
De fato, usando a hiptese de induo, tem-se que:
m.(n+1) = mn + n.
Sendo mn+n uma soma de dois nmeros naturais tem-se, pela proposio 1,
que m.(n+1) N, mostrando, deste modo, que (n+1) X.
Logo, pelo quarto axioma de Peano, X = N e m.n N para todo n N.
Isto mostra que o conjunto dos nmeros naturais tambm fechado em relao
a multiplicao.
2.3.3. Ordem
A adio de nmeros naturais permite introduzir uma relao de ordem em N.

Dados dois nmeros naturais m e n diremos que m menor do que n, e escreve-se m<n,
para indicar que existe p N tal que n = m + p. Pode-se, ainda, afirmar, de forma
equivalente, que n maior do que m e escrever n > m. Por definio, tem-se que m < m + p
para quaisquer m,p N. Em particular, m < m+1.
21
Indica-se que m menor que ou igual a m escrevendo m n ou,

equivalentemente, que n maior que ou igual a m escrevendo n m.
Proposio 3. Para todo nmero natural n 1 temos n>1.
Demonstrao
De fato, pelo terceiro axioma de Peano (P3), se n 1 ento n sucessor de

algum nmero natural m, ou seja, n = m + 1 = 1 + m para algum m N, logo n > 1. Portanto
1 o menor dos nmeros naturais.
A relao de ordem dos nmeros naturais tem algumas propriedades bsicas.

Apresenta-se algumas delas a seguir.
Proposio 4. (Transitividade) Se m < n e n < p, ento m < p.
Demonstrao
Se m < n e n < p ento n = m + p e p = n + q para alguns p, q N, logo

p = (m + p) + q = m + (p + q), portanto m < p.
Outra importante propriedade de relao de ordem que, dados dois nmeros

naturais m e n diferentes, ento m > n ou m < n.
Dois nmeros naturais m e n sero ditos comparveis quando m = n, m < n ou

m > n.
Proposio 5. (Comparabilidade) Todo nmero natural n comparvel com qualquer

nmero natural.
Demonstrao
A prova feita a partir do quarto axioma de Peano (P4), para isto, considera-se o
conjunto
X = {n N; n comparvel }.
O nmero 1 X pois 1 comparvel, uma vez que pela proposio 3 tem-se que
1 < n para todo n 1 .
Supe-se que o nmero n X, ou seja, que n comparvel com todos os

nmeros naturais. Mostra-se a partir da que n+1 tambm comparvel, mostrando que
(n+1) X.
22
De fato, seja m N, tomado arbitrariamente. Por hiptese de induo, tem-se

que m = n , m< n ou n<m. Estuda-se cada possibilidade:
Se m < n ento m < n + 1 por transitividade, pois sabe-se que n < n + 1.
Se m = n segue imediatamente quem < n+1.
Se n < m ento m = n + p. Neste caso, h duas possibilidades. Ou p = 1, donde

se tem m = n + 1, ou ento p > 1, logo p = 1 + p, e da m = (n+1) + p e pode-se concluir que
n + 1 < m.
Em qualquer hiptese, vemos que n+1 comparvel com qualquer nmero

natural m. Pelo axioma da induo fica provado que X=N e, a partir da pode-se concluir que
todo nmero natural n comparvel com qualquer nmero natural m.
Proposio 6. (Tricotomia) Dados m,n N, qualquer das afirmaes m<n, m=n, m > n exclui
as outras.
Demonstrao
Se m < n e m = n, ento n = m + p e m =n o que implicaria em m = m + p, donde

m + 1 =m + p + 1 e da 1 = p + 1, um absurdo, pois 1 no sucessor de nenhum nmero
natural, em particular no sucessor de p. Portanto m < n ( e analogamente m > n )
incompatvel com m = n.
Por outro lado se m < n e m > n tem-se n = m + p e m = n + q, donde obtm-se

n = n + q + p, e da n + 1 = n + q + p + 1, o que implica 1 = (q + p) + 1, um absurdo.
A propriedade a seguir nos diz que n e n+1 so consecutivos.
Proposio 7. No existe nmero natural entre n e n + 1.
Demonstrao
A prova ser feita por reduo ao absurdo. Supondo que fosse possvel ter
n<p<n+1, ento p = n + k e n+1 = p + r, logo n+1 = n + k + r, e da obtm-se 1 = k + n. Por
definio, isto significaria que k < 1, o que absurdo, pois k > 1 para todo k 1.
Esta proposio mostra que todo nmero natural diferente de 1 sucessor de

algum outro nmero.
23
Algumas demonstraes aplicadas acima, bem como algumas definies, foram

obtidos do texto: O Princpio da Induo (Revista Eureka No 3, de 1998), do autor Elon
Lages Lima.
Proposio 8. Dados m,n,p N, verifica-se que m < n se, e somente se,
m + p < n + p.
Demonstrao
Deve-se mostrar quem < n equivalente a m + p < n + p.
Por definio, quando m < n tem-se n = m + k, o que implica n + p = (m + k) + p.

Isto equivale a n + p = (m+p) + k e consequentemente m + p <n+p.
Reciprocamente, supe-se que m + p < n + p. Pela proposio6 (Tricotomia)

existem apenas trs possibilidades para a relao entre m e n. (1 Relao) m=n. Ento
m + p= n + p o que um contradio. (2 Relao) m > n. Implica em m + p > n + p, o que
absurdo, pois foi assumido que m + p < n + p. (3 Relao) m <n . Pela tricotomia, resta
apenas esta relao.
Proposio 9. Dados m,n,p N, tem-se que m < n equivalente a m.p< n.p.
Demonstrao
Supondo que m < n, tem-se que n = m + k para algum k N, o que acarreta

np = p.n = p.(m + k) = pm + pk, logo mp<np.
Por outro lado, admitindo que m.p< n.p, novamente pela tricotomia, tem-se que
m=n, m>n ou m<n. Se m=n ento mp = np, absurdo. Se m>n, ento mp>np o que uma
contradio. A relao m<n a nica que resta, isto encerra a demonstrao.
Proposio 10. Dados m,n,p N, temos que m = n se, e somente se, m + p = n + p.
Demonstrao
Deve-se mostrar quem = n equivalente a m + p = n + p.
Por definio, quando m = n tem-se m + p = n + p, pois a adio uma operao

bem definida em N.
Reciprocamente, vamos supor que m + p = n + p. Pela proposio 6 (Tricotomia)

existem apenas trs possibilidades para a relao entre m e n. (1 Relao) m>n. Ento
m + p > n + p, uma contradio. (2 Relao) m<n. Implica m + p < n + p, o que absurdo,
24
pois assumimos que m + p = n + p. (3 Relao) m=n. Pela tricotomia, esta nica relao
que resta.
Proposio 11. Dados m,n,p N, tem-se que m = n equivalente a m.p = n.p.
Demonstrao
Supondo que m = n, tem-se que mp = np, pois a multiplicao uma operao

bem definida em N.
Por outro lado, admitindo que m.p = n.p, novamente pela tricotomia, tem-se que
m=n, m>n ou m<n. Se m>n ento mp>np, absurdo. Se m<n, teremos que mp<np o que
uma contradio. A relao m=n a nica que resta, isto encerra a demonstrao.
Dado um conjunto A N, diz-se que a o menor elemento de A, se a n, para

todo n A. fcil ver que o menor elemento de A N nico, afinal se forem a e b, ambos
elementos mnimos de A, ento a b e b a, o que leva a concluir que a=b.
Daqui em diante, dado n N usada a notao In para indicar o conjunto dos

nmeros naturais p tais que 1 p n. Assim I1 = {1}, I2 = {1,2}, I3 = {1,2,3} , I4 = {1,2,3,4} e
assim por diante.
Proposio 12.(Princpio da Boa Ordenao) Todo subconjunto no-vazio A N possui

um menor elemento.
Demonstrao
Pode-se admitir que 1 A, pois nesse caso 1 j seria o menor elemento de A. O

menor elemento de A cuja existncia precisa-se provar, dever ser da forma n + 1. Deve-se,
pois, encontrar um nmero natural n tal que (n + 1) A e, alm disso, todos os demais
elementos de A so maiores do que n, logo maiores do que 1,2,3, ...,n. Noutras palavras,
procura-se um nmero natural n tal que In N A e n+1 A. Com esse objetivo, considera-
se o conjunto
X = { n N; In N A}.
Portanto, X o conjunto dos nmeros naturais n tais que todos os elementos de

A so maiores do que n. Como estamos supondo que 1 A, j sabemos que 1 X. Por outro
lado, como A no vazio, nem todos os nmeros naturais pertencem a X, ou seja, temos X
N. Pelo quarto axioma de Peano (P4), ver-se que o conjunto X no indutivo, isto , existe
algum n X tal que n+1 X. Isto significa que todos os elementos de A so maiores que n
mas, nem todos so maiores do que n + 1. Como no h nmeros naturais entre n e n + 1,
conclumos que n+1 pertence A e o menor elemento de A.
25
Esta demonstrao foi reproduzida do texto: O Princpio da Induo (Revista

Eureka No3, de 1998), do autor Elon Lages Lima.
O Princpio da Boa Ordenao pode ser usado na demonstrao de muitos

resultados matemticos, substituindo, inclusive, o mtodo da Induo, que ser apresentado
a seguir.
26
3. PRINCPIO DE INDUO MATEMTICA
Este captulo dedicado ao uso do quarto axioma de Peano (Axioma da

Induo) para a validao de resultados matemticos que envolvem o conjunto dos nmeros
naturais e seus subconjuntos infinitos.
O resultado central deste captulo o teorema conhecido com Princpio de

Induo Matemtica ou Princpio de Induo Finita, que nada mais do que uma
reformulao do Axioma de Induo.
Veremos que este teorema utilizado para demonstrar frmulas e proposies,

dadas a priori, referentes a nmeros naturais.
Esse teorema, em geral, no visto no Ensino Mdio, mas poderia ser

abordado, j que uma importante ferramenta para validar propriedades matemticas. Os
estudantes da educao bsica, que participam do Programa de Iniciao Cientfica da
OBMEP, tm tido acesso a este tpico.
3.1. Mtodos de Validao
Os resultados matemticos podem ser validados por meio de vrios mtodos de

demonstrao. Aplicando-os, pode-se demonstrar que uma proposio matemtica constitui,
de fato, um resultado vlido. A seguir apresentado um destes resultados.
Considera-se a afirmao: todos os nmeros primos (nmeros naturais com

exatamente dois divisores) so mpares, exceto o nmero 2
Esta afirmao sobre os nmeros primos uma das mais simples proposies
da matemtica. Sua condio de ser uma afirmao verdadeira decorre da prpria definio
de nmero primo. No entanto, para ser aceita como um teorema, precisa est acompanhada
de uma prova.
Na Matemtica, para que um resultado seja validado no suficiente que um

milho ou mais de exemplos o comprovem. A condio de ser uma proposio verdadeira,
s obtida quando tem-se uma prova formal para esta proposio.
Na histria do desenvolvimento matemtico, nem sempre foi assim. Os antigos

matemticos egpcios no tinham preocupao em provar as proposies matemticas.
27
Dois papiros importantes da poca, o de Moscou e o de Rhind, que registram o

conhecimento matemtico da poca, no contm qualquer prova ou demonstrao.
De acordo com Coutinho (2003, p.243), foi a partir da obra de Euclides, Os

elementos, que os matemticos passaram a exigir a demonstrao para as proposies
matemticas.
Sabe-se que no possvel provar tudo, isto , no se pode demonstrar e

comprovar tudo. H que partir de um grupo de ideias, que so os princpios bsicos, os
postulados ou axiomas. Em geometria, o ponto, a reta e o plano so noes primitivas e a
afirmativa de que por dois pontos passa uma nica reta um axioma adotado, por exemplo.
Para empregar as noes primitivas de forma adequada, necessrio dispor de

vrios princpios que disciplinem seu uso. Estes princpios so os axiomas ou postulados.
Assim como as noes primitivas so admitidas sem definio, os postulados so
propriedades aceitas sem demonstrao.
Todas as demais noes devem ser definidas e todas as demais proposies

devem ser demonstradas a partir destas noes bsicas estabelecidas.
As proposies a serem demonstradas so os teoremas e suas consequncias

imediatas so os corolrios. As vezes, na demonstrao de um teorema, precisamos de
uma proposio auxiliar que denominada lema.
Dependendo da apresentao da teoria, uma determinada proposio pode ser

adotada como axioma ou provada como teorema a partir de outros postulados.
Prova ou demonstrao na Matemtica, uma lista de proposies, construda

de forma ordenada, e na qual cada componente tem sua justificativa lgica. A demonstrao
comea com uma proposio ou algumas proposies, que constituem a hiptese, e termina
com a prova do teorema.
Na Matemtica, destacam-se os seguintes mtodos de validao: a prova por

implicao direta, por contraposio, por reduo ao absurdo e por induo matemtica (ou
induo finita).
A prova por induo uma aplicao do Princpio da Induo Matemtica, a qual

ser estudada em captulo especfico. Os demais tipos no sero abordados, tendo em vista
as finalidades deste trabalho.
28
3.2. Induo Emprica
A Induo Emprica das cincias naturais procede de uma srie de observaes

particulares de um fenmeno, selecionadas adequadamente, para estabelecer Leis gerais,
que devem abranger todas as possibilidades deste fenmeno. O grau de certeza com que
se estabelece essa Lei depende do nmero de observaes particulares desse fenmeno.
A validade de um teorema matemtico estabelecida de forma diferente.

Verificar que uma propriedade vale para um grande nmero de casos particulares no
permite concluir que a propriedade vale em geral, para todos os casos.
Uma prtica muito comum entre alunos da Educao Bsica a verificao de

resultados testados em vrios casos particulares e, a partir da, concluir que ele vale
sempre, isto , vale em geral. Adotar esse procedimento como uma demonstrao
arriscado, pois pode conduzir a muitos enganos.
A induo vulgar (generalizao de uma propriedade aps verificao de que ela

vlida em alguns casos particulares) pode levar a srios enganos em Matemtica.
Existe uma srie de afirmaes que so verdadeiras para muitos nmeros

naturais, mas, a partir de um certo nmero natural, deixam de ser.
Por exemplo, a RPM 09 (Revista do Professor de Matemtica) traz na pgina 33

o seguinte:
A sentena abaixo, sobre os nmeros naturais, verdadeira para 1, 2, 3 e

muitos outros nmeros naturais, mas ser que ela vale sempre?
991n2 + 1 no um quadrado perfeito
Pode-se verificar que, de fato, 991n 2 + 1 no um quadrado perfeito para muitos

nmeros naturais n, como n = 1, 2, ... , 100. Pode-se fazer, ainda, muitas outras tentativas e
ver que a proposio vlida para um nmero muito grande de casos particulares. Mas,
ser que vlida sempre? A resposta no. Na verdade, o primeiro nmero natural para o
qual 991n2 + 1 um quadrado perfeito tem 29 dgitos e
12 055 735 790 331 359 447 442 538 767
Ainda na RPM 09 encontramos a seguinte afirmao, conhecida como trinmio

de Euler:
n2+ n + 41 sempre resulta em nmero primo. Verdadeiro ou falso?

29
Temos, por exemplo, para n = 1, 2, 3 os valores 43, 47, 53.
Embora, isso seja verdade para n = 0, 1, 2, ... , 39, para n = 40 temos que
2
40 +40 + 41 = 40.(40+1) + 41 = 40.41 + 41 = 41.41 que no um nmero primo. Da, a
afirmao no vale para todo n N.
De modo semelhante, a expresso q(n) = n 2 - 79n + 1601 fornece nmeros

primos para n natural variando de 1 a 79, mas para n = 80 tem-se q(80) = 802 -79.80 + 1601
= 1681, que no um nmero primo, pois divisvel por 41.
O perigo de fazer generalizaes apressadas a respeito de proposies

referentes a nmeros naturais fica, mais ainda, evidenciado nas seguintes conjecturas.
3.2.1. Conjectura de Fermat
22 1 , definida para n N, tem-se que:

n
Considerando a relao Fn =
n = 0 F0 = 2 1 2 1 3
20 1
n = 1 F1 = 2 1 2 1 5
21 2
n = 2 F2 = 2 1 2 1 17
22 4
n = 3 F3 = 2 1 2 1 257
23 8
n = 4 F4 = 2 1 2 1 65537
24 16
Os nmeros F0 ,F1 , F2 , F3 e F4 encontrados so todos nmeros primos. Fermat

(1601 1665 ) acreditou que esta expresso apresentava um nmero primo, para todo valor
natural atribudo a n. Esta induo falsa, pois Euler (1707-1783) mostrou que para n = 5
22 1 232 1 4 294 967 297 = 641 x 6 700 417 e que, portanto, no primo.
5
resulta F5 =
Na verdade, hoje se sabe que 2 1 no primo para n entre 5 e 17.

2n
30
3.2.2. Conjectura de Goldbach
Esta uma famosa conjectura encontrada em uma carta dirigida a Euler em

1742, por Goldbach.
Todo inteiro par, maior do que 2, soma de dois primos
A conjectura de Goldbach pode ser expressada como segue: Dado um nmero

na forma 2n + 2 qualquer (n N), existem dois primos p e q tais que p + q = 2n + 2.
Pode-se verificar facilmente que a conjectura valida para n = 1, 2, 3. De fato:
n=1 2n + 2 = 4 = 2 + 2, onde p = q = 2.
n=2 2n + 2 = 6 = 3 + 3, onde p = q = 3.
n=3 2n + 2 = 8 = 3 + 5, onde p = 3 e q = 5.
Depois de fazer muitas e muitas tentativas, no se encontra um nmero n para o

qual a afirmao falsa.
De fato, at os dias de hoje, no conhecido um nmero que a tornasse falsa.

Porm, como foi dito, isto no suficiente para garantir sua validade.
Deste modo, a conjectura de Goldbach permanece uma questo aberta para

todos os matemticos, uma vez que, ainda no se encontrou uma prova para ela.
A Induo Emprica, foi ironicamente batizada, pelo filsofo e matemtico

Bertrand Russel, como Induo Galincea. A histria que justifica este nome
apresentada a seguir e foi retirada do texto Elementos de Aritmtica A. Hefez, pag. 10,
pargrafo 3 (trs).
Havia uma galinha nova no quintal de uma velha senhora. Diariamente, ao

entardecer, a boa senhora levava milho s galinhas. No primeiro dia, a galinha, desconfiada,
esperou que a senhora se retirasse para se alimentar. No segundo dia, a galinha,
prudentemente, foi se alimentando enquanto a senhora se retirava. No nonagsimo dia, a
galinha, cheia de intimidade, j no fazia caso da velha senhora. No centsimo dia, ao se
aproximar a senhora, a galinha, por induo, foi ao encontro dela reclamar o seu milho. Qual
no foi a sua surpresa quando a senhora pegou-a pelo pescoo com a inteno de p-la na
panela.
31
Deste modo, ver-se que s se pode aceitar a validade de uma proposio para
todo n N, quando isto for previamente demonstrado, pois embora verdadeiro para um
nmero muito grande de exemplos, um resultado ainda pode ser falso.
A confirmao de uma Lei geral, em qualquer nmero finito de casos, por maior
que seja o valor adotado, no aceita como uma demonstrao a rigor da matemtica, pois
como afirma SIMMONS (1997), existe um enorme abismo entre provavelmente verdadeira
e absolutamente certa.
Nota-se, portanto, a necessidade de dispor de um mtodo que permita avaliar

uma induo vulgar como verdadeira ou falsa. Um mtodo que permita generalizar, para
todos os nmeros naturais, uma proposio dada.
3.3. Axioma da Induo
Dentre os axiomas de Giuseppe Peano, vistos no captulo anterior, nota-se que

o quarto axioma (P4), claramente, mais elaborado que os demais. Pode-se reescrever este
axioma da seguinte forma:
Seja S um subconjunto no vazio de N ( S N ) que satisfaz s duas condies:
(1) 1pertence a S (1 S );
(2) Para todo nmero natural n, n S implica em (n +1) S.
Nestas condies, S o prprio conjunto N dos nmeros naturais, isto , S = N.
Conforme este axioma da induo, o nico subconjunto de N que satisfaz s

condies (1) e (2) o prprio N.
A ideia deste axioma a de que todos os nmeros naturais podem ser obtidos a
partir de 1 atravs de repetidas aplicaes da operao tomar o sucessor.
A importncia do axioma da induo na teoria dos nmeros naturais e, mais

geralmente, em toda matemtica, resulta do fato que ele pode ser visto como um mtodo de
demonstrao para proposies referentes aos nmeros naturais.
O mtodo de demonstrao, inspirado no axioma da induo, denominado

Princpio da Induo Matemtica ou Princpio da Induo Finita, conforme apresentado
neste captulo.
32
A Induo Matemtica usada, essencialmente, para estabelecer verdades

matemticas vlidas em subconjuntos infinitos de N. Desta forma, no consiste em mostrar
que determinada sentena aberta verdadeira para um grande nmero de casos, mas,
trata-se de mostrar que tal sentena verdadeira para todo nmero natural n a, onde
a N.
3.4. Primeiro Princpio da Induo
O processo de ir, passo a passo, de n a n+1, em que se baseia a sucesso

infinita dos nmeros naturais, forma a base do Princpio de Induo Matemtica.
Sendo P uma propriedade referente aos nmeros naturais, sua indicao feita
por P(n). Um nmero natural n pode ou no gozar da propriedade P. Se o nmero natural n1
goza da propriedade P ento P(n1) verdadeira, caso contrrio diz-se que P(n1) falsa para
n1.
Toda propriedade P que se refira a nmeros naturais define um subconjunto

X N, a saber, o conjunto dos nmeros naturais que gozam da propriedade P. (E
reciprocamente, todo conjunto X N define uma propriedade referente a nmeros naturais,
a saber, a propriedade de pertencer a X). Assim, propriedade e conjunto so conceitos
equivalentes.
Supondo que seja dada uma sentena matemtica P(n) que dependa de uma
varivel natural n, podendo ser verdadeira ou falsa de acordo com o valor de n. Estas
sentenas sero ditas sentenas abertas definidas sobre N.
Sejam P(n) uma sentena aberta sobre os nmeros naturais e V um subconjunto

de N definido por
V = { n N; P(n) verdadeira }
Para provar que P(n) verdadeira para todo n N basta mostrar que V=N.
Isto pode ser feito pelo axioma da induo. Da, basta mostrar que 1 pertence a
V e que se n V ento n+1 V.
Prova-se, desta forma, o seguinte teorema.

33
Teorema 1. (Primeiro Princpio da Induo)
Seja P(n) uma sentena aberta em n. Se P(n) satisfaz s condies:
(i)P(1) verdadeira;
(ii) Para todo n N, se P(n) verdadeira, ento P(n+1) verdadeira.
Ento a proposio P(n) verdadeira para todo n N.
Demonstrao
Para ver que o Princpio da Induo verdadeiro sero adotados, como

hiptese, os axiomas de Peano.
Dada uma propriedade P cumprindo as condies (i) e (ii), o conjunto X dos

nmeros naturais n para os quais a proposio P(n) verdadeira, isto :
X = { n N; P(n) verdadeira }.
Pela condio (i), P(1) verdadeira e, portanto, 1 X. Pela condio (ii), para
todo nmero natural n, se n X, ento n+1 X. Logo, o conjunto X satisfaz s condies (1)
e (2) do axioma da induo e, portanto, X = N, isto , a proposio P(n) verdadeira para
todo nmero natural.
Este Teorema geralmente conhecido como Princpio da Induo Matemtica

ou Princpio da Induo Finita, a demonstrao de um resultado usando este teorema
chama-se demonstrao por induo matemtica ou demonstrao por induo sobre n .
Segundo Krerley e Adan (2012)
Uma grande vantagem do princpio da Induo Matemtica poder provar

que uma quantidade infinita de afirmaes so verdadeiras, simplesmente
verificando que uma quantidade finita destas afirmaes so verdadeiras.
A verificao de que P(1) verdadeira passo base da induo matemtica e a

prova de que a validade de P(n) implica na validade P(n+1) o passo indutivo. Note que, na
estrutura lgica deste teorema, uma das hipteses uma implicao. Trata-se, portanto, de
uma implicao dentro de outra.
A hiptese (ii) do Teorema1 no exige em absoluto que P(n) seja verdadeira

para todo n N, podendo ser falsa para um ou mais valores de n. O que a hiptese (ii) exige
34
que sempre que P(n) verdadeira, ento P(n+1) tambm seja; no exigindo nada quando
P(n) falsa.
Para entender por que as duas condies do princpio da induo so

suficientes, pode-se pensar no efeito domin. Esta prtica traduz a ideia central por trs do
Princpio da Induo Matemtica.
Figura 2: Efeito domin
Considerando um modelo ideal de enfileiramento de domins, onde eles esto

em nmero infinito. Supondo ainda que esto, entre si, a uma distncia tal que se um deles
cai, derruba o seguinte. Nestas condies se:
(a) A primeira pea derrubada na direo das demais.

(b) Toda pea ao cair, derruba a pea seguinte.
ento, pode-se concluir que todos os domins da fila sero derrubados.
Portanto, para n N to grande quanto se considere, possvel afirmar que a

n-sima pea ser derrubada.
Supondo, por absurdo que, o domin da posio n>1 fica em p, teramos que o
domin anterior a este, o da posio n-1, tambm ficaria em p, pela condio (b).
Procedendo assim, por n vezes pode-se concluir que a primeira pea no caiu, o que
contraria a condio (a).
Repara-se que as duas condies so igualmente necessrias, uma vez que se

apenas a primeira for aplicada, nada nos garante que os demais domins seriam
35
derrubados e se apenas a segunda for aplicada nada garante a queda dos domins teria
incio.
Duas aplicaes do Princpio da Induo se destacam: Prova por Induo e a

Definio Recursiva. Estas aplicaes sero abordadas a seguir.
3.4.1. Prova Indutiva
A Prova Indutiva ou Prova por Induo um mtodo de demonstrao baseado

no Princpio da Induo Matemtica. Foi utilizado pela primeira vez, de forma explicita, por
Francesco Maurolicus (1494 1575) ao provar a identidade 1 + 3 + ... + (2n+1) = n 2.
A prova por induo tornou-se popular em 1665, quando Blaise Pascal

(1623 1662) utilizou-se da induo matemtica em uma das demonstraes das
propriedades de seu tringulo (Tringulo de Pascal).
4n 1
Exemplo 1. Prove que, para todo nmero natural n 1, o nmero an = inteiro e
3
mpar.
Demonstrao
A afirmao verdadeira para n=1, pois:
41 1
a1 = 1 , que mpar.
3
4n 1
Por hiptese, an = mpar. Da, pode-se escrever:
3
4n 1 1 4.4n 1 4.4n 1 4 4 4.4n 3 4 4.4n 4 3

an+1=
3 3 3 3 3 3
4.(4n 1) 3
= 4. an + 1 .
3 3
Como an+1= 4. an + 1, pode-se concluir que an+1 inteiro e mpar.
4n 1
Pelo princpio da induo matemtica, fica provado que a n = inteiro e
3
mpar para todo n N.
36
Exemplo 2. Mostrar que 1.1! + 2.2! + 3.3!+ ... +n.n! = (n+1)! -1, para todo n N.
Demonstrao
Considera-se a sentena aberta:
P(n): 1.1! + 2.2! + 3.3!+ ... +n.n! = (n+1)! -1
Nota-se que P(1) verdadeira, pois
1.1! = 1 = (1+1)! -1.
Supe-se que P(n) verdadeira, ou seja, que
1.1! + 2.2! + 3.3!+ ... +n.n! = (n+1)! -1.
Prova-se que P(n+1) do mesmo modo verdadeira. De fato:
1.1! + 2.2! + 3.3!+ ... +n.n! +(n+1).(n+1)! = (n+1)! -1 +(n+1).(n+1)! = (n+1)!.(n+2)-1 =
(n+2)! 1.
Mostrando, assim, que P(n+1) de fato verdadeira. O princpio da induo nos

garante que P(n) verdadeira para todo n N.
Exemplo 3. A soma dos cubos de trs nmeros inteiros consecutivos divisvel por 9.
Demonstrao
Seja n3 + (n+1)3 + (n+2)3 a soma dos cubos de trs nmeros consecutivos.

Considere a proposio P(n) definida por:
P(n): n3 + (n+1)3 + (n+2)3 divisvel por 9.
Tem-se que P(1) verdadeira, uma vez que
13 + (1+1)3 + (1+2)3 = 1+ 8 + 27 = 36
Supe-se que P(n) verdadeira, ou seja, que
n3 + (n+1)3 + (n+2)3 divisvel por 9
Deve-se mostrar que P(n+1) tambm verdadeira. Com efeito:
[n+1]3 + [(n+1)+1]3 + [(n+1)+2]3 = (n+1)3 + (n+2)3 + (n+3)3
=(n+1)3 + (n+2)3 + n3 + 9n2+27n+27

= (n+1)3 + (n+2)3 + n3 + 9.(n2+3n+3)
Como, por hiptese de induo, (n+1)3 + (n+2)3 + n3 divisvel por 9 e

9.(n2+3n+3) mltiplo de 9, tem-se que:
[n+1]3 + [(n+1)+1]3 + [(n+1)+2]3 = (n+1)3 + (n+2)3 + n3 + 9.(n2+3n+3)

37
divisvel por 9.
Como a validade de P(n) implica na validade de P(n+1), temos que P(n)

verdadeira para todo n N.
3.4.2. Funes com domnio N
Outra aplicao do Princpio da Induo a definio de funes f: N Y que

tm como domnio o conjunto dos nmeros naturais.
No geral para se definir uma funo f: X Y preciso que seja dada uma regra
permita relacionar a cada elemento de X um nico elemento de Y.
Entretanto, no caso particular em que o domnio da funo o conjunto N, para

se definir uma funo f: N Y no preciso definir de uma s vez como obter f(n) a partir
de n. Basta que se saiba:
(1) O valor de f(1);
(2) Uma regra que permita calcular f(n+1) a partir de f(n).
Estes dois fatos permitem obter todos os valores de f(n). (Diz-se que a funo f
foi definida por recorrncia ou recursivamente). De fato, se X o conjunto de todos os
nmeros naturais para os quais se pode determinar f(n). Pelo dado (1) o valor de f(1)
conhecido, logo 1 pertence a X . J pelo dado (2) o fato de conhecer f(n) acarreta em
conhecer f(n+1), isto , n X implican+1 X . Portanto pelo axioma da induo X = N, o que
significa que possvel obter o valor de f(n) para todo n N.
Uma funo f: N Y cujo domnio o conjunto N dos nmeros naturais chama-

se uma sequncia ou um sucesso dos elementos de Y. A notao usada para tal
sequncia (y1 , y2 , y3 , y4 , ..., yn , .... ), onde se usa yn em vez de f(n) para indicar o valor
da funo f em n N.
Do modo semelhante, para definir uma expresso E n, para todo n N, basta

definir E1 e fornecer uma relao que permita obter E n+1 a partir de En, para todo n N.
De fato, para verificar que E n est definida para todo n N, considera-se a

sentena aberta
P(n):En est definida

38
e prova-se, por induo matemtica, que P(n) verdadeira para todo n N.
Pela construo de En tem-se que:
(i) P(1) verdadeira, pois E1 est bem definido.
(ii) Se P(n) verdadeira, ento P(n+1) verdadeira, pois sempre que E n fica
definido En+1 tambm fica.
Logo, pelo princpio da induo, P(n) verdadeira para todo n N.
Nesse caso, diz-se que En foi definido por recorrncia.
3.4.3. Algumas definies dadas por recorrncia
Entre os vrios tpicos em matemtica que podem ser definidos por recorrncia
esto os somatrios, as potncias de expoente natural e o fatorial.
Definio 1. Somatrios
Seja (an) uma sequncia de nmeros reais. Para dar sentido s somas
Sn = a1 + a2 + ... +an
suficiente definir Sn por recorrncia.
Pondo S1 = a1 e dado Sn , define-se Sn+1 = Sn + an+1.
n
Pode-se indicar a soma Sn = a1 + a2 + ... +an usando o smbolo a .
i 1
i
Um conceito que se define naturalmente por recorrncia o fatorial de um

nmero natural.
Definio 2. Fatorial
Define-se o fatorial n! de um nmero natural n por:
1! = 1 e(n+1)! = (n+1).n!
Outro conceito que pode ser definindo recorrentemente a potncia de

expoente natural.
39
Definio 3. Potncia de Expoente Natural
Seja a um nmero real. Dado um n N, pode-se definir a potncia an por

recorrncia.
Seja a1 = a. Supondo an definido em N, defina an+1 = an.a .
3.5. Primeiro Princpio da Induo generalizado
Pode ocorrer que uma determinada proposio seja verdadeira apenas a partir
de um determinado r N, mas no necessariamente para valores menores do que r. Estes
casos podem ser demonstrados pelo Princpio da Induo generalizado.
Teorema 2
Sejam r um nmero natural e P(n) uma proposio referente a cada nmero natural n r e
que satisfaz s duas condies seguintes:
(1) P(r) verdadeira;
(2) para todo n r, se P(n) verdadeira, ento P(n+1) tambm verdadeira.
Nestas condies, P(n) verdadeira para todo nmero natural n r.
Demonstrao
Seja X o conjunto de todos os nmeros naturais n para os quais a proposio

P(r+n-1) verdadeira, isto :
X = { n N; P(r+n-1) verdadeira }
Pela condio (1), P(r) = P (r+1 -1) verdadeira, isto , 1 X. E, pela condio
(2), se P(r+n-1) verdadeira, ento
P( (r+n-1)+1) = P ( r + (n+1) -1 )
tambm verdadeira, isto , se n X, ento n+1 X. Logo, pelo Axioma da Induo, X o
conjunto dos nmeros naturais: X = N, isto , a proposio P(r+n-1) verdadeira para todo n
N, ou seja, a proposio P(n) verdadeira para todo nmero natural n r.
No teorema 2, feita uma generalizao do Primeiro Princpio de Induo
Matemtica. Isto permite aplic-lo em situaes em que uma proposio vale para todos os
nmeros naturais a partir de um determinado valor.
Aplicao 1. Demonstrar a proposio:
P(n): 2n< n!, para todo natural n 4.

40
Demonstrao
(1) P(4) verdadeira, visto que 2 4 = 16 < 24 = 4!

(2) Supe-se que a proposio P(n) verdadeira, isto , que:
P(n): 2 n< n! , para n 4.
Ento, por ser 2 < n+1 para n 4, tem-se:
2 n+1 = 2n. 2< n! . (n+1) que equivale a 2 n+1< (n+1)! .
isto , a proposio P(n+1) verdadeira. Logo pelo Teorema 2, a P(n) vlida para todo
nmero natural n 4 .
Observa-se que a proposio P(n) falsa para n = 1,2,3, pois, tem-se:
21=2 > 1=1! ,22 = 4 > 2=2! ,23=8 > 6=3!
3.6. Segundo Princpio da Induo
Em determinadas situaes, ao fazer uma demonstrao por induo, na

passagem de n para n+1, sente-se a necessidade de admitir que a proposio vlida no
apenas para n mas para todos os nmeros naturais menores do que ou iguais a n. A
justificativa de um raciocnio deste tipo se encontra no Segundo Princpio da Induo,
conforme apresentado a seguir:
Proposio 1. (Segundo Princpio da Induo) Seja X um subconjunto de N que satisfaz a

condio:
(1) Dado n N qualquer, se todos os nmeros naturais menores do que n pertencem a X,

ento n X.
Nesta condio, o conjunto X coincide com N, isto , X = N.
Demonstrao
De fato, supondo, por absurdo, que X N, isto , que N X . Pelo Princpio

da Boa Ordenao N X tem um elemento mnimo. Seja n o menor elemento de N X, ou
41
seja, o menor nmero natural que no pertena a X. Isto quer dizer que todos os nmeros
menores do que n pertencem a X. Mas, ento pela afirmao (1), n X, uma contradio.
Assim sendo N X = , isto X = N.
Se um conjunto X N satisfaz condio (1), para que um nmero natural n no

pertena a X preciso que exista algum nmero natural r < n tal que r X. Em particular, se
n=1 ento a hiptese 1 X no pode ser cumprida, pois no existe nmero natural menor do
que 1. Noutras palavras, a condio (1) contm implicitamente a afirmao de que 1 X.
Deste modo ao usar o Segundo Princpio de Induo, no preciso afirmar que 1 pertence
a X.
O Segundo Princpio da Induo pode ser reescrito, na linguagem de

proposio, do seguinte modo:
Teorema 3. (Segundo Princpio da Induo)Seja P(n) uma propriedade referente a nmeros

naturais que satisfaz a condio:
(1) Dado um n N qualquer, se P(1), P(2), P(3), ..., P(n) so verdadeiras, ento P(n+1)
verdadeira.
Ento P(n) verdadeira para todo n N.
Demonstrao
Seja X = {n N; P(n) verdadeira}. De acordo com condio (1), se P(1), P(2),

P(3), ..., P(n) so verdadeiras, isto , se 1, 2, 3, ..., n X, ento P(n+1) verdadeira, isto ,
(n+1) X. Pela Proposio 1, demonstrado acima, podemos concluir que X = N. Logo, P(n)
vale para todos os nmeros naturais.
No primeiro princpio de induo, dado um nmero natural k qualquer, tentamos

provar que P(k+1) verdadeira baseado, apenas, na hiptese de que p(k) verdadeira. J
no segundo princpio de induo, prova-se que P(k+1) verdadeira baseado no fato de que
as proposies P(1), P(2), P(3), ..., P(k) so todas verdadeiras, ou seja, em vez de assumir
que apenas P(k) verdadeira, pode-se assumir que P(1), P(2), ..., P(k) so verdadeiros. Isto
d mais apoio e consistncia a demonstrao.
42
3.7. Segundo Princpio de Induo generalizado
Para concluir a fundamentao terica do princpio da induo matemtica,

enunciado, e demonstrado, o segundo princpio de induo na forma generalizada.
Teorema 4. (Segundo Princpio da Induo generalizado)Seja r um nmero natural fixo e

seja P(n) uma propriedade referente a cada nmero natural n r e que satisfaz as
condies:
(1)P(r) verdadeira;
(2) Para todo nmero natural k > r, se P(n) verdadeira para todo o nmero natural n tal
que r n < k, ento P (k) verdadeira.
Ento P(n) verdadeira para todo nmero natural n r.
Demonstrao
Seja X o conjunto de todos os nmeros naturais n r para os quais a proposio

P(n) falsa, isto :
X = { n N; n r e P(n) falsa }.
Supe-se, por absurdo, que X no vazio. Ento pelo Princpio da Boa

Ordenao o conjunto X tem um elemento mnimo. Seja m o menor elemento de X.
Pela condio (1), r X, de modo que m > r, e portanto P(n) verdadeira para
todo r n < m. Assim sendo, pela condio (2), P(m) tambm verdadeira e m X, o que
uma contradio, pois m X. Logo, o conjunto X vazio, e a proposio P(n) verdadeira
para todo nmero natural n r.
43
4. APLICAES DA INDUO MATEMTICA
O Princpio de Induo Matemtica tem diversas aplicaes na matemtica

estudada na educao bsica. Algumas destas aplicaes so teoremas importantes e
bastante conhecidos. Este captulo apresenta algumas delas, bem como alguns resultados e
proposies encontrados em diversos contedos estudados nesse segmento educacional.
4.1. Aplicaes algbricas
4.1.1. Progresses Aritmticas e Geomtricas
Aplicao 1 (Expresso do Termo Geral de uma P.A.)
Numa P.A. em que o primeiro termo a 1 e a razo r, o n-simo termo dado pela
expresso
an = a1 + (n-1).r .
Demonstrao
A prova ser feita por induo sobre n. Fixemos a1 , r R.
(1) Para n = 1 a expresso verdadeira, pois a1 = a1 + (1-1).r .
(2) Admite-se, como hiptese de induo, que a expresso verdadeira para

um certo n N, isto
an = a1 + (n-1).r
Deve-se mostrar que para n+1 a frmula continua vlida. De fato, por definio
de P.A., tem-se que an+1 = an + r. Deste modo, pela hiptese de induo, pode-se escrever:
an+1 = an + r = a1 + (n-1).r + r = a1 + [(n-1)+1].r = a1 + [(n+1)-1].r ,
mostrando que a expresso vlida para n+1. Ento an = a1 + (n-1).r, n N.
Aplicao 2 (Soma dos n primeiros termos de uma P.A.)
Outro resultado matemtico encontrado na Educao Bsica a expresso da soma dos

n+1 primeiros termos de uma PA, onde o primeiro termo a 1 e a razo r. Ela dada por
44
Sn =
a1 an .n . (1)
2
Demonstrao
A demonstrao, mais frequentemente, encontrada desta expresso feita

usando o seguinte artifcio algbrico:
Considera-se as igualdades (2) e (3), dadas abaixo:
Sn = a1 + (a1+r) + (a1+2r) + ... + (a1+(n-1)r) (2)
Sn = (a1+(n-1)r) + (a1+(n-2)r) ... + (a1+r) + a1 (3)
Somando, membro a membro, (2) e (3), obtm-se:
2.Sn = [2a1 + (n-1)r ] + [2a1 + (n-1)r ]+ ... + [2a1 + (n-1)r ]
2.Sn = [2a1 + (n-1)r ].n
[2a1 (n 1).r ].n [a1 a1 (n 1)r ].r (a1 an ).n

Sn = .
2 2 2
No entanto, este resultado matemtico pode ser validado pelo Princpio da

Induo Matemtica, conforme mostrado a seguir.
Para n=1 a expresso verdadeira, pois:
a1 a1 .1 2a1 a
S1 = 1.
2 2
Supondo que a expresso vlida para n N, isto , que
a1 an .n
Sn =
2
prova-se que a igualdade (1) vale tambm para n+1. Com efeito, escrevendo:
a1 an .n
Sn+1 = Sn + an+1 = + a1 + n.r
2
(a1 an ).n 2a1 2.n.r

=
2
(a1 an r ).n 2.a1 nr

=
2
45
(a1 an1 ).n (a1 a1 nr )

=
2
(a1 an 1 ).n (a1 an 1 )

=
2
(a1 an 1 ).(n 1)
= .
2
(a1 an 1 ).(n 1)
Portanto, Sn+1 = . Pelo Princpio da Induo Matemtica, pode-
2
se concluir que a expresso vale para todo n N.
Aplicao 3 (Expresso de Termo Geral de uma P.G.)
Na P.G. em que o primeiro termo a 1 e a razo q, o n-simo termo :
an = a1 . qn-1
Demonstrao
A prova ser feita por induo sobre n. Fixados a1 , q R, tem-se que:
(1) Para n = 1 a expresso verdadeira, pois a1 = a1 .q1-1 .
(2) Supe-se, como hiptese de induo, que a expresso verdadeira para um

certo n N, isto , que
an = a1 . qn-1.
Deve-se mostrar que para n+1 a frmula continua vlida. De fato, por definio
de P.G., temos que an+1 = an .q .E, pela hiptese de induo, pode-se escrever:
an+1 = an . q = a1 .qn-1 . q = a1 .qn-1+1 = a1 .qn,
mostrando que a frmula vlida para n+1. Ento a n = a1 .qn-1, n N.
Aplicao 4 (Soma dos n primeiros termos de uma P.G.)
Numa progresso geomtrica (an) de primeiro termo a1 e razo q, a soma de seus n

primeiros termos dada pela expresso:
a1.(q n 1)
Gn= a1+ a2 + ... + an= (1)
q 1
46
Demonstrao
Adota-se que q 1, pois de outro modo, o ltimo membro de (1) no teria

significado.
Procedendo por induo sobre n, tem-se, inicialmente, que igualdade (1) vale
q 1 a1 (q1 1)
para n=1, visto que a1 = a1 . = .
q 1 q 1
Admitindo que a igualdade (1) verdadeira para n, isto , que:
a1.(q n 1)
a1 + a1q +a1q2 +...+a1qn-1 = .
q 1
prova-se que a igualdade (1) vale para n+1. De fato,
a1.(q n 1) a (q n 1) (q 1)a1.q n
a1 + a1q +a1q2 +...+a1qn-1 + a1qn = + a1qn = 1
q 1 q 1
a1q n a1 a1.q n 1 a1.q n a1.(q n 1 1)

q 1 q 1
Este resultado encontrado precisamente a igualdade (1) para n+1. Logo, pelo
a1.(q n 1)
princpio da induo matemtica a expresso Gn = vale para todo n N.
q 1
Aplicao 5 (Progresso aritmtico-geomtrica)
Uma progresso aritmtico-geomtrica uma sequncia de nmeros reais (a n) tal que a1

dado e, para todo n N, tem-se que
an+1 = q.an + r,
onde q e r so nmeros reais dados, com q 1 e r 0.
a) A expresso do termo geral de uma progresso aritmtico-geomtrica dada por
n-1 q n 1 1
an = a1 .q + r.
q 1
Demonstrao
A prova ser feita por induo sobre n. Fixemos q, r R, onde q 1 e r 0.

47
q0 1
(1) Para n = 1 a frmula verdadeira, pois a 1 = a1 .q0 + r. = a1.
q 1

certo n N, isto
n-1 q n 1 1
an = a1 . q + r.
q 1
Mostra-se, ento, que para n+1 a frmula continua vlida. De fato, por definio,
tem-se que an+1 = q.an + r e da pode-se escrever:
q n 1 1
an+1 = q.an + r = q.( a1 . qn-1 + r. )+r
q 1
q n 1 1
= a1 . qn + q.r. +r
q 1
n q n 1 1
= a1 .q + r.(q. +1)
q 1
qn q q 1
= a1 .qn + r.
q 1 q 1
qn 1
= a1 .qn + r.
q 1
q n 1 1
mostrando que a expresso vlida para n+1. Ento a n = a1 .qn-1 + r. , para todo
q 1
n N.
b) Seja Sn = a1 + ... + an a soma dos n primeiros termos de uma progresso aritmtico-

geomtrica. A expresso que permite calcular S n :
q n 1 1 qn 1 n 1
Sn = qr - a 1 +r .
(1 q) 2
1 q 1 q
Demonstrao
De modo anlogo, aplica-se induo sobre n. Fixados q, r R, onde q 1.
(1) Para n = 1 a expresso verdadeira, pois:
q0 1 q1 1 1 1
S1 = qr - a 1 +r = a1.
(1 q) 2
1 q 1 q
48

certo n N, isto , que
q n 1 1 qn 1 n 1
Sn = qr - a 1 +r .
(1 q) 2
1 q 1 q
Mostra-se, ento, que para n+1 a expresso continua verdadeira. Com efeito,
por definio, tem-se que:
Sn+1 = Sn + an+1 .
Assim, possvel desenvolver como segue:
Sn+1 = Sn + an+1
q n 1 1 qn 1 n 1 n qn 1
= ( qr - a 1 + r ) + ( a 1 . q + r. )
(1 q) 2 1 q 1 q q 1
q n 1 1 qn 1 qn 1 n 1
= qr + r. - a1 + a1 . qn+ r
(1 q) 2
q 1 1 q 1 q
q n 1 1 qn 1 qn 1 n 1 1 1
= qr + r. - a 1 + a1 . qn+ r + r. - r.
(1 q) 2
q 1 1 q 1 q 1 q 1 q
q n 1 1 q n 1 1 qn 1 n 1 1
= r.( q + - ) - a 1.( qn ) + r.( + )
(1 q) 2
q 1 1 q 1 q 1 q 1 q
q n q (1 q).(1 q n ) (1 q) q n 1 (1 q ).q n n 1 1
= r. - a 1. + r.
(1 q)2 1 q 1 q
q n q 1 q n q q n1 1 q) q n 1 q n q n 1 n
= r. 1
- a . + r.
(1 q) 2
1 q 1 q
q q n 1 ) q n 1 1 n
= r. 2
- a1. + r.
(1 q) 1 q 1 q
qn 1 q n 1 1 n
= r. q. - a1. + r.
(1 q) 2
1 q 1 q
mostrando que a frmula vlida para n+1. Deste modo, a expresso
q n 1 1 qn 1 n 1
Sn = qr - a 1 +r ,
(1 q) 2
1 q 1 q
vlida para todo n N.

49
4.1.2. Teoremas Binomiais
Aplicao 1 (Binmio de Newton)
Figura 3: Isaac Newton (Woolsthorpe-by-Colsterworth, 4 de janeiro de 1643 Londres, 31 de

maro de 1727) foi um cientista ingls, mais reconhecido como fsico e matemtico.
Os nmeros naturais definidos por n n! , onde n,p N, com n p, so denominados

p p !(n p)!
coeficientes binomiais. Prova-se que:
a) Para dois nmeros n,p N quaisquer, com np tem-se que
n n 1 n 1
(Relao de Stifel)
p p p 1
n
n
n
b) (a+b) = p .a n p
.b p , para n 0 e a,b R. (Binmio de Newton)
p 0
Demonstraes
a ) Para dois nmeros n,p N quaisquer, onde np verifica-se que
n n 1 n 1
(Relao de Stifel).
p p p 1
50
A demonstrao da proposio acima feita por recursos puramente algbricos,
n n!
utilizando a definio de coeficiente binomial .
p p !(n p)!
Desenvolvendo o 2 membro da relao de Stifel, tem-se:
n 1 n 1 (n 1)! (n 1)!
=
p p 1 p !(n 1 p)! ( p 1)!(n 1 p 1)!
(n 1)! ( n 1)!
=
p !( n p 1)! ( p 1)!( n p)!
(n 1)! ( n 1)!
=
p( p 1)!( n p 1)! ( p 1)!( n p)( n p 1)!
(n 1)! 1 1
=
( p 1)!( n p 1)! p n p
(n 1)! n
= .
( p 1)!( n p 1)! p( n p)
n(n 1)!
=
p( p 1)!( n p)( n p 1)!
n! n
=
p !(n p)! p
que o 1 membro da igualdade.
n
n
b) O desenvolvimento do binmio de Newton (a+b)n dado pela expresso p .a n p
.b p ,
p 0
para n 0 e a,b R.
Demonstrao
Procede-se por induo sobre n N.
O caso n=0 claramente vlido, pois (a+b) 0 = 1 para todo (a+b) 0. Por isto,
toma-se como base da induo o caso n=1, onde temos:
1 1
a b 1.a 1.b = a1b0 a 0b1
1
0 1
51
Isto mostra que o teorema verdadeiro quando n=1.
Supondo que o teorema verdadeiro para n=k N, isto , que
k k k k 1 k 1 k 0 k
(a b)k a k b0 a k 1b1 a k 2b 2 ... a b a b
0 1 2 k 1 k
pode-se escrever que:
(a+b)k+1 = (a+b). (a+b)k
k k 1 k 1 k 0 k
= (a+b). a k b0 a k 1b1 a k 2b2 ...
k k
a b a b (hiptese)
0 1 2 k 1 k
k k 1 k 1 k 0 k
= a. a k b0 a k 1b1 a k 2b2 ...
k k
a b a b +

0
1
2 k 1 k
k k 1 k 1 k 0 k
b. a k b0 a k 1b1 a k 2b 2 ...
k k
a b a b
0 1 2 k 1 k
k k k k 2 k 1 k 1 k
= a k 1b0 a k b1 a k 1b 2 ... a b a b +
0 1 2 k 1 k
k k 1 k k 1 2 k k 2 3 k 1 k k 0 k 1
a b a b a b ... a b a b =

0
1
2 k 1 k
k k 1 0 k k k 1 k k k 1 2 k k 1 k k 0 k 1
a b a b a b ... a b a b
0 0 1 1 2 k 1 k k
(agrupados os termos semelhantes)
k k 1 0 k 1 k 1 k 1 k 1 2 k 1 1 k k 0 k 1
= a b a b a b ... a b a b
0 1 2 k k
(relao de Stifel)
k 1 k 1 0 k 1 k 1 k 1 k 1 2 k 1 1 k k 1 0 k 1
= a b a b a b ... a b a b
0 1 2 k k 1
k k 1 k k 1
Por definio, 1 e 1 e, da vlido escrever:
0 0 k k 1
k 1 k 1 0 k 1 k 1 k 1 k 1 2 k 1 1 k k 1 0 k 1
(a b)k 1 a b a b a b ... a b a b ,
0 1 2 k k 1
provando que o teorema verdadeiro para n = k+1.
52
Pelo Princpio da Induo Matemtica, tem-se que a expresso acima vlida

para todo n N ( e p arbitrrio).
O resultado acima conhecido como teorema binomial, frequentemente

atribudo a Newton.
Corolrio (Teorema das Linhas)
Para n 0, temos que
k k k k
... 2 ,
k

0 1 2
k
ou seja,a soma dos elementos da linha k do tringulo de Pascal igual a 2 k .
Demonstrao
n
n
Basta tomar a = b = 1 e aplicar a frmula (a+b)n = p .a n p
.b p . De fato:
p 0
k k k k
... = ( 1 + 1 ) = 2 .
k k
0 1 2 k
Aplicao 2 (Teorema das Colunas)
k k 1 k n k n 1
Para n 0, verifica-se que ... .
k k k k 1
Demonstrao
Fixado um k arbitrrio, procede-se por induo sobre n N, tal que0 k n.
Inicialmente, considera-se a sentena aberta:
k k 1 k n k n 1
P(n): ... .
k k k k 1
Verifica-se que P(0) e P(1) so verdadeiras, pois:

53
k k 1
Para n = 0, tem-se 1 . Por outro lado, para n = 1 tem-se
k k 1
k k 1 k k k k 2 k 2
11 k 2 k .
k k k k k 1 1 k 1
Como hiptese de induo, supe-se que P(n) vlida para n = 0,1, 2, ..., p, e a
partir da, prova-se que P(n) verdadeira para n = p+1. Com efeito, vlido escrever:
k k 1 k p k p 1 k p 1 k p 1 k p 2
...
k k k k k 1 k k 1
Portanto, P(n) vlida para n = p+1. O resultado segue pelo Princpio da

Induo Matemtica.
Aplicao 3 (Teorema das Diagonais)
Para todo n 0, verifica-se que
n
m i m n 1
Sn =
i 0

i n
.
Demonstrao
Deve-se provar que a sentena aberta:
k k 1 k n k n 1
P(n): ... vale para todo n N.
0 1 n n
Inicialmente, nota-se que P(0) e P(1) so verdadeiras. De fato:
k k 1
Para n = 0, tem-se 1 . Por outro lado, para n = 1 tem-se
0 0
k k 1 k 2
1 k 1 k 2 .
0 1 2
Supondo que P(n) vlida para n = 0,1, 2, ..., p, prova-se que P(n) continua
verdadeira para n = p+1. Com efeito,
54
k k 1 k n k n 1 k n 1 k n 1 k n 2
...
0 1 n n 1 n n 1 n 1
Portanto, P(n) vlida para n = p+1. O resultado segue pelo Princpio da

Induo Matemtica.
4.1.3. Desigualdades algbricas
Figura 4: Jacques Bernoulli (Basileia, 27 de Dezembro de 1654 Basileia, 16 de Agosto de 1705),

foi o primeiro matemtico a desenvolver o clculo infinitesimal
Aplicao 1 (Desigualdade de Bernoulli)
Para todo n N e x R, com x -1, verifica-se a desigualdade
(1+x)n 1+nx.
Demonstrao
Seja P(n): (1+x)n 1+nx. Tem-se que:
(1)P(1) verdadeira, visto que, para n=1, tem-se:
(1+x)1 = 1+x 1+x = 1 + 1.x
(2)Supe-se, como hiptese de induo, que P(k) verdadeira, isto , que

(1+x)k 1 + kx.
Deve-se provar que P(k+1) verdadeira. De fato,
(1+x)k+1 = (1+x).(1+x)k (1+x).(1+kx) = 1 + kx + x + kx2= 1 + (k+1)x + kx2 1 + (k+1)x
pois kx2 0 . Portanto, (1+x)k+1 1 + (k+1)x, mostrando que P(k+1) verdadeira.
Pelo princpio da induo matemtica, a desigualdade de Bernoulli est provada.

55
Aplicao 2 (Desigualdade Trigonomtrica)
Para x R e n 1, verifica-se a seguinte desigualdade
sen(nx) n senx
Demonstrao
Seja a proposio:
P(n): se n 1, ento sen(nx) n. senx .
Inicialmente, verifica-se que P(1) vlida, pois:
sen(1.x) sen( x) 1. senx
Supondo que P(k) verdadeira, ou seja, que
sen(kx) k. senx
prova-se que P(k+1) tambm verdadeira. Para isto escrevamos:
sen(k 1) x sen( x kx) senx.cos kx senkx.cos x .
Por outro lado, tem-se que: x y x y x, y Re cos x 1 x R. Ento,
sen(k 1) x senx.cos kx senkx.cos x senx.cos kx senkx.cos x senx senkx

.
Como, por hiptese, sen(kx) k. senx , pode-se escrever:
sen(k 1) x senx senkx senx k. senx (k 1). senx

56
Isto mostra que a desigualdade vale para n = k+1. O resultado segue, por
induo matemtica.
Aplicao 3.
Para todo n N, constata-se que ln n < n, onde ln denota o logaritmo natural.
Demonstrao
Inicialmente, tem-se que ln x < x equivale a x < e x para x R e x>0. Deste modo,
pode-se provar, apenas, a seguinte proposio.
P(n): n < en, onde nN.
Tem-se que P(1) verdadeira pois 1 < e1 = 2,718 ... .
Supondo que P(n) vlida, isto , que n < en, prova-se que P(n+1) verdadeira. De fato,
como e > 2 e n 1, pode-se escrever:
1 1
e-1> 1 e-1 > n
e > 1+ n en+1> en + 1.
e e
Por hiptese, n < en. Da en+1> n+1.
Logo, P(n+1) verdadeira e pode-se concluir que P(n) verdadeira para todo
nmero natural nN.
4.1.4. Somatrios
Aplicao 1
n
Para n 1, Sn = i ! um nmero mpar.
i 1
Demonstrao
A prova ser feita por induo sobre n. Seja P(n) a sentena aberta:
n
P(n): i ! um nmero mpar.
i 1
57
1
A sentena P(1) verdadeira. De fato 1! 1! 1 mpar.
i1
Admitindo que P(n) verdadeira para n = p, isto , que

p
i ! um nmero mpar.
i 1
deve-se provar que P(n) continua verdadeira para n = p+1. Para isto, vlido escrever que:
p 1 p p
i ! i ! ( p 1)! i ! 1.2.3. ... . ( p 1) .

i 1 i 1 i 1
p
Por hiptese de induo, tem-se que i ! mpar. Como 1.2.3. ... .(n+1) par
i 1
p 1 p
temos que i ! i ! 1.2.3. ... . (n 1) mpar, mostrando que P(n+1) verdadeira. Pelo
i 1 i 1
n
Princpio da Induo Matemtica, tem-se que Sn = i ! um nmero mpar um nmero
i 1
mpar para todo n 1.
Aplicao 2
Para Re 2k e n 1 natural, verifica-se que
n (n 1)
n sen .sen
sen i =
i 1
2

2 .
sen
2
Demonstrao
Considerar a proposio P(n) dada por:
n
sen
2 .sen (n 1) .
n
P(n): sen i =
i 1
2
sen
2
Nota-se que P(1) verdadeira, pois,

58
1.
sen
2 .sen (1 1)
1
n = 1 sen i = sen 1. = sen =
i 1
2
sen
2
Supondo que P(n) verdadeira, ou seja, que
n
sen
2 .sen (n 1) .
n

i 1
sen i =
2
sen
2
deve-se mostrar que P(n+1) vlida. Para isto, vamos escrever:
n
sen
2 .sen (n 1) + sen (n+1)
n 1 n
i 1
sen i = sen i + sen (n+1) =
i 1
2
sen
2
n
sen
2 .sen (n 1) + 2.sen (n 1) .cos (n 1)
2 2 2
sen
2
(n 1)
sen
2 n (n 1)
. sen 2sen cos
2 2 2
sen
2
1 1
Como sen u .cos v = . sen (u+v) + . sen (u-v), ento pode-se escrever:
2 2
(n 1)
sen
n 1
n (n 1)
sen i =
i 1

2 . sen
2
2sen cos
2 2

sen
2
(n 1)
sen
2 n 1 (n 2) 1 (n)
. sen 2. sen sen
2
=
2 2 2 2
sen
2
59
(n 1)
sen
2 n 1 (n 2) 1 n
= . sen 2. sen sen
sen
2 2 2 2 2
2
(n 1)
sen
2 n (n 2) n
= . sen sen sen
sen
2 2 2
2
(n 1)
sen
2 (n 2)
= .sen
2
sen
2
Mostrando que P(n+1) , de fato, verdadeira. O princpio da Induo Matemtica

permite concluir que a proposio P(n) vlida para todo n N.
Aplicao 3
n
sen
2 .cos (n 1)
n
Para Re 2k e n 1, cos i =
i1
2
sen
2
Demonstrao
Seja P(n) a sentena aberta definida por

n
sen
2 .cos (n 1) .
n
P(n): cos i =
i1
2
sen
2
Tem-se que P(1) verdadeira, pois,
1.
sen
2 .cos (1 1)
1
n = 1 cos i = cos 1. = cos =
i1
2
sen
2
Admitindo que P(n) verdadeira, ou seja, que
60
n
sen
2 .cos (n 1) .
n

i1
cos i =
2
sen
2
deve-se mostrar que P(n+1) vlida. Para isto, escreve-se:
n
sen
2 .cos (n 1) + cos (n+1)
n 1 n 1
i 1
cos(i ) = cos(i ) + cos (n+1)=
i 1
2
sen
2
n
sen
= 2 .cos (n 1) cos (2n 2)
2 2
sen
2
n
sen sen
= 2 .cos (n 1) 2 .cos (2n 2)
2 2
sen sen
2 2
1 n (n 1) (2n 2)
sen .cos sen .cos .
2 2 2 2
sen
2
1 1
Como sen u .cos v = . sen (u+v) + . sen (u-v), pode-se escrever:
2 2
n 1
1 n (n 1) (2n 2)
cos i =
i 1
sen
2
.cos
2
sen .cos
2 2
.

sen
2
1 1 n (n 1) (2n 2)
= . 2.sen .cos 2.sen .cos =
2 sen 2 2 2 2
2
1 1 1 (2n 1) 1 ( ) 1 (2n 3) 1 (2n 1)
. . 2. sen sen 2. sen sen =
2 sen 2 2 2 2 2 2 2 2
2
61
1 1 (2n 1) (2n 3) (2n 1)

= . . sen sen sen sen
2 sen 2 2 2 2
2
1 1 (2n 3)
= . . sen sen

2 sen 2 2
2
u v uv
Por outro lado, sen u sen v = 2.sen . cos . Logo, pode-se escrever:
2 2
n 1
1 1 (2n 3)
cos i = 2 .
i 1
. sen
2
sen
2
sen
2
1 1 (n 1) (n 2)
= . . 2.sen .cos
2 sen 2 2
2
(n 1)
sen
2 (n 2)
= .cos
2
sen
2
Mostrando que P(n+1) , de fato, verdadeira. O princpio da Induo Matemtica

permite concluir que a proposio P(n) vlida para todo n N.
Aplicao 4
n
Para todo n1, 1p + 2p + 3p + ... + np = k
k 1
p
um polinmio de grau p+1 em n.
Demonstrao
A prova ser feita por induo sobre p.

(1) Para p = 1 o teorema verdadeiro. De fato,
n
n(n 1) n2 n
k 1 = 1 + 2 + 3 + ... + n =
k 1 2

2
um polinmio de 2 em n.
62
n
(2) Admite-se que k
k 1
m
um polinmio de grau m+1 em n, para todo
m = 1, 2, 3, ... , p.
n
Deve-se mostrar que o mesmo vale para m + 1, ou seja, mostrar que k
k 1
m 1

um polinmio de grau m+2 em n.
Sendo (k+1)m+2 = km+2 + (m+2).km+1 + P(k), onde que P(k) um polinmio de grau
m em k, tem-se que:
n n n
(k 1)m2 k m2 (m 2) k m1 F (n) .
k 1 k 1 k 1
onde F(n) um polinmio de grau m+1 em n, por hiptese de induo.
Eliminando os termos comuns dos primeiros somatrios, obtm-se:
n
(n+1)m+2 = 1 + (m 2) k
k 1
m 1
F ( n) .
e, consequentemente,
n
(n 1)m 2 1 F (n)
k
k 1
m 1
=
m2
,
um polinmio de grau m+2 em n.
n
Corolrio. Se F um polinmio de grau p ento F (k ) um polinmio de grau p+1 em n.
k 1
63
Aplicao 5 (Soma Telescpica)
Verifica-se por induo que
(x
k 1
k 1 xk ) xn1 x1 .
Demonstrao
A prova ser feita por induo sobre n N. Para n=1, tem-se que
(x
k 1
k 1 xk ) x2 x1
Supondo que a igualdade vale para n, isto , que
(x
k 1
k 1 xk ) xn1 x1
deve-se mostrar que ela vale para n+1. Com efeito,
n 1 n
( xk 1 xk ) ( xk 1 xk ) ( x(n1)1 x(n1) ) ( xn2 xn1 ) ( xn1 x1 ) xn2 x1

k 1 k 1
.
O resultado segue por induo matemtica.
4.1.5. Propriedades do Determinante de uma matriz
Esta seo apresenta, e demonstra por induo matemtica, dois resultados

importantes referentes ao determinante de uma matriz quadrada de ordem n1, partindo da
hiptese de que matrizes quadradas e determinantes so noes conhecidas.
Adota-se a notao A para indicar o determinante da matriz quadrada A.
Aplicao 1 (Determinante da Matriz Transposta)
Seja A uma matriz de ordem n. Para n 1, verifica-se que A A , onde At a matriz

t
transposta da matriz A.
O seguinte teorema um resultado necessrio, pois ser usado durante a

demonstrao.
64
Teorema de Laplace
O determinante de uma matriz M, de ordem n 2, a soma dos produtos dos elementos de

uma fila (linha ou coluna) pelos respectivos cofatores.
Este resultado , aqui, admitido sem demonstrao.
Demonstrao ( da Aplicao 1)
Seja P(n) a proposio: se n 1 e A uma matriz de ordem n, ento
A At .
n = 1 A = a11 = A
t
n = 2 Mostra-se que A A , como segue

t
a a
A 11 12 A a11.a22 a12 .a21
a21 a22
a a21
At 11 A a11.a22 a12 .a21 .
t
a12 a22
Admite-se que a proposio P(n) verdadeira para n = 1, 2, 3, ..., k-1. Deve-se
mostrar que P(n) continua verdadeira para n=k, isto , que A A , onde A uma matriz
t
de ordem k.
Seja B At . Se Aij o menor complementar de aij da matriz A , ento
Aijt B ji o menor complementar b ji de B . Desenvolvendo A segundo os elementos da
primeira linha, obtm-se:
A a11. A11 a12 . A12 ... (1)1k a1k . A1k (Laplace)
Desenvolvendo B segundo os elementos da primeira coluna, tem-se:
B b11. B11 b21. B21 ... (1)k 1 bk1. Bk1 . (Laplace)

65
Como B At , bi1 a1i i 1,..., k . Pela hiptese de induo, Aij B ji para
todo i,j = 1, ..., k (os menores so matrizes de ordem k-1). Assim, A B .
Logo, P(k) verdadeira e conclui-se que P(n) verdadeira n 1 .
Esta demonstrao foi obtida do Livro Manual de Induo Matemtica. Autor:

Lus Lopes. Publicado em 1999.
Aplicao 2 (Troca de Filas Paralelas)
Seja M uma matriz de ordem n 2. Se trocarmos de posio duas filas paralelas (duas
linhas ou duas colunas), obtm-se uma nova matriz M tal que M ' M .
Demonstrao
Procede-se por induo finita sobre a ordem n da matriz.
(1) Para n = 2 a propriedade verdadeira. De fato:
a11 a12
M= M = a11.a22 a12 .a21 .
a21 a22
Trocando as linhas de posio, tem-se que:
a21 a22
M = M ' = - det M.
a11 a12
Trocando as colunas de posio, segue que:
a12 a11
M = M ' = a12 .a21 a11.a22 = M .
a22 a21
(2) Admitindo que a propriedade verdadeira para matrizes de ordem n. Prova-

se que ela vlida para matrizes de ordem n+1.
Toma-se a linha i, considerando que ela no nenhuma das duas linhas que
foram permutadas.
Desenvolvendo M e M ' por essa linha, tem-se:

66
n 1 n 1
det M = a .A
j 1
ij ij
e det M = a .A .
j 1
ij
'
ij
Como cada cofator Aij' obtido de Aij trocando de posio duas linhas e, por
hiptese de induo, Dij' Dij para todo j { 1, 2, 3, ..., n, n+1 }, vlido que Aij' Aij , j
{ 1, 2, 3, ..., n, n+1 }. Portanto, M ' M .
Trocando de posio duas colunas, a demonstrao seria feita de modo

anlogo.
4.1.6. Outras aplicaes
Aplicao 1 (Teorema de De Moivre)
Dados r R+ , R e n N. Sendo i2 = -1, verifica-se que:
z = r.(cos + i.sen) C zn =[r.(cos + i.sen)]n = rn . (cos n + i.sen n)
Demonstrao:
Sabe-se que z = r.(cos + i.sen) um nmero complexo de mdulo r e

argumento principal . Como se pode ver o teorema de Moivre uma relao que permite
obter as potncias, de expoente natural, de um nmero complexo.
A prova ser feita por induo sobre n, para isto observa-se que:
(1) O teorema vlido para n = 1, 2, pois:
n=1 z1 = [r.(cos + i.sen)]1 = r.(cos + i.sen) = r1.(cos1. + i.sen1.)
n=2 z2 = [r.(cos + i.sen)]2 = r2. (cos2 + 2.cos.sen + i2.sen2)
= r2. [ (cos2 - sen2) + i.2.cos.sen ]
= r2. (cos 2 + i.sen 2)
(2) Supe-se que para n = k a frmula verdadeira:
Zk = rk .(cos k + i.sen k)
Deve-se mostrar que para n = K+1 a frmula continua verdadeira, isto ,

67
Zk+1 = rk+1 .[cos (k+1) + i.sen (k+1) ]
Desenvolvendo Zk+1 e usando a hiptese de induo, tem-se:
Zk+1 = Zk .Z = rk .(cos k + i.sen k) .r.(cos + i.sen)
= rk+1.( cos k . cos + i.cos k . sen + i.sen k . cos + i2.sen k . sen )
= rk+1.[ ( cos k . cos - sen k . sen ) + i.(cos k . sen + sen k . cos ) ]
= rk+1 .[ cos (k+1) + i. sen (k+1) ]
Portanto, Zk+1 = rk+1 .[ cos (k+1) + i. sen (k+1) ], ou seja, a frmula de Moivre
vale para k+1. Pelo principio da induo finita, tem-se que o teorema vale para todo n N.
Figura 5: Abraham de Moivre (Champagne, Frana, 26 de Maio de 1667 Londres, Reino Unido, 27
de Novembro de 1754) foi um matemtico francs famoso pela frmula de Moivre.
Aplicao 2
Dado um polinmio f(x) de grau m, verifica-se que f(x) tem no mximo m razes em C
(conjunto dos nmeros complexos).
Demonstrao
A prova feita por induo sobre m = gr (f(x)).
(1) Para m = 0, f(x) = a0 0 no tem razes em C e o resultado vlido.
(2) Supe-se o teorema verdadeiro para todo polinmio de grau m e prova-se

que ele verdadeiro para um polinmio f(x), tal que gr (f(x)) = m+1.
68
Se f(x) no tiver razes em C, ento o teorema ficar provado. Por outro lado, se
f(x) tiver uma raiz em C ento:
f(x) = (x -).q(x)
onde gr (q(x)) = m. Nota-se que, por hiptese de induo, o polinmio q(x) tem no mximo m
razes em C.
Por outro lado, tem-se que:
C raiz de f(x) 0 = f() = ( -).q()
donde tira-se que raiz de q(x) ou = . Logo, f(x) tem no mximo n+1 razes em C e o
resultado segue por induo matemtica.
Aplicao 3
Se A um conjunto finito com n elementos, ento P(A), conjunto das partes de A, tem 2 n
elementos.
Demonstrao
Aqui, o nmero de elementos de P(A) ser indicado por P(A) .
(1) A proposio verdadeira para n = 0, pois neste caso A = e P(A) = { }

tem 1 = 20 elementos.
Do mesmo modo, quando n = 1, A = {a} e P(A) = { , {a} } tem 2 = 21 elementos.

Mostrando que proposio vale para n =1 .
(2) Para a hiptese de induo, admite-se que para qualquer conjunto A com k
elementos vale a igualdade P(A) = 2k.
Prova-se que o mesmo vale para um conjunto A com k + 1 elementos, ou seja,

P(A' ) = 2k+1 .
Admitindo, sem perda de generalidade, que A = A {b}, de modo que, b um

elemento que est em A mas no est em A, ento P(A) formado por todos os
subconjuntos de A (que so 2 k), mais a reunio de cada um desses subconjuntos com {b}
(que so outros 2k conjuntos).
69
Logo, P(A' ) = 2k + 2k=2. 2k= 2k+1subconjuntos.
Tem-se, pelo princpio da induo, que a afirmao vlida para todo n N.
4.2. Aplicaes geomtricas
Nesta seo encontram-se alguns resultados geomtricos: Pizza de Steiner,

frmula para o clculo da soma dos ngulos internos e do nmero de diagonais de um
polgono convexo, todos demonstrados pelo uso do princpio de induo, sendo o ltimo
deles a famosa relao de Euler para poliedros.
4.2.1. Pizza De Steiner
O maior nmero de partes em que se pode dividir o plano com n retas
n(n 1)
p ( n) 1 .
2
Demonstrao
Pensando o plano como sendo uma grande pizza, tem-se uma explicao para o
nome da proposio.
Prova-se este resultado por induo matemtica sobre n N.
Para n=1, ou seja, com apenas uma reta obtm-se duas partes. Portanto, a
frmula est correta, pois
1(1 1)
P(1) = 1 =2
2
Supe-se que a frmula vale para n, isto , que n retas dividem o plano em
n(n 1)
p ( n) 1 partes.
2
Deve-se fazer mais uma reta de modo a ter o maior nmero de partes. Para que
isto ocorra a (n+1) sima reta deve intersectar cada uma das n primeiras retas em pontos
que no so de interseco de duas retas, ou seja, em n pontos distintos. Deste modo, a
70
(n+1) sima reta produz n+1 novas partes, pois os n pontos distintos dividem essa reta em
n+1 segmentos e cada segmento divide uma regio (ou parte) em duas, gerando n+1 novas
regies (ou partes), da
p(n 1) = p(n) (n 1)
n(n 1)
= 1 (n 1)
2
n(n 1) 2 2(n 1)
=
2
(n 1)(n 2) 2
=
2
(n 1)(n 2)
= 1.
2
Mostrando que a frmula vale tambm para n+1. Portanto, pelo Princpio da
n(n 1)
Induo Matemtica, p(n) 1 vale para todo n N.
2
Figura 6: Jakob Steiner (Utzenstorf, 18 de maro de 1796 Berna, 1 de abril de 1863) foi um
matemtico suo que trabalhou principalmente na rea de geometria.
4.2.2. Diagonais de um polgono convexo

n(n 3)
O nmero de diagonais de um polgono convexo de n lados dn = para todo n 3.
2
Demonstrao
n(n 3)
Sendo P(n): dn = , tem-se que:
2
71
(1) P(3) verdadeira, pois
3(3 3)
n = 3 d3 = 0
2
o que faz sentido, pois um tringulo no tem diagonais.
n(n 3)
(2) Admite-se que P(n) verdadeira para n 3 lados, isto , dn = .
2
Prova-se que a sentena P(n+1) vale, ou seja, que
(n 1)[(n 1) 3] (n 1)(n 2)
d(n+1) = .
2 2
Considerando um polgono convexo de n+1 lados A1A2A3...AnAn+1 e tomando a

diagonal A1An, este polgono fica divido em dois polgonos: A1A2A3...An e o tringulo A1AnAn+1
(Figura 8).
Figura 7: Polgono convexo de n+1 lados
Ao fazer isto, nota-se que:
1) Todas as diagonais de A1A2A3...An so diagonais de A1A2A3...AnAn+1.

2) Um lado de A1A2A3...An torna-se diagonal de A1A2A3...AnAn+1.
3) Do vrticeAn+1 partem (n+1)-3 = n -2 novas diagonais.
Deste modo, pode-se escrever:
n(n 3) n2 3n 2n 2 (n 1)(n 2)
d n 1 d n 1 n 2 n 1 .
2 2 2
72
n(n 3)
Isto mostra que a frmula d n = vale n+1. Portanto, pelo primeiro
2
princpio da induo (generalizado), ela verdadeira para todo n N, com n 3.
4.2.3. Soma dos ngulos internos de um polgono convexo
A soma das medidas dos ngulos internos de um polgono convexo de n lados

Sn = (n-2).1800 .
Demonstrao
Considera-se a proposio P(n): Sn = (n-2).1800 . Tem-se que:
(1) A proposio P(3) verdadeira. De fato,
S3 = 1800 = (3-2). 1800 (soma dos ngulos de um tringulo).
(2) Admitindo que P(n) verdadeira para n 3lados, isto , que Sn = (n-2).1800
prova-se que P(n+1) verdadeira, o que significar provar que:
Sn+1 = [(n+1)-2].1800 = (n-1).1800.
Com efeito, tomando a diagonal A1An no polgono convexo A1A2A3...AnAn+1 de

n+1 lados, este fica divido em dos polgonos: A 1A2A3...An de n lados e o tringulo A1AnAn+1
(Figura7). Para A1A2A3...An vale a hiptese de induo, da, vlido escrever que:
Sn+1 = Sn + 1800 = (n-2).1800 + 1800= 1800.(n-2+1) = 1800.(n-1) = (n-1).1800.
Isto mostra que a frmula dada vlida para n+1. Pelo Primeiro Princpio da
induo (generalizado), temos que a frmula Sn = (n-2).1800 vlida para todo nmero
natural n 3.
73
4.2.4. Relao de Euler
Figura 8: Leonhard Euler (Basileia, 15 de abril de 1707 So Petersburgo, 18 de setembro de1783)

foi um grande matemtico e fsico suo de lngua alem.
Para todo poliedro convexo, ou para sua superfcie, vale a relao
VA+F=2
em que V o nmero de vrtices, A o nmero de arestas e F o nmero de faces do

poliedro.
Demonstrao
Antes da demonstrao, precisa-se definir superfcie polidrica limitada convexa.
Superfcie polidrica limitada convexa a reunio de um nmero finito de

polgonos planos e convexos tais que:
I) dois polgonos no esto em um mesmo plano;
II) cada lado de polgono no est em mais que dois polgonos;
III) havendo lados de polgonos que esto em um s polgono, eles devem formar uma
nica poligonal fechada, plana ou no, chamada contorno;
IV) o plano de cada polgono deixa os demais num mesmo semi-espao (condio de
convexidade).
As superfcies polidricas limitadas convexas que tm contorno so chamadas

abertas. As que no tm contorno so chamadas fechadas.
74
Figura 9: Superfcie polidrica limitada convexa.
a) Por induo finita referente ao nmero de faces, ser provado, em carter

preliminar, que, para uma superfcie polidrica limitada convexa aberta, vale a relao:
Va Aa + Fa = 1
onde Va o nmero de vrtices, Aa o nmero de arestas e Fa o nmero de faces da

superfcie polidrica limitada aberta.
1) Para Fa = 1.
Neste caso a superfcie se reduz a um polgono plano convexo de n lados e,

ento, Va = Aa = n. Tem-se:
Va - Aa + Fa = n n + 1 = 1 Va - Aa + Fa = 1.
Logo, a relao est verificada para Fa = 1.
2) Admitindo que a relao vale para uma superfcie de F faces (que possui V
vrtices e A arestas), prova-se que tambm vale para uma superfcie de F+1 faces (que
possui Fa = F+1 faces, Va vrtices e Aa arestas).
Por hiptese, para a superfcie de F faces, A arestas e V vrtices vale:
V A + F = 1.
Acrescentando a essa superfcie (que aberta) um face de p lados e

considerando que q < p desses lados coincidem com as arestas, j existentes, da borda,
obtemos uma nova superfcie com Fa faces, Aa = arestas e Va vrtices tais que:
75
Fa = F + 1
Aa = A + p q ( q arestas coincidiram )
Va = V + p (q+1) ( q arestas coincidindo, q+1 vrtices coincidem )
Formando a expresso Va Aa + Fa e substituindo os valores acima, vem:
Va Aa + Fa =V + p (q+1) (A + p q) + F + 1
=V + p q -1 A p + q + F+1
=V A + F.
Com Va Aa + Fa = V A + F prova-se que essa expresso no se altera se for

acrescentada uma face superfcie.
Como, por hiptese, V A + F = 1, vem que
Va Aa + Fa = 1
o que prova a relao preliminar.
b) Tomando a superfcie de qualquer poliedro convexo ou qualquer superfcie

limitada convexa fechada (com V vrtices, A arestas e F faces), retira-se uma face, ficando,
ento, com uma superfcie aberta ( com V a vrtices, Aa arestas e Fa faces) para a qual no
vale a relao
Va Aa + Fa = 1.
Como Va = V, Aa = A e Fa = F 1, vem V A + (F-1) = 1, ou seja:
VA+F=2
Esta demonstrao foi obtida da coleo Fundamentos de Matemtica

Elementar, Vol.10 ( geometria espacial ) de Osvaldo Dolce e Jos Nicolau Pompeo.
76
4.3. Aplicaes aritmticas
Esta seo apresenta teoremas e proposies aritmticas, que, assim como os

demais resultados presentes neste captulo, so demonstradas pelo mtodo indutivo, tendo
como primeira aplicao um resultado central na aritmtica, o teorema fundamental da
aritmtica.
4.3.1. Teorema Fundamental da Aritmtica
Todo nmero natural maior do que 1 ou primo ou se escreve de modo nico (a menos da
ordem dos fatores) como um produto de nmeros primos.
Demonstrao
A prova deste teorema ser feita pelo segundo princpio da induo matemtica.
Se n = 2, o resultado trivial. Supe-se que o teorema verdadeiro para todo

nmero natural maior que 2 e menor do que n N e prova-se sua validade para n.
Se n for primo, nada tem-se a demonstrar. Por outro lado, se n for composto
existem n1,n2 N tais que n = n1.n2, e por definio, 1 < n 1< n e 1< n2 < n. Pela hiptese de
induo, existem nmeros primos p 1,p2, ...,pr e q1,q2, ...,qs tais que n1= p1.p2. ... .pr e n2 =
q1.q2. ... .qs. Portanto,
n = n1.n2 = (p1.p2. ... .pr).( q1.q2. ... .qs) = p1.p2. ... .pr. q1.q2. ... .qs
o que prova o produto de nmeros primos.
Vamos, agora, a prova de que n se escreve de modo nico (a menos da ordem

de seus fatores). Supe-se que n = p1.p2. ... .pr =q1.q2. ....qs, onde os pi e qj so nmeros
primos. Como p1 q1.q2 . ... qs , tem-se que p1 = qj para algum 1js, que aps um
ordenamento de q1,q2, ...,qs podemos supor que seja q1. Isto implica que:
p2. ... .pr = q2. ... .qs.
Por hiptese de induo, segue que r = s e os p i e pj so iguais aos pares, pois

p2. ... .pr< n.
77
4.3.2. Pequeno Teorema de Fermat
Dado um nmero primo p, tem-se que p divide o nmero ap a, para todo a N.
Para demonstrar este teorema ser utilizado o seguinte lema.
p
Lema. Seja p um nmero primo. Os nmeros , onde0<i<p, so todos divisveis por p.
i
Prova (Lema)
p
O Lema vlido para i = 1, pois p . Pode-se, ento, supor que 1<i<p. Neste caso
1
i ! p( p 1)...( p i 1) . Como (i!,p) = 1, tem-se que
i ! ( p 1)...( p i 1) ,
p p ( p 1)...( p i 1)
e da p , pois p. , seguindo, assim, o resultado.
i i i!
Demonstrao
Prova-se, agora, o Pequeno Teorema de Fermat. Para a = 1 o resultado ,

trivialmente, vlido, pois p 1p 1 0 .
Supondo que o Teorema vale para um a N qualquer, isto , que
p ap a
verifica-se sua validade para a+1. De fato:
p p p
(a 1) p (a 1) = a p .a p 1 ... 1 (a 1) = a p a .a p 1 ... a
1 1 p 1
Pelo Lema acima e pela hiptese de induo, tem-se que:
p (a 1) p (a 1)
e, pelo Princpio da Induo Matemtica, o Teorema vlido para todo a N.

78
Figura 10: Pierre de Fermat (Beaumont-de-Lomagne,17 de Agosto de 1601 Castres, 12 de

Janeiro de 1665). Matemtico e cientista francs.
O teorema a seguir conhecido de Euclides, cerca de trezentos anos antes de

Cristo. Est enunciado em Os Elementos, porm, sem demonstrao.
4.3.3. Algoritmo de Euclides

Dados nmeros naturais n e m. Existem dois nicos nmeros inteiros no negativos q e r,
com r < m, tais que n = mq + r.
Demonstrao
I Existncia:
Se n < m, basta tomar q = 0 e r = n. Se n = m, basta tomar q = 1 e r = 0.

Portanto, resta apenas provar a propriedade quando n > m.
A demonstrao ser por induo completa sobre n. Se n = 1, o resultado

vlido, pelas consideraes acima, pois 1 = n m.
Supe-se agora que o resultado seja vlido para todo i, com 1 i n. Seja m <
n, logo 1 n+1-m n e, portanto, pela hiptese de induo, existem q e r, com r < m , tais
que n+1 m = q.m+r; logo n+1 = (q+1).m+r, e o resultado vlido para n+1, tomando
q = q+1.
79
II Unicidade:
Se n = m, s h um jeito de escrever n da forma mq+r, com r < m, que :

n=m.1+0. Se n < m, tambm s h um jeito de escrever n nessa forma: n = 0.q+n. O
resultado portanto verdadeiro quando n = 1, j que, neste caso, 1 = n m.
A prova ser tambm por induo completa sobre n. Vimos acima que a
unicidade est garantida quando n = 1. Supe-se o resultado vlido para todos os nmeros
naturais menores ou iguais a n.
Supondo, agora, que n+1 = q.m + r = q.m+r, com r, r < m, pode-se admitir que
n+1 > m, j que o resultado est garantido quando n+1 m.
Subtraindo na igualdade acima m, obtm-se que:
n+1 m = (q-1).m+r = (q-1).m+r,
e, pela hiptese de induo , tem-se que q -1 = q- 1 e r = r, da seguindo a unicidade da

escrita de n+1.
Pelo Teorema da Induo Matemtica, o resultado fica estabelecido para todo

nmero natural n.
Esta demonstrao foi obtida no livro: Induo Matemtica - Abramo Hefez

Obmep (2009) Iniciao Cientfica.
4.3.4. Princpio de Dirichlet (ou Princpio das gavetas)

Deseja-se guardar m objetos em n gavetas. Se m > n, ento alguma gaveta dever conter
mais de um objeto.
Demonstrao
A validao deste princpio ser feita por induo sobre o nmero n de gavetas.
Para n = 1 o resultado trivial pois, tendo m > 1 objetos e uma s gaveta, tem-se
que colocar nesta gaveta mais de um objeto.
Supondo que o teorema vlido para n gavetas, deve-se mostrar que o teorema
vale tambm para n+1 gavetas, com m > n+1.
Depois de distribuir os m objetos nas n+1 gavetas, escolhe-se uma gaveta ao

acaso. Se essa gaveta tiver mais de um objeto o resultado fica provado. Se essa gaveta no
80
tiver objeto, ento nas n demais gavetas esto acomodados m > n+1 > n objetos, e o
resultado tambm fica provado, pela hiptese de induo pois, teramos m>n objetos para
distribuir em n gavetas. Por outro lado, se a gaveta escolhida contiver um objeto, logo, nas n
gavetas restantes, esto distribudos m-1>n objetos, o que, novamente, pela hiptese de
induo, implica que uma das n gavetas possui mais de um objeto.
Deste modo, pelo Princpio da Induo Matemtica, o Princpio de Dirichlet fica

estabelecido para todo n, m N, tais que m>n.
Nesta seo, so abordadas uma sria de propriedades relacionadas

sequncia de Fibonacci, que definida a seguir:
4.3.5. Propriedades na sequncia de Fibonacci
Figura 11: Leonardo Fibonacci (1170 -1250) foi um matemtico italiano. Ficou conhecido pela
descoberta da sequncia de Fibonacci e pelo seu papel na introduo dos algarismos
arbicos na Europa
A sequncia de Fibonacci definida pela recorrncia de segunda ordem
Fn = Fn-1 + Fn-2, n N
onde F1 = 1 e F2 = 1.
Deste modo a sequncia de Fibonacci 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ... .
Aplicao 1
n
A soma Sn = F satisfaz a igualdade S
i 1
i n = Fn+2 1.
81
Demonstrao
n
Sabe-se que F = F
i 1
i 1 + F2 + ... + Fn , deste modo deve-se provar a seguinte
proposio:
P(n): F1 + F2 + ... + Fn = Fn+2 1
Para n = 1 a proposio vlida, pois:
F1= 1 = F3 1
Supe-se que a proposio vale para n, isto , que
F1 + F2 + ... + Fn = Fn+2 1
e prova-se que ela vale para n+1. De fato:
F1 + F2 + ... + Fn + Fn+1 = Fn+2 1 + Fn+1 = (Fn+2 + Fn+1) -1 = Fn+3 1.
Isto mostra que a igualdade satisfeita para n+1. Por induo matemtica,
pode-se concluir que P(n) verdadeira para todo n N.
Aplicao 2 Dados n, m N, com n 2, verifica-se que
Fn+m = Fn-1.Fm + Fn.Fm+1

Demonstrao
Fixado n 2, aplica-se induo sobre m. Para m=1, tem-se:
Fn+1 = Fn + Fn-1 = Fn-1 +Fn = Fn-1.F1 +Fn.F2
mostrando que a igualdade vale para m=1.
Supe-se que a igualdade seja verdadeira para todo p N tal que p m , isto ,
que
82
Fn+m = Fn-1.Fm + Fn.Fm+1
Prova-se que ela vale para m+1. De fato,
Fn+(m+1) = Fn+m + Fn+m-1 = (Fn-1.Fm + Fn.Fm+1) +( Fn-1.Fm-1 + Fn.Fm)

= (Fn-1.Fm + Fn-1.Fm-1) + (Fn.Fm+1 + Fn.Fm)
= Fn-1 . (Fm + Fm-1 ) + Fn . (Fm + Fm+1)
= Fn-1 .Fm+1 + Fn . Fm+2
Isto, pelo princpio da induo finita, prova o resultado.
Aplicao 3. Dois termos consecutivos da sequncia de Fibonacci so primos entre si, isto
, (Fn+1 , Fn) = 1.
A demonstrao deste resultado, fara uso do seguinte Lema, onde (x,y)

adotado para indicar o MDC (Mximo Divisor Comum) dos nmeros reais x e y.
Lema de Euclides. Sejam a,b,n N com a < na < b. Se existe (a, b-na), ento (a,b) existe e
(a,b) = (a, b-na).
Prova (Lema)
Considere d = (a, b-na). Por definio, d a e d b na , logo d divide b = b na +
na. Assim, d um divisor comum de a e b. Tomemos, agora, um nmero c N, tal que c a
e c b . Consequentemente, tem-se que c divide a e b-na, logo c d . Isso prova que d = (a,b).
Demonstrao
Deve-se mostrar que dois termos consecutivos da sequncia de Fibonacci so
sempre primos entre si. Isto ser feito por induo sobre n.
Para isso, considera-se a sentena aberta:
P(n):(Fn+1 , Fn) = 1
83
A proposio vlida para n = 1. De fato,
(F2 , F1) = (1, 1) = 1
Admitindo que P(n) verdadeira, isto , que (Fn+1 , Fn) = 1, deve-se mostrar que
(Fn+2 , Fn+1) = 1.
De fato, pela hiptese de induo e pelo lema de Euclides, tem-se que:
(Fn+2 , Fn+1) = (Fn+2 Fn+1 , Fn+1) = (Fn , Fn+1) = 1.
Pelo princpio da induo matemtica, (Fn+1 , Fn) = 1 para todo n N.
Aplicao 4. Se n, m N so tais que n m , ento, Fn Fm .
Demonstrao
Para demonstrao da proposio acima, usa-se m = nk. e procede-se por

induo sobre que k N.
Para k = 1, tem-se que:
m = 1.n = n
o que implica Fn Fn , o que bvio.
Supondo que Fn Fnk para um k N qualquer, prova-se que Fn Fn ( k 1) .
Pela Proposio 2 provada acima, tem-se que:
Fn ( k 1) Fnk n Fnk 1.Fn Fnk .Fn1
Como Fn Fnk 1.Fn e por hiptese de induo, Fn Fnk .Fn 1 , vlido que Fn Fn ( k 1) ,
provando, assim, o resultado.

84
4.4. Aplicaes no Mundo Material
Nas sees 4.1, 4.2 e 4.3, ficou constatado que muitas propriedades,
identidades e desigualdades algbricas referentes a nmeros naturais podem ser
demonstradas por induo. Esta seo mostra como aplicar o princpio da induo
matemtica na comprovao de resultados do mundo material.
So apresentados a seguir, algumas situaes prticas nas quais possvel

utilizar o princpio da induo matemtica.
4.4.1. O problema da franquia postal
Com selos de 5 centavos e/ou 7 centavos, possvel formar qualquer quantia para franquia
postal superior ou igual ao valor de 24 centavos.
Figura 12: Brasil - 40 Selos Postais 1975 A 1979, 1985 2000 2003
Demonstrao
Deve-se provar a proposio P(n) definida por:
P(n): se n 24, ento n = 7x + 5y, com x e y inteiros no negativos.
Nota-se que P(24) verdadeira, pois:
24 = 2.7 + 2.5.
Admite-se que a proposio P(n) vlida para um n 24 qualquer, isto , que:
n = 7x + 5y, com x e y inteiros positivos.

85
Deve-se mostrar que o mesmo vale para n+1. Para isto, considera-se dois
casos:
Caso 1. y 3
Neste caso, x 2 , pois caso contrrio, 7x + 5y 22 < 24, o que absurdo.

Desta forma, pode-se escrever:
n+1 = 7x+5y+1 = 7(x-2) + 5(y+3),
pois x 2 0.
Caso 2. y 4
Logo, y - 4 0. Assim, vlido escrever:
n+1=7x+5y+1 = 7(x+3) + 5(y-4),
mostrando que P(n+1) verdadeira. Pelo princpio da induo, pode-se concluir que a
proposio P(n) verdadeira para todo n 24.
4.4.2. Torre de Hani e o Fim do Mundo
Figura 13:Torre de Hani
A torre de Hani um jogo muito conhecido, podendo ser facilmente

confeccionado e utilizado pelos alunos da Educao Bsica.
Trata-se de um jogo de n discos, de raios distintos, com um furo no seu centro e

uma estrutura onde ficam trs hastes. Os n discos ficam enfiados em uma das hastes,
digamos a primeira, de modo que nenhum disco fique acima de um disco de raio menor.
86
O jogo consiste em transferir os n discos de uma haste para outra, deslocando

um disco de cada vez, sempre atendendo a regra acima.
Verifica-se que o nmero mnimo Mn de movimentos para transferir n discos

satisfaz a relao Mn = 2n 1.
Demonstrao
A prova realizada por induo sobre n (nmero de discos).
(1) Nota-se que a frmula vlida para n = 1, 2. De fato:
n = 1 disco M1 = 1 = 21 1 ( Trivial )
n = 2 discos M2 = 3 = 22 1 ( Fcil verificao )
(2) Supe-se que a frmula verdadeira para n = p, isto ,
Mp = 2p 1
Mostra-se que para n = p +1, a frmula continua verdadeira, ou seja, que
Mp+1 = 2p+1 1
De fato, supe-se que a primeira estaca tem p+1 discos. Para transferi-los para
a terceira estaca, pode-se fazer da seguinte forma:
1) Transferir os p discos superiores para a segunda estaca, o que pode ser

feito, no mnimo, com Mp = 2p 1 movimentos. (hiptese de induo)
2) Depois, transfere-se o disco de raio maior para a terceira estaca, com um

nico movimento.
3) Por ltimo, leva-se os p discos da estaca do meio para a terceira estaca. O

que levar mais Mp = 2p 1 movimentos, no mnimo.
Portanto:
Mp+1 = Mp + 1 + Mp = 2p 1 + 1 + 2p 1 = 2.2p 1 = 2p+1 1. c.q.d.
Pelo princpio da induo matemtica, tem-se que o nmero mnimo de

movimentos dado por Mn = 2n 1 para todo n N.
87
Este jogo foi idealizado e publicado pelo matemtico francs Edouard Lucas, em
1882, que na ocasio formulou a seguinte lenda.
Havia em um templo 3 estacas e n discos de ouro, de dimetros diferentes.

Inicialmente os discos estavam enfiados na primeira estaca em ordem crescente de
dimetros, de cima para baixo. Os sacerdotes se ocupavam em transferi-los para a terceira
estaca, usando a segunda como estaca auxiliar. Nesse processo de transferncia, se movia
apenas um disco de cada vez. Quando todos estivessem enfiados na terceira estaca, o
mundo acabaria.
4.4.3. O problema da loteria
Em uma loteria de N nmeros h um s prmio. Um jogador compra n (1<n<N) bilhetes para

uma s extrao. O outro compra 1 bilhete em cada n extraes diferentes. Qual deles tem
maior chance de ganhar algum prmio?
Figura 14: Bilhete de Loteria
Demonstrao
Se todos os n bilhetes so jogados numa nica vez a chance (probabilidade) de

n
ganhar o prmio numa extrao .
N
Para determinar a outra probabilidade usa-se o seguinte procedimento: calcular

primeiro a probabilidade de no ganhar. Como o nmero de casos possveis N n e o
nmero de casos provveis dado por (N-1)n a probabilidade de no ganhar em nenhumas
( N 1) n
das n extraes .
Nn
88
Logo, a probabilidade de ganhar um prmio em uma das n extraes dada por:
( N 1) n
1 .
Nn
n
Agora, o problema se traduz em descobrir a relao entre os nmeros e
N
( N 1)n
1 .
Nn
n ( N 1) n
Prova-se, por induo matemtica, que >1 ou, equivalentemente,
N Nn
( N 1) n n
n
1 para todo n N, resolvendo assim o problema.
N N
De fato:
(1) Para n = 2 temos
( N 1)2 N 2 2 N 1 2 1 2 1
2
2
1 2 1 , pois, neste caso, > 0.
N N N N N N2
Assim, tem-se que a desigualdade verdadeira para n = 2.
(2) Como hiptese de induo, admite-se que a desigualdade verdadeira

quando n = k:
( N 1) k k
k
1
N N
Mostra-se que para n = k+1 ela continua verdadeira. Com efeito:
( N 1)k 1 ( N 1) k N 1 k N 1 k 1
k 1
. 1 . 1 .1 =
N N N N
k
N N N
1 k k 1 k (k 1)
1 2 >1 1 . c.q.d.
N N N N N N
Portanto, o primeiro jogador, ao comprar n bilhetes para uma nica extrao, tem
mais chance de ganhar o prmio da loteria.
89
4.4.4. O Problema da moeda falsa

Um rei muito rico possui 3 n moedas de ouro. Porm, uma destas moedas falsa,sendo seu
peso menor que o peso das demais.
Figura 15: Moedas de Ouro
Com uma balana de 2 pratos e sem nenhum peso, verifica-se que possvel encontrar a
moeda falsa com apenas n pesagens.
Demonstrao
Seja a proposio P(n), definida por:
P(n): Dadas 3n moedas, pode-se encontrar, nas condies dadas, a moeda falsa
com apenas n pesagens.
Nota-se que P(1) verdadeira, pois:
Para n = 1, tem-se 31 = 3 moedas e com 1 pesagem pode-se identificar a moeda

falsa do seguinte modo: escolhem-se duas moedas e coloca-se uma em cada prato da
balana, deixando uma de fora. Caso a balana equilibre, a moeda falsa a que ficou fora.
Caso a balana desequilibre, a moeda falsa do prato que ficar mais alto.
Admite-se que P(n) verdadeira, isto , que: dadas 3n moedas, podemos

encontrar, nas condies dadas, a moeda falsa com apenas n pesagens.
Deve-se mostrar que P(n+1) tambm verdadeira. Para isto, divide-se as 3n+1
moedas em 3 partes de 3 n moedas cada. Escolhendo duas partes para colocar na balana.
Se a balana equilibrar, ento a moeda falsa est na parte que no foi escolhida. Por outro
lado, se a balana desequilibrar, ento a moeda falsa uma das 3 n moedas presentes no
prato mais alto. De qualquer modo, com uma pesagem podemos identificar em qual das trs
partes est a moeda falsa, ficando apenas 3 n para pesquisar.
90
Por hiptese de induo, tendo 3 n moedas pode-se encontrar a moeda falsa com
apenas n pesagens, totalizando n+1 pesagens. Logo, P(n+1) tambm vlida.
Pelo princpio de induo matemtica, tem-se que P(n) vlida para todo n N.
4.4.5. Os coelhos de Fibonacci
Um casal de coelhos adultos gera um casal de coelhos por ms, que se tornam adultos dois
meses aps o nascimento. Supondo que os coelhos so imortais. Comeando no ms
0 (zero) com um casal adulto (que ter prole apenas no ms 1). Verifica-se que o nmero Fn
de casais gerados no ms n satisfaz a seguinte relao:
n n
1 1 5 1 1 5
Fn = . . .
5 2 5 2
Demonstrao
A prova realizada por induo sobre n.
(1) A frmula verdadeira para n = 1, 2. De fato:
1 1
1 1 5 1 1 5
n=1 F1 =1 = . . (Fcil Verificao)
5 2 5 2
2 2
1 1 5 1 1 5
n=2 F2 =1 = . . (Fcil Verificao)
5 2 5 2
(2) Como hiptese de induo, supe-se que para n = 1, 2, ..., k, k+1 , a frmula
verdadeira. Espera-se provar que ela verdadeira para n = k+2.
Todos os casais que geraram casais de filhotes no ms k+1 geram, novamente,
um casal de filhotes no ms k+2. Alm disso, os casais que nasceram no ms k geram os
seus primeiros casais de filhotes no ms k+2. Portanto, o nmero Fk+2 de casais gerados no
ms k+2 dado por Fk+2 = Fk+1 + Fk .
Usando essa relao e a hiptese de induo, tem-se:

91
1 1 5 k 1 1 1 5 k 1 1 1 5 k 1 1 5 k
Fk+2 = Fk+1 + Fk = . . . .
5 2 5 2 5 2 5 2

k k
1 1 5 1 5 1 1 5 1 5
= . . 1 . . 1
5 2 2 5 2 2
k k
1 1 5 3 5 1 1 5 3 5
= . . . .
5 2 2 5 2 2
k k
1 1 5 6 2 5 1 1 5 6 2 5
= . . . .
5 2 4 5 2 4
k 2 k 2
1 1 5 1 5 1 1 5 1 5
= . . . .
5 2 2 5 2 2
k 2 k 2
1 1 5 1 1 5
= . . ,
5 2 5 2
o que mostra a validade da expresso para o (n+1) simo termo da sequncia de
Fibonacci.
Portanto, pelo princpio de induo matemtica,
n n
1 1 5 1 1 5
Fn . .
5 2 5 2
vale para todo n N.

92
CONSIDERAES FINAIS
Esta dissertao apresenta como objetivo pesquisar a fundamentao terica do

mtodo indutivo e selecionar resultados matemticos encontrados na educao bsica onde
possvel validar, aplicando este mtodo de demonstrao. No instante em que foi firmada
a opo por este assunto no vislumbrou-se encontrar tantas aplicaes interessantes e
teoremas importantes, o que para o sucesso da pesquisa acabou ocorrendo.
As aplicaes algbricas foram encontradas em maior nmero. Dentre elas

pode-se destacar a expresso do binmio de Newton, a desigualdade de Bernoulli e a
primeira frmula de Moivre, utilizada na potenciao de nmeros complexos, bem como as
frmulas utilizadas no estudo de progresses aritmticas e geomtricas.
Um fato geomtrico muito curioso foi o nmero das partes em que fica dividido
um plano por n retas, conhecido como pizza de Steiner. Este foi um dos destaques das
aplicaes geomtricas acompanhado da famosa relao de Euler para poliedros. No
deixando de mencionar as frmulas para o clculo da soma dos ngulos internos e do
nmero de diagonais de polgonos convexos, estudadas nas sries finais do ensino
fundamental.
Quanto a aritmtica, foram relacionados teoremas centrais, como o teorema

fundamental da aritmtica e propriedades relevantes tais como: Pequeno Teorema de
Fermat, diviso euclidiana (algoritmo de Euclides) e o princpio das gavetas, seguidas das
curiosidades da sequncia de Fibonacci.
Outro fato interessante encontrado, foram os problemas prticos solucionados

ou comprovados pelo mtodo indutivo, entre os quais se destacaram a da torre de Hani e
dos coelhos de Fibonacci.
Procurou-se evidenciar, neste trabalho, que o princpio da induo um

importante mtodo de comprovao de resultados matemticos, tendo diversas aplicaes
na lgebra, aritmtica e geometria. Podendo, perfeitamente, ser abordado e aplicado no
ensino da matemtica da educao bsica.
93
Esta pesquisa permitiu ao autor da dissertao ampliar, seus conhecimentos de

lgebra, geometria e aritmtica e, sobretudo do princpio de induo matemtica, em nvel
de educao bsica. Espera-se que isto venha refletir na prtica docente, melhorando a
qualidade das aulas que ministra na rede estadual de ensino.
Espera-se que este material possa servir de apoio aos estudantes universitrios
dos cursos de licenciatura em cincias e, principalmente, professores que atuam no ensino
da matemtica na educao bsica. Boa parte deste material pode ser estudado e
reproduzido por alunos do ensino mdio, sobretudo alunos em nvel olmpico. A maior
expectativa que esta pesquisa torne-se mais um instrumento a favor do ensino da
matemtica e crescimento profissional dos seus professores.
Para estudo e inseres mais profundas, recomenda-se, dentre outros, a leitura

dos livros Induco Matemtica. 1a ed. OBMEP, 2009 e Manual de induo matemtica,
2a ed., Intercincia, 1999.
94
REFERNCIAS BIBLIOGRFICAS
ALMEIDA, Sebastio Almeida de. Anlise matemtica: princpios e aplicaes na

economia. 1 ed. Fortaleza: UFC/CAEN, 2007.
BOYER, Carl Benjamin. Histria da matemtica. 1 ed. So Paulo: Ed. Da Universidade de

So Paulo, 1974.
COURANT, Richard; ROBBINS, Herbert. Qu es la matemtica?: una exposicin elemental

de sus ideas y mtodos. 3 ed. Madrid: Aguilar, 1962.
COUTINHO, Lzaro. Matemtica e mistrio em Baker Street. 1 ed. Rio de Janeiro:

Cincia Moderna, 2003.
FILHO, Edgard de Alencar. Teoria elementar dos nmeros. 3 ed. So Paulo: Nobel, 1985.
FILHO, Manoel. Princpiose filsofos da matemtica. 1 ed. Recife: Oficinas Grficas do

Unio Cursos, 1977.
GERSTING, Judith L. Fundamentos matemticos para a cincia da computao. 4 ed.

Hava: LTC, 2001.
HEFEZ, Abramo. Elementos de aritmtica. 2 ed. Rio de Janeiro: SBM, 2010. (Coleo
Textos Universitrios)
______.Induco matemtica. 1aed.Rio de Janeiro: OBMEP, 2009. (Programa de Iniciao

Cientfica)
HEFEZ, Abramo; VILLELA, Maria Lcia Torres. Polinmios e equaes algbricas. 1 ed.
[S.L.:s.n.], 2012.
HAZZAN, Samuel. Fundamentos de matemtica elementar:combinatria e probabilidade.

7. ed.So Paulo: Atual, 2004.
IEZZI, Gelson; DOLCE, Osvaldo; MURAKAMI, Carlos. Fundamentos de matemtica

elementar: logaritmos. 9. ed.So Paulo: Atual, 2004.
95
IEZZI, Gelson; HAZZAN, Samuel.Fundamentos de matemtica elementar: sequncias,

matrizes, determinantes e sistemas. 7. ed.So Paulo: Atual, 2004.
IEZZI, Gelson; MURAKAMI, Carlos.Fundamentos de matemtica elementar: conjuntos e

funces. 8. ed.So Paulo: Atual, 2004.
IEZZI, Gelson.Fundamentos de matemtica elementar: complexos, polinmios e

equaes. 7. ed. So Paulo: Atual, 2005.
_____.Fundamentos de matemtica elementar:trigonometria. 8. ed. So Paulo: Atual,

2004.
LIMA, Elon Lages; CARVALHO, Paulo Cezar Pinto; WAGNER, Eduardo; MORGADO,
Augusto Csar. A matemtica do ensino mdio. v.1. 9 ed. Rio de Janeiro: SBM, 2006.
(Coleo do Professor de Matemtica)
_____. A matemtica do ensino mdio. v.2. 6 ed. Rio de Janeiro: SBM, 2006. (Coleo
do Professor de Matemtica)
LOPES, Lus. Manual de induo matemtica. 2a ed. Rio de Janeiro: Intercincia, 1999.
MENEZES, Paulo Blauth. Matemtica discreta: para computao e informtica. 2 ed. Rio
Grande do Sul: Sagra Luzzatto, 2005.
MORGADO, Augusto Csar de Oliveira; CARVALHO, Joo Bosco Pitombeira de;

CARVALHO, Paulo Cezar Pinto; FERNANDEZ, Pedro. Anlise combinatria e
probabilidade. 6 ed. Rio de Janeiro: SBM, 2004.
NERI, Cassio; CABRAL, Marco. Curso de anlise real. 2 ed. Rio de Janeiro: UFRJ/Instituto
de Matemtica, 2011.
OLIVEIRA, Krerley; CORCHO, Adn J. Iniciao a matemtica. 1 ed. [S.L.:s.n.], 2012.
POMPEO, Jos Nicolau; DOLCE, Osvaldo. Fundamentos de matemtica elementar:

geometria espacial. 5 ed. So Paulo: Atual, 1993.
PROFMAT. Matemtica discreta. Material disponibilizado no moodledurante a disciplina de

Matemtica Discreta. [S.L.:s.n.], 2011.
96
PROFMAT. Aritmtica I. Material disponibilizado no moodledurante a disciplina de

Aritmtica I. [S.L.:s.n.], 2011.
97
ANEXO
Neste anexo demonstrada a equivalncia entre o princpio de boa ordem e

princpio de induo matemtica, vlidos para o conjunto N, dos nmeros naturais.
Teorema (Boa Ordem = Induo) Vale o Princpio da Boa Ordem se, e somente se, vale o
Princpio da Induo.
Demonstrao
Supondo vlido o Princpio da Boa Ordem. Seja A N satisfazendo (I) 1A e

(II) nA implica que n+1A. Suponhamos, por absurdo, que A N. Isto significa que existe
algum elemento de N que no pertence a A e, portanto, o conjunto B = A c no vazio. Pelo
Princpio da Boa Ordem, B possui um menor mnimo m B. Com certeza m > 1 pois como 1
A, 1 B = Ac . Assim, m-1 um natural menor que m. Pela minimalidade de m, temos que
m-1 B e, portanto, m-1 A . De (II) conclumos que m = (m-1) + 1 A, o que absurdo.
Supondo vlido o Princpio da Induo. Seja B N no vazio. Supe-se por

absurdo que B no possua elemento mnimo. Em particular, 1 B (seno 1 seria elemento
mnimo de B). Seja
A = {n N; n < m m B }.
Tomando inicialmente que A B = . De fato, se A B , ento existe

n A B. Tendo n A temos tambm n<m qualquer que seja m B, em particular, tomando
m=n B obtemos n <n o que um absurdo. Conclumos que A B = .
Obtm-se a seguir que A=N. Isto suficiente para concluir a demonstrao.

Neste caso temos = A B = N B = B contradizendo a hiptese B .
Mostra-se, por induo, que A = N. J sabe-se que 1 B e portanto 1<m

qualquer que seja m B, ou seja, 1 A. Tomemos n A. Por definio de A temos n<m
qualquer que seja m B, logo n+1 m para todo m B. Se n+1 B ento n+1 um
elemento mnimo de B. Como, por hiptese, B no possui elemento mnimo, segue que
n+1 B e portanto n+1<m para qualquer m B. Pode-se concluir que n+1 A e, pelo
Princpio da Induo, que A = N.
Esta demonstrao foi obtida no livro Curso de Anlise Real dos autores Cassio
Neri e Marco Cabral 2 Edio, 2011.

Tese 5

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Tese 5

Hochgeladen von

Copyright:

Verfügbare Formate

UNIVERSIDADE ESTADUAL DO CEAR

NATANAEL CHARLES BRITO FREITAS

PRINCPIO DA INDUO MATEMTICA:

NATANAEL CHARLES BRITO FREITAS

PRINCPIO DA INDUO MATEMTICA: FUNDAMENTO

Dissertao apresentada ao Curso de

Orientador: Prof. Dr. Guilherme Lincoln

Dados Internacionais de Catalogao na Publicao

Universidade Estadual do Cear

Biblioteca Central Prof. Antnio Martins Filho

Bibliotecrio (a) Leila Cavalcante Stiro CRB-3 / 544

F886p Freitas, Natanael Charles Brito.

Princpio da Induo Matemtica: Fundamento Terico e

CD-ROM 97f. : il. (algumas color.) ; 4 pol.

CD-ROM contendo o arquivo no formato PDF do trabalho

Dissertao (mestrado) Universidade Estadual do Cear, Centro

rea de Concentrao: Matemtica.

Orientao: Prof. Dr. Guilherme Lincoln Aguiar Ellery.

1. Princpio de induo matemtica. 2. Aplicaes. 3. Educao

O Princpio de Induo um eficiente instrumento para a demonstrao de fatos referentes

Elon Lages Lima

Palavras-chave: Princpios de induo matemtica; Mtodo de induo; Aplicaes; Educao

Keywords: Principles of mathematical induction, induction method; Applications; basic education.

A Deus, por me ajudar a superar todos os desafios.

A meus amigos e familiares, que souberam entender minha ausncia e me apoiaram

A todos os professores do curso, por toda colaborao e apoio prestados.

A Universidade Estadual do Cear, pela oportunidade de fazer o mestrado em suas

Ao Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico-CNPq, pelo apoio

Figura 1: Giuseppe Peano ......................................................................................... 16

Figura 2: Efeito domin .............................................................................................. 34

Figura 3: Isaac Newton ............................................................................................. 49

Figura 4: Jacques Bernoulli ....................................................................................... 54

Figura 5: Abraham de Moivre.................................................................................... 67

Figura 6: Jakob Steiner ............................................................................................. 70

Figura 7: Polgono convexo de n+1 lados ................................................................. 71

Figura 8: Leonhard Euler .......................................................................................... 73

Figura 9: Superfcie polidrica limitada convexa ....................................................... 74

Figura 10: Pierre de Fermat ...................................................................................... 78

Figura 11: Leonardo Fibonacci ..................................................................................... 80

Figura 12: Brasil - 40 Selos Postais ........................................................................... 84

Figura 13: Torre de Hani ............................................................................................ 85

Figura 14: Bilhete de Loteria ....................................................................................... 87

Figura 15: Moedas de Ouro ....................................................................................... 89

4.2.2. Diagonais de um polgono convexo ............................................................................70

Esta pesquisa aborda os princpios de induo, seu fundamento terico e suas

Na matemtica, as proposies podem ser comprovadas pelo uso de vrios

No h dvidas de que as demonstraes possuem um carter essencial na

Um dos resultados centrais desta pesquisa o teorema conhecido como

Para desenvolvimento da teoria abordada nesta pesquisa, optamos pelo mtodo

Atualmente, nas escolas de ensino mdio, em sua maioria, as demonstraes

Este trabalho trata de fundamentar o mtodo de induo, fornecer uma lista de

da educao bsica. Deste modo, pretendo contribuir para a melhora do ensino da

Esta dissertao est estruturada em cinco partes. A primeira a introdutria e

Em seguida, no captulo 3, so enunciados os princpios de induo e suas

O captulo 4 parte central desta pesquisa, pois apresenta uma srie de

A ltima parte dedicada s consideraes finais e conclusivas resultantes da

Considerando sempre o rigor intrnseco Matemtica, procurou-se manter uma

Neste captulo apresentado um estudo dos nmeros naturais, abordando sua

2.1. Contexto histrico: Da Intuio Abstrao

Os nmeros constituem um dos principais objetos de estudo da matemtica e

Segundo Lima (2006, p.25), os textos tradicionais afirmam que:

Nmero o resultado da comparao entre uma grandeza e unidade. Se a

As noes primitivas de nmero, grandeza e forma podem ser encontradas nos