Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

A beleza da matemtica #1
(Para curiosos, matemticos amadores e estudantes)

Niteri 2009

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Sumrio
I. Tudo Nmero Comensurabilidade de segmentos Pitgoras Nmeros irracionais

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Editorial A democratizao do conhecimento e da informao o principal objetivo desta publicao. Acreditamos que todos devem ter a oportunidade de saber muito alm daquilo que se estipula como o conhecimento escolar oficial, seja em nvel bsico ou em nvel superior. Entendemos que muitos dos conhecimentos disponveis, em matemtica, para a grande maioria dos jovens, fruto de um posicionamento poltico que favorece apenas a algumas pores da sociedade. No iremos polemizar a respeito de tal assunto, contudo, devemos alertar os leitores de que a informao que chega at eles no neutra e, em particular, os meios de comunicao muito menos. A elaborao do currculo escolar e a determinao dos contedos a serem ensinados, assim como a preparao de material didtico e a preparao dos futuros professores de matemtica no est imune s presses invisveis da sociedade. Grande parte do conhecimento matemtico ensinado no motiva a investigao e conseqentemente no proporciona interesse em grande parte dos estudantes. Para conduzir uma pesquisa necessria, minimamente, uma curiosidade instigante e, de certa forma, uma postura que contesta e desafia o institudo. Precisamos democratizar o conhecimento e, neste processo, apresentar a matemtica como uma cincia viva e dinmica, em transformao e que fruto de uma evoluo que depende da pesquisa e, assim sendo, de contestao. Fabio Lennon.

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Tudo

Nmero

Comensurabilidade de segmentos Uma das atividades mais simples da vida humana a de fazer comparaes, buscando caractersticas ou propriedades que indiquem semelhanas ou diferenas entre objetos. Esta atividade pode ser percebida na matemtica quando, por exemplo, comparamos os comprimentos de dois segmentos, ou as reas de duas superfcies. Suponha que voc tenha traado com auxlio de uma rgua um segmento com um determinado comprimento, digamos 10 centmetros. Logo em seguida voc traou outro segmento, desta vez com comprimento 3 centmetros. Uma pergunta natural, ao comparar estes dois segmentos seria: O segmento maior representa quantas vezes do segmento menor? Para responder esta questo voc poderia simplesmente tentar dividir 10 por 3 e, neste momento, perceberia que a diviso no foi exata, na verdade, a diviso fornece como resposta uma dzima peridica igual a (3,333333...). Assim, voc seria obrigado a dizer que 10 centmetros a mesma coisa que trs vezes 3 mais 0,33333.... centmetros, o que poderia lhe causar certo desconforto. Poderia pensar ainda em dizer que 10 centmetros o mesmo que a soma de trs partes iguais a 3 centmetros mais uma parte igual a 1/3 desta medida. O exemplo acima nos mostra que existe uma estreita relao entre diferentes reas da matemtica, ou seja, problemas envolvendo a geometria podem ser pensados em termos algbricos ou trabalhados apenas de forma aritmtica. De fato, iniciamos nosso exemplo falando em traar segmentos de reta, mas para isso adotamos uma unidade de medida (centmetro) e, em seguida, comparamos estas medidas efetuando uma diviso que nos forneceu uma dzima peridica. Esta atividade poderia ser expressa em termos algbricos na tentativa de generalizar este procedimento. Podemos pensar em dois segmentos, por exemplo, um com medida X e outro com medida Y (na mesma unidade de medida) e determinar que a comparao fosse feita dividindo-se X por Y(ou Y por X). Esta diviso usualmente representado na forma de frao como
X Y (ou respectivamente). Y X

Este tipo de atividade, ou seja, comparar objetos matemticos, neste caso comprimentos de segmentos de reta, nos conduz a algumas questes como as referentes a comensurabilidade de segmentos.

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Dizemos que dois segmentos so comensurveis quando existe uma medida que cabe um certo nmero inteiro de vezes em cada um deles, de forma que o resultado possa ser expresso por um nmero inteiro ou por um nmero fracionrio. Em nosso exemplo, vimos que
exemplo so comensurveis. A igualdade 0,3333... = 1/3 pode ser obtida da seguinte maneira:
M = 0,3333.... 10.M = 10. (0,333...) 10.M = 3,333... 10M = 3 + 0,333... 10M = 3 + M 10M M = 3 9M = 3 M = 3/9 M = 1/3 Quadro 1

10 1 = 3,333.... = 3 + , logo os segmentos deste 3 3

Pitgoras

Deve-se a Pitgoras, ou ainda, aos pitagricos a descoberta de que a diagonal e o lado do quadrado so segmentos

incomensurveis, ou seja, no so comensurveis. Especula-se

ainda que esta descoberta tenha como base o famoso Teorema de

Pitgoras. Antes de abordar estes problemas, contudo, vamos

considerar algumas das idias filosficas dos pitagricos. Pitgoras e seus seguidores acreditavam que os nmeros eram os elementos construtivos de toda matria, da a famosa expresso tudo nmero. Em sua crena eles assumiam uma posio atomista com relao aos nmeros, ou seja, estes deveriam ser formados da unidade (mnada) e, assim sendo, concebiam a reta como composta de unidades, o espao composto de pontos e o tempo de instantes. A aritmtica pitagrica baseava-se no estudo dos nmeros inteiros positivos e das razes1 entre nmeros inteiros. As grandezas (linhas, reas, volumes, etc.) tambm eram associadas a unidades atmicas (discretas, pontuais).

Dados dois inteiros a e b, com b diferente de zero, a razo de a para b representada por

a b

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Eles acreditavam que grandezas de mesma natureza deveriam ter uma unidade de medida comum e, desta forma, cada grandeza seria associada ao nmero inteiro de unidades de medida que as compem. A partir da medida era possvel estabelecer uma correspondncia entre grandezas geomtricas e nmeros inteiros. Contudo, como foi dito ao incio deste trabalho, reside no ato de comparar a essncia do ato de medir. Assim, dadas duas grandezas, em geral uma delas deveria ser subdividida, pois assim fazendo tentava-se obter uma unidade de medida que coubesse um nmero inteiro de vezes em ambas as grandezas que estavam sendo comparadas. Os irracionais

Trace, com auxlio de instrumentos de desenho, um quadrado cujos vrtices chamaremos de ABCD. Digamos que a medida do lado deste quadrado seja m e que a medida da diagonal AC do quadrado seja n. Por mais perfeito que seja o seu desenho e, por maior que seja a preciso que voc tente dar a ele, no somos capazes de obter racional. Vamos utilizar o que aprendemos no ensino mdio para tentar verificar isto. Se o lado do quadrado mede m e a diagonal mede n, ento, pelo teorema de Pitgoras podemos escrever a relao:
n2 = m2 + m2. n igual a um nmero inteiro ou m

n Portanto, temos n = 2m e, da resulta que = 2 . m

2 2

n Vamos tentar mostrar que no podemos expressar o nmero 2 como . m Antes, porm, vamos fazer algumas consideraes. Um nmero inteiro, diferente de +1 ou 1, chamado de nmero primo quando aceita apenas dois divisores inteiros, ele prprio e 1. Assim, por exemplo, como apenas o nmero 1 e o nmero 5 dividem 5, ento 5 um nmero primo. Um nmero que no primo chamado de composto. Um importante resultado da matemtica afirma que todo

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

nmero inteiro pode ser representado como um produto de potncias de nmeros primos. Assim, o nmero 18 pode ser escrito como um produto de 2 e 32, onde 2 e 3 so nmeros primos, ou seja, 18 = 2. 32. Note-se que no possvel fazer uma diviso exata entre dois nmeros primos. Considerando 5 e 2, podemos escrever a frao
5 2 ou a frao , mas em nenhum dos 2 5

dois casos a diviso ser exata. Analogamente, dois nmeros quaisquer, cujos fatores primos sejam diferentes, podem ser escritos na forma de frao, mas a diviso no ser exata. Por exemplo, 18 = 2. 32 e 35 = 5. 7, logo podemos escrever as fraes
18 35 ou , 35 18

mas a diviso no ser exata em nenhum dos dois casos. Estas fraes so chamadas de fraes irredutveis, pois no somos capazes de reduzi-las por meio de simplificaes. Quando consideramos dois nmeros inteiros x e y, desde que y no seja igual a zero e com x e y nmeros cujos fatores primos sejam diferentes, ou seja, no tm fatores comuns, ento podemos escrever a frao irredutvel x/y.

n Voltando ao nosso problema, digamos que a frao seja irredutvel. m

Havamos obtido, a partir do teorema de Pitgoras que e n2 = 2m2. Veja, se esta igualdade verdadeira, ento n2 um nmero par, pois todo nmero par divisvel por 2 e, assim sendo, como n2 igual a 2m2, ento poderamos dividir n2 por 2. Alm disso, note que n deve ser tambm um nmero par, pois se fosse um nmero mpar, seu quadrado seria um nmero mpar. Exemplos: i. ii. iii. iv. v. 3 mpar e 32 = 9 mpar; 5 mpar e 52 = 25 mpar; 7 mpar e 72 = 49 mpar; 2 par e 22 = 4 par; 4 par e 42 =16 par.

Esta percepo, mesmo que intuitiva, pode ser tomada como um fato verdadeiro. Posteriormente mostraremos que isto realmente vlido para qualquer nmero mpar e qualquer nmero par. Por ora, nos basta saber que verdade. Assim, como n par, ento n divisvel por 2, ou seja, n possui entre seus fatores primos uma potncia de 2. Por simplicidade vamos escrever n = 2.p, onde p um inteiro qualquer.

Revista Vanguarda do Ensino da Matemtica Fabio Lennon Marchon dos Santos

Note que se isto ocorre, ento como n2 = 2m2, temos ento que (2p)2 = 2m2, e da conclumos que 4p2 = 2m2. Esta ltima igualdade pode ainda ser reduzida a 2p2 = m2, ou seja, m um nmero par. Chegamos a uma contradio. Conclumos que m e n so nmeros pares, logo a
n frao no deve ser irredutvel, pois ambos os nmeros deveriam ser divisveis m

por 2, contudo, esta contradio s surgiu por que consideramos a igualdade n2 = 2m2 como verdadeira. Assim, a contradio suficiente para nos fazer concluir que no
n existem inteiros m e n tais que fornea como resultado o nmero 2. m
2

Um quadrado cujo lado mea 1 unidade de comprimento, por exemplo, ir nos fornecer o nmero irracional

2 e, de maneira mais

geral, um quadrado de lado m nos fornecer o nmero irracional m. 2 . A partir desta discusso encontramos um novo tipo de nmero, que no inteiro e nem to pouco racional. Este nmero chamado de irracional. Sua principal caracterstica a de no possuir perodos quando escrito na forma decimal e, sendo assim, no pode ser representado como a razo de dois inteiros (ver quadro 1).