Aksiome pripadanja i paralelnost

Geometrija je grana matematike koja proučava geometrijske oblike, njihove osobine i međusobne odnose. Osnovni pojmovi geometrije prostora su tačka, prava i ravan. Ove pojmove ne definišemo pomoću jednostavnijih pojmova, već ih prihvatamo kao polazne i proučavamo njihove osobine.

Da bismo mogli da zaključujemo o geometrijskim objektima i dokazujemo njihove osobine, potrebna su nam određena osnovna pravila. Ta pravila nazivamo aksiomama.

Aksiome su osnovna matematička tvrđenja koja prihvatamo bez dokazivanja. One predstavljaju polaznu osnovu iz koje logičkim zaključivanjem izvodimo i dokazujemo druga tvrđenja, koja nazivamo teoremama.

U ovoj lekciji upoznaćemo aksiome koje određuju međusobne odnose tačaka, pravih i ravni, posebno njihove odnose pripadanja i paralelnosti.

Sadržaj

  1. Tačke, prave i ravni
  2. Aksiome pripadanja i određivanje ravni
  3. Paralelnost pravih i ravni

1. Tačke, prave i ravni

U geometriji se koriste sledeće oznake:

ObjekatOznake
tačkevelika latinična slova: A,B,C,…A,B,C,\dots
pravemala latinična slova: a,b,c,…a,b,c,\dots
ravnigrčka slova: α,β,γ,…\alpha,\beta,\gamma,\dots

Ako tačka AA pripada pravoj aa ili ravni α\alpha, pišemo:

A∈ailiA∈α.A\in a \qquad \text{ili} \qquad A\in\alpha.

Ako je prava aa sadržana u ravni α\alpha, pišemo

a⊂α.a\subset\alpha.

Presek pravih i ravni je skup svih zajedničkih tačaka. Ako se prave aa i bb seku u tački PP, zapisujemo

a∩b={P}.a\cap b=\{P\}.

Tačka pripada pravoj ili ravni, pa pravilno pišemo A∈aA\in a i A∈αA\in\alpha. Zapis A⊂αA\subset\alpha nije pravilan jer tačka nije prava niti skup tačaka sadržan u ravni.

Prava je sadržana u ravni, pa pišemo a⊂αa\subset\alpha. Zapis a∈αa\in\alpha nije pravilan jer prava nije element ravni.

Ako prava aa prodire ravan α\alpha u tački MM, pravilno je a∩α={M}.a\cap\alpha=\{M\}.

Zapis a∩α=Ma\cap\alpha=M nije pravilan. Presek je skup zajedničkih tačaka, pa se jednočlani skup zapisuje kao {M}\{M\}, a ne kao MM.

Kolinearne i komplanarne tačke

Tačke su kolinearne ako pripadaju istoj pravoj. Tačke koje ne pripadaju istoj pravoj su nekolinearne.

Tačke su komplanarne ako pripadaju istoj ravni. Tačke koje ne mogu biti smeštene u jednu ravan su nekomplanarne.

Kolinearne tačke ABCa Sve tri pripadaju pravoj a. Nekolinearne tačke ABCa Tačka C ne pripada pravoj AB.

2. Aksiome pripadanja i određivanje ravni

Aksiome pripadanja opisuju osnovne veze između tačaka, pravih i ravni.

  1. Aksioma 1. Svaka prava sadrži najmanje dve različite tačke. Postoje tri nekolinearne tačke.
  2. Aksioma 2. Svake dve različite tačke određuju jednu pravu.
  3. Aksioma 3. Svake tri nekolinearne tačke određuju jednu ravan.
  4. Aksioma 4. Svaka ravan sadrži najmanje tri nekolinearne tačke. Postoje četiri nekomplanarne tačke.
  5. Aksioma 5. Svaka prava koja sa nekom ravni ima dve različite zajedničke tačke pripada toj ravni.
  6. Aksioma 6. Ako dve različite ravni imaju jednu zajedničku tačku, onda one imaju tačno jednu zajedničku pravu.

Kako prava i tačka određuju ravan

Prava aa i tačka AA van nje određuju tačno jednu ravan.

BCAaα Tačke A, B i C su nekolinearne i određuju ravan α.

Primer: Dokažimo ovo tvrđenje pomoću aksioma.

Po Aksiomi 1 na pravoj aa postoje dve različite tačke BB i CC. Pošto A∉aA\notin a, tačke AA, BB i CC su nekolinearne. Po Aksiomi 3 one određuju jednu ravan α\alpha.

Tačke BB i CC pripadaju i pravoj aa i ravni α\alpha. Zato po Aksiomi 5 cela prava aa pripada ravni α\alpha. Druga ravan koja bi sadržala aa i AA sadržala bi iste tri nekolinearne tačke, pa bi po Aksiomi 3 morala biti ravan α\alpha.

Kada je ravan jednoznačno određena?

Sledeća četiri slučaja su osnovna za rešavanje zadataka. Čim prepoznaš jedan od njih, znaš da dati objekti određuju tačno jednu ravan.

Ravan određujuZašto
tri nekolinearne tačkeAksioma 3
prava i tačka van njena pravoj izaberemo dve tačke i primenimo Aksiome 3 i 5
dve prave koje se sekuuz presečnu tačku izaberemo po još jednu tačku sa svake prave
dve različite paralelne praveparalelne prave su komplanarne, a tri njihove odgovarajuće tačke su nekolinearne

Mimoilazne prave ne određuju ravan jer ne postoji ravan koja ih obe sadrži.

Zadatak: Prebroj ravni koje određuju četiri paralelne prave aa, bb, cc i dd ako nikoje tri od njih ne pripadaju istoj ravni.

Rešenje: Svake dve paralelne prave određuju tačno jednu ravan. Uslov da nikoje tri prave nisu u istoj ravni garantuje da svaki par određuje drugu ravan.

Zato treba prebrojati koliko parova možemo izabrati među četiri prave:

(42)=6.\binom{4}{2}=6.

Date prave određuju ukupno šest ravni.

3. Paralelnost pravih i ravni

Dve prave su paralelne ako se poklapaju ili ako pripadaju istoj ravni i nemaju zajedničkih tačaka. Pišemo a∥ba\parallel b.

Dve prave su mimoilazne ako ne postoji ravan koja ih obe sadrži. Mimoilazne prave se ne seku, ali nisu paralelne jer nisu komplanarne.

Prave se seku P Paralelne prave ab Mimoilazne prave ab Samo paralelne prave moraju pripadati istoj ravni.

Aksioma paralelnosti

Za svaku pravu aa i svaku tačku AA postoji tačno jedna prava koja sadrži tačku AA i paralelna je pravoj aa.

Ako je A∉aA\notin a, kroz tačku AA možemo povući samo jednu novu pravu paralelnu pravoj aa. Reč tačno daje i postojanje i jedinstvenost te prave.

Paralelnost pravih je relacija ekvivalencije:

  • a∥aa\parallel a;
  • iz a∥ba\parallel b sledi b∥ab\parallel a;
  • iz a∥ba\parallel b i b∥cb\parallel c sledi a∥ca\parallel c.

Zato jedna prava ne može biti paralelna sa dve mimoilazne prave. Kada bi c∥ac\parallel a i c∥bc\parallel b, tranzitivnost bi dala a∥ba\parallel b, što se protivi tome da su aa i bb mimoilazne.

Prava i ravan

Prava u odnosu na ravan može imati jedan od tri položaja:

PoložajZapis ili opis
prava pripada ravnia⊂αa\subset\alpha
prava prodire ravana∩α={P}a\cap\alpha=\{P\}
prava je paralelna ravnia∩α=∅a\cap\alpha=\emptyset

Prava aa koja ne pripada ravni α\alpha paralelna je toj ravni ako i samo ako u ravni α\alpha postoji prava paralelna pravoj aa.

Ako su ravni α\alpha i β\beta paralelne, one nemaju zajedničkih tačaka:

α∥β⟹α∩β=∅.\alpha\parallel\beta \quad\Longrightarrow\quad \alpha\cap\beta=\emptyset.

Ako dve različite ravni imaju zajedničku tačku, po Aksiomi 6 njihov presek je prava.

Preseci paralelnih ravni

Ako treća ravan γ\gamma seče dve paralelne ravni α\alpha i β\beta, presečne prave su paralelne.

αβγab a = α ∩ γ, b = β ∩ γ, pa je a ∥ b

Primer dokaza kontradikcijom: Neka je a=α∩γa=\alpha\cap\gamma i b=β∩γb=\beta\cap\gamma, pri čemu je α∥β\alpha\parallel\beta.

Prave aa i bb pripadaju ravni γ\gamma. Pretpostavimo da nisu paralelne. Tada bi se sekle u nekoj tački PP. Pošto je P∈aP\in a, bilo bi P∈αP\in\alpha. Pošto je P∈bP\in b, bilo bi P∈βP\in\beta. Ravni α\alpha i β\beta imale bi zajedničku tačku, što je nemoguće jer su paralelne. Zato je a∥ba\parallel b.

Iz istog razmišljanja dobijamo još dva korisna zaključka:

  • prave koje pripadaju dvema paralelnim ravnima ne mogu se seći;
  • svaka prava jedne od dve paralelne ravni paralelna je drugoj ravni.

Ako su dve prave paralelne istoj ravni, one ne moraju biti paralelne međusobno. Na primer, dve prave u ravni poda mogu da se seku, iako su obe paralelne ravni plafona.

Slično, dve ravni paralelne istoj pravoj ne moraju biti paralelne međusobno. Pod i zadnji zid prostorije seku se, iako su oba paralelna prednjoj ivici plafona.