19. Tétel

Szakaszok és egyenesek a koordinátasíkon. Párhuzamos és merőleges egyenesek. Elsőfokú egyenlőtlenségek, egyenletrendszerek grafikus megoldása.[cite: 205]

Teljes kidolgozás az emelt szintű matematika érettségi szóbeli vizsgájára. Ez a tétel áttekinti a koordinátageometria analitikus alapjait, a vektoros bizonyításokat (osztópontok, súlypont), az egyenes egyenleteinek levezetését, valamint az egyenlőtlenségek grafikus vizsgálatát.

Szakaszok a koordinátasíkon: Távolság és Osztópontok

A koordinátageometria (analitikus geometria) alapja, hogy a geometriai alakzatokat algebrai eszközökkel, koordináta-rendszerben vizsgáljuk. Két pont, $A(x_1, y_1)$ és $B(x_2, y_2)$ távolságát a Pitagorasz-tétel segítségével számoljuk ki:[cite: 66]

$$d(A, B) = |\vec{AB}| = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}$$
Tétel: Felezőpont, harmadolópont és súlypont koordinátái[cite: 66]

Felezőpont: Az $A(x_1, y_1)$ és $B(x_2, y_2)$ pontok által meghatározott szakasz $F$ felezőpontjának helyvektora a végpontok helyvektorainak számtani közepe. Vektorosan: $\vec{f} = \frac{\vec{a} + \vec{b}}{2}$. Koordinátákkal:[cite: 66]

$$F\left( \frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2} \right)$$

Harmadolópont bizonyítása: Keressük azt a $H_1$ pontot, amely az $AB$ szakaszt 1:2 arányban osztja (az $A$-hoz van közelebb). Vektorosan felírva a $H_1$-be mutató helyvektort az $A$-ból indulva:[cite: 66]

$$\vec{h_1} = \vec{a} + \frac{1}{3}\vec{AB} = \vec{a} + \frac{1}{3}(\vec{b} - \vec{a}) = \vec{a} + \frac{1}{3}\vec{b} - \frac{1}{3}\vec{a} = \frac{2\vec{a} + \vec{b}}{3}$$

Ebből a koordináták: $H_1\left(\frac{2x_1 + x_2}{3}, \frac{2y_1 + y_2}{3}\right)$. Analóg módon a $B$-hez közelebbi $H_2$ pontra: $\vec{h_2} = \frac{\vec{a} + 2\vec{b}}{3}$. Q.E.D.

A háromszög súlypontjának bizonyítása: Legyenek a háromszög csúcsai $A(\vec{a})$, $B(\vec{b})$ és $C(\vec{c})$. Tudjuk, hogy a súlypont ($S$) a súlyvonalat a csúcstól számítva 2:1 arányban osztja. Legyen az $AB$ oldal felezőpontja $F_{AB}$, melynek helyvektora $\vec{f} = \frac{\vec{a}+\vec{b}}{2}$.[cite: 66] Az $S$ pont a $CF_{AB}$ szakaszon van, így:

$$\vec{s} = \vec{c} + \frac{2}{3}\vec{CF_{AB}} = \vec{c} + \frac{2}{3}(\vec{f} - \vec{c}) = \vec{c} + \frac{2}{3}\left(\frac{\vec{a}+\vec{b}}{2}\right) - \frac{2}{3}\vec{c}$$ $$\vec{s} = \frac{1}{3}\vec{c} + \frac{\vec{a}+\vec{b}}{3} = \frac{\vec{a} + \vec{b} + \vec{c}}{3}$$

Koordinátákkal: $S\left(\frac{x_1+x_2+x_3}{3}, \frac{y_1+y_2+y_3}{3}\right)$. Q.E.D.[cite: 66]

Az egyenes egyenletei a síkban

Az egyenes helyzetét a síkban egyértelműen meghatározza egy pontja ($P_0(x_0, y_0)$) és a "melyik irányba halad" információ, amit megadhatunk normálvektorral, irányvektorral vagy irányszöggel (meredekséggel). Emelt szinten elvárás az egyenletek levezetése is.[cite: 66]

  • Normálvektoros egyenlet: A normálvektor ($\vec{n}(A, B)$) az egyenesre merőleges, nullvektortól különböző vektor. Legyen az egyenes egy tetszőleges futópontja $P(x, y)$. A $\vec{P_0P}$ vektor párhuzamos az egyenessel, tehát merőleges $\vec{n}$-re. Két merőleges vektor skaláris szorzata nulla:[cite: 66] $$\vec{n} \cdot \vec{P_0P} = 0 \implies A(x - x_0) + B(y - y_0) = 0$$ Rendezve kapjuk az általános $Ax + By = C$ alakot, ahol $C = Ax_0 + By_0$.
  • Irányvektoros egyenlet: Az irányvektor ($\vec{v}(v_x, v_y)$) az egyenessel párhuzamos vektor. Tudjuk, hogy egy $(v_x, v_y)$ irányvektorhoz a $(-v_y, v_x)$ egy lehetséges normálvektor. Ezt behelyettesítve a normálvektoros egyenletbe:[cite: 66] $$-v_y(x - x_0) + v_x(y - y_0) = 0 \implies v_y(x - x_0) = v_x(y - y_0)$$
  • Iránytényezős (meredekséges) egyenlet: Az egyenes irányszöge ($\alpha$) az az x-tengely pozitív felével bezárt szöge ($0^\circ \le \alpha < 180^\circ$). Az iránytényező (meredekség) $m = \tan(\alpha)$. Ha $\alpha \neq 90^\circ$, és az irányvektor $\vec{v}(v_x, v_y)$, akkor $m = \frac{v_y}{v_x}$. Az irányvektoros egyenletet $v_x$-szel leosztva, majd $y$-ra rendezve kapjuk az $y = mx + b$ alakot, ahol $b$ az y-tengelymetszet.[cite: 66]

Párhuzamos és merőleges egyenesek, hajlásszög

Két egyenes kölcsönös helyzetét legegyszerűbben a normálvektoraik vagy az iránytényezőjük alapján vizsgálhatjuk.[cite: 66]

  • Párhuzamosság: Két egyenes akkor párhuzamos, ha normálvektoraik (vagy irányvektoraik) párhuzamosak, azaz egymás skalárszorosai. Képlettel: $\vec{n_1} = k \cdot \vec{n_2}$. Iránytényezővel kifejezve: $m_1 = m_2$.[cite: 66]
  • Merőlegesség: Két egyenes akkor merőleges, ha normálvektoraik merőlegesek egymásra, tehát skaláris szorzatuk nulla: $\vec{n_1} \cdot \vec{n_2} = 0$, azaz $A_1A_2 + B_1B_2 = 0$. Iránytényezős alakban: $m_1 \cdot m_2 = -1$ (ha egyik sem zérus).[cite: 66]

Két egyenes hajlásszöge: Két metsző egyenes által bezárt szög ($\phi$) definíció szerint a kisebbik vagy egyenlő (hegyesszög vagy derékszög). A hajlásszöget meghatározhatjuk a normálvektoraik által bezárt szög alapján. Mivel hegyesszöget keresünk, a skaláris szorzat abszolút értékét vesszük:[cite: 66]

$$\cos(\phi) = \frac{|\vec{n_1} \cdot \vec{n_2}|}{|\vec{n_1}| \cdot |\vec{n_2}|}$$

Elsőfokú egyenlőtlenségek és egyenletrendszerek grafikus megoldása

Az $Ax + By = C$ egyenlet egy egyenest ír le. Ez az egyenes a koordinátasíkot két félsíkra osztja. Az elsőfokú, kétismeretlenes egyenlőtlenségek (pl. $Ax + By < C$ vagy $Ax + By \ge C$) megoldáshalmaza ezeknek a félsíkoknak valamelyike (az egyenessel együtt vagy anélkül).[cite: 205]

Egyenlőtlenség-rendszerek: Több elsőfokú egyenlőtlenség közös megoldása a határoló egyenesek által kijelölt félsíkok metszete. Ez a metszet gyakran egy konvex sokszögtartomány. Ezt az elvet alkalmazzuk a lineáris programozás során a szélsőértékek keresésére (optimalizálási feladatok).

Egyenletrendszerek grafikus interpretációja:[cite: 205] Két elsőfokú kétismeretlenes egyenletből álló rendszer megoldása ekvivalens két egyenes metszéspontjának keresésével:

  • Ha a két egyenes metsző (iránytényezőjük különböző), pontosan egy megoldás (metszéspont) van.
  • Ha a két egyenes párhuzamos, de nem egybeeső, nincs közös pont, az egyenletrendszernek nincs megoldása.
  • Ha a két egyenes egybeesik, végtelen sok megoldás van (az egyenes minden pontja).

Alkalmazások és Matematikatörténet

Az emelt szintű szóbeli vizsgán extra pontokat ér a témakör történelmi és gyakorlati vonatkozásainak ismerete.[cite: 170, 250]

Matematikatörténet:

  • A koordinátageometria (analitikus geometria) megteremtői a 17. században René Descartes és Pierre de Fermat voltak. Descartes 1637-es La Géométrie című művében kapcsolta össze az algebrát a geometriával, lehetővé téve, hogy geometriai alakzatokat algebrai egyenletekkel írjunk le. Emiatt hívjuk a ma használt derékszögű rendszert Descartes-féle koordináta-rendszernek.
  • Fermat már Descartes-ot megelőzve felírta az egyenesek és a kúpszeletek egyenleteit, de munkásságát csak halála után publikálták, így a dicsőség jelentős része Descartes-é lett.

Gyakorlati alkalmazások:

  • Számítógépes grafika és CAD (Computer-Aided Design): Minden vektorgrafikus program (pl. Illustrator) és 3D modellező szoftver a háttérben szakaszok, egyenesek, és osztópontok koordinátageometriai egyenleteit (valamint a bonyolultabb Bézier-görbéket) számolja újra minden egyes képfrissítéskor.
  • Lineáris programozás (Gazdaság): Az elsőfokú egyenlőtlenség-rendszerek grafikus megoldása az alapja a logisztikai és termeléstervezési optimalizációs feladatoknak (pl. hogyan maximalizáljuk a profitot adott nyersanyag- és munkaidő-korlátok, mint "félsíkok" mellett).
  • Navigáció (GPS): A modern helymeghatározó rendszerek térbeli koordinátageometriát, távolságképleteket és egyenletrendszerek megoldásait használják a pontos pozíció megállapításához.