A INDUO MATEMTICA COMO MTODO DE DEMONSTRAO Galvina Maria de Souza FE A!E"FAFIDIA #alvina$%&'a(oo)*o+),r Dr) Di+a- Feli.

i.e de Miranda /UC"MG e FUME di+a-0+&'a(oo)*o+),r Re-u+o: O presente trabalho discute a induo matemtica como mtodo de demonstrao e apresenta um relato de uma experincia matemtica realizada com alunos de um curso de formao de professores. As atividades aqui relatadas se constituem em uma su esto de uma metodolo ia para entendimento da !nduo "atemtica e sua aplicao. /alavra C(ave1 !nduo# mtodo de demonstrao. In2rodu34o1 O presente trabalho relata o desenvolvimento de uma atividade que abordou os conceitos de !nduo "atemtica. $sta pode ser vista como instrumento de aprendiza em da teoria dos n%meros em um curso de formao de professores. $ntendemos que a !nduo constitui um importante instrumento que pode ser usado como mtodo de demonstrao de con&ecturas "atemticas. '(!)!*A+# et.al., -rimeiramente apresentamos uma aborda em te.rica da !nduo "atemtica como "todo de )emonstrao# que foi dada aos alunos antes da realizao das atividades# a se uir apresentamos o desenvolvimento das atividades com a finalidade de promover o ensino/aprendiza em da prova por induo e finalmente apresentamos nossas anlises e considera0es# baseadas nas nossas observa0es durante a realizao das mesmas e em re istros escritos pelos alunos. O,5e2ivo-1 As Atividades aqui relatadas ob&etivaram: 1undamentar teoricamente e promover o ensino/aprendiza em da !nduo "atemtica# como mtodo de demonstrao2 $nfatizar a import3ncia de cada uma das duas propriedades que constituem a -rova por !nduo "atemtica2

4ornar os alunos aptos a aplicar a prova por !nduo "atemtica)

Me2odolo#ia -rimeiramente foram dadas cinco aulas condensadas onde fizemos a fundamentao te.rica da !nduo "atemtica. )urante essas aulas# foram realizadas alm de exposi0es# exemplos de situa0es de induo e de provas por induo. $m se uida# os alunos realizaram um con&unto de importantes atividades# que constituem uma adaptao atividades retiradas dos textos de 5n ela (idi al 'et. al., e *eraldo 6vila# tidos como parte do nosso referencial te.rico. 4ais atividades foram criteriosamente selecionadas# a fim de formar uma seq7ncia didtica que proporcionasse a obteno dos ob&etivos propostos acima. Indu34o Ma2e+62i*a Funda+en2a34o Te7ri*a A !nduo "atemtica um importante mtodo de demonstrao matemtica trabalhado eralmente# nos cursos de 6l ebra ou de 4eoria dos n%meros dos cursos de formao de professores# tendo aplica0es em quase todas as reas da matemtica. 1oi desenvolvida a partir do o %ltimo axioma de *iusep -eano '89:9 ; 8<=>,# que praticamente define os ?%meros ?aturais '+!"A# >@@A,# mas foi Au ust )e "or an# que em 899=# descreveu esse processo cuidadosamente e deu a ele o nome de !nduo "atemtica. '+OBC$!CO# s/d, Bma demonstrao baseada na !nduo "atemtica chamada -rova por !nduo e se constitui de duas propriedades: preciso que a afirmao se&a vlida para um primeiro natural a# no necessariamente o n%mero 82 uma vez satisfeita essa propriedade# considerando a afirmao vlida para um natural k arbitrrio vlida tambm para o sucessor de k. Dendo essas duas propriedades satisfeitas# podemos concluir que a afirmativa inicial verdadeira '(!)!*A+ et. al.# >@@:,. /ri+eira 0or+a da Indu34o Ma2e+62i*a

)efinio: Duponha que para cada natural n# se tenha uma afirmativa P(n) que satisfaa as se uintes propriedades: 'i, 'ii, $nto: P(n) verdadeira para todo n natural '(!)!*A+ et. al.#>@@:, E importante destacarmos que a !nduo "atemtica constituFda de duas propriedades# cada uma de considervel import3ncia# pois a primeira arante que estamos partindo de um fato verdadeiro para o primeiro n%mero natural a# a se unda arante que se a afirmao verdadeira para um natural k a qualquer e implica em verdadeira para o seu sucessor# ento verdadeira para todo natural. $xemplo: -rove por !nduo que:
P ' n, = 8 + 8 8 8 8 8 + + + ... + n = > n > G 9 > > 8 8 = > = 8 # verdadeira. 8 > > 8 8 8 8 8 + + + ... + k = > k > G 9 > >

P(a) verdadeira2 Dempre que a afirmativa verdadeira para um natural k qualquer e verdadeira para o seu sucessor k+12

(erificando a primeira propriedade# temos:

P '8, = >

Duponhamos que P(k) se&a verdadeira:

P'k , = 8 +

4entaremos provar que a seq7ncia verdadeira para P'k + 1,.

P 'k + 8, = 8 +
8+

8 8 8 8 8 8 + + + ... + n + k +8 = > k +8 > G 9 > > >

8 8 8 8 8 8 + + + ... + n + k +8 = > k +8 > G 9 > > >

P(k)
> 8 8 8 + k +8 = > k +8 k > > >

>' > K +8 , > + 8 8 = > k +8 K +8 > >

> K +> 8 8 = > k +8 K +8 > > > K +> 8 8 K +8 = > k +8 K +8 > > >

>

8 >
K +8

=>

8 > k +8

# P(k+1) verdadeira# lo o P(n) verdadeira n N.

Se#unda 0or+a do /rin*8.io de indu34o $xiste ainda uma outra forma alternativa para a !nduo "atemtica# que usada nos casos onde a prova para o sucessor de k no puder ser obtida# mas puder ser obtida para al um m compreendido entre a e k, a m k. '(!)!*A+# et.al.# >@@:, )efinio: De&a a um n%mero inteiro. Duponha que# para todo inteiro n a# se tenha uma afirmativa P(n) que satisfaa as se uintes propriedades. 'i, 'ii, P(a) verdadeira P(m) verdadeira para todo natural m com a m k implica P(k+1), verdadeira $nto P(n) verdadeira '(!)!*A+# et. Al.#>@@:, $xemplo: -rove por !nduo que:

(8 + n ) > n n 8# n N
Duponhamos -'H, verdadeira:

P ( k ) = (8 + k ) > k

4entaremos provar que verdadeira para o seu sucessor:

P( k + 8) = ( > + k ) > k +8

(8 + k ) > k # multiplicando os dois membros por > temos# ( > + >k ) > k +8
mas ( > + >k ) > + k $nto: > + k > + >k > k +8 +o o: ( > + k ) > k +8 Ao discutir !nduo "atemtica para a formao de professores elementar destacarmos a import3ncia de se cumprir a primeira propriedade da definio de !nduo "atemtica# para se evitar erros comuns entre os alunos# que che am a provar con&ecturas falsas pela falta do cumprimento dessa propriedade em suas demonstra0es.'6(!+A# >@@:, $xemplo: -rove que:
-'n, = 8 + > + = + ... + n =

( >n + 8) >
9

Duponhamos que P(n) se&a verdadeira para um natural k qualquer:

> ( >H + 8) -'H, = 8 + > + = + ... + H =

4entaremos provar que verdadeira para o seu sucessor k+1:

-'H + 8, = 8 + > + = + ... + H + 'H + 8, = 8 + > + = + ... + H + 'H + 8, =

( >H + =) >
9

( >H + =) >
9

-'H,

( >H + 8) >
9

> ( >H + =) + 'H + 8, =

( >H + =) Gk > + G k + 8 + 'H + 8, = 9 9

Gk > + Gk + 8 9k + 9 ( >H + =) + = 9 9 9 Gk > + 8>k + < ( >H + =) = 9 9
>

>

>

( >k + =) >
9

( >H + =) >
9

Apesar da proposio ser falsa# che amos a uma i ualdade verdadeira# mas no realizamos a prova por !nduo. E necessrio verificar a lei de formao# alm de verificar se ela recorrente o que no foi feito no desenvolvimento da demonstrao acima. De-envolvi+en2o da- A2ividadeAs atividades aqui colocadas foram realizadas pelos alunos do GI perFodo do Jurso de +icenciatura em "atemtica# da 1aculdade de 1ilosofia e +etras de )iamantina# no primeiro semestre de >@@A. A turma constituFda de dezenove alunos# sendo a maioria deles pessoas entre =@ e G@ anos# que moram nos arredores de *ouveia# cidade onde so realizadas as aulas. )esses# quase todos trabalham ou & trabalharam como professores. Dete atuam na $ducao bsica# ensino fundamental !# das escolas municipais com sede nos arredores de *ouveia ou de )atas# cidade vizinha# duas trabalham em secretarias de escola sendo as restantes atuantes no ensino fundamental !!# com contratos temporrios. Apenas um aluno# o %nico de sexo masculino# nunca trabalhou como professor. Bma aluna se encontrava em licena de estao# no podendo aqui relatar fatos ao seu respeito. $sses dados foram obtidos atravs de entrevistas com os alunos. ?o curso citado acima# as disciplinas so or anizadas em blocos de 8: h/a# concentradas as sextas e sbados# sendo uma disciplina de K@ h/a ministrada em quatro m.dulos# intercalada com outra disciplina de K@ h/a. Assim# toda a fundamentao te.rica necessria L realizao das atividades# foi dada no mesmo m.dulo aula da realizao das mesmas# como parte da disciplina 1undamentos de 6l ebra !!.

)urante a realizao das atividades# os mesmos foram dispostos em seis rupos de trs alunos# de forma a proporcionar aos mesmos a possibilidade de discusso das atividades. As atividades aqui propostas# como colocamos anteriormente# so uma adaptao de atividades dos textos de 5n ela (idi al 'et. Al., e *eraldo 6vila# citados em nosso referencial te.rico# e se referem apenas L -rimeira forma da prova por !nduo. -rimeiramente# foram propostas as quest0es abaixo com o ob&etivo de fazer os alunos perceberem# a import3ncia de uma !nduo "atemtica no ser baseada em al uns casos particulares# considerando a infinidade dos n%meros naturais. Do elas: 'i, Analise os exemplos abaixo# re istre as suas anlises e conclus0es. )ada S n =
8 8 8 8 + + + ... + 8. > >. = =. G n( n + 8)

S8 = S> = S= =

8 8 = 8.> >

8 8 > + = 8.> >.= =

8 8 8 = + + = 8 .> > .= = .G G

. . .
Sn = n n( n + 8)

'ii,

Jonsidere n planos passando por um ponto# tais que quaisquer trs deles no contm uma reta comum. $m quantas re i0es eles dividem o espaoM -ara a realizao dessa atividade# use papel e tesoura para construir quatro planos# montandoNos nas condi0es colocadas acima.

Acompanhando as discuss0es dos rupos# foi possFvel perceber que durante a realizao da primeira atividade# os alunos afirmaram que Sn representava o termo eral da seq7ncia#

sendo vlido o processo apresentado. ?essa etapa# optamos por no fazer interferncias nas discuss0es. Ouando os rupos passaram a realizar a construo proposta pela se unda questo# a princFpio acreditaram ser desnecessria a realizao da atividade uma vez que# para eles a concluso era .bvia# o n%mero de re i0es era dobrado cada vez que se inseria um plano na situao proposta. $ntretanto# ao trmino da construo perceberam que estavam equivocados# uma vez que quatro planos dividiam o espao em 8G re i0es e no em dezesseis re i0es como tinham previsto. A partir daF# perceberam que havia um PproblemaQ com as conclus0es anteriores# acreditando a ora na necessidade da prova de uma afirmao# relataram esses fatos nos seus re istros que me foram entre ues. -osteriormente# foi proposto que os alunos demonstrassem a primeira questo por !nduo# ap.s analisarmos os seus re istros escritos# concluFmos que todos os rupos a realizaram com xito. $m se uida# foi proposta aos alunos a atividade abaixo# com o ob&etivo que os mesmos percebessem a import3ncia da prova da primeira propriedade da !nduo "atemtica. 'iii, -rove que:
-'n, = 8 + > + = + ... + n =

Analise a demonstrao por !nduo abaixo. Oual o erro cometidoM Ce istre as suas anlises e conclus0es.

( >n + 8) >
9

Duponhamos que P(n) se&a verdadeira para um natural k qualquer:

> ( >H + 8) -'H, = 8 + > + = + ... + H =

4entaremos provar que verdadeira para o seu sucessor k+1:

-'H + 8, = 8 + > + = + ... + H + 'H + 8, = 8 + > + = + ... + H + 'H + 8, =

( >H + =) >
9

( >H + =) >
9

-'H,

( >H + 8) >
9

+ 'H + 8, =

( >H + =) >
9
>

( >H + =) Gk > + G k + 8 + 'H + 8, = 9 9

Gk > + Gk + 8 9k + 9 ( >H + =) + = 9 9 9 Gk > + 8>k + < ( >H + =) = 9 9
>

>

( >k + =) >
9

> ( >H + =) =

Aqui# os alunos comearam verificando se haviam erros nas contas# no encontraram. Ouatro dos seis rupos che aram a arantir que no havia nenhum erro# e que a questo constituFa uma prova por !nduo# escrevendo em seus re istros essa concluso. Apenas dois rupos perceberam que a afirmativa no era verdadeira para os naturais 8#> #= etc. Bm dos rupos# encontrou o termo eral e refez a demonstrao da proposio de forma correta. $m se uida# foi proposta a atividade# com o ob&etivo de perceber se os alunos tinham a habilidade de encontrar a lei de formao de uma seq7ncia a partir de um problema proposto: 'iv, Os coelhos se reproduzem rapidamente. Admitamos que um par de coelhos adultos produza um casal de coelhos &ovens todo ms# e que os coelhos recm nascidos se tornem adultos em dois meses e produzam# por sua vez# nessa poca# um outro casal de coelhos. Jomeando por um casal de coelhos &ovem# de que tamanho estar a colRnia ap.s o primeiro# se undo# terceiro# quarto# etc mesesM a, "onte uma tabela que traduza a situao colocada. b, Oual a seq7ncia que podemos formar a partir da tabelaM c, $ncontre a lei de formao dessa seq7ncia e proveNa usando a !nduo "atemtica.

?essa atividade# todos os rupos responderam corretamente Ls quest0es 'a, e 'b,# embora dois deles demoram um tempo maior do que o esperado para tal. Bm rupo usou at Pdesenhos de coelhosQ a fim de entender a lei de formao da seq7ncia# dois outros rupos fizeram dia ramas e os demais se limitaram L construo da tabela# embora tenham feito vrios clculos a parte# mas somente um rupo encontrou o termo eral da seq7ncia fazendo a prova por !nduo de forma correta. -or %ltimo# foi realizada a atividade abaixo# com o ob&etivo de verificar se ap.s a realizao das atividades acima# ficou entendido a -rova por !nduo "atemtica: 'v, $xplique o erro na se uinte PdemonstraoQ por induo.

-roposio: ?um con&unto de n bebs todos tm a mesma cor de olhos. )emonstrao: De&a -'n, a afirmativa da proposio. -'8, verdadeira. Dupondo -'H, verdadeira e provemos que -'HS8, verdadeira. De&a um con&unto com TS8 bebs. T

T De escolhermos os H primeiros bebs do con&unto# como estamos supondo -'H, verdadeira# temos que todos tm os olhos da mesma cor. O mesmo verdade para os H %ltimos bebs. "as ento o primeiro beb tem a mesma cor de olhos que o se undo# que tem a mesma cor que os H %ltimos bebs. Assim# -'HS8, verdadeira e pelo princFpio de induo -'n, verdadeira para todo n natural# o que prova a nossa proposio. ?esse momento# acreditamos que as condi0es dos alunos no eram claro# as iniciais# era a %ltima atividade de um dia em que foram dadas 8@ h/a# os mesmos se

mostravam exaustos. Bm rupo che ou afirmar# praticamente sem discuss0es preliminares# Pque no sabiam responderQ# outros dois tambm desanimaram# embora tenham levado um tempo maior para tal# mas trs rupos perceberam facilmente o erro. Ap.s a realizao das atividades# esclarecemos aos alunos todos os pontos importantes de cada uma delas. /rin*i.ai- re-ul2ado- e -ua an6li-e As atividades que foram realizadas durante o desenvolvimento desse trabalho foram criteriosamente selecionadas com vistas aos ob&etivos colocados acima. As anlises aqui apresentadas foram baseadas nos re istros escritos entre ues pelos alunos e em nossas observa0es durante a realizao das mesmas. A partir da realizao das duas primeiras atividades# foi possFvel fazer os alunos perceberem que a !nduo "atemtica no se constitui em uma comprovao de casos particulares. A construo dos planos nas condi0es colocadas contribuiu efetivamente para essa concluso. A realizao da terceira atividade mostrou aos alunos a import3ncia que tem a primeira propriedade da prova por !nduo "atemtica# embora se&a um procedimento simples# essa percepo s. foi possFvel a partir da atividade# no ficando claro aos mesmos apenas com a exposio do assunto em sala de aula. -ara a realizao da quarta atividade# os alunos de forma eral# apresentaram muita dificuldade. ?o em demonstrar a seq7ncia de 1ibonacci# mas em eneralizar a seq7ncia. !sso evidencia a necessidade de melhor discutir as leis de formao de seq7ncias matemticas. A %ltima atividade & no foi realizada com tanto xito pelos alunos e preferimos descartNla das nossas anlises# uma vez que os alunos no tiveram empenho para resolvN la. Jonsideramos positiva a experincia# levando em conta a evoluo dos alunos durante a realizao das atividades. Con*lu-9e-1

?um curso de formao de professores rande a import3ncia do si nificado da !nduo "atemtica como "todo de )emonstrao# devido Ls suas in%meras aplica0es. Assim importante que esse assunto se&a bem trabalhado possibilitando aos alunos o entendimento do processo# a fim de que possa ser aplicado de forma coerente e correta quando necessrio. Jom base em nossas anlises# podemos dizer que a seq7ncia de atividades adaptadas dos textos de 5n ela (idi al 'et. al., e *eraldo 6vila# parte do nosso referencial te.rico# proporcionaram o aprendizado da prova por !nduo "atemtica# embora ainda se&am necessrias# posteriormente# a resoluo de listas de exercFcios pelos alunos. A metodolo ia adotada possibilitou a percepo da import3ncia da !nduo "atemtica e sua aplicao no campo das demonstra0es. Re0er:n*ia- ;i,lio#r60i*a(!)!*A+# 5n ela 'et.al.,. Funda+en2o- de l#e,ra) Uelo Vorizonte: B1"*# >@@:. 6(!+A# *eraldo Devero de Douza. An6li-e Ma2e+62i*a .ara o Cur-o de !i*en*ia2ura)Do -aulo: $d ar Ulucher# >@@:. JACAWA# Uento de Xesus. Con*ei2o- Funda+en2ai- da Ma2e+62i*a.+isboa: *radativa# >@@=. +!"A# $lon +a es. Arti o: !nduo "atemtica. YYY.obm.or .br/eureHa/arti os/inducao.doc . Acesso em 8>/@=/@A. +OBC$!CO# AntRnio Alfredo 1erreira. Arti o: Deq7ncia e !nduo "atemtica. )isponFvel em http:// YYY.dcc.ufm .br/Zloureiro. Acesso em 8>/O=/>@@A.