Ravan

thumb|Presijek dvije ravne u trodimenzionalnom prostoru

U matematici, **ravan** je ravna dvodimenzionalna površ, analogon tački (nula dimenzija), pravi (jedna dimenzija) i punom tijelu (tri dimenzije). Ravni mogu nastati kao podprostori nekog većeg dimenzionalnog prostora, kao na primjer zidovi neke sobe, ili mogu postojati kao nezavisni objekti u smislu Euklidove geometrije.

## Pojam i definicije ravni
Ravan je jedan od osnovnih pojmova geometrije. Njena definicija daje aksiomama geometrije.

Važne osobine ravni date su,  sljedećim aksiomama:

*Ako dvije tačke prave pripadaju ravni, onda sve tačke prave pripadaju ovoj ravni.
*Tri tačke koje ne leže na jednoj pravoj pripadaju samo jednoj ravni.

Ruski matematičar Nikolaj Lobačevski je za definiciju ravni uzimao sledeću definiciju:

Ravan je geometrijsko mjesto tačaka u prostoru koje su podjednako udaljene od dvije date tačke.

U izgradnji geometrije Lobačevski je polazio od pojma kretanja, i prema tome, i od pojma rastojanja između dvije tačke.

Veliki nemački matematičar Lajbnic definisao je pojam ravni kao površ koja dijeli prostor na dva kongruentna dijela (koja se kretanjem mogu poklopiti).

Međutim, ovu osobinu ima, na primer, i cilindarska površ čija je generatrisa sinusoida ili pravilna beskonačna izlomljena linija oblika testere.
## Ravan u trodimenzionalnom Euklidskom prostoru 
thumb|right|200px|Tri paralelna ravna

### Osobine 
Sljedeći iskazi važe u trodimenzionalnom Euklidskom prostoru, ali ne u višim dimenzijama (i ako imaju više dimenzionalne analogone):
* Dvije ravni su ili paralelni, ili se presjecaju u nekoj liniji.
* Linija je ili paralelna s ravni, siječe ravan u jednoj tački, ili se potpuno nalazi u njoj.
* Linije normalne u odnosu na istu ravan  međusobno su paralelne.
* Dvije ravni normalne na istu liniji međusobno su paralelne.

## Opisivanje ravni kroz tri tačke 
Neka su , , i  nekolinearne tačke. Na osnovu ovih tačaka možemo upotrebiti jednu od sljedeće tri metode da bi opisali ravnu.

#### Metoda 1 
Ravan koji prolazi kroz , , i  se može opisati kao skup svih tačaka (x,y,z) koje zadovoljavaju sljedeće determinantne jednačine:

:\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\
x_2 - x_1 & y_2 - y_1& z_2 - z_1 \\
x_3 - x_1 & y_3 - y_1 & z_3 - z_1
\end{vmatrix} =\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\
x - x_2 & y - y_2 & z - z_2 \\
x - x_3 & y - y_3 & z - z_3
\end{vmatrix} = 0. 

#### Metoda 2 
Ravan je također moguće opisati kao jednačinu forme  ax + by + cz + d = 0 , gdje se sljedeći sistem jednačina treba riješiti:

:\, ax_1 + by_1 + cz_1 + d = 0
:\, ax_2 + by_2 + cz_2 + d = 0
:\, ax_3 + by_3 + cz_3 + d = 0.

Ovaj sistem se može riješiti koristeći Kramerovo pravilo i osnovne matrične manipulacije:

: D = \begin{vmatrix}
x_1 & y_1 & z_1 \\
x_2 & y_2 & z_2 \\
x_3 & y_3 & z_3
\end{vmatrix}.

Ako *D* nije nula (ravni koji ne prolaze kroz koordinatni početak) vrijednosti za *a*, *b* i *c* se mogu izračunati na sljedeći način:

:a = \frac{-d}{D} \begin{vmatrix}
1 & y_1 & z_1 \\
1 & y_2 & z_2 \\
1 & y_3 & z_3
\end{vmatrix}

:b = \frac{-d}{D} \begin{vmatrix}
x_1 & 1 & z_1 \\
x_2 & 1 & z_2 \\
x_3 & 1 & z_3
\end{vmatrix}

:c = \frac{-d}{D} \begin{vmatrix}
x_1 & y_1 & 1 \\
x_2 & y_2 & 1 \\
x_3 & y_3 & 1
\end{vmatrix}.

Ove jednačine su parametrične u *d*. Stavljajući *d* da bude jednak bilo kojem nenultnom broju i zamjenjujući njega u ovim jednačinama daje skup solucija.

#### Metoda 3 
Treća metoda za opisivanje ravna je sa "tačkom i površinskom normalom". Zadovoljavajuća površinska normala se dobiva vektorskim proizvodom
:\mathbf n = ( \mathbf p_2 - \mathbf p_1 ) \times ( \mathbf p_3 - \mathbf p_1 ), 
i tačkom  koja može biti bilo koja od tačaka , ili .

## Ravan u analitičkoj geometriji
Ravan A u prostoru R^n se analitički može opisati jednom njenom tačkom  P\in A\in R^{n}

\overrightarrow {a} koji je okomit na nju, tj. svaki vektor koji joj pripada. Tada će za svaku tačku Q\in A važiti:

\overrightarrow{a} \cdot \overrightarrow{PQ} = 0,

ili

\left (a_1, \ldots ,a_n \right) \cdot \left (Q_1 - P_1, \ldots, Q_n - P_n \right) = a_1 \cdot \left (Q_1 - P_1 \right) + \cdots + a_n \cdot \left (Q_n - P_n \right) = 0

Kako su \overrightarrow {a} i P konstante, izraz se može drugačije zapisati:

\overrightarrow{a}\cdot \left (Q - P\right) \Rightarrow \overrightarrow{a} \cdot \overrightarrow{Q} = \overrightarrow{a} \cdot \overrightarrow{P} \Rightarrow\overrightarrow{a} \cdot \overrightarrow{Q} = C, C \in R

Ovo je vektorska jednačina ravni. Nakon razvoja skalarnog proizvoda dobija se opšta jednačina ravni:

a_1 \cdot Q_1 + \cdots + a_n \cdot Q_n = C

## Ravan i drugi geometrijski objekti
### Ravan i tačka
Ravan u prostoru R^n može sadržati ili ne sadržati neku od tačaka istog. Algebarski, ovo se provjerava tako što se koordinate tačke ubace na odgovarajuća mjesta promjenjivih u jednačinu ravni. Ako je jednačina ravni zadovoljena, tačka pripada ravni. U suprotnom tačka ne pripada ravni.
### Projekcija tačke na ravan
Ako tačka ne pripada ravni, onda postoji tačno jedna prava koja prolazi kroz tu tačku, i normalna je na ravan. Ta prava siječe ravan u tačno jednoj tački koja je u stvari projekcija prethodne tačke na datu ravan.

Neka je data ravan  A i neka je određena tačkom P i njenim normalnim vektorom \overrightarrow {n}. Neka je Q proizvoljna tačka istog prostora koja ne pripada A. Tada za projekciju Q' tačke Q na ravan A važi sljedeće:

Q' \in A \wedge \overrightarrow{QQ'} \| \overrightarrow{n} \Rightarrow

Q' = Q + \alpha \overrightarrow{n} \in A
\overrightarrow{PQ'} \overrightarrow{n} = 0

Dobili smo jednačinu sa nepoznatom  \alpha.

\left (Q  + \alpha \overrightarrow{n} - P \right) \cdot \overrightarrow{n} = 0, \; \; \alpha = \frac{ \overrightarrow{PQ} \overrightarrow{n} }
### Ravan i prava
Ravan i prava u R^3 imaju tri moguća međusobna položaja: 
prava je paralelna sa ravni (njen vektor je normalan na normalan vektor ravni),
prava siječe ravan u jednoj tački, prava pripada ravni. 
U prostorima veće dimenzije je moguće i da prava nema zajedničkih tačaka sa ravni ali da takođe nije paralelna sa njom. Ovaj položaj se naziva mimoilaženje.

### Presjek ravni i prave
Pretpostavimo da se prava p određena sa tačkom P i vektorom \overrightarrow {v}, i ravan A određena sa tačkom  Q i normalnim vektorom \overrightarrow {n} sijeku.

Njihova tačka preseka L bi bila određena sa:

L = P + \alpha \overrightarrow{v}, \; L \in A

Kada se ovako dobijeni vektor koordinata tačke L ubaci u jednačinu ravni, dobije se jednačina sa jednom nepoznatom, \alpha. Nakon što se \alpha odredi, treba je vratiti u gornju jednačinu. Rezultat su koordinate tačke L.

U R^3 bi to izgledalo ovako:

A: n_1 (x_1 - Q_1) + n_2 (x_2 - Q_2) + n_3 (x_3 - Q_3) = 0
L: (P_1+\alpha v_1,P_2 + \alpha v_2,P_3 + \alpha v_3)

\Rightarrow n_1 (P_1+\alpha v_1 - Q_1) + n_2 (P_2 + \alpha v_2 - Q_2) + n_3 (P_3 + \alpha v_3 - Q_3) = 0

\overrightarrow{n} \cdot \left (\overrightarrow{QP} + \alpha \overrightarrow{v} \right) = 0

\alpha = -\frac{ \overrightarrow{n} \overrightarrow{QP} }{ \overrightarrow{n} \overrightarrow{v} }, \; L = P + \alpha \overrightarrow{v}

### Projekcija prave na ravan
Projekcija prave p na ravan A je ili jedna prava p' koja pripada ravni A, ili jedna tačka P' na ravni A. Do drugog slučaja dolazi kada je prava p u stvari normalna na ravan A, a rezultujuća tačka je u stvari njihov presjek.

Kada prava p nije normalna na ravan A, njena projekcija, prava p' se može konstruisati kroz projekcije dvije različite tačke prave p na ravan A.

### Rastojanje prave i ravni
Ako prava p ne siječe ravan A, rastojanje između njih je jednako rastojanju između bilo koje tačke prave i ravni.

### Ravan i ravan
Dvije ravni u prostoru R^n mogu biti mimoilazne, paralelne, mogu se sjeći po jednoj pravoj ili biti identične.

### Presjek dvije ravni
Presjek dvije ravni A i B može biti:
*prazan skup (ako su ravni paralelne ili mimoilazne)
*jedna tačka (ako su ravni u principu mimoilazne ali se dodiruju u jednoj tački)
jedna prava (ako se ravni sijeku)
*ravan, ako su ravni identične.

Odnos dvije ravni, kao i njihov presjek se mogu odrediti rješavanjem sistema jednačina ove dvije ravni.

Pretpostavimo da su zadate dvije ravni

A: P, \overrightarrow{a} и B: Q, \overrightarrow{b}

A: x_1 a_1 + x_2 a_2 + \cdots + x_{n-1} a_{n-1} + P_n a_n = K_A, \; K_A \in R
B: x_1 b_1 + x_2 b_2 + \cdots + x_{n-1} b_{n-1} + Q_n b_n = K_B, \; K_B \in R

\begin{cases} x_1 a_1 + x_2 a_2 + \cdots + x_{n-1} a_{n-1} + x_n a_n = K_A \\ x_1 b_1 + x_2 b_2 + \cdots + x_{n-1} b_{n-1} + x_n b_n = K_B \end{cases}

određuje šta je rezultat presjeka i ekvivalentan je dimenziji rezultujućeg potprostora. Samo rješenje sistema opisuje objekat dobijen presjekom.

### Udaljenost dvije paralelne ravni
Dvije ravni su paralelne ako ih grade parovi vektora koji grade baze istog potprostora u datom prostoru. Ovi parovi vektora se u međusobnom odnosu još zovu koplanarni.

Udaljenost dvije ravni je konstantno, posmatrano iz bilo koje tačke jedne prema drugoj ravni. Stoga se može svesti na rastojanje bilo koje tačke jedne ravni od druge ravni.

### Udaljenost dvije mimoliazne ravni
Ravni mogu biti mimoilazne u prostorima dimenzije veće od tri. Karakteristika ovako postavljenih ravni je da se ne sijeku po pravoj i da postoji tačno jedan par tačaka sa prve i druge ravni, za koje je rastojanje minimalno. Ako se parametri ravni tako podese, da ove dvije tačke imaju iste koordinate, ravni će se dodirivati samo u tim tačkama a rastojanje ove dvije ravni je jednako nuli.

U opštem slučaju, rastojanje dvije mimoilazne ravni se izračunava postavljanjem jednačine dužine vektora između ove dvije ravni, i nalaženjem njenog minimuma diferenciranjem.

## Također pogledajte 
* Poluravan
* Hiperravan

## Reference 
## Vanjski linkovi 
*  
*Joyce, D. E. (1996), Euclid's Elements, Book I, Definition Clark University, retrieved 8 August 2009
*Weisstein, Eric W. (2009), CALCULUS III - NOTES A Wolfram Web Resource, retrieved 2009-08-08
* Equations of Planes Calculus III

Kategorija:Euklidska geometrija
Kategorija:Površine
Kategorija:Matematički koncepti