Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduo
Pode-se dizer que a lgebra moderna deu matemtica a sua forma de expresso atual.
Reconhecer alguns smbolos caractersticos da linguagem algbrica em uma dada sentena ,
quase sempre, o suficiente para sabermos que ali h alguma informao que envolva
matemtica.
Essa linguagem concisa e estruturada em uma sintaxe rigorosa deu grande impulso ao
desenvolvimento da matemtica ao longo da Modernidade. Nos moldes e funcionalidades que
a matemtica vinha ganhando nesse perodo, os novos conceitos algbricos e a linguagem
simblica associada contribuam para tornar mais simples a expresso das operaes, assim
como para induzir novas formas de generalizao, ao mesmo tempo que seu desenvolvimento
permitia o estabelecimento de conexes tericas antes insuspeitadas.
As possibilidades operacionais oferecidas pela lgebra simblica, que respondia a algumas
demandas modernas, tanto no plano terico, quanto na aplicao da matemtica na soluo de
problemas prticos, contriburam para uma reelaborao da matemtica clssica em alguns de
seus aspectos fundamentais, como as noes de nmero e de medida. Perceber essas
diferenas entre as bases da matemtica atual e da antiga fundamental para uma melhor
compreenso de ambas.
Por estarmos habituados linguagem atual, no incomum, para facilitar nossa
compreenso de alguma sentena da matemtica clssica, tentarmos traduzi-la para a notao
algbrica moderna. No entanto, esse procedimento pode gerar interpretaes equivocadas a
respeito da estrutura conceitual subjacente aos enunciados da matemtica antiga.
Um exemplo disso aparece quando observamos as proposies da geometria clssica.
Um dos equvocos que pode surgir dessa utilizao anacrnica da linguagem algbrica atual
est relacionado ao significado do processo de comparao entre grandezas que caracteriza
tais proposies. Ao invs de se determinar uma propriedade especfica de um objeto
geomtrico em estudo, estabelece-se uma propriedade comum entre esse objeto e algum
*
Departamento de Matemtica da Universidade Federal de Ouro Preto. Doutor em Educao.
**
Departamento de Matemtica da Universidade Federal de Ouro Preto. Doutor em Educao.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 2
outro, utilizado como termo de comparao. Assim, ao nos depararmos com a sentena as
reas de dois retngulos de mesma base ento entre si como suas alturas parece natural
questionar: mas por que no dito logo que a rea de um retngulo o produto do
comprimento da sua base pelo comprimento da sua altura? Ou, mais sinteticamente,
que A b h ?
Essa indagao surge, a nosso ver, de uma compreenso limitada dos pressupostos e
dos problemas enfrentados pelos pensadores gregos no processo de formalizao da sua
matemtica. Esse mtodo de comparao entre grandezas utilizado pelos matemticos antigos,
que, a um leitor moderno, pode fazer soarem redundantes determinadas proposies da
geometria clssica, na verdade, permitiu que essa geometria, valendo-se de um corpo
conceitual mais simples, viesse a se fundar em bases lgicas to rigorosas, para a poca,
quanto so as da matemtica atual para ns.
O problema da incomensurabilidade
1
Como exemplos desses trabalhos, podemos mencionar The Evolution of the Euclidean Elements: A Study of the
Theory of Incommensurable Magnitudes and Its Significance for Early Greek Geometry, de W. Knorr, e The
Mathematics of Platos Academy: A New Reconstruction, de D. Fowler. (KNORR, 1975) (FOWLER, 1987)
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 3
com entes discretos (nmeros inteiros), e da geometria, que lida com o contnuo (grandezas2
como comprimento, rea, volume). Uma das formas de se interpretar a sistematizao da
matemtica nos moldes apresentados nos Elementos como uma proposta de tratamento da
aritmtica e da geometria a partir de uma mesma base conceitual.
A problematizao da relao entre o discreto e o contnuo na matemtica grega tem
sua origem nos trabalhos da escola pitagrica, que se iniciaram quase dois sculos antes de
Euclides e traziam a tentativa de reduzir as grandezas a nmeros. Isso significa que seria
sempre possvel estabelecer uma correspondncia entre uma grandeza e um nmero inteiro
(ou uma razo entre inteiros). Dentro da filosofia pitagrica, essa questo adquiria um
significado que ia muito alm da matemtica. Estava relacionada hiptese metafsica que
tomava o nmero como a unidade bsica do universo. Dar uma fundamentao aritmtica
geometria seria, portanto, uma maneira de afirmar a precedncia dos nmeros sobre a
constituio das grandezas.
Mensurar (ou medir) significa contar quantas vezes a unidade cabe numa dada
grandeza. Na comparao entre grandezas de mesma espcie, elas so ditas comensurveis
quando uma mesma unidade de medida couber exatamente, em cada uma delas, um nmero
inteiro de vezes. A figura seguinte ilustra a comparao entre os segmentos AB e CD que
contm exatamente um nmero inteiro de vezes um segmento unitrio OO' , o que nos
permitiria dizer, observando esse exemplo, que AB est para CD na mesma razo em que 2
est para 3. Esse fato pode ser denotado por AB : CD 2 : 3 .
Figura 1
2
Em grego, (mgethos): grandeza, extenso, magnitude. Segundo Aristteles (Meta. 1020a), a
extenso uma quantidade mensurvel que potencialmente divisvel em partes contnuas em uma, duas ou trs
dimenses.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 4
exatamente um nmero inteiro de vezes nas grandezas a serem comparadas. Partindo dessa
hiptese, os pitagricos conseguiram muitos resultados importantes. Para exemplificar,
observe a seguinte prova do Teorema de Tales. Esse teorema diz que um feixe de retas
paralelas cortado por transversais determina, sobre as transversais, segmentos correspondentes
proporcionais.
Tomemos um feixe de trs retas paralelas interceptadas pelas transversais r e s nos
pontos A, B, C , A' , B' e C ' , conforme a figura abaixo:
Figura 2
Figura 3
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 5
Figura 4
(...) no separavam os nmeros do mundo fsico, como far Plato. Os nmeros so a natureza
profunda de tudo o que pode ser percebido e mostram o poder de tornar compreensvel a
ordem e a harmonia do mundo emprico. (...) Ainda que diversos resultados geomtricos
encontrados nos Elementos de Euclides sejam atribudos a Pitgoras, deve-se ter cuidado ao
inferir que o conhecimento geomtrico da escola pitagrica semelhante ao descrito por
Euclides. Ao que parece, a matemtica pitagrica possua um carter bem mais concreto.
Apesar de ser inseparvel do ideal filosfico de explicar o mundo por meio de nmeros, os
nmeros pitagricos no eram entidades abstratas. (ROQUE, 2012: 111-112)
Por cultivarem essa noo concreta de nmero e pela nfase que colocavam na
aritmtica, estudos mais recentes vm relativizando o real impacto da descoberta da
incomensurabilidade entre os pitagricos.4 No entanto, inegvel que a existncia de
grandezas incomensurveis cria enormes dificuldades a qualquer projeto que pretenda
fundamentar a matemtica na aritmtica dos inteiros.
Na prxima seo, veremos como se pode lidar com a incomensurabilidade a partir da
concepo dos irracionais como os nmeros que expressam a medida de todos os segmentos
incomensurveis com um segmento unitrio predeterminado. A soluo moderna vai utilizar,
em particular, concepes de nmero real e de medida de uma grandeza (dada uma unidade
de medir) intrinsecamente associadas a processos infinitos, bastante diferentes, portanto, do
que est contido na base conceitual clssica, que ser mostrada na ltima seo.
3
Para maiores detalhes sobre a incomensurabilidade, ver: Conceitos Fundamentais da Matemtica, de B. J.
Caraa, Trs estudos sobre Histria e Educao Matemtica, de A. Miguel, e Medida e Forma em Geometria:
Comprimento, rea, Volume e Semelhana, de E. L. Lima. (CARAA, 1984) (MIGUEL, 1993) (LIMA, 1991)
4
Para uma sntese desses debates atuais sobre o tema, ver o artigo Revisitando a Descoberta dos
Incomensurveis na Grcia Antiga. (GONALVES; POSSANI, 2010)
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 7
5
Na nomenclatura moderna, diramos nmero natural.
6
Na prxima seo, veremos a definio de razo dada por Euclides nos Elementos.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 8
7
Leia-se o smbolo como tende a ou converge para.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 9
ABn
ponto Bn em AB com an (*). Para cada n, seja B'n o ponto de interseo, com A' B ' ,
BnC
Figura 5
A' B'n
a) an
B 'n C '
b) Bn B quando n
O item a) acima segue da parte j provada, na seo anterior, no caso dos segmentos
AB e BC serem comensurveis ( ABn comensurvel com BnC ). Agora, basta tomar o limite
nas igualdades (*) e a) acima e teremos:
AB A' B'
AC B' C '
Magnitudes so ditas estar na mesma razo, uma primeira para uma segunda e uma terceira
para uma quarta, quando os mesmos mltiplos da primeira e da terceira ou, ao mesmo tempo,
excedam ou, ao mesmo tempo, sejam iguais ou, ao mesmo tempo, sejam inferiores aos mesmos
mltiplos da segunda e da quarta, relativamente a qualquer tipo que seja de multiplicao,
cada um de cada um, tendo sido tomados correspondentes.
prolongamento de DE, analogamente, marcamos, a partir de E, n 1 pontos E2, E3, ..., En,
formando segmentos de tamanho DE, ligando esses pontos a A. Assim, DEn nDE e
ADEn nADE .
Figura 6
Pela proposio 38 do livro I, citada acima, sempre que ABmC ADEn , se ter
BmC DEn , ou seja, sempre que mABC nADE , teremos mBC nDE .
Alternativamente, sempre que ABmC ADEn , se ter BmC DEn , ou seja, sempre que
mABC nADE , teremos mBC nDE . Ou ainda, sempre que ABmC ADEn , se
ter BmC DEn , ou seja, sempre que mABC nADE , teremos mBC nDE . Desse
modo, pela teoria eudoxiana das propores, conclumos que ABC : ADE BC : DE .
Na primeira parte da proposio seguinte do livro VI dito que caso alguma reta seja
traada paralela a um dos lados de um tringulo, corta os lados do tringulo em proporo
(EUCLIDES, 2009: 233). Para demonstrar essa afirmao, considere o tringulo ABC abaixo,
de base BC, e um ponto D em AB. Seja E um ponto do segmento AC tal que DE e BC sejam
paralelos. Nesses termos, provar a proposio 2 mostrar que BD : AD CE : AE .
Figura 7
Figura 8
Assim, utilizando a proposio 1, que diz que as reas de tringulos que tm alturas
iguais esto entre si como as bases, temos: BDE : ADE BD : AD e
CDE : ADE CE : AE . Como BDE CDE , segue que BD : AD CE : AE , como
queramos.
Observe que esse resultado prova o Teorema de Tales, pois, na situao geral, basta
introduzir uma reta paralela a AC passando por A' e usar o resultado acima provado (ver
figura 9).
Figura 9
Consideraes finais
Esperamos ter deixado claro o seguinte: a comparao entre grandezas atravs das
razes, juntamente com a teoria das propores, resolve perfeitamente o problema da
incomensurabilidade, sem a necessidade de ampliao da noo de nmero para alm dos
inteiros positivos e/ou de recorrer a processos infinitos. Neste sentido, o aparato conceitual
utilizado por Euclides pode ser visto como logicamente rigoroso e formalmente suficiente. As
frmulas para o clculo das reas e volumes em funo de medidas lineares no faziam
sentido naquele cenrio, porque os nmeros se limitavam a medir o discreto. O papel da
comparao entre grandezas, atravs da teoria das propores de Eudoxo, era exatamente
possibilitar a superao da dificuldade colocada pela impossibilidade de medir o contnuo
com uma noo de medida e de nmero que no inclua a passagem ao infinito. E este papel
no deve, a nosso ver, ser tomado, hoje, como uma limitao conceitual da poca.
A estratgia moderna, nas situaes em que ocorre a incomensurabilidade, reduzir ao
caso comensurvel, atravs da aproximao do nmero irracional por nmeros racionais
an (ou, equivalentemente, atravs da aproximao dos segmentos incomensurveis AB e BC,
por segmentos comensurveis ABn e BnC ). O argumento utilizado nos Elementos, com base
na teoria das propores de Eudoxo e na comparao de reas, resolve a questo em um nico
movimento, sem a necessidade de separar o problema em dois casos e sem introduzir a
considerao de processos infinitos. Essa diferena de abordagem foi evidenciada nas
demonstraes aqui apresentadas do Teorema de Tales.
Em suma, se, por um lado, o sucesso da matemtica moderna em estabelecer uma
correspondncia entre nmeros e grandezas contnuas mostra-se atravs da criao de uma
base conceitual complexa que envolve a extenso da ideia de nmero e sua vinculao a
processos infinitos, por outro, Euclides resolveu essa mesma questo com conceitos mais
simples, atravs da teoria das propores de Eudoxo e da comparao de grandezas por meio
de razes entre inteiros. A concluso deste nosso estudo poderia ser resumida assim: tudo
relativo nesse mundo de comparaes.
Referncias bibliogrficas
ARISTTELES. Metafsica. Trad. Leonel Vallandro. Porto Alegre: Editra Globo, 1969.
ROQUE, T. Histria da Matemtica: Uma Viso Crtica, Desfazendo Mitos e Lendas. Rio de
Janeiro: Zahar, 2012.