HU
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms
Sík (geometria)

Sík (geometria)

From Wikipedia, the free encyclopedia

Sík
DefiníciójaJellemzéseÖnálló objektumKlasszikus síkfogalomProjektív síkÁltalánosításokSík megadása az analitikus geometriábanMetszéspontok háromdimenziós térbenEgyenes és sík metszeteHárom sík metszéspontjaPont és sík távolságaJegyzetekForrásokFordításKapcsolódó szócikkek

A sík a geometriában, azon belül tipikusan a kétdimenziós síkgeometriában és a háromdimenziós térgeometriában fontos fogalom. Leírása, és nem definíciója szerint végtelenül kiterjedt, kétdimenziós objektum. Ha egy egy sík egy egyenes két pontját tartalmazza, akkor a sík a teljes egyenest tartalmazza.

Thumb
A 3 koordinátasík

Konkrétabban a matematika különböző részterületei különböző objektumokat tekintenek síknak.

Euklidész az Elemekben (az egyeneshez hasonlóan) előbb a felületet definiálja: Felület az, aminek csak hosszúsága és szélessége van, és csak ezután határozza meg a síkot: Síkfelület az, amelyik a rajta levő egyenesekhez viszonyítva egyenlően fekszik. Ma már a síkot is alapfogalomnak tekintjük a geometriában, tehát nem definiáljuk.

Hogy pontosan mit jelent a sík, azt mindenki magának határozza meg (a mindennapi tapasztalataival összhangban). Geometriai szempontból a sík legfontosabb tulajdonságai:

  • Kétdimenziós objektum,[1] azaz két, egymástól különböző irányban végtelen, a harmadik irányban 0 a kiterjedése.
  • Három nem kollineáris[2] pont egyértelműen meghatározza, azaz ha két síknak létezik három nem kollineáris közös pontja, akkor az összes pontjuk közös.
  • Ha két síknak létezik egy közös pontja, akkor létezik olyan egyenes, ami mindkét síkra illeszkedik.
Thumb
A legkisebb projektív sík (hét pont, hét egyenes)
Thumb
A legkisebb affin sík (négy pont, hat egyenes)

Klasszikus síkfogalom

A klasszikus geometriában az (euklideszi) sík geometriai vizsgálatok tárgya, például abból a szempontból, hogy milyen alakzatok szerkeszthetők meg körzővel és vonalzóval. A sík (ebben az összefüggésben határozott névelővel, mint ami nincs magasabb dimenzióba ágyazva) a rajzlap absztrakciója, ami végtelenül lapos és végtelenül kiterjedt; ahogy az egyenes a ceruzával vagy más eszközzel meghúzott vonal végtelenül vékony és végtelenül hosszú absztrakciója. A modern geometriát a Hilbert-féle axiómarendszer írja le.

Descartes óta a sík azonosítható a valós számok rendezett párosaival, R 2 {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}}-tel. Más szóval, R 2 {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}} a Hilbert-féle geometria modellje. Ezt a valós vektorteret is nevezik síknak.

Projektív sík

A projektív sík megkapható úgy, hogy egyeneseinek párhuzamos nyalábjaihoz hozzáveszünk egy-egy végtelen távoli pontot, és ezek halmazát a sík végtelen távoli egyenesének tekintjük.

Az így kapott projektív sík is leírható algebrailag: homogén valós számhármasokat veszünk. Itt a homogén szó azt jelenti, hogy ha egy számhármas minden tagját ugyanazzal a nullától különböző valós számmal szorozzuk, akkor az új hármas ugyanazt a pontot adja meg, mint a régi. Ugyanezek a hármasok írják le R 3 {\displaystyle \mathbb {R} ^{3}} {\displaystyle \mathbb {R} ^{3}} egydimenziós altereit; azaz a projektív sík pontjai azonosíthatók a háromdimenziós tér origóján átmenő egyeneseivel. A projektív sík egyenesei hasonlóan azonosíthatók a háromdimenziós tér origóján átmenő síkjaival.

Általánosítások

Ha gyengítjük a Hilbert-féle axiómákat, például lehetővé tesszük a végességet, akkor véges struktúrákhoz jutunk, melyeket affin vagy projektív síkoknak nevezünk. A legkisebb projektív sík hét pontot és hét egyenest tartalmaz. Tetszőleges egyenes és annak pontjainak eltávolításával affin síkhoz jutunk, négy ponttal és hat egyenessel.

A Descartes-féle modell általánosításában ahelyett, hogy a valós számokkal koordinátáznánk a síkot, egy tetszőleges K {\displaystyle K} {\displaystyle K} testet használunk. Így jutunk a K 2 {\displaystyle K^{2}} {\displaystyle K^{2}} kétdimenziós vektorterekhez, melyek affin síkokat írnak le. A K 3 {\displaystyle K^{3}} {\displaystyle K^{3}} affin terek segítségével pedig projektív síkok írhatók le. Azonban belátható, hogy nem minden projektív sík írható le ezzel a módszerrel.

Ha K = C {\displaystyle K=\mathbb {C} } {\displaystyle K=\mathbb {C} }, akkor meg kell jegyeznünk, hogy a komplex számok valós értelemben már maguk kétdimenziós teret alkotnak. Így a komplex egyenes kétdimenziós, a komplex sík négydimenziós, azonban csak kétdimenziós komplex vektortér. Ha K {\displaystyle K} {\displaystyle K} véges, akkor véges síkokhoz jutunk. Ha például K = F 2 {\displaystyle K=\mathbb {F} _{2}} {\displaystyle K=\mathbb {F} _{2}}, akkor a fent leírt legkisebb projektív, illetve affin síkokhoz jutunk.

Topológiai értelemben a sík csak K = R {\displaystyle K=\mathbb {R} } {\displaystyle K=\mathbb {R} } esetén felület. A K = C {\displaystyle K=\mathbb {C} } {\displaystyle K=\mathbb {C} } esetben komplex felület.

Thumb
A sík egyenlete
Thumb
A sík paraméteres egyenlete
Thumb
Két metsző sík

Egy sík egyenlete egy olyan egyenlet, melyet a sík minden pontja teljesít, és ha egy pont teljesíti, akkor rajta van a síkon. Az egyenlet különböző alakokat ölthet, attól függően, hogy mely adatokból számították ki.

Legyen ( x 0 , y 0 , z 0 ) {\displaystyle (x_{0},y_{0},z_{0})} {\displaystyle (x_{0},y_{0},z_{0})} a sík egy pontja és egy ( a , b , c ) {\displaystyle (a,b,c)} {\displaystyle (a,b,c)} normálvektor.[3] Ekkor a sík egyenlete:

a x + b y + c z = d {\displaystyle ax+by+cz=d} {\displaystyle ax+by+cz=d}

ahol a d konstans a következőképpen adódik:

d = a x 0 + b y 0 + c z 0 {\displaystyle d=ax_{0}+by_{0}+cz_{0}} {\displaystyle d=ax_{0}+by_{0}+cz_{0}}

A sík egyenlete a skaláris szorzat fogalmát felhasználva is megfogalmazható:

⟨ ( x , y , z ) , ( a , b , c ) ⟩ = d {\displaystyle \langle {\mathbf {(} x,y,z)},{\mathbf {(} a,b,c)}\rangle =d} {\displaystyle \langle {\mathbf {(} x,y,z)},{\mathbf {(} a,b,c)}\rangle =d}

A tengelymetszeti egyenlet alakja:

x x 0 + y y 0 + z z 0 = 1 {\displaystyle {\frac {x}{x_{0}}}+{\frac {y}{y_{0}}}+{\frac {z}{z_{0}}}=1} {\displaystyle {\frac {x}{x_{0}}}+{\frac {y}{y_{0}}}+{\frac {z}{z_{0}}}=1}

ahol ( x 0 , 0 , 0 ) {\displaystyle (x_{0},0,0)} {\displaystyle (x_{0},0,0)}, ( 0 , y 0 , 0 ) {\displaystyle (0,y_{0},0)} {\displaystyle (0,y_{0},0)} és ( 0 , 0 , z 0 ) {\displaystyle (0,0,z_{0})} {\displaystyle (0,0,z_{0})} a sík koordinátategelyekkel vett metszéspontjai. Ha a sík párhuzamos valamelyik tengellyel, akkor az egyenletben nem szerepel az annak megfelelő koordinátát tartalmazó term.

A sík paraméteres egyenlete:

x → = p → + s u → + t v → {\displaystyle {\vec {x}}={\vec {p}}+s{\vec {u}}+t{\vec {v}}} {\displaystyle {\vec {x}}={\vec {p}}+s{\vec {u}}+t{\vec {v}}}     s , t ∈ R {\displaystyle s,t\in \mathbb {R} } {\displaystyle s,t\in \mathbb {R} }

alakú, ahol p → {\displaystyle {\vec {p}}} {\displaystyle {\vec {p}}} támaszvektor, u → {\displaystyle {\vec {u}}} {\displaystyle {\vec {u}}} és v → {\displaystyle {\vec {v}}} {\displaystyle {\vec {v}}} irányvektorok. A p → {\displaystyle {\vec {p}}} {\displaystyle {\vec {p}}} pont a sík tetszőleges pontja, u → {\displaystyle {\vec {u}}} {\displaystyle {\vec {u}}} és v → {\displaystyle {\vec {v}}} {\displaystyle {\vec {v}}} párhuzamosak a síkkal úgy, hogy nem konstansszorosai egymásnak. Az irányvektorok affin koordináta-rendszert feszítenek ki, amiben ( s , t ) {\displaystyle (s,t)} {\displaystyle (s,t)} a sík pontjainak koordinátái.

A sík hárompontos egyenlete

x → = p → + s ( q → − p → ) + t ( r → − p → ) {\displaystyle {\vec {x}}={\vec {p}}+s({\vec {q}}-{\vec {p}})+t({\vec {r}}-{\vec {p}})} {\displaystyle {\vec {x}}={\vec {p}}+s({\vec {q}}-{\vec {p}})+t({\vec {r}}-{\vec {p}})}     s , t ∈ R {\displaystyle s,t\in \mathbb {R} } {\displaystyle s,t\in \mathbb {R} }

alakú, ahol p → {\displaystyle {\vec {p}}} {\displaystyle {\vec {p}}}, q → {\displaystyle {\vec {q}}} {\displaystyle {\vec {q}}} és r → {\displaystyle {\vec {r}}} {\displaystyle {\vec {r}}} a sík egymástól különböző pontjai, melyek nincsenek egy egyenesen.

A sík normálegyenlete

( x → − p → ) ⋅ n → = 0 {\displaystyle ({\vec {x}}-{\vec {p}})\cdot {\vec {n}}=0} {\displaystyle ({\vec {x}}-{\vec {p}})\cdot {\vec {n}}=0}

alakú, ahol p → {\displaystyle {\vec {p}}} {\displaystyle {\vec {p}}} a sík támaszvektora, és n → {\displaystyle {\vec {n}}} {\displaystyle {\vec {n}}} normálvektor. A skaláris szorzat pontosan akkor nulla, ha a normálvektor merőleges a sík pontjának, mint normálvektornak és a támaszpont, mint helyvektornak különbségére. A sík feszítő vektoraira teljesül, hogy n → = u → × v → {\displaystyle {\vec {n}}={\vec {u}}\times {\vec {v}}} {\displaystyle {\vec {n}}={\vec {u}}\times {\vec {v}}}.

A sík Hesse-féle normálegyenlete

x → ⋅ n → 0 = d {\displaystyle {\vec {x}}\cdot {\vec {n}}_{0}=d} {\displaystyle {\vec {x}}\cdot {\vec {n}}_{0}=d}

alakú, ahol n → 0 {\displaystyle {\vec {n}}_{0}} {\displaystyle {\vec {n}}_{0}} egységnyi hosszú, a sík irányába mutató normálvektor, és d {\displaystyle d} {\displaystyle d} a sík távolsága az origótól.

Magasabb dimenziós terekben a sík lineáris 2-sokaság az R n {\displaystyle \mathbb {R} ^{n}} {\displaystyle \mathbb {R} ^{n}} n {\displaystyle n} {\displaystyle n}-dimenziós térben. A fenti implicit alakban adott egyenletek ezekben a terekben hipersíkokat írnak le. A síkok egyenletrendszere n − 2 {\displaystyle n-2} {\displaystyle n-2} egyenletből álló egyenletrendszerrel írható le, mivel ennyi hipersík metszetéből áll elő. Ezeknek a hipersíkoknak egymástól független normálvektorai kellenek, hogy legyenek.

Thumb
Egyenes és sík metszete

Egyenes és sík metszete

A térben az egyeneseket rendszerint ( x ( t ) , y ( t ) , z ( t ) ) {\displaystyle (x(t),y(t),z(t))} {\displaystyle (x(t),y(t),z(t))} paraméterábrázolással, a síkokat a x + b y + c z = d {\displaystyle ax+by+cz=d} {\displaystyle ax+by+cz=d} egyenlettel írják le. Behelyettesítve az egyenes paraméteres ábrázolását a sík egyenletébe adódik az

a x ( t ) + b y ( t ) + c z ( t ) = d   , {\displaystyle ax(t)+by(t)+cz(t)=d\ ,} {\displaystyle ax(t)+by(t)+cz(t)=d\ ,}

lineáris egyenlet a metszéspont t 0 {\displaystyle t_{0}} {\displaystyle t_{0}} paraméterére. Ha az egyenletnek nincs megoldása, akkor az egyenes párhuzamos a síkkal. Ha az egyenletnek minden t ∈ R {\displaystyle t\in \mathbb {R} } {\displaystyle t\in \mathbb {R} } megoldása, akkor az egyenes a síkban van.[4]

Három sík metszéspontja

Ha az egyenes két sík metszeteként van megadva, és keressük a metszéspontját egy síkkal, akkor három sík metszéspontját kell meghatározni.

Legyenek a síkok ε i :   n → i ⋅ x → = d i ,   i = 1 , 2 , 3 {\displaystyle \varepsilon _{i}:\ {\vec {n}}_{i}\cdot {\vec {x}}=d_{i},\ i=1,2,3} {\displaystyle \varepsilon _{i}:\ {\vec {n}}_{i}\cdot {\vec {x}}=d_{i},\ i=1,2,3}! Ha n → 1 , n → 2 , n → 3 {\displaystyle {\vec {n}}_{1},{\vec {n}}_{2},{\vec {n}}_{3}} {\displaystyle {\vec {n}}_{1},{\vec {n}}_{2},{\vec {n}}_{3}} normálvektoraik lineárisan függetlenek, akkor a metszéspont

p → 0 = d 1 ( n → 2 × n → 3 ) + d 2 ( n → 3 × n → 1 ) + d 3 ( n → 1 × n → 2 ) n → 1 ⋅ ( n → 2 × n → 3 )   . {\displaystyle {\vec {p}}_{0}={\frac {d_{1}({\vec {n}}_{2}\times {\vec {n}}_{3})+d_{2}({\vec {n}}_{3}\times {\vec {n}}_{1})+d_{3}({\vec {n}}_{1}\times {\vec {n}}_{2})}{{\vec {n}}_{1}\cdot ({\vec {n}}_{2}\times {\vec {n}}_{3})}}\ .} {\displaystyle {\vec {p}}_{0}={\frac {d_{1}({\vec {n}}_{2}\times {\vec {n}}_{3})+d_{2}({\vec {n}}_{3}\times {\vec {n}}_{1})+d_{3}({\vec {n}}_{1}\times {\vec {n}}_{2})}{{\vec {n}}_{1}\cdot ({\vec {n}}_{2}\times {\vec {n}}_{3})}}\ .}

A bizonyításhoz vegyük figyelembe, hogy n → i ⋅ p → 0 = d i ,   i = 1 , 2 , 3 , {\displaystyle {\vec {n}}_{i}\cdot {\vec {p}}_{0}=d_{i},\ i=1,2,3,} {\displaystyle {\vec {n}}_{i}\cdot {\vec {p}}_{0}=d_{i},\ i=1,2,3,} és a skaláris szorzásra vonatkozó szabályokat.[4]

A p 0 → = ( x 0 , y 0 , z 0 ) {\displaystyle {\vec {p_{0}}}=(x_{0},y_{0},z_{0})} {\displaystyle {\vec {p_{0}}}=(x_{0},y_{0},z_{0})} pont és az a x + b y + c z + d = 0 {\displaystyle ax+by+cz+d=0} {\displaystyle ax+by+cz+d=0} egyenletű sík távolsága:

| a x 0 + b y 0 + c z 0 + d | a 2 + b 2 + c 2 {\displaystyle {\frac {|ax_{0}+by_{0}+cz_{0}+d|}{\sqrt {a^{2}+b^{2}+c^{2}}}}} {\displaystyle {\frac {|ax_{0}+by_{0}+cz_{0}+d|}{\sqrt {a^{2}+b^{2}+c^{2}}}}}

Ha a sík adott a p 1 → = ( x 1 , y 1 , z 1 ) {\displaystyle {\vec {p_{1}}}=(x_{1},y_{1},z_{1})} {\displaystyle {\vec {p_{1}}}=(x_{1},y_{1},z_{1})}, p 2 → = ( x 2 , y 2 , z 2 ) {\displaystyle {\vec {p_{2}}}=(x_{2},y_{2},z_{2})} {\displaystyle {\vec {p_{2}}}=(x_{2},y_{2},z_{2})}, p 3 → = ( x 3 , y 3 , z 3 ) {\displaystyle {\vec {p_{3}}}=(x_{3},y_{3},z_{3})} {\displaystyle {\vec {p_{3}}}=(x_{3},y_{3},z_{3})} pontokkal, akkor a távolság számítható a

( p 2 → − p 1 → ) × ( p 3 → − p 1 → ) | ( p 2 → − p 1 → ) × ( p 3 → − p 1 → ) | ⋅ ( p 0 → − p 1 → ) {\displaystyle {\frac {({\vec {p_{2}}}-{\vec {p_{1}}})\times ({\vec {p_{3}}}-{\vec {p_{1}}})}{\left|({\vec {p_{2}}}-{\vec {p_{1}}})\times ({\vec {p_{3}}}-{\vec {p_{1}}})\right|}}\cdot ({\vec {p_{0}}}-{\vec {p_{1}}})} {\displaystyle {\frac {({\vec {p_{2}}}-{\vec {p_{1}}})\times ({\vec {p_{3}}}-{\vec {p_{1}}})}{\left|({\vec {p_{2}}}-{\vec {p_{1}}})\times ({\vec {p_{3}}}-{\vec {p_{1}}})\right|}}\cdot ({\vec {p_{0}}}-{\vec {p_{1}}})}

képlettel, ahol × {\displaystyle \times } {\displaystyle \times } jelöli a vektoriális szorzatot, ⋅ {\displaystyle \cdot } {\displaystyle \cdot } a skaláris szorzatot, és | | {\displaystyle \left|\quad \right|} {\displaystyle \left|\quad \right|} egy vektor hosszát. Alternatív módszerként el lehet végezni az

a = y 1 z 2 − y 2 z 1 + y 2 z 3 − y 3 z 2 + y 3 z 1 − y 1 z 3 {\displaystyle a=y_{1}z_{2}-y_{2}z_{1}+y_{2}z_{3}-y_{3}z_{2}+y_{3}z_{1}-y_{1}z_{3}} {\displaystyle a=y_{1}z_{2}-y_{2}z_{1}+y_{2}z_{3}-y_{3}z_{2}+y_{3}z_{1}-y_{1}z_{3}}
b = z 1 x 2 − z 2 x 1 + z 2 x 3 − z 3 x 2 + z 3 x 1 − z 1 x 3 {\displaystyle b=z_{1}x_{2}-z_{2}x_{1}+z_{2}x_{3}-z_{3}x_{2}+z_{3}x_{1}-z_{1}x_{3}} {\displaystyle b=z_{1}x_{2}-z_{2}x_{1}+z_{2}x_{3}-z_{3}x_{2}+z_{3}x_{1}-z_{1}x_{3}}
c = x 1 y 2 − x 2 y 1 + x 2 y 3 − x 3 y 2 + x 3 y 1 − x 1 y 3 {\displaystyle c=x_{1}y_{2}-x_{2}y_{1}+x_{2}y_{3}-x_{3}y_{2}+x_{3}y_{1}-x_{1}y_{3}} {\displaystyle c=x_{1}y_{2}-x_{2}y_{1}+x_{2}y_{3}-x_{3}y_{2}+x_{3}y_{1}-x_{1}y_{3}}
d = x 1 y 2 z 3 − x 1 y 3 z 2 + x 2 y 3 z 1 − x 2 y 1 z 3 + x 3 y 1 z 2 − x 3 y 2 z 1 {\displaystyle d=x_{1}y_{2}z_{3}-x_{1}y_{3}z_{2}+x_{2}y_{3}z_{1}-x_{2}y_{1}z_{3}+x_{3}y_{1}z_{2}-x_{3}y_{2}z_{1}} {\displaystyle d=x_{1}y_{2}z_{3}-x_{1}y_{3}z_{2}+x_{2}y_{3}z_{1}-x_{2}y_{1}z_{3}+x_{3}y_{1}z_{2}-x_{3}y_{2}z_{1}}

helyettesítést.[5]

  1. [1]
    Az n-dimenziós geometriában a hasonlóan fontos objektumok az (n–1)-dimenziós hipersíkok. Ezekre lényegében minden az itt leírt tulajdonságokkal analóg módon levezethető. Lásd: a hipersík két dimenzióban a hagyományos egyenes → egyenlete a x + b y + c = 0 {\displaystyle ax+by+c=0} {\displaystyle ax+by+c=0} alakú!
  2. [2]
    Nem egy egyenesre illeszkedő.
  3. [3]
    Olyan vektor, ami merőleges a síkra. Gyakran felteszik, hogy a normálvektor egység hosszú, azaz a 2 + b 2 + c 2 = 1 {\displaystyle a^{2}+b^{2}+c^{2}=1} {\displaystyle a^{2}+b^{2}+c^{2}=1}. Ez elsősorban kényelmi szempont, mert ekkor sok számítás leegyszerűsödik.
  4. [4]
    CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt)
  5. [5]
    Wolfram MathWorld: Point-Plane Distance
    • Steffen Goebbels, Stefan Ritter. Mathematik verstehen und anwenden. Springer (2011)
    • Lothar Papula. Mathematische Formelsammlung: Für Ingenieure und Naturwissenschaftler. Springer (2009)
    • Thomas Westermann. Mathematik für Ingenieure. Springer (2008)

    Ez a szócikk részben vagy egészben az Ebene (Mathematik) című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

    Ez a szócikk részben vagy egészben az Ebenengleichung című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

    • Hilbert-féle axiómarendszer
    • Koordinátageometria

    • Matematika Matematikaportál • összefoglaló, színes tartalomajánló lap
    Edit in WikipediaRevision historyRead in Wikipedia

    Wikiwand in your browser!

    Seamless Wikipedia browsing. On steroids.

    Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

    Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

    Chrome
    Wikiwand for Chrome
    Edge
    Wikiwand for Edge
    Firefox
    Wikiwand for Firefox

    Definíciója

    Jellemzése

    Önálló objektum

    Sík megadása az analitikus geometriában

    Metszéspontok háromdimenziós térben

    Pont és sík távolsága

    Jegyzetek

    Források

    Fordítás

    Kapcsolódó szócikkek