geometrija (geo- + -metrija), grana matematike koja u svojoj izvornoj problematici proučava položaj, oblik, i svojstva geometrijskih tijela u prostoru te njihov međusobni odnos. Tijekom daljnjeg razvoja njezin je predmet proučavanja postao širi i apstraktniji.
Podjela geometrije
Danas se geometrija povezuje i isprepleće s drugim matematičkim disciplinama (
algebarska geometrija,
matematička analiza,
diferencijalne jednadžbe,
topologija i dr.), pa se gube njezine oštre granice. Različiti geometrijski sustavi međusobno se razlikuju prema tipu prostora koji istražuju (
euklidska geometrija, geometrija Lobačevskoga, Riemannova geometrija i dr.), prema metodama kojima se služe (
analitička geometrija, sintetička geometrija,
afina diferencijalna geometrija), prema dimenziji prostora (
planimetrija,
stereometrija, geometrija
n-dimenzionalnoga prostora), ili pak prema klasi objekata koje proučavaju (
deskriptivna geometrija,
projektivna geometrija,
sferna geometrija, teorija površina, geometrija trokuta i sl.). Danas se osobito naglo razvija
diferencijalna geometrija.
Povijesni razvoj
Podrijetlo geometrije vezano je uz praktične potrebe mjerenja površina zemljišnih parcela (odatle joj naziv – zemljomjerstvo) i volumena posuda, skladišta i dr. Najjednostavnije geometrijske činjenice bile su poznate u Mezopotamiji i Egiptu (3100. pr. Kr.), a imale su vjerojatno više empirijski nego deduktivni značaj. Novo razdoblje u razvoju geometrije u VII. st. pr. Kr. počinje, kada je iz Egipta i Babilona, prema predaji, bila prenesena u Grčku. U filozofskim školama
Talesa iz Mileta,
Pitagore i dr. rješavani su klasični problemi
udvostručenja kocke,
kvadrature kruga i
trisekcije kuta i otkrivene su mnoge nove geometrijske činjenice (npr. Talesov poučak,
Pitagorin poučak), koje se već strogo dokazuju, pa geometrija izrasta u znanost. Visok stupanj njezina razvoja omogućio je da se ona zasnuje strogo aksiomatski i deduktivno po načelima Aristotelove logike. Najuspjelije je to ostvario (oko 300. pr. Kr.)
Euklid u svojem djelu
Elementi. Novim otkrićima obogatili su geometriju najveći grčki matematičari
Arhimed i
Apolonije iz Perge u III. st. pr. Kr.
Analitička geometrija razvija se početkom XVII. st., kada je René Descartes uveo u geometriju upotrebu koordinatnih sustava, čime je omogućeno da se geometrijski problemi rješavaju algebarskim metodama.
Diferencijalna geometrija nastaje primjenom metoda infinitezimalnoga računa na analitičku geometriju u radovima Gasparda Mongea i Leonharda Eulera u XVIII. st.
Deskriptivna geometrija se razvila udovoljavajući potrebama tehnike, građevinarstva i osobito arhitekture, a znanstveni joj je temelj postavio Monge u djelu Deskriptivna geometrija (1798).
Projektivna geometrija utemeljena je radovima Jeana-Victora Ponceleta (početkom XIX. st.).
Neeuklidske geometrije nastaju početkom XIX. st., kao rezultat istraživanja problema zasnivanja geometrije i specijalno problema paralela. Do toga su došli Nikolaj Ivanovič Lobačevski i János Bolyai. Značenje je tih novih spoznaja u tome što su one pokazale da prostor i njegova geometrija nisu apriorno jedinstveno predodređeni, nego su i logički moguće različite varijante, koje se razlikuju po sustavu aksioma na kojima se temelje. Trebalo bi da eksperiment odluči koja od njih bolje odgovara svojstvima realnoga prostora. U tom su smislu razrađeni različiti geometrijski sustavi (npr. projektivna geometrija, afina geometrija, eliptična geometrija). U tom su razdoblju osobito plodne i dalekosežne bile ideje Georgea Friedricha Bernharda Riemanna, koji je (1854) definirao poopćeni pojam prostora (poslije nazvan Riemannov prostor). U njemu je zadana duljina linijskih elemenata, pa se mjerenje konačnih udaljenosti obavlja integracijom beskonačno malih odsječaka. Takvi su prostori našli široku primjenu u fizici. U povijesnom razvoju geometrije važno mjesto zauzima problem njezina strogo aksiomatskoga zasnivanja kao deduktivnoga sustava, te problem neproturječnosti, potpunosti i neovisnosti njezine aksiomatike. Tu zadaću, koju Euklid u svojim Elementima nije u potpunosti riješio, 1899. riješio je David Hilbert. Za definiciju i sistematizaciju različitih geometrijskih sustava osobito su značajne ideje Franza Kleina, poznate kao Erlangenski program.