Uma Reflexo sobre a Induo Finita: relato de uma experincia

A Reflection about Finite Induction: reporting an experience

Angela Marta Pereira das Dores Savioli 1

Resumo: Pretende-se neste trabalho fazer uma reflexo sobre a induo finita e apresentar uma proposta para o ensino da mesma num curso de formao de professores de matemtica. Utilizando-se de uma atividade de investigao em sala de aula, prope-se realizar uma experincia matemtica com os alunos, fazendo-os experimentar, conjecturar e formalizar um problema. Espera-se assim, contribuir para a formao do futuro professor de matemtica. Palavras-chave: Induo finita. Experincia. Investigao. Abstract: The aim of this paper is to reflect on finite induction and present a proposal for teaching this subject in a course for future mathematics teachers. Using investigative activities in the classroom, a mathematics experiment is proposed for the students in which they pose problems, experiment and conjecture. In doing so, we hope to contribute to the education of future mathematic teachers. Keywords: Finite induction. Experience. Investigation.

Introduo
A induo finita como mtodo de demonstrao vem sendo utilizado desde a Antigidade, inclusive aparecendo implicitamente na obra Os Elementos, de Euclides (300a.C.). Segundo Katz (2004), nessa obra, em seu livro IX, proposio 35, encontra-se uma seqncia de nmeros numa proporo contnua dada por a, ar, ar2,..., arn e a soma de todos os anteriores dada por Sn (desde que existam n termos antes de arn). O resultado de Euclides afirma que (arn - a): Sn = (ar a): a. Tambm, de acordo com Coelho e Millies (2001), a primeira afirmao explcita do princpio de induo finita deve-se a Pascal, no trabalho Trait du Triangle Arithmtique, de 1654. Como mtodo para a fundamentao do conceito de nmero natural, a induo finita apresentada por Peano 2 sendo, freqentemente, introduzida aos alunos nas primeiras sries do Curso de Matemtica. Segundo Cury et al. (2002), boa parte dos alunos pensa na aprendizagem da induo matemtica sob o enfoque da concepo lingstico-pragmtica, isto
1

Professora Doutora do Departamento de Matemtica, Centro de Cincias Exatas, UEL, Londrina, E-mail: angelamarta@uel.br. 2 G. Peano, Arithimetica Principia Nova Methodo Exposita, 1889.

, uma concepo que privilegia as tcnicas de transformao algbrica dissociada das situaes reais e preocupada apenas com o emprego de regras e propriedades no trabalho com expresses algbricas. Desta forma, os alunos preocupam-se com a obteno de regras, de artifcios, de "modelos", buscando apenas a soluo de um problema proposto. Neste artigo, o interesse recai numa reflexo dos processos de ensino e de aprendizagem desse tpico da matemtica, bem como de sugerir uma proposta de ensino enfatizando seu uso na prova de outros resultados de matemtica, no s de fundamentos e de geometria. Esperase contribuir para a formao dos futuros professores de matemtica, fazendo-os vivenciar uma experincia matemtica. Para tanto, apresentar-se-o, inicialmente, algumas consideraes sobre o modo como tradicionalmente a induo trabalhada nos cursos de matemtica. Em seguida, ser feita uma reflexo sobre a questo conceitual da induo finita. Finalmente, far-se- uma proposta de ensino da induo finita para o Curso de Matemtica habilitao Licenciatura, utilizando-se de atividades investigativas.

A Induo Finita:
Segundo Y. Gstev, (apud SOMINSKI, 1996), induo significa o raciocnio que vai do particular ao geral e desempenha papel fundamental nas cincias experimentais. Assim, apesar do nome lembrar algo emprico (que se apia na experincia e na observao), a induo finita considerada um mtodo dedutivo. De acordo com o mesmo autor, a demonstrao desse mtodo constaria de duas partes: uma base, ou seja, a demonstrao dedutiva da proposio para um nmero natural e o passo indutivo que consistiria na demonstrao, tambm dedutiva, da proposio geral: para todo n correto que a validade da proposio para n implica a validade para n+1. Afirma ainda que a expresso induo finita deve-se simplesmente associao, em nossa conscincia, com as argumentaes indutivas tradicionais. Alm da prova por induo finita, tm-se outros tipos de prova em matemtica, como, por exemplo, as seguintes: Prova por construo ou demonstrao direta: a partir de algumas hipteses possvel chegar, por deduo, tese;

Prova por absurdo: nega-se a tese e, a partir das hipteses configuradas, chega-se a um absurdo. Como exemplo tem-se a prova que Euclides fez para a existncia de infinitos nmeros primos;

Prova utilizando-se a contra-positiva: nega-se a tese e chega-se a uma negao da hiptese. Como exemplo tem-se a prova de que para um inteiro n qualquer, se n2 par, ento n par;

Prova de existncia: constri-se um objeto matemtico. Como exemplo, tem-se a prova da existncia do mximo divisor comum de dois ou mais nmeros inteiros; Prova de unicidade: conclui-se que um objeto nico. Como exemplo, tem-se a questo da unicidade do elemento neutro para a adio nos inteiros; Prova por contra-exemplo: exibe-se um caso particular no qual a propriedade no vale. Como exemplo, tem-se a prova de que nem todo nmero primo mpar.

A induo finita, geralmente, trabalhada nas primeiras sries do Curso de Matemtica de maneira tcnica, isto , como uma receita a ser seguida. Sendo assim, os estudantes no so levados a pensar e refletir no porqu da existncia e na utilidade da induo no desenvolvimento do pensamento matemtico, como tambm, de sua aplicao na prpria matemtica. Muitos deles acabam vendo a induo finita apenas desse modo mais tcnico no refletindo sobre o Teorema de induo finita, suas hipteses e sua tese. Apesar de Lopes (1998) defender que a induo se aprende atravs da execuo de muitos exerccios e afirmar que os livros que apresentam o contedo de induo devam trazer respostas e solues detalhadas de todos os exerccios para que os alunos no fiquem frustrados sem saberem se resolveriam certo ou errado, acredita-se que esta no seria uma boa estratgia para se trabalhar com a induo finita. Por que no aproveitar a induo finita e realizar uma experincia em sala de aula permitindo que os alunos reflitam sobre o que esto fazendo? Tradicionalmente, a induo finita introduzida quando se trabalha com nmeros naturais. Alguns livros, como Domingues e Iezzi (2003) e Gonalves (1979), enfocam este mtodo logo aps colocarem as propriedades dos inteiros e utilizam o Princpio da Boa Ordem para a prova do Teorema de Induo Finita. Outra forma de apresentao da induo finita atravs do quinto axioma de Peano, como se pode encontrar em Lima (1999),

Considerando X N. Se 1X e se o sucessor de todo elemento de X ainda pertence a X, ento X = N. O Teorema de Induo Finita tambm pode ser visto em forma de propriedades (ou proposies), ou seja, considerando-se o conjunto dos nmeros naturais como N = {0,1,2,...}, o Teorema de Induo Finita pode ser enunciado como: '' Considere P(n) uma afirmao relativa a n N. Suponha que a) P(1) verdadeira; b) Para todo n N, o fato de P(n) ser verdadeira implica que P(n+1) verdadeira, onde n+1 o sucessor de n. Assim, P(n) verdadeira para todo n N .''

Neste trabalho, opta-se por apresentar a induo finita aos alunos via axiomas de Peano, pois se acredita que esta forma facilita a compreenso da mesma e deixa clara para o estudante a estrutura do mtodo, isto , mostra a importncia das condies a e b para a concluso de que P(n) verdadeira para qualquer n natural.

Reflexes sobre a Induo Finita

Algumas questes sobre a importncia da induo finita e seu ensino poderiam ser colocadas fazendo-se uma reflexo sobre o assunto. Porque se ensina induo finita? Qual a real importncia do ensino deste tpico da Matemtica? Uma resposta seria a de que a induo finita proporcione ao aluno vivenciar uma "experincia matemtica" que, em regra geral, consiste na busca da soluo de um problema, utilizando-se de exemplos para chegar a uma conjectura e, finalmente, prova desta. Esse processo leva o aluno a traar os passos da descoberta e da investigao, que vai utilizar durante toda a sua carreira como matemtico e como professor de matemtica. Essa investigao tambm envolve de acordo com Ponte et al. (2005) a observao, experimentao, induo, analogia e razes plausveis, bem como, tambm o objeto lgico e

dedutivo vindo dos trabalhos de Euclides e Bourbaki 3 . Segundo o mesmo autor, em vez de estabelecer um conflito irredutvel entre esses dois lados da matemtica, questiona-se como eles podem estar complementando um ao outro no processo de aprendizagem. Considerando a induo finita como um mtodo, precisa-se estud-lo e analis-lo para que sua aplicao no fique restrita s frmulas que os alunos no tm idia de onde vieram. Um ponto fundamental a se considerar de que quando se trata de um problema de induo finita existe uma preocupao com o procedimento e, geralmente, este no apresenta nenhuma motivao que gere o envolvimento dos alunos nas atividades. A motivao e, conseqentemente, o envolvimento nas atividades, constitui uma questo essencial nos processos de ensino e de aprendizagem. Eles esto diretamente relacionados com a predisposio do aluno para uma aprendizagem efetiva. Segundo Ausubel et al. (1978), a participao nas atividades de aprendizagem pode indicar se h predisposio do aluno para aprender significativamente. Buscando despertar esse envolvimento dos alunos, prope-se introduzir a induo finita, utilizando-se problemas envolvendo a mesma, ou seja, so dados os problemas para que os alunos resolvam sem saberem se utilizaro a induo ou no e sem deixarem as frmulas explcitas. Eles tero de descobri-las, conjectur-las e provar sua veracidade para todo nmero natural. Segundo Ponte et al. (2005), o caminho indutivo essencial para criar novos conhecimentos e o dedutivo necessrio para organiz-lo e decidir o que vlido e o que no . Por isso a importncia da induo finita. Analisando questes de provas e trabalhos desenvolvidos no Curso de Matemtica da Universidade Estadual de Londrina nos ltimos anos, percebe-se que os alunos apresentam dificuldade de compreender a induo finita e sua importncia. Apresentar problemas e discutir as solues so elementos imprescindveis na formao do estudante. Por exemplo, provar, utilizando a induo finita, que a soma de dois nmeros naturais um natural, desperta no aluno a curiosidade e o questionamento matemtico, uma vez que ele nunca parou para pensar que existe uma prova por induo para essa afirmao. Obviamente, caberiam aqui algumas consideraes. Algumas afirmaes matemticas podem ser provadas de maneira mais simples, sem a utilizao da induo finita, como, por exemplo, a prova de que a soma de dois nmeros pares um nmero par. Contudo, usa-se a induo finita tambm para provas desse tipo. Cabe aos professores escolher a prova de algum resultado que esteja adequado ao que se quer destacar para os alunos naquele momento.

Nicholas Bourbaki

A induo finita como trabalhada normalmente deixa para o aluno a impresso de algo puramente algbrico e sem aplicabilidade. No entanto, problemas envolvendo geometria ou mesmo jogos podem ser abordados no trabalho com o mtodo de induo finita. Como exemplo, tem-se o problema de se determinar a relao entre o nmero de diagonais de um polgono convexo com o nmero de lados desse polgono e o problema de se determinar a soma dos ngulos internos de um polgono convexo de n lados. Os alunos buscam exemplos dentro do conhecimento que j detm. Isto , fazem vrios ensaios com tringulo, quadrado, e outros polgonos convexos, e ento conjecturam sobre uma frmula que resolveria o problema, utilizando-se finalmente do Teorema de Induo Finita para provar a afirmao.

A investigao matemtica
O que seria investigar em matemtica? Como trabalhar com alunos a investigao matemtica? Segundo Ponte et al. (p. 13, 2005), para os matemticos profissionais, investigar descobrir relaes entre objetos matemticos conhecidos ou desconhecidos, procurando identificar as respectivas propriedades Assim surgem os novos conceitos matemticos, bem como os novos resultados e, possivelmente, as novas teorias. O matemtico, ao se defrontar com uma questo, faz alguns exemplos, conjectura e finalmente prova seu resultado. Ele no sabe de antemo o que vai encontrar pela frente. Pode ser que demonstre exatamente o contrrio do que pensava inicialmente. A investigao matemtica poderia ser o que chamamos de uma experincia matemtica, uma atividade na qual o aluno descobre como resolver o problema por si s, sem a interveno do professor e com os conhecimentos que possui. Ela est muito prxima da resoluo de problemas, na qual a soluo conhecida pelo professor. Segundo Polya (p.1, 1998),
Resolver um problema encontrar os meios desconhecidos para um fim nitidamente imaginado. Se o fim por si s no sugere de imediato os meios, se por isso temos de procur-los refletindo conscientemente sobre como alcanar o fim, temos de resolver um problema. Resolver um problema encontrar um caminho onde nenhum outro conhecido de antemo, encontrar um caminho a partir de uma dificuldade, encontrar um caminho que contorne um obstculo, para alcanar um fim desejado, mas no alcanvel imediatamente por meios adequados.

Na investigao matemtica, a resposta ou soluo do problema pode no ser conhecida ainda. O aluno, na tentativa de resoluo de um problema, depara-se com situaes inusitadas e muitas vezes, de repente, a soluo aparece como se uma conexo se efetivasse. Concordase com Polya (1975) quando ele chama a ateno para o contraste entre duas imagens da matemtica: a Matemtica tem duas faces; a cincia rigorosa de Euclides, mas tambm algo mais. A Matemtica em construo aparece como uma cincia experimental, indutiva. Ambos os aspectos so to antigos quanto a prpria Matemtica. Ainda segundo Ponte et al. (2005), temos que, em Matemtica, existe uma relao estreita entre problemas e investigaes. Isto , uma investigao em matemtica desenvolve-se em torno de um ou mais problemas. E resolver esses problemas seria o objetivo. Os autores ainda apontam os quatro momentos principais de uma investigao matemtica: o primeiro seria o reconhecimento da situao, a sua explorao preliminar e a formulao de questes, o segundo momento refere-se ao processo de formulao de conjecturas, o terceiro inclui a realizao de testes e o eventual refinamento das conjecturas e o ltimo diria respeito argumentao, demonstrao e avaliao do trabalho realizado. Nota-se que esses momentos poderiam acontecer simultaneamente. Na investigao matemtica, o aluno passa a atuar como um ser ativo no processo de ensino e de aprendizagem. Ele participa como um matemtico, tentando descobrir algo novo para ele. Acredita-se que a investigao seja um mtodo eficiente para o estudo da induo finita proporcionando aos alunos sua primeira experincia matemtica. Alm disso, outras descobertas podem acontecer durante o processo de investigao de um problema, trazendo amadurecimento para o aluno.

Proposta
Com o intuito de apresentar aos alunos a induo finita de uma maneira reflexiva, optouse por utilizar a investigao matemtica numa prtica em sala de aula. A idia levar o aluno a ter uma experincia matemtica. Escolhem-se, inicialmente, alguns problemas conhecidos pelos estudantes, buscando-se que reflitam sobre os mesmos e descubram o porqu daquelas frmulas. A atividade pode ser realizada em seis aulas. Nas duas primeiras, seriam apresentadas aos estudantes duas questes que deveriam ser resolvidas numa folha e entregues ao professor. Como numa atividade investigativa, prope-se que o professor no interfira, nem responda as questes dos alunos. Nas duas aulas seguintes, optou-se por

apresentar questes nem to conhecidas pelos estudantes, trabalhando numa atividade de investigao matemtica. Espera-se que, como os alunos provavelmente desconhecem a frmula, esses problemas despertem maior interesse e disposio para tentar achar e buscar uma soluo. Essa atividade, alm de promover uma maior integrao da turma, deve ser mais interessante para os alunos, bem como, dar margem a algumas reflexes e discusses sobre o tema induo finita. Nas duas ltimas aulas seriam feitas as discusses das solues encontradas. As questes seriam retiradas de alguns livros constantes na bibliografia. Como exemplo, cita-se: a) Encontre uma frmula que d a soma dos ngulos internos de um polgono convexo de n lados (n 3). b) Prove que a frmula encontrada verdadeira. Seja um polgono convexo com n lados. Qual o nmero de diagonais desse polgono? Desenham-se n crculos num plano de acordo com o seguinte: todos os crculos cortamse sempre em dois pontos e trs crculos no passam nunca pelo mesmo ponto. a) Encontre o nmero de regies do plano dado pelos crculos, incluindo a que exterior a todos os crculos. b) Prove a frmula encontrada para todo n 1. Note-se que durante a experincia em sala de aula no poderia ser feito nenhum comentrio sobre como ou o que deveria ser usado para a resoluo dos problemas. Inclusive pede-se para mostrar que as frmulas sejam verdadeiras, no fazendo referncia ao conjunto dos nmeros naturais. Quanto aos primeiros problemas, espera-se que os alunos tenham uma idia do caminho a seguir e logo pensem na induo finita para resolv-los. Espera-se tambm que comecem com casos particulares, percebam que existe uma regra ou um padro, conjecturem e, de posse de uma frmula, tentem provar por induo finita. Isto , vivenciem uma experincia matemtica. Antes do trmino da atividade, aps a apresentao do Teorema de Induo Finita via axiomas de Peano, os alunos seriam incentivados a provar que a soma de dois nmeros naturais um natural e tambm as frmulas do termo geral de uma progresso aritmtica e de uma progresso geomtrica a partir das frmulas de recorrncia. A atividade terminaria com problemas em que uma das hipteses do Teorema de Induo Finita no seria contemplada.

Concorda-se com Hadamard (apud PONTE et al., p. 19, 2005) quando diz que Entre o trabalho do aluno que tenta resolver um problema de geometria ou de lgebra e o trabalho de criao, pode dizer-se que existe apenas uma diferena de grau, uma diferena de nvel, tendo ambos os trabalhos uma natureza semelhante. Enfim, com esta abordagem, possvel que o aluno construa o conhecimento por meio da resoluo de um problema num trabalho compartilhado e colaborativo, bem como, venha a contribuir para que ele seja incentivado e/ou estimulado a trilhar os passos da pesquisa em matemtica. E o professor deixa de assumir o papel de transmissor de informao e conhecimento para assumir o de quem desafia, desequilibra, incentiva e por que no dizer, faz uma parceria com um companheiro disposto a ajud-lo no seu caminho da construo do conhecimento.

Concluso
A investigao matemtica no ensino de induo pode parecer para os alunos uma dificuldade a mais, contudo, tem-se que eles obtm sua primeira experincia matemtica, isto , eles iro, num primeiro momento, buscar casos particulares, depois conjecturar e finalmente, provar suas afirmaes. Procurou-se com esta proposta apresentar a induo como um incio pesquisa matemtica e no como uma mera mecanizao. Com isso, os alunos parecem entender sua importncia dentro da matemtica, bem como, os modos de utiliz-la. um mtodo simples, mas que j envolve smbolos, abstrao e formalidade matemtica, elementos importantes para a formao do pesquisador em matemtica e tambm do professor de matemtica.

Referncias
AUSUBEL, D., NOVAK, J., HANESIAN, H. Educational psychology: a cognitive view. 2nd ed. New York: Holt, Rinehart & Winston, 1978. COELHO, S. P., MILIES, C. P., Nmeros: uma introduo matemtica. 3. ed. So Paulo: Editora da Universidade de So Paulo, 2001. CURY, H. N., VIANNA, C. R., LANNES, W., BROLEZZI, A. C. lgebra e educao algbrica: concepes de alunos e professores de matemtica. Educao Matemtica em Revista RS, Rio Grande do Sul, v. 4, n. 4, p. 9-15, 2002. DOMINGUES, H. H.; IEZZI, G. lgebra moderna. So Paulo: Atual, 2003.

GONALVES, A. Introduo lgebra. Rio de Janeiro: IMPA, 1979. KATZ, V. J. A history of mathematics: an introduction. Reading: Addison-Wesley, 2004. LIMA, E. L.; CARVALHO, P. C. P., WAGNER, E.; MORGADO, A. C. A matemtica do ensino mdio. Rio de Janeiro: SBM, 1999. v. 1-3. (Coleo do Professor de Matemtica, 4) LOPES, L. Manual de induo matemtica. Rio de Janeiro: Intercincia, 1998. POLYA, G. A arte de resolver problemas. Rio de janeiro: Intercincia, 1975. POLYA, G. Sobre resoluo de problemas de matemtica na high school. In: KRULIK, S., REYS, R. A resoluo de problemas na matemtica escolar. So Paulo: Atual, 1998. PONTE, J. P., BROCADO, J., OLIVEIRA, H. Investigaes matemticas na sala de aula. Belo Horizonte: Autntica, 2005. SOMINSKI, I. S. Mtodo de induo matemtica. So Paulo: Atual, 1996. (Coleo matemtica: aprendendo e ensinando). Recebido em maio de 2006; aceito em novembro de 2006.