Geometrianoeuclidiana

Oqueageometriaeuclidiana?NascecomEuclides,matemticodabibliotecadeAlexandria,
cercade300a.c,quepretendeureunirnaobraElementostodososconhecimentosdegeometria
queatentoseconheciam.Ageometriaeuclidianapretendedescrevernumaformulaoracionala
geometriaintuitivadoespao.Partededefiniesoulocuesbsicas:pontooquenotem
partes,linhacomprimentosemespessura,rectalinhaquedescansaporigualemtodososseus
pontos,plano,ngulo,etcecomestasconstridefiniesmaisavanadas(porissomaisfceisde
entender,diremosns).Porexemplo,aderectasparalelas(complanasequenoseintersectam)
aindaadefiniousual.Desenvolvesedepoiscomnoesgeraiscomo:iguaisaumaterceiraso
iguaisentresi,coisasquepodemfazersecoincidirsoiguais,otodomaiordoqueaparte,
etc,queseriam,aotempodeEuclides,dadaspelalgicaouporumateoriadosconjuntos
inconsciente,aqualseriainata,aparentedenocontradioelogodeinverosmildiscusso.Muita
genialidadeparaaaltura,muitaincoernciaparaoqueseconhecehojeemdia.Foiumparaso
idlicoparaacinciaemgeralataosculoXVIII.
Euclidesfundamentouasrelaesentreosobjectosporrecursoaaxiomasoupostulados:
Ipossveltraarumsegmentodeumparaqualqueroutroponto.IIpossvelprolongarqualquer
segmentoderectatantoquantodesejarmos.IIIpossveltraarumacircunfernciadecentroem
qualquerpontoeraioqualquer.IVTodososngulosrectossoiguaisentresi.VSeemumplano
umarectaintersectaduasoutrasrectasfazendongulosinternosdeummesmoladocomsoma
menorquedoisrectos,entoestasduasrectasintersectamseemumpontosituadodaquelemesmo
lado.Emtudoistohproblemaslgicos,decontinuidadeeatdemovimento.Porexemplo,um
teoremadosElementosdeEuclidesafirma,sobreaintersecodecertascrcunferncias,queesta
existe.Oqueumresultadoqueincluiacompreensodosirracionais.noaxiomaoupostuladoV
quesurgeadvidaenasceageometrianoeuclidiana.MesmoaEuclidespareceuqueaqueleera
umaxiomadenaturezadiferenteemaiscomplexodoqueosoutros.Tentouprovaromaiornmero
deteoremassemrecorrerquele5axioma.Edesdeosgregos,ataosculoXIX,sempresetentou
provaro5axiomaporrecursoaosquatroprimeiros.
O5axiomaficouconhecidocomoAxiomadasParalelasporqueseprovaqueequivalenteao
seguinte:Porumpontoexterioraumarectapassasempreumaparalelarectadada.Claroqueo
problemadoinfinitoestaquiemevidncia,comoumsimplesmodelopodedemonstrar.
Euclideslibertodetodasasdeficincias(emlatim),obrapublicadapelopadrejesutaGerolamo
Sacheriem1733,supsterdemonstradoo5axioma,poisrecorreuaomtododademonstraopor
absurdo,enunciandoumconjuntoderesultadosemqueelefalso.Tratousedeumequvoco:os
resultadosnosecontradiziamentresi.Sacheriestavaafinalaenunciarresultadosdageometria
noeuclidiana.
OiminentematemticoalemoCarlFriedrichGauss(17771855)entreviuanovageometriadesde
1792,comapenas15anos.Anegaodo5axiomatambmnoolevavaaresultadoscontraditrios
comosaxiomasmaisbsicosesintticosdageometria,hojeditageometriaabsoluta.
Masoprimeiromatemticoqueafirmouageometrianoeuclidianadeformaconscientefoiorusso
NicolaiIvanovitchLobatchevsky,licenciadopelaUniversidadedeKazanem1807,trsanosdepois
destaabrir.Em1826fezumacomunicaoaodepartamentodeMatemticaeFsicaemquesenega
o5axioma:nasuageometria,porumpontoexterioraumarectapassamaisdoqueumaparalela.E

submeteuumartigopelaAcademiadeCinciasdeS.Petersburgo,queprimeiramentefoirejeitado.
Desenvolveuummodelodasuageometria,quehojetemonomedesemiplanohiperblico.Uma
importanteconsequnciaadequeasomadostrsngulosinternosdeumtringulomenordo
queumngulorecto.
Pelamesmaaltura,umjovemmatemticohngaro,JanosBolyai(18021860)desenvolve
independentemente,semqualquerrelaocomLobachevsky,umtratadodegeometriano
euclidiana,isto,quenegao5axiomadeEuclides,quesviriaaserpublicadoem1832.Bolyai
porissotambmconsideradoumpercursordageometrianoeuclidiana.
Nosprincpiosde1900surgemnovosmodelosdegeometriahiperblica,comoodiscode
Poincar,inventadopelofransHenriPoincar.Provasepormqueesteisomtricoaosemi
planohiperblicodeLobatchewsky.
Porestaalturademudanadesculoosmatemticosdebatemsecomproblemasdosfundamentos
lgicosdamatemtica,tambmligadosideiadeunificaocoerentedascincias.Lembremonos
quemesmoantesdoannusmirabilisdeEinstein(1905)osfsicospropunhamsedarcomo
completaacompreensodosfenmenosfsicos.Em1899DavidHilbertapresentaumaobra,
GrundlagenderGeometrie,queresolveeesclarecemuitosproblemaslgicosrelacionadoscomos
fundamentosdasgeometriastodasatentoconhecidas,asquaistmporbaseumconjuntode21
axiomasdeincidncia,congruncia,ordem,paralelasecontinuidade,atalgeometriaabsoluta.Em
particular,provaqueademonstraodaconsistnciadageometriaeuclidianaequivalenteda
consistnciadosnmerosnaturais.Estaumaobranotvel,queoprprioD.Hilbertfoi
melhorandoemsucessivasedies,aqualsviuumatraduoeditadaemPortugalem1951,pela
Prof.MariadoPilarRibeiro.
Masnoabandonemosodesenvolvimentomatemticoconcretodageometria:em1853,Bernhard
Riemann(18261866,39anos),nasuatesedelicenciaturaapresentaumaideiaanalticade
caracterizaodageometria.Estamosnapocadoascensodoclculodiferencial.Foientofundada
ageometriaRiemanniana.ComaconstruodageometriadiferencialRiemannianaapareceo
conceitodecurvatura,dequeGaussjfaziausoparasuperfcies,permitindodistinguir,por
exemplo,trstiposdegeometriaemdimenso2:ageometriahiperblica,aplana(oulisa)ea
elptica,conformeacurvaturadeGauss(emdimensodoisomesmoqueacurvaturadeRiemann)
sejarespectivamentenegativa,nulaoupositiva.Nestaltima,comosepodevertomandoumaesfera
comamtricacannica,nemsequerexistemduasrectasparalelas,poisquerectassooscrculosde
raiomximo.
Afinalageometriadiferencialveiocadavezmaisaimprse,tendoobtidoprticasaplicaescoma
Relatividade,eaencontrarsecadavezmaiscomalgebra,atopologiaeaanlise.Umexemplo
muitoilustrativoeparticulardaexistnciadecurvaturaesuainteracocomoutrasmatriasodo
grupodeholonomiadaesfera.
Sempreageometriatemvindoaracionalizarsemaisemais,masosurpreendente(ouoquesempre
criaasuspeiodosmatemticos)asuaenormeindependnciadocrebrohumanosea
compararmoscomoutrasreasdamatemtica.ComodisseF.W.Besselem1830:enquantoo
nmeroprodutoexclusivodonossoesprito,oespaotemumarealidadeparaalmdoesprito,
cujasleisnopodemosprescrevercompletamente.
Bibliografia:paraalmdaprodigiosawikipdia,

Geometrianoeuclidiana,J.J.Dionsio,1987,AEFCUL.
FundamentosdaGeometria,DavidHilbert,Gradiva,2003.
OAnnusMirabilisdeEinsteincincoartigosquerevolucionaramaFsica,JohnStachel,
Gradiva,2005
Geometria,A.J.FrancodeOliveira,1988,Universidadedevora.