Problemas de contagem e demonstraes: uma analogia Filipe Gomes

A combinatria enumerativa, na forma de problemas elementares de contagem, introduzida no currculo do ensino secundrio pela primeira vez no 12. ano de escolaridade, associada ao tema do clculo de probabilidades (em espaos finitos). Apesar de alguns raciocnios de natureza combinatria surgirem esporadicamente ao longo do ensino bsico e secundrio, apenas no 12. ano estes raciocnios so sistematizados, com a apresentao do princpio fundamental da contagem e de alguns problemas de contagem simples, envolvendo permutaes, arranjos e combinaes. No incomum constatar que, confrontados com este tema, alguns alunos do ensino secundrio sintam algumas dificuldades, mesmo aqueles que se sentem perfeitamente vontade com conceitos aparentemente mais sofisticados, como o clculo diferencial ou a trigonometria. Muitos estudantes do 12. ano preferem mesmo seguir a estratgia de aprendizagem mecanizada de repetio de dezenas de problemas de combinatria enumerativa semelhantes; isto leva a que se desenvolva a capacidade de identificar as estratgias de resoluo usuais (que, neste nvel de ensino, no so muitas), mas tem a desvantagem de no permitir a genuna interiorizao dos esquemas de raciocnio prprios da combinatria enumerativa. Como estudante de Matemtica no ensino superior, tive contacto na licenciatura com uma disciplina com uma componente substancial de combinatria enumerativa. Uma vez, mais, foram evidentes as dificuldades de alguns estudantes neste assunto (mesmo entre aqueles que usualmente no tm dificuldades noutras reas da licenciatura). O que tem, ento, a combinatria enumerativa de problemtico? O meu objectivo neste texto , essencialmente, tentar dar uma resposta a esta pergunta. Na minha opinio, existe uma analogia profunda entre a resoluo de problemas elementares de contagem e a elaborao de demonstraes a um nvel elementar. Em vrias faculdades, os cursos de licenciatura em Matemtica incluem uma disciplina de carcter essencialmente propedutico, que visa munir os estudantes de conhecimentos bsicos em: lgica bsica (conectivos lgicos e quantificadores), tcnicas elementares de demonstrao e noes da teoria intuitiva de conjuntos (conjuntos, funes, relaes, ...). Esta uma disciplina essencial para uma licenciatura em Matemtica, uma vez que estas capacidades, de importncia vital para o trabalho matemtico, no so adquiridas no ensino secundrio. No entanto, este gnero de disciplina nem sempre existiu, e existem mesmo universidades onde no existe esta prtica; as tcnicas de demonstrao e noes bsicas de Matemtica abstracta so introduzidas em disciplinas de anlise ou lgebra linear, de forma necessariamente menos sistemtica e metdica do que numa disciplina especialmente concebida para este efeito. Uma consequncia disto a seguinte: alguns alunos acabam, eventualmente, por adquirir as ferramentas necessrias para pensar e trabalhar em

Matemtica, mas outros ficam apenas com um conhecimento fragmentado e frgil destes assuntos. Na minha opinio, passa-se o mesmo com o raciocnio combinatrio. A aprendizagem do gnero de raciocnios necessrios para resolver problemas elementares de contagem feita, no ensino secundrio, de forma pouco sistematizada, sendo apenas apresentada uma lista bsica de tipos de problemas (os que fazem parte dos programas oficiais). No ensino superior, se existir um contacto com a combinatria enumerativa, os problemas de contagem j vistos no ensino secundrio so leccionados de modo mais superficial (uma vez que so habitualmente considerados matria conhecida e devido usual falta de tempo lectivo). As consequncias so semelhantes: um conhecimento fragmentado e disperso de tcnicas de resoluo de problemas de contagem e a sensao geral de que a combinatria um aglomerado de tcnicas ad hoc de resoluo de problemas. A analogia pode ser levada mais longe. Um livro bastante interessante sobre tcnicas de demonstrao e conceitos bsicos da Matemtica abstracta o manual How To Prove It: A Structured Approach, de Daniel Velleman (Cambridge University Press, 2. edio, 2006). A filosofia deste livro para a aprendizagem de tcnicas de demonstrao a seguinte: para demonstrar um teorema, necessrio compreender a estrutura lgica desse teorema. A forma lgica da(s) hiptese(s) e tese fornece pistas que indicam qual a estratgia geral a seguir. Por exemplo, para demonstrar um teorema com a forma lgica de um condicional , assume-se que verdadeira e demonstra-se . Estas estratgias de demonstrao, juntamente com algumas linhas de orientao habituais (por exemplo, usar reduo ao absurdo caso queiramos provar uma afirmao na negativa), apesar de no serem regras universais, so uma ajuda preciosa para o estudante que d os primeiros passos na aprendizagem das ferramentas bsicas da Matemtica. O processo geral de elaborao de demonstraes consiste portanto numa traduo mental do teorema para a sua forma lgica, na seleco das estratgias apropriadas e na sua aplicao ao teorema concreto que se tem em mos. Este mesmo processo, com algumas adaptaes, pode ser aplicado resoluo de problemas elementares de combinatria enumerativa. Mas neste tipo de problemas a chave no est na sua estrutura lgica, mas no gnero de arranjo subjacente ao problema de contagem. Exemplificando: suponhamos que pretendemos determinar o nmero de equipas de 4 pessoas que possvel formar com pessoas extradas de um grupo de 10 indivduos. Aqui, a estrutura combinatria bsica envolvida a de subconjunto (no ordenado, claro). A identificao da estrutura envolvida permite seleccionar a ferramenta apropriada (neste caso, 10 o coeficiente binomial ) para responder questo. 4 Tal como existem estruturas lgicas elementares a ter em conta quando se elabora uma demonstrao (conjunes, disjunes, condicionais e bicondicionais, quantificadores universais e existenciais), tambm existem estruturas combinatrias bsicas a ter em

considerao ao resolver problemas de contagem (permutaes, combinaes, subconjuntos, multiconjuntos, sequncias ordenadas, etc.). O processo a seguir essencialmente o mesmo: confrontados com um problema, o primeiro passo a traduo do problema para a linguagem das estruturas combinatrias estudadas; em seguida identifica-se a estratgia a seguir e aplica-se esta estratgia ao problema em questo. importante referir que esta abordagem apenas se aplica a um nvel elementar: a resoluo de problemas no triviais em combinatria enumerativa efectivamente difcil e requer mais do que a simples identificao de estratgias elementares a seguir. Mas isto tambm verdade com as tcnicas de demonstrao: estas tcnicas permitem indicar o caminho a seguir quando estamos a lidar com casos razoavelmente elementares; teoremas no triviais usualmente requerem estratgias complexas. Em ltima anlise, esta abordagem resoluo de problemas de combinatria no mais do que a ideia de demonstrao por bijeco em conbinatria. No fundo, reduz-se um problema de contagem concreto a um problema j resolvido, mas num contexto mais abstracto: contar a forma como podemos arrumar livros numa prateleira o mesmo que contar sequncias ordenadas, contar equipas o mesmo que contar subconjuntos, etc. Parece-me que o principal mrito desta abordagem o facto de dar combinatria enumerativa um carcter mais sistemtico. Talvez a resoluo das dificuldades de alguns estudantes em combinatria passe pela sistematizao inicial, num curso que envolva combinatria enumerativa, das principais estruturas combinatrias bsicas: subconjuntos, multiconjuntos, permutaes, combinaes. Esta sistematizao de facto feita em alguns casos; no entanto, talvez seja necessrio insistir em aspectos como: O nfase nas vrias dicotomias presentes nas estruturas combinatrias bsicas: conjuntos/multiconjuntos, estruturas ordenadas/estruturas no ordenadas, etc. O treino com exemplos ilustrativos das vrias estratgias do processo de identificao das estruturas combinatrias subjacentes a um problema de contagem. A sistematizao e organizao das vrias estratgias bsicas de contagem, em oposio sua apresentao como um aglomerado de tcnicas de resoluo dispersas (a tabela das doze entradas (twelvefold way) um bom exemplo de sistematizao de vrias tcnicas usuais presentes num nmero considervel de problemas elementares de contagem).

Em concluso, parece-me que o processo de ensino/aprendizagem da resoluo de problemas elementares de contagem beneficiaria com a metodologia usada para ensinar os estudantes de Matemtica a elaborarem demonstraes. No fundo, seria talvez apropriado comear o estudo da combinatria enumerativa com uma abordagem propedutica ao raciocnio combinatrio. No entanto, isto apenas uma conjectura, baseada na minha experincia como estudante de Matemtica; outras pessoas mais qualificadas do que eu podero dizer se h fundamento nestas hipteses.