Plan i rommet

Et plan i rommet er beskrevet av ligningen

Dvs. at hver kvadruppel (a,b,c,d) svarer til et bestemt plan, og alle punkter (x,y,z) som tilfredsstiller ligningen vil være et punkt i dette planet.

Utledning av ligningen for planet

Lar vi vektoren <math>\vec{n}=\frac{1}{\sqrt{a^2+b^2+c^2}}(a,b,c)</math> være enhetsnormalvektoren til planet og vektoren <math>\vec{r}=(x,y,z)</math> være et punkt i planet, ser vi at skalarproduktet

der <math>l</math> er avstanden fra origo til planet. Skriver vi ut denne ligninga og kaller <math>\sqrt{a^2+b^2+c^2}\cdot l\equiv d</math> får vi

<math>ax+by+cz=\sqrt{a^2+b^2+c^2}l=d</math>.

Parameterfremstilling av plan i rommet

Hvordan vi parametriserer avhenger litt av orienteringen til planet. La oss se på et plan som ikke står normalt på xy-planet, dvs. at <math>c\neq 0</math> i den generelle ligningen. Da kan vi skrive om ligningen for det generelle planet slik at z blir en funksjon av x og y. Ved å la <math>x=x(s)=s</math> og <math>y=y(t)=t</math> kan vi uttrykke z som en funksjon av parametrene. Parameterfremstillingen blir dermed:

På vektorform blir dette <math>\vec{r}=(s,t,z(s,t))=(s,t,\frac{-a}{c}s-\frac{b}{c}t+\frac{d}{c})</math>

Beregning av enhetsnormalvektoren til et plan

Dersom vi kjenner koordinatene til tre punkter som definerer planet (dvs. tre punkter i planet som ikke ligger på en linje) kan vi finne normalvektoren ved å bruke vektorproduktet. Dersom punktene i planet er gitt ved <math>(x_1,y_1,z_1)</math>, <math>(x_2,y_2,z_2)</math> og <math>(x_3,y_3,z_3)</math> regner vi først ut to vektorer som ligger i planet, f.eks.

Tar vi vektorproduktet <math>\vec{v_1}\times \vec{v_2}</math> vet vi at dette vil være en vektor som står normalt på de to (ikke-parallelle) vektorene i planet, altså vil vektorproduktet stå normalt på planet. Normaliserer vi kryssproduktet finner vi enhetsnormalvektoren. Merk at denne vil peke i én av to mulige retninger avhengig av rekkefølgen på vektorene i kryssproduktet.

Ligningen til planet gjennom tre gitte punkt

La oss si at vi har fått oppgitt tre punkter <math>\vec{r_1}</math>, <math>\vec{r_2}</math> og <math>\vec{r_3}</math> i rommet, som ikke ligger på en linje. Da vil disse definere et plan (dvs. at det fins et unikt plan gjennom de tre punktene). Hvordan kan vi finne ligninen for dette planet?

Vi starter med å beregne enhetsnormalvektoren <math>\vec{n}</math> som beskrevet over. Deretter beregner vi skalarproduktet <math>\vec{n}\cdot \vec{r_1}</math>. Da vil ligningen bli

Parallelle plan

Å sjekke om to gitte plan er parallelle er ekvivalent med å sjekk om de tilhørende normalvektorene er parallelle, f.eks. kan man beregne vektorproduktet av normalvektorene. Dersom vektorproduktet er nullvektoren er planene parallelle.

Skjæringen av ikke-parallelle plan

Har vi gitt to ikke-parallelle plan vil disse skjære hverandre i en rett linje. Hvordan kan vi finne ligningen for denne linja?

Dersom planene har normalvektorer <math>\vec{n_1}</math> og <math>\vec{n_2}</math> vil vektorproduktet <math>\vec{n_1}\times \vec{n_2}</math> være parallell med skjæringslinja. Kjenner vi ett punkt på denne linja, si <math>\vec{r_0}</math>, kan vi enkelt finne en parameterfremstilling av linja:

<math>\vec{r}(t)=(\vec{n_1}\times \vec{n_2})t+\vec{r_o}</math>,

der <math>\vec{r}(t)</math> altså er koordinater til punkter på skjæringslinja.

Vinkelen mellom to plan

Vi definerer vinkelen mellom to plan som vinkelen mellom normalvektorene til planene. Ved å bruke definisjonen av skalarproduktet,

<math>\vec{n_1}\cdot \vec{n_2}=|\vec{n_1}||\vec{n_2}|\cos(\theta)</math>

kan vi finne vinkelen <math>\theta</math> mellom planene. Her er <math>\vec{n_i}</math> normalvektoren til plan <math>i</math>.