Ģeometrija

[thumb|200px|Ģeometriskā teorēma, ko atklāja un pierādīja [Arhimēds — cilindrā ievilktas lodes tilpums ir 2/3 no cilindra tilpuma: \pi r^2 \cdot 2r \cdot \frac{2}{3} = \frac{4}{3}\pi r^3]]
[thumb|200px|[Kalabi—Jau varietāte ir ģeometriska figūra, kas ir nozīmīga fizikā, superstīgu teorijā]]
**Ģeometrija** (; *geo* - zeme, *metria* - mērīšana) ir matemātikas nozare, kurā tiek pētītas telpas īpašības, kā arī figūru izmērs, forma un savstarpējais novietojums. Ģeometrija ir viena no visvecākajām zinātnēm. Matemātiķi, kas nodarbojas ar ģeometriju, sauc par ģeometru.

Ģeometrija kā sistemātiska zinātne radās Senajā Grieķijā. 300. gadā p.m.ē. grieķis Eiklīds uzrakstīja darbu "Elementi", kas tiek uzskatīts par ģeometrijas pirmsākumu. Eiklīda ģeometrija nodarbojās ar plaknes un telpisku figūru izpēti, to laukuma un tilpuma aprēķināšanu. 1637. gada Dekarta piedāvātā koordinātu sistēma kļuva par analītiskās un diferenciālās ģeometrijas pamatu, bet uzdevumi, saistīti ar rasēšanu, noveda pie tēlotājas un projektīvās ģeometrijas veidošanās. 1829. gadā Lobačevskis atteicās no paralelitātes aksiomas un radīja jaunu neeiklīda ģeometriju, tādējādi nosakot turpmāko zinātnes attīstību un jaunu teorēmu izveidi.

1872. gadā Kleina piedāvātā ģeometrijas klasifikācija, kuras pamatā ir ģeometrisko objektu invariance, saglabājusies līdz šim.

## Ģeometrijas apakšnozares

Ģeometrijas klasificēšana, ko piedāvāja Fēlikss Kleins savā "Erlangences programmā" (1872. gadā). Katra apakšnozare pēta konkrētas ģeometrisko objektu īpašības, kuras saglabājas, (invarianti) veicot dažus katrai nodaļai specifiskas pārveidojumu grupas. Pēc šīs klasifikācijas klasiskajā ģeometrijā var nodalīt galvenās apakšnozares.
* Eiklīda ģeometrija, kas paredz, ka, bīdot figūras plaknē, nogriežņu garumi un leņķu lielumi nemainās. Citiem vārdiem sakot, tā ir to figūru īpašību teorija, kuras paliek nemainīgas pie to pārbīdes, rotācijas, pagriešanas.
** Planimetrija — apskata figūras, kas atrodas vienā plaknē.
** Stereometrija — apskata figūras, kas atrodas trīsdimensiju telpā.
* Projektīvā ģeometrija — pēta īpašības, kas, projicējot figūru, paliek invariantas.
* Afīnā ģeometrija — pēta figūru īpašības, kuras paliek nemainīgas, veicot afīnos pārveidojumus.
* Tēlotāja ģeometrija — aplūko telpas objektu (punktu, līniju, virsmu un ķermeņu) attēlošanu plaknē. Šī metode izmanto divas vai vairākas projekcijas, kas ļauj attēlot telpiskus ķermeņus plaknē.
* Daudzdimensiju ģeometrija
* Diferenciālā ģeometrija — pēta līnijas un virsmas, izmanto diferenciāļa un atvasinājuma jēdzienus.
* Algebriskā ģeometrija — izmanto abstraktās algebras metodes.
* Analītiskā ģeometrija — ar algebras palīdzību pēta ģeometrisku objektu formu un īpašības. Tā balstās uz koordinātu metodi.
* Neeiklīda ģeometrijas — ģeometrijas, kurās neizpildās Eiklīda piektais (jeb paralēļu) postulāts:
** Sfēriskā ģeometrija
** Lobačevska ģeometrija
** Eliptiskā ģeometrija — ģeometrija uz virsmas ar *pozitīvu* liekuma rādiusu,
** Hiperboliskā ģeometrija — ģeometrija uz virsmas ar *negatīvu* liekuma rādiusu.

## Aksiomas
Eiklīda ģeometrijas aksiomas, kuras tika formulētas III—IV gs. p.m.ē., kalpoja par ģeometrijas pamatu līdz XIX gs. otrai pusei, jo labi aprakstīja fizisko telpu. Ar pieciem Eiklīda postulātiem bija par maz, lai pilnībā aprakstītu visu ģeometriju, un 1899. gadā Hilberts piedāvāja savu aksiomu sistēmu. Hilberts sadalīja aksiomas pa grupām: piederības, kongruences, nepartrauktības (tajā skaitā Arhimēda aksioma),pilnības un paralelitātes aksiomas. Vēlāk Šurs aizstāja kongruences aksiomas ar kustības aksiomuām, bet pilnības aksiomas vietā sāka lietot Kantora aksiomu. Ar Eiklīda ģeometrijas aksiomu sistēmas palīdzību ir iespējams pierādīt visas skolā pazīstamās teorēmas.

Eksistē arī citas aksiomu sistēmas, kuru pamatā, neskaitot punktu, taisni un plakni, ir nevis kustība, bet kongruence, kā Hilbertam, vai attālums - kā Kaganam. Cita aksiomu sistēma saistīta ar vektoru jēdzienu. Visas viņas ir izvadītas viena no otras, tas ir - aksiomas no vienas sistēmas var pierādīt kā teorēmas no citas.

Lai pierādītu to, ka Eiklīda ģeometrijas aksiomas nav pretrunā viena ar otru, un ir pilnīgas, tiek būvēts tas aritmētiskais modelis un rādīts, ka jebkurš modelis if izomorfs aritmētiskajam, kas nozīmē, ka tie ir izomorfi savā starpā. Eiklīda ģeometrijas neatkarīgumu attēlot ir grūtāk, aksiomu lielā skaita dēļ. Paralelitātes aksioma nav atkarīga no citām, jo uz pretējā apgalvojuma balstās Lobačevska   ģeometrija. Analoģiski tika pierādīta Arhimēda (trīs reālu skaitļu vietā tika paņemti trīs kompleksie skaitļi) un Kantora (par koordinātēm tika paņemti nevis trīs brīvi izvēlēti reāli skaitļi, bet tie tika noteiktā veidā iegūti) aksiomas kā arī viena no piederības aksiomām, kas faktiski nosaka telpas izmērus (jebkuras trīsdimensiju telpas vietā var uzbūvēt četru dimensiju telpu, bet jebkura daudzdimensiju telpa ir galīga).
[thumb|[Eiklīda postulāti]]

### Eiklīda postulāti
Eiklīda postulāti ir konstruēšanas likumi, izmantojot ideālu cirkuli un ideālu lineālu 
# Divus punktus var savienot ar vienu vienīgu taisni.
# Taisnes nogriezni abos tā galos uz taisnes var pagarināt.
# Ap katru punktu kā ap centru var apvilkt riņķa līniju ar jebkādu rādiusu.
# Visi taisnie leņķi ir vienādi.
# Ja dotā plaknē ir taisne un punkts, kas neatrodas uz taisnes, tad caur šo punktu var novilkt vienu vienīgu taisni, kura nekrusto doto taisni.

### Eiklīda ģeometrijas aksiomas
Elementārās matemātikas enciklopēdijā tiek piedāvāta sekojoša aksiomu sistēma
::* Piederības aksiomas
# Caur katriem diviem dažādiem punktiem var novilkt vienu vienīgu taisni;
# Uz katras taisnes atrodas vismaz divi dažādi punkti;
# Eksistē trīs punkti, kuri neatrodas uz vienas taisnes;
# Caur katriem trīs dažādiem punktiem, kas neatrodas uz vienas taisnes, var novilkt vienu vienīgu plakni;
# Katra plakne satur vismaz vienu punktu;
# Ja divi dažādi punkti atrodas uz vienas plaknes, tad arī novilktā caur šiem punktiem taisne atradīsies uz šīs plaknes;
# Ja divām plaknēm ir kopīgs punkts, tad tām ir vēl vismaz viens kopīgs punkts;
# Eksistē četri punkti, kas neatrodas vienā plaknē.
#* Kārtības aksiomas:
# No jebkuriem trim dažādiem vienai taisnei piederošiem punktiem viens vienīgais to tiem atrodas  starp pārējiem diviem;
# Jebkuriem diviem dažādiem vienai taisnei piederošiem punktiem var atrast trešo punktu, kas pieder šai taisnei, ka otrais punkts atradīsies starp pirmo un trešo;
# Ja taisne *l*, kas atrodas plaknē *ABC*, neiet ne caur vienu no punktiem *A*, *B*, *C* un satur vienu nogriežņa *AB* punktu, tad tā noteikti saturēs vienu no nogriežņa *AC* vai *BC* punktiem;
#* Kustības aksiomas:
# Jebkura kustība ir savstarpēji nepārprotams telpas attēlojums uz sevi;
# *f* - patvaļīga kustība. Tad, ja punkti *A, B, C* atrodas uz vienas taisnes, pie tam *C* atrodas starp *A* un *B,* tad *f(A), f(B), f(C)* arī atradīsies uz vienas taisnes, pie tam *f(C)* atradīsies starp *f(A)* un *f(B)*;
# Divas kustības, kas veiktas viena aiz otras ir līdzvērtīgas kādai vienai citai;
#* Nepārtrauktības aksiomas:
# Arhimēda aksioma. *A<sub>0</sub>, A<sub>1</sub>, B* —trīs punkti, kas atrodas uz vienas taisnes, pie tam *A<sub>1</sub>* atrodas starp *A<sub>0</sub>* un *B*.  *f* — kustība, kas pārveido punktu *A<sub>0</sub>* punktā *A<sub>1</sub>* un staru *A<sub>0</sub>B* starā *A<sub>1</sub>B*. Atliksim *f(A<sub>1</sub>)=A<sub>2</sub>, f(A<sub>2</sub>)=A<sub>3</sub>, …*. Tad eksistē tāds naturāls skaitlis *n*, ka punkts *B* atrodas uz nogriežņa *A<sub>n-1</sub>A<sub>n</sub>*.
# Kantora aksioma.  *A<sub>1</sub>, A<sub>2</sub>, …* и *B<sub>1</sub>, B<sub>2</sub>, …* — tādas divas punktu sekvences, kas atrodas uz teisnes *l*, ka jebkuram *n* punkti *A<sub>n</sub>* un *B<sub>n</sub>* ir dažādi savā starpā un atrodas uz nogrižņa *A<sub>n-1</sub>B<sub>n-1</sub>*. Tad uz taisnes *l* eksistē tāds punkts *C*, kas atrodas uz nogrižņa *A<sub>n</sub>B<sub>n</sub>* pie jebkuras  *n* vērtības.
#* Paralelitātes aksioma:
# Caur punktu *A*, kas nepieder taisnei *l*, to plaknē var novilkt vienu vienīgu taisni, kas nekrustos taisni *l*.

## Ģeometrijas pamatjēdzieni

Matemātikā par pamatjēdzieniem sauc jēdzienus, ko nedefinē. Parasti tiem dod tikai intuitīvu paskaidrojumu. Ģeometrijas pamatjēdzieni ir *punkts*, *taisne* un *plakne*.

; Punkts
: Intuitīvi *punktu* saprot kā 0-dimensionālu objektu (objektu, kam nav ne tilpuma, laukuma, ne garuma). Eiklīds punktu aprakstīja kā "tas, kam nav nekādu sastāvdaļu". Punkta atrašanās vietu telpā raksturo ar tā koordinātām. Punktus parasti apzīmē ar lielajiem burtiem *A*, *B*, *C*, ...

; Taisne
: Ģeometrijā ar *taisni* saprot bezgalīgu taisnu līniju. Taisne ir 1-dimensionāls objekts. Tā ir neierobežota uz abām pusēm, tāpēc zīmējumā var attēlot tikai taisnes daļu jeb nogriezni. Taisnes pieņemts apzīmēt ar mazajiem burtiem *a*, *b*, *c*, … vai arī ar diviem lielajiem burtiem, piemēram, *AB*, kur *A* un *B* ir divi atšķirīgi taisnes punkti.

; Plakne
: *Plakni* intuitīvi saprot kā bezgalīgu plakanu virsmu. Tā ir 2-dimensionāls objekts. Plakni var raksturot ar trīs tās punktiem, kas neatrodas uz vienas taisnes. Piemēram, plakne *ABC*.

## Ģeometriskās figūras

; Stars
: *Stars* ir taisnes daļa uz vienu pusi no kāda taisnes punkta. Šo punktu sauc par sākumpunktu un parasti apzīmē ar *O*. Staru apzīmē ar tā sākumpunktu un vēl kādu punktu uz stara, piemēram, stars *OT*. Jebkurš taisnes punkts *O* to sadala divos staros, piemēram, *OS* un *OT*.

; Nogrieznis
: Par *nogriezni* sauc taisnes daļu starp diviem tās punktiem. Šos punktus sauc par nogriežņa galapunktiem. Nogriezni apzīmē ar tā galapunktiem vai ar vienu mazo burtu, piemēram, nogrieznis *GH* vai nogrieznis *d*. Ja viens nogrieznis ir otra nogriežņa daļa, tad saka, ka otrais nogrieznis ir lielāks nekā pirmais, pieraksta, *AB* > *CD*.

; Trīsstūris
: *Trijstūris* ir ģeometriska figūra, ko veido trīs punkti un taisnes nogriežņi. Trijstūri ar virsotnēm *A*, *B* un *C* apzīmē ar . Eiklīda ģeometrijā trijstūri veido jebkuri trīs savā starpā nekolineāri punkti. Arī neeiklīda ģeometrijās trijstūrim ir tāda pati nozīme, tomēr tam tajās ir specifiskas īpašības.

; Kvadrāts
: *Kvadrāts* jeb regulārs četrstūris ir četrstūris, kuram visas malas ir vienāda garuma un visi leņķi ir vienādi, un ir 90 grādi. Kvadrātu var uzskatīt par taisnstūri, kuram visas malas ir vienādas, vai arī par rombu, kuram leņķi ir 90 grādi. Kvadrātam, tāpat kā jebkuram četrstūrim, ir divas diagonāles.

; Riņķa līnija
: *Riņķa līnija* ir visu to plaknes punktu kopa, kuri atrodas vienādā attālumā no kāda fiksēta plaknes punkta. Šo punktu sauc par riņķa līnijas centru, bet attālumu — par tās rādiusu. Riņķa līnijas un riņķa jēdzieni ir cieši saistīti, taču nav identiski. Riņķis ir riņķa līnijas iekšpuse jeb plaknes daļa, ko ierobežo riņķa līnija un kurā atrodas tās centrs.

## Atsauces

## Ārējās saites

* Eric W. Weisstein, Geometry, MathWorld.
* David Eppstein, The Geometry Junkyard.
* Karīna Oborune, Vai vēlies nopelnīt miljonu? Studē ģeometriju!, Universitātes Avīze, 2008. gada 17. aprīlis.