Matemtica

Matemtica
O mundo moderno , sem dvida, dominado pela cincia e pela tecnologia e por isso se explica, em
boa medida, pela matemtica. A histria da cincia revela que as vrias disciplinas aplicadas se
valem cada vez mais dos procedimentos matemticos e estes, em contrapartida, se inspiram em
questes trazidas pela prtica para progredir.
Matemtica a cincia que estuda as propriedades de entes abstratos, pelo emprego do raciocnio
dedutivo. Originalmente voltou-se para o estudo das propriedades dos nmeros e figuras geomtricas
e das relaes que se estabelecem entre eles. Divide-se grosso modo em matemtica pura -raciocnio abstrato baseado em axiomas -- e aplicada -- que envolve o uso da matemtica em outros
campos do conhecimento, como a fsica, qumica, astronomia, engenharia, economia etc. As
principais divises da matemtica pura so a lgebra e a geometria.
Histria
Os estudos sobre as sociedades primitivas mostram que as primeiras noes matemticas e
smbolos numricos surgiram como abstraes da operao de contar e progrediram principalmente
em reas de civilizao urbana com condies econmicas evoludas. Tradicionalmente, divide-se a
histria da matemtica em cinco perodos: (1) dos primrdios at a poca dos babilnios e egpcios;
(2) o perodo grego; (3) a Idade Mdia e o Renascimento; (4) os sculos XVII e XVIII; e (5) os sculos
XIX e XX. As maiores contribuies matemticas da antigidade so atribudas s civilizaes
mesopotmica e grega, enquanto as culturas egpcia e romana se limitaram a aperfeioar as tcnicas
de medida e a prtica aritmtica.
Babilnia e Egito. A matemtica babilnica se baseava na utilizao de um sistema de numerao
evoludo, que, como o atual, definia o valor relativo dos algarismos de acordo com sua posio. O
mtodo empregava equivalncias sexagesimais (base sessenta) -- que permanecem na relao entre
horas, minutos e segundos da medida de tempo -- em lugar do sistema decimal adotado na notao
indo-arbica que se imps em quase todo o mundo.
Os babilnios criaram as primeiras tbuas de informao e de clculo destinadas a armazenar dados
extrados da observao astronmica e a prever, com o auxlio de artifcios simples, a futura
disposio dos astros no firmamento. Os matemticos babilnicos propagaram seus mtodos e
operaes aritmticas (adio, subtrao, multiplicao, diviso, potenciao, radiciao etc.) s
sociedades vizinhas a partir do segundo milnio da era crist e deixaram testemunhos de sua
sabedoria nas civilizaes grega e alexandrina.
As principais fontes de informao concreta a propsito da matemtica egpcia so dois papiros, o de
Rhind, ou de Ahms, e o de Golenishtchev, ambos datados aproximadamente do sculo XVI a.C.. O
papiro de Rhind parece indicar que os egpcios, semelhana dos babilnios, se dedicaram
soluo de problemas prticos com o auxlio da matemtica, sem chegarem, contudo,
generalizao das solues. Isso explica o fato de terem permanecido no terreno da aritmtica e de
no terem incursionado pela lgebra.
O sistema egpcio de numerao era decimal e empregava desenhos de linhas verticais para
representar as unidades, alm de outros smbolos para indicar dezenas, centenas etc. As exigncias
da vida cotidiana impulsionaram o estudo da geometria no Egito, muito especialmente em razo da
necessidade de restaurar marcos divisrios de terra destrudos pelas peridicas inundaes do rio
Nilo. Esses estudos no progrediram, no entanto, para alm da geometria das superfcies e de um
esboo da geometria dos slidos.
Grcia. De inspirao mais filosfica e menos voltada para exigncias prticas, a matemtica
formulada pelos gregos ganhou carter de cincia abstrata, com bases metodolgicas que
estruturaram e sistematizaram seu estudo. As escolas filosficas dos sculos VII e VI a.C., inspiradas
no pensamento de Pitgoras e herdeiras diretas do conhecimento oriental, possuam, no entanto, um
sentido mgico da existncia que obscurecia em parte suas grandes conquistas cientficas.
Aps um perodo de notveis descobertas em geometria e aritmtica -- em que brilharam
matemticos como Hipcrates, Heron de Alexandria e Diofanto de Alexandria -- Euclides, por volta de
300 a.C., realizou um exaustivo trabalho de compilao e interpretao das doutrinas matemticas

Encyclopaedia Britannica do Brasil Publicaes Ltda.

Matemtica
gregas nos Elementos, cuja influncia permaneceu at a modernidade europia. Foi na Grcia que a
geometria tornou-se uma cincia abstrata, com a feio dedutiva que hoje a caracteriza, e que surgiu
pela primeira vez a preocupao de estabelecer relaes entre as diferentes partes de uma figura
(lados e ngulos de um tringulo, por exemplo).
A escrita numeral grega no trouxe novidades especiais com relao s anteriores, embora utilizasse
prefixos de numerao que se conservam atualmente: "penta" (cinco), "deca" (dez), "hecaton" (cem),
"quilo" (mil) etc. Alm disso, a primeira tbua de clculo conhecida a de cordas, contida no
Almagesto de Ptolomeu, obra que data do sculo II da era crist e que exibe o valor das cordas de
um crculo em intervalos de meio grau.
Idade Mdia e Renascimento. Os romanos pouco contriburam para o progresso da matemtica,
mas sim para sua divulgao. Por intermdio deles, os conhecimentos da antiguidade chegaram
Europa medieval. O uso do sistema numrico romano se disseminou por todo o Ocidente como
conseqncia da preponderncia militar e econmica de Roma. Como smbolos bsicos,
utilizaram-se as letras I (um), V (cinco), X (dez), L (cinqenta), C (cem), D (quinhentos), e M (mil).
Costuma-se situar entre os sculos XII e XV o perodo durante o qual a Europa teve acesso ao
conhecimento matemtico produzido pelos rabes ou por eles difundido. A queda do Imprio Romano
do Oriente levou a uma fuga dos sbios de Constantinopla para o Ocidente e ps a Europa
novamente em contato com a tradio cultural grega e com as obras originais de que se conheciam
tradues rabes. Por volta do sculo XV, a Europa dominava as conquistas matemticas
alcanadas por gregos, hindus e muulmanos. As principais contribuies indo-arbicas foram o
sistema decimal de numerao -- que pela primeira vez inclua o zero -- e algumas descobertas
relevantes no campo da trigonometria. A matemtica indo-arbica fez largo uso das tbuas para o
clculo de valores trigonomtricos, fraes, razes etc. A difuso desses conhecimentos deveu-se
inveno da imprensa e criao das universidades.
Sculos XVII e XVIII. O sculo XVII, perodo da revoluo cientfica, assistiu consolidao da
astronomia heliocntrica proposta em 1543 por Nicolau Coprnico e apoiada em descobertas de
Galileu Galilei e Johannes Kepler. O modelo cientfico medieval, baseado nas idias de Aristteles,
Euclides e Galeno, foi progressivamente substitudo por modelos mais adequados realidade
cientfica daquele perodo. Acentuou-se entre os matemticos a tendncia a empregar iniciais ou
abreviaturas de nomes completos das incgnitas e variveis para simplificar as expresses
matemticas. Alguns acreditavam, no entanto, que a proliferao de smbolos empobrecia a
linguagem e dificultava a comunicao.
Ren Descartes, no Discours de la mthode (1637; Discurso do mtodo), lanou as bases da
geometria analtica, que permite localizar pontos e medir a distncia entre eles, por meio de pares de
coordenadas. As noes sobre logaritmos sistematizadas por John Napier representaram grande
progresso nas tcnicas de clculo, ao definir a operao inversa potenciao.
Ainda no sculo XVII, Isaac Newton e Gottfried Wilhelm Leibniz inventaram um dos mais importantes
instrumentos matemticos aplicveis pesquisa cientfica: o clculo infinitesimal, base do clculo
diferencial e integral que se desenvolveu posteriormente. Os tratados do suo Leonhard Euler so a
principal fonte de material sobre clculo. Euler tambm um dos fundadores de duas disciplinas
matemticas: o clculo das variaes -- extenso do clculo em que uma funo depende de outra
funo ou curva -- e a geometria diferencial -- aplicao do clculo diferencial ao estudo das
propriedades gerais de curvas e superfcies.
Sculos XIX e XX. Durante a revoluo francesa e o perodo napolenico, surgiu na Frana uma
nova gerao de matemticos, na qual sobressaram-se Joseph-Louis Lagrange, Jean Le Rond
d'Alembert, Pierre-Simon Laplace, Jean-Baptiste-Joseph Fourier e Pierre de Fermat. A geometria no
euclidiana, criada por Jnos Bolyai e Nicolai Lobatchevski, foi uma das mais importantes descobertas
desse perodo. Em meados do sculo XIX, Bernhard Riemann introduziu a quarta dimenso nos
estudos de geometria, o que influenciaria a formulao da teoria da relatividade, no sculo seguinte.
Carl Friedrich Gauss deu contribuies notveis para a teoria dos nmeros, o clculo das
probabilidades, a teoria dos erros e para a matemtica aplicada (em astronomia, geodsia e
magnetismo).
variste Galois e Niels Henrik Abel formularam as teorias de grupos, funes e variveis complexas,

Encyclopaedia Britannica do Brasil Publicaes Ltda.

Matemtica
enquanto Karl Weierstrass, Richard Dedekind e Georg Cantor definiram, em 1872, os nmeros
irracionais. O sculo XX foi marcado por avanos no campo da topologia e por discusses sobre os
fundamentos da matemtica, estudados por Bertrand Russell, Alfred Whitehead, David Hilbert e
Georg Cantor, entre outros.
Disciplinas da matemtica
Em sua evoluo histrica, a matemtica experimentou uma progressiva diferenciao em reas.
Entre as mais importantes esto a aritmtica, a geometria, a lgebra, a anlise matemtica -- que
engloba o clculo diferencial e integral --, a trigonometria, a teoria dos conjuntos, a probabilidade e a
estatstica.
Aritmtica. O objeto de estudo da aritmtica o nmero, suas propriedades e as operaes que com
ele se podem efetuar. A progressiva expanso da noo de nmero -- do conjunto de nmeros
naturais para os inteiros, racionais, reais e complexos -- definiu de certa forma o surgimento de outras
disciplinas da matemtica, como a lgebra e a teoria de conjuntos.
lgebra. A disciplina matemtica que estuda as relaes entre nmeros por intermdio de
expresses simblicas gerais denominada lgebra. A lgebra surgiu a partir da aritmtica, no
estgio inicial de evoluo da matemtica, provavelmente na Babilnia, quando foram criadas as
equaes e os mtodos para reduzi-las. No sculo XVI, vrias iniciativas se tomaram no sentido de
simplificar a representao de frmulas algbricas, mas atribui-se a Franois Vite a primeira
sistematizao de uma linguagem de sinais algbricos.
Em 1591, no livro Isagoge in artem analyticam (Introduo arte analtica), Vite empregou vogais
para denotar incgnitas, e consoantes para as grandezas constantes. As potncias de um nmero A
eram assim escritas: Aq (quadrado), Ac (cubo) e Aqq (duplo quadrado). Foi Descartes quem primeiro
usou as letras x, y e z para as incgnitas, e a, b e c para as constantes, e quem empregou expoentes
em potncias. A soluo de sistemas de equaes lineares por meio de matrizes e determinantes
parece ter sido idia de Leibniz, mas o primeiro tratamento sistemtico da teoria dos determinantes
deve-se a Alexandre-Thophile Vandermonde, em 1771, e Pierre-Simon Laplace, em 1772.
Nos sculos seguintes, os matemticos se dedicaram a encontrar mtodos gerais para solucionar
equaes algbricas de diferentes graus. Em 1831, variste Galois exps sua teoria dos grupos, com
o que provou a inexistncia de mtodos para extrair razes a partir dos coeficientes de equaes de
grau igual ou maior que cinco.
Geometria e trigonometria. A mais antiga disciplina matemtica se ocupa do estudo das
propriedades do espao e recebe o nome de geometria. Na Babilnia, a geometria se dedicou
preferentemente resoluo dos problemas de tringulos retngulos. Os estudos babilnicos
influenciaram os gemetras gregos, que tiveram nos Elementos de Euclides a melhor expresso de
suas teorias. A geometria de Euclides se baseou no estudo do volume das figuras geomtricas de
revoluo (esferas, cilindros, cones) e das regras de paralelismo e proporcionalidade.
Com o emprego dos mtodos analticos de Descartes na geometria, a partir do sculo XVII, as
expresses geomtricas passaram a ser traduzidas em expresses algbricas. O sculo XIX assistiu
ao surgimento de geometrias no euclidianas, como as de Lobatchevski e de Bolyai, baseadas em
premissas de no proporcionalidade, espaos curvilneos, distoro de distncias etc. A geometria
euclidiana, por essa razo, costuma ser denominada geometria plana, para distingui-la das
geometrias parablicas e hiperblicas que se aproximam mais da concepo moderna do mundo e
do espao. A topologia, ramo mais novo e mais sofisticado da geometria, se encarrega do estudo das
propriedades de figuras geomtricas que subsistem a deformaes contnuas.
Para os primeiros matemticos, a trigonometria era essencialmente uma cincia de clculo baseada
em teoremas geomtricos. Seu objeto de estudo so as funes especficas de ngulos e sua
aplicao ao clculo em geometria. Essa especialidade importante em topografia, cartografia,
geodsia, eletricidade, mecnica, acstica, engenharia e outros campos.
Anlise matemtica. Entre as principais disciplinas da anlise est a teoria das sries -- que analisa
as sucesses de nmeros reais e complexos -- e o clculo diferencial e integral. O clculo diferencial
estuda a variao do valor de uma funo medida que se modificam as variveis independentes,

Encyclopaedia Britannica do Brasil Publicaes Ltda.

Matemtica
correspondentes ao valor de x nas equaes mais simples do tipo y = f(x), em que f a funo. O
clculo integral se ocupa justamente do oposto: descobrir o valor de uma grandeza, a partir de sua
taxa de variao. O progresso da anlise deu origem a novos campos da matemtica, como a anlise
harmnica, a tensorial e a combinatria, que levou ao clculo das probabilidades.
Teoria dos conjuntos. Os estudos dos matemticos George Boole e Georg Cantor conduziram a
uma nova interpretao da matemtica, baseada nas relaes lgicas e na noo de conjunto ou
coleo de termos que mantm uma relao qualquer entre si. Essa disciplina deu origem
matemtica moderna e determinou a formao de toda uma srie de termos singulares, tais como
aplicaes, correspondncias, relaes etc., que no tinham sido empregados antes em matemtica.
Probabilidade e estatstica. O acmulo de dados extrados da realidade material e a inexistncia de
teorias que explicassem os fenmenos a eles relacionados fez aparecer, na primeira metade do
sculo XX, hipteses relativistas e qunticas baseadas no clculo de probabilidade e na estatstica.
O clculo das probabilidades surgiu de estudos sobre os jogos de azar realizados, no sculo XVII, por
Pascal, Fermat, Huygens e Jakob Bernoulli. Em 1662, John Graunt analisou estatisticamente a
mortalidade humana e, em 1693, Edmund Halley mostrou como calcular anuidades de seguros de
vida a partir de quadros de mortalidade. No sculo seguinte, a teoria dos erros de Laplace, Legendre
e Gauss forneceu recursos para empregar a estatstica nas finanas pblicas, na sade pblica e em
outros campos. No sculo XX, com a evoluo da fsica quntica, a estatstica passou a ser um
instrumento de inestimvel valor para a teoria atmica. Em meados do sculo, a viso determinista
da natureza comeou a ser substituda por uma viso probabilstica. A influncia progressiva da
informtica na vida cotidiana tende a aumentar a importncia prtica das teorias de probabilidade e
estatstica.
Fundamentos da matemtica
O estudo dos fundamentos da matemtica trata de conceitos matemticos bsicos que no podem
ser eles mesmos explicados por recursos matemticos. Especialmente no sculo XX, as pesquisas
sobre os fundamentos da matemtica passaram a incluir uma investigao sobre a natureza das
teorias matemticas e o campo de ao dos mtodos por ela empregados.
Mtodo axiomtico. Acredita-se que a origem do mtodo axiomtico se encontra nos Elementos de
Euclides, em que h axiomas (verdades evidentes) e postulados (fatos geomtricos bvios, cuja
validade pode ser admitida sem discusso). O mtodo axiomtico consiste em escolher um conjunto
de axiomas como fundamentais e, a partir deles, deduzir proposies chamadas teoremas, que
podem ser demonstradas.
Em 1888 e 1889, Richard Dedekind e Giuseppe Peano lanaram as bases para a axiomatizao da
teoria dos nmeros e, desde ento, o mtodo axiomtico passou a ser empregado em matemtica
cada vez com maior freqncia. A teoria dos conjuntos foi axiomatizada pela primeira vez em 1908, e
quase todos os ramos receberam tratamento anlogo. A moderna matemtica mostrou que
possvel deduzir todo um corpo doutrinrio a partir dos mesmos postulados, sem discutir o significado
dos termos empregados. Essa nova atitude partiu principalmente de Moritz Pasch e David Hilbert, que
publicou, em 1899, Grundlagen der Geometrie (Fundamentos da geometria), em que estuda
criticamente o sistema axiomtico de Euclides.
Mtodo gentico. A criao dos diferentes sistemas de numerao e as constantes extenses
experimentadas pelo conceito de nmero caracterizam outra maneira de elaborar uma teoria
matemtica. o mtodo que Hilbert chamou de "gentico". Seus elementos so gerados ou
constitudos numa ordem definida, a partir de uma noo inicial e pela extenso de seu significado a
novos campos de definio. A obteno dos resultados feita por induo, em vrias etapas: (1)
comprovao da hiptese para um elemento do conjunto; (2) suposio de que a hiptese
verdadeira para um elemento qualquer do conjunto; e (3) demonstrao de que o elemento seguinte
ao anterior, segundo uma relao de ordem previamente estabelecida no conjunto, tambm
apresenta a propriedade desejada.
O raciocnio dedutivo, assim como o mtodo axiomtico, empregado para obter propriedades novas
a partir de noes triviais, que podem ser tomadas como postulados. Como exemplo disso, utiliza-se

Encyclopaedia Britannica do Brasil Publicaes Ltda.

Matemtica
a sucesso de nmeros naturais: 1, 2, 3... quando se contam objetos que formam um conjunto.
Todos os elementos dessa sucesso so gerados a partir do primeiro elemento, por meio de apenas
uma operao fundamental de contagem, que permite passar do objeto anterior para o posterior pelo
acrscimo de uma unidade.
A exatido de uma propriedade pode ser demonstrada pela premissa segundo a qual, se ela for
verdadeira para n elementos, tambm ser para n + 1. Basta demonstrar que ela verdadeira para o
primeiro elemento, uma vez que, em funo da demonstrao anterior, ser verdadeira para todos os
demais. Esse recurso, chamado "mtodo da recorrncia" ou "induo completa", foi apresentado pela
primeira vez no sculo XVI por Francesco Maurolico. Segundo Henri Poincar, esse o mtodo por
excelncia do raciocnio matemtico.
Em 1889, Peano apresentou um conjunto de propriedades imediatas que deveriam ser tomadas
como postulados e, a partir delas, construiu a teoria axiomtica dos nmeros. A noo de nmero
natural surgiu da necessidade de comparar duas colees de objetos e conhecida mesmo entre as
tribos que vivem em estgios primitivos. As primeiras operaes aritmticas evoluram a partir das
comparaes entre diferentes conjuntos de objetos.
Teorias modernas. No incio do sculo XX, surgiram trs escolas de pensamento, denominadas
logicismo, formalismo e intuicionismo, para solucionar uma crise nos fundamentos da matemtica:
existia entre os matemticos um profundo desconhecimento sobre os conceitos bsicos e os
mtodos utilizados para chegar aos resultados em seus estudos.
De acordo com o logicismo, cujo principal representante foi Bertrand Russell, a matemtica deriva de
um conjunto de princpios lgicos bsicos e investiga um domnio de entes abstratos (como pontos,
nmeros e conjuntos) que existem independentemente do investigador, de tal forma que qualquer
noo matemtica pode reduzir-se idia de propriedade abstrata. Para os logicistas, possvel
deduzir toda a matemtica a partir da lgica pura, sem necessidade de empregar conceitos
matemticos especficos, como nmero ou conjunto.
O formalismo, defendido por David Hilbert, admite que a matemtica se compe de smbolos
manipulados independentemente de seu significado, segundo regras definidas para combinao e
transformao. Hilbert pretendia mostrar que os processos usuais de demonstrao no davam
margem a paradoxos e eram concretos e suficientes para erigir toda a matemtica a partir de alguns
axiomas. Para ele, a consistncia da matemtica no pode ser posta em dvida. Seu programa
envolve duas etapas: a elaborao de um sistema formal de cujos axiomas se deduz, com regras de
inferncia explicitamente relacionadas, pelo menos a parte bsica da matemtica; e a constatao de
que o uso de tais regras, aplicadas aos axiomas, no pode levar a contradies.
O intuicionismo, cujo principal terico foi o holands Luitzen Brouwer, uma forma de conceber a
matemtica como atividade intelectual consistente por si mesma, que lida com construes mentais
governadas por leis autoevidentes. Para os intuicionistas, todo ente matemtico admissvel deve ser
construdo, ou, pelo menos, a possibilidade de executar a construo num determinado nmero de
passos deve ser provada.
Em 1930, as trs escolas conviviam, sem que nenhuma delas se destacasse mais do que as outras.
Trinta anos depois, as divergncias entre as trs correntes, que agora no eram mais as nicas,
haviam-se reduzido a uma simples questo de opo. Entre as novas correntes estavam o logicismo
pluralista, de H. Mehlberg e Rudolf Carnap; os estudos lgicos de Wittgenstein; a teoria do grupo
Nicolas Bourbaki e o formalismo construtivista de Goodstein.
lgebra; Anlise matemtica; Aritmtica; Bourbaki, Nicolas; Clculo; Conjuntos, teoria dos;
Estatstica; Funo; Geometria; Limites, teoria dos; Lgica matemtica; Nmero; Probabilidade;
Topologia; Trigonometria

Encyclopaedia Britannica do Brasil Publicaes Ltda.