Escolar Documentos
Profissional Documentos
Cultura Documentos
FORTALEZA- CEAR
2013
2
Fortaleza-Cear
2013
3
CDD: 510
4
5
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.
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.
AGRADECIMENTOS
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.
Aos meus colegas do curso, por toda amizade e ajuda. Sucesso a todos.
LISTA DE FIGURAS
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
1. INTRODUO
Veremos que este teorema muito til para comprovar frmulas e proposies
dadas a priori e para confirmar conjecturas feitas sobre subconjuntos infinitos de N.
2. NMEROS NATURAIS
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.
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 .
N = { 1, 2, 3, 4, 5, ... } .
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
B A funo s: N N injetiva.
2.3.1. Adio em N
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.
Demonstrao
X = { n N; m+n N }.
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.
Isto nos mostra que o conjunto dos nmeros naturais fechado em relao a
adio.
2.3.2. Multiplicao em N
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.
Demonstrao
X = { n N; m.n N }.
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.
Isto mostra que o conjunto dos nmeros naturais tambm fechado em relao
a multiplicao.
2.3.3. Ordem
Demonstrao
Demonstrao
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 .
Proposio 6. (Tricotomia) Dados m,n N, qualquer das afirmaes m<n, m=n, m > n exclui
as outras.
Demonstrao
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.
m + p < n + p.
Demonstrao
Demonstrao
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.
Demonstrao
pois assumimos que m + p = n + p. (3 Relao) m=n. Pela tricotomia, esta nica relao
que resta.
Demonstrao
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.
Demonstrao
X = { n N; In N A}.
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.
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.
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
22 1 232 1 4 294 967 297 = 641 x 6 700 417 e que, portanto, no primo.
5
resulta F5 =
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.
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.
(1) 1pertence a S (1 S );
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.
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.
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.
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.
(i)P(1) verdadeira;
Demonstrao
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.
que sempre que P(n) verdadeira, ento P(n+1) tambm seja; no exigindo nada quando
P(n) falsa.
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).
derrubados e se apenas a segunda for aplicada nada garante a queda dos domins teria
incio.
4n 1
Exemplo 1. Prove que, para todo nmero natural n 1, o nmero an = inteiro e
3
mpar.
Demonstrao
41 1
a1 = 1 , que mpar.
3
4n 1
Por hiptese, an = mpar. Da, pode-se escrever:
3
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
(n+2)! 1.
Exemplo 3. A soma dos cubos de trs nmeros inteiros consecutivos divisvel por 9.
Demonstrao
divisvel por 9.
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.
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.
(ii) Se P(n) verdadeira, ento P(n+1) verdadeira, pois sempre que E n fica
definido En+1 tambm fica.
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
n
Pode-se indicar a soma Sn = a1 + a2 + ... +an usando o smbolo a .
i 1
i
Definio 2. Fatorial
1! = 1 e(n+1)! = (n+1).n!
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:
Demonstrao
Demonstrao
isto , a proposio P(n+1) verdadeira. Logo pelo Teorema 2, a P(n) vlida para todo
nmero natural n 4 .
Demonstrao
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.
(1) Dado um n N qualquer, se P(1), P(2), P(3), ..., P(n) so verdadeiras, ento P(n+1)
verdadeira.
Demonstrao
(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.
Demonstrao
X = { n N; n r e P(n) falsa }.
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
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
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:
Sn =
a1 an .n . (1)
2
Demonstrao
a1 a1 .1 2a1 a
S1 = 1.
2 2
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 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.
an = a1 . qn-1
Demonstrao
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:
a1.(q n 1)
Gn= a1+ a2 + ... + an= (1)
q 1
46
Demonstrao
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
a1.(q n 1)
a1 + a1q +a1q2 +...+a1qn-1 = .
q 1
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
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
an+1 = q.an + r,
n-1 q n 1 1
an = a1 .q + r.
q 1
Demonstrao
q0 1
(1) Para n = 1 a frmula verdadeira, pois a 1 = a1 .q0 + r. = a1.
q 1
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.
q n 1 1 qn 1 n 1
Sn = qr - a 1 +r .
(1 q) 2
1 q 1 q
Demonstrao
q0 1 q1 1 1 1
S1 = qr - a 1 +r = a1.
(1 q) 2
1 q 1 q
48
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 .
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
q n 1 1 qn 1 n 1
Sn = qr - a 1 +r ,
(1 q) 2
1 q 1 q
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
n n 1 n 1
(Relao de Stifel).
p p p 1
50
n n!
utilizando a definio de coeficiente binomial .
p p !(n p)!
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
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
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
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
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
k k k k
... 2 ,
k
0 1 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
k k 1 k n k n 1
Para n 0, verifica-se que ... .
k k k k 1
Demonstrao
k k 1 k n k n 1
P(n): ... .
k k k k 1
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
n
m i m n 1
Sn =
i 0
i n
.
Demonstrao
k k 1 k n k n 1
P(n): ... vale para todo n N.
0 1 n n
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
(1+x)n 1+nx.
Demonstrao
sen(nx) n senx
Demonstrao
Seja a proposio:
sen(kx) k. senx
Isto mostra que a desigualdade vale para n = k+1. O resultado segue, por
induo matemtica.
Aplicao 3.
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.
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
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
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
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
Aplicao 2
n (n 1)
n sen .sen
sen i =
i 1
2
2 .
sen
2
Demonstrao
n
sen
2 .sen (n 1) .
n
P(n): sen i =
i 1
2
sen
2
1.
sen
2 .sen (1 1)
1
n = 1 sen i = sen 1. = sen =
i 1
2
sen
2
n
sen
2 .sen (n 1) .
n
i 1
sen i =
2
sen
2
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
Aplicao 3
n
sen
2 .cos (n 1)
n
Para Re 2k e n 1, cos i =
i1
2
sen
2
Demonstrao
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
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 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
Aplicao 4
n
Para todo n1, 1p + 2p + 3p + ... + np = k
k 1
p
um polinmio de grau p+1 em n.
Demonstrao
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
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
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
,
n
Corolrio. Se F um polinmio de grau p ento F (k ) um polinmio de grau p+1 em n.
k 1
63
(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
(x
k 1
k 1 xk ) xn1 x1
n 1 n
transposta da matriz A.
Teorema de Laplace
Demonstrao ( da Aplicao 1)
A At .
n = 1 A = a11 = A
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
mostrar que P(n) continua verdadeira para n=k, isto , que A A , onde A uma matriz
t
de ordem k.
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
a11 a12
M= M = a11.a22 a12 .a21 .
a21 a22
a21 a22
M = M ' = - det M.
a11 a12
a12 a11
M = M ' = a12 .a21 a11.a22 = M .
a22 a21
Toma-se a linha i, considerando que ela no nenhuma das duas linhas que
foram permutadas.
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
Demonstrao:
A prova ser feita por induo sobre n, para isto observa-se que:
Zk = rk .(cos k + i.sen k)
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
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.
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
(2) Para a hiptese de induo, admite-se que para qualquer conjunto A com k
elementos vale a igualdade P(A) = 2k.
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.
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.
Demonstrao
n(n 3)
Sendo P(n): dn = , tem-se que:
2
71
3(3 3)
n = 3 d3 = 0
2
n(n 3)
(2) Admite-se que P(n) verdadeira para n 3 lados, isto , dn = .
2
(n 1)[(n 1) 3] (n 1)(n 2)
d(n+1) = .
2 2
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.
Demonstrao
(2) Admitindo que P(n) verdadeira para n 3lados, isto , que Sn = (n-2).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
VA+F=2
Demonstrao
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).
Va Aa + Fa = 1
1) Para Fa = 1.
Va - Aa + Fa = n n + 1 = 1 Va - Aa + 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).
V A + F = 1.
Fa = F + 1
Aa = A + p q ( q arestas coincidiram )
Va Aa + Fa =V + p (q+1) (A + p q) + F + 1
=V + p q -1 A p + q + F+1
=V A + F.
Va Aa + Fa = 1
Va Aa + Fa = 1.
VA+F=2
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 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
ordenamento de q1,q2, ...,qs podemos supor que seja q1. Isto implica que:
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
p ap a
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
p (a 1) p (a 1)
Demonstrao
I Existncia:
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:
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.
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.
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.
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
Fn = Fn-1 + Fn-2, n N
onde F1 = 1 e F2 = 1.
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:
F1= 1 = F3 1
F1 + F2 + ... + Fn = Fn+2 1
Isto mostra que a igualdade satisfeita para n+1. Por induo matemtica,
pode-se concluir que P(n) verdadeira para todo n N.
Supe-se que a igualdade seja verdadeira para todo p N tal que p m , isto ,
que
82
Aplicao 3. Dois termos consecutivos da sequncia de Fibonacci so primos entre si, isto
, (Fn+1 , Fn) = 1.
Lema de Euclides. Sejam a,b,n N com a < na < b. Se existe (a, b-na), ento (a,b) existe e
Prova (Lema)
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.
P(n):(Fn+1 , Fn) = 1
83
Admitindo que P(n) verdadeira, isto , que (Fn+1 , Fn) = 1, deve-se mostrar que
(Fn+2 , Fn+1) = 1.
Demonstrao
m = 1.n = n
Como Fn Fnk 1.Fn e por hiptese de induo, Fn Fnk .Fn 1 , vlido que Fn Fn ( k 1) ,
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.
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
24 = 2.7 + 2.5.
Deve-se mostrar que o mesmo vale para n+1. Para isto, considera-se dois
casos:
Caso 1. y 3
pois x 2 0.
Caso 2. 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.
Demonstrao
n = 1 disco M1 = 1 = 21 1 ( Trivial )
Mp = 2p 1
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:
Portanto:
Este jogo foi idealizado e publicado pelo matemtico francs Edouard Lucas, em
1882, que na ocasio formulou a seguinte lenda.
Demonstrao
( N 1) n
das n extraes .
Nn
88
( 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:
( 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
( N 1) k k
k
1
N N
( 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
Com uma balana de 2 pratos e sem nenhum peso, verifica-se que possvel encontrar a
moeda falsa com apenas n pesagens.
Demonstrao
P(n): Dadas 3n moedas, pode-se 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.
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
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 .
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.
n n
1 1 5 1 1 5
Fn . .
5 2 5 2
CONSIDERAES FINAIS
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.
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.
REFERNCIAS BIBLIOGRFICAS
FILHO, Edgard de Alencar. Teoria elementar dos nmeros. 3 ed. So Paulo: Nobel, 1985.
HEFEZ, Abramo. Elementos de aritmtica. 2 ed. Rio de Janeiro: SBM, 2010. (Coleo
Textos Universitrios)
HEFEZ, Abramo; VILLELA, Maria Lcia Torres. Polinmios e equaes algbricas. 1 ed.
[S.L.:s.n.], 2012.
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.
NERI, Cassio; CABRAL, Marco. Curso de anlise real. 2 ed. Rio de Janeiro: UFRJ/Instituto
de Matemtica, 2011.
ANEXO
Teorema (Boa Ordem = Induo) Vale o Princpio da Boa Ordem se, e somente se, vale o
Princpio da Induo.
Demonstrao
A = {n N; n < m m B }.
Esta demonstrao foi obtida no livro Curso de Anlise Real dos autores Cassio
Neri e Marco Cabral 2 Edio, 2011.