Riadky druhého rádu. Vzájomné usporiadanie imaginárnych bodov a priamok Dvojica rovnobežných priamok druhého rádu
Teraz ukážeme, že afinná klasifikácia kriviek druhého rádu je daná názvami samotných kriviek, t.j. že afinné triedy kriviek druhého rádu sú triedy:
skutočné elipsy;
imaginárne elipsy;
hyperbola;
dvojice skutočných pretínajúcich sa čiar;
dvojice imaginárnych (konjugovaných) pretínajúcich sa;
dvojice paralelných reálnych čiar;
dvojice paralelných imaginárnych konjugovaných čiar;
páry zhodných skutočných čiar.
Potrebujeme dokázať dve tvrdenia:
A. Všetky krivky s rovnakým názvom (t. j. všetky elipsy, všetky hyperboly atď.) sú navzájom afinne ekvivalentné.
B. Dve krivky rôznych mien nie sú nikdy afinne ekvivalentné.
Dokazujeme tvrdenie A. V kapitole XV, § 3 už bolo dokázané, že všetky elipsy sú afinne ekvivalentné jednej z nich, a to kružnici, a všetky hyperboly sú hyperbolou.To znamená, že všetky elipsy, respektíve všetky hyperboly sú navzájom afinne ekvivalentné. Všetky imaginárne elipsy, ktoré sú afinne ekvivalentné kruhu - - 1 polomer, sú tiež navzájom afinne ekvivalentné.
Dokážme afinnú ekvivalenciu všetkých parabol. Ukážeme ešte viac, a to, že všetky paraboly sú si navzájom podobné. Stačí dokázať, že parabola daná v určitom súradnicovom systéme jej kanonickou rovnicou
podobne ako parabola
Aby sme to dosiahli, podrobíme rovinu transformácii podobnosti s koeficientom -:
Potom, s našou transformáciou, krivka
prechádza do zákruty
teda do paraboly
Q.E.D.
Prejdime k rozpadnutým krivkám. V § vzorcoch (9) a (11), str. 401 a 402 bolo dokázané, že krivka, ktorá sa v niektorom (aj pravouhlom) súradnicovom systéme rozdelí na dvojicu pretínajúcich sa čiar, má rovnicu
Vykonaním ďalšej transformácie súradníc
vidíme, že každá krivka, ktorá sa rozdelí na pár pretínajúcich sa skutočných, respektíve imaginárnych združených priamych čiar, má rovnicu v nejakom afinnom súradnicovom systéme
Pokiaľ ide o krivky, ktoré sa delia na pár rovnobežných priamok, každá z nich môže byť (aj v niektorom pravouhlom súradnicovom systéme) daná rovnicou
pre skutočné, resp
za imaginárny, priamy. Transformácia súradníc nám umožňuje vložiť tieto rovnice (alebo pre zhodné priamky. To znamená afinnú ekvivalenciu všetkých rozpadových kriviek druhého rádu, ktoré majú rovnaký názov.
Prejdime k dôkazu tvrdenia B.
Najprv si všimnime: pri afinnej transformácii roviny zostáva poradie algebraickej krivky nezmenené. Ďalej: každá klesajúca krivka druhého rádu je dvojica priamych čiar a pri afinnej transformácii priamka prechádza do priamky, pár pretínajúcich sa čiar prechádza do dvojice pretínajúcich sa čiar a pár rovnobežných čiar ide do dvojice paralelných; okrem toho sa skutočné čiary menia na skutočné čiary a imaginárne čiary na vymyslené čiary. Vyplýva to zo skutočnosti, že všetky koeficienty vo vzorcoch (3) (kapitola XI, § 3), ktoré určujú afinnú transformáciu, sú reálne čísla.
Z toho, čo bolo povedané, vyplýva, že priamka afinne ekvivalentná danej krivke rozpadu druhého rádu je krivka rozpadu s rovnakým názvom.
Prejdime k neklesajúcim krivkám. Opäť platí, že pri afinnej transformácii sa skutočná krivka nemôže premeniť na imaginárnu a naopak. Preto je trieda imaginárnych elipsy afinne invariantná.
Uvažujme o triedach skutočných neklesajúcich kriviek: elipsy, hyperboly, paraboly.
Spomedzi všetkých kriviek druhého rádu leží každá elipsa, a iba elipsa, v určitom obdĺžniku, zatiaľ čo paraboly a hyperboly (ako aj všetky klesajúce krivky) siahajú do nekonečna.
Pri afinnej transformácii sa obdĺžnik ABCD obsahujúci danú elipsu zmení na rovnobežník obsahujúci transformovanú krivku, ktorá teda nemôže ísť do nekonečna, a preto je elipsou.
Takže krivka afinne ekvivalentná elipse je určite elipsa. Z dokázaného vyplýva, že krivka afinne ekvivalentná hyperbole alebo parabole nemôže byť elipsou (a tiež, ako vieme, nemôže byť ani rozpadovou krivkou. Zostáva teda len dokázať, že pri afinnej transformácii roviny , hyperbola sa nemôže premeniť na parabolu a práve naopak.To asi najjednoduchšie vyplýva z toho, že parabola nemá stred symetrie, ale hyperbola áno.Ale keďže absencia stredu symetrie pre parabola bude dokázaná až v ďalšej kapitole, teraz uvedieme druhý, tiež veľmi jednoduchý dôkaz afinnej neekvivalencie hyperboly a paraboly.
Lemma. Ak má parabola spoločné body s každou z dvoch polrovín definovaných v rovine danej priamky d, potom má aspoň jeden spoločný bod s priamkou .
V skutočnosti sme videli, že existuje súradnicový systém, v ktorom má daná parabola rovnicu
Nech má vo vzťahu k tomuto súradnicovému systému priamka d rovnicu
Podľa predpokladu sú na parabole dva body, z ktorých jeden, povedzme, leží v kladnej polrovine a druhý v zápornej polrovine vzhľadom na rovnicu (1). Preto si pamätajme, že môžeme písať
8.3.15. Bod A leží na priamke. Vzdialenosť z bodu A do roviny
8.3.16. Napíšte rovnicu pre priamku, ktorá je symetrická k priamke
vzhľadom na rovinu .
8.3.17. Napíšte rovnice pre projekcie do roviny nasledujúce riadky:
A) ;
b)
V) .
8.3.18. Nájdite uhol medzi rovinou a priamkou:
A) ;
b) .
8.3.19. Nájdite bod symetrický k bodu vzhľadom na rovinu prechádzajúcu priamkami:
A
8.3.20. Bod A leží na priamke
Vzdialenosť od bodu A k priamke rovná sa . Nájdite súradnice bodu A.
§ 8.4. KRIVKY DRUHÉHO RADU
Založme v rovine pravouhlý súradnicový systém a zvážme všeobecnú rovnicu druhého stupňa
v ktorom .
Zavolá sa množina všetkých bodov roviny, ktorých súradnice spĺňajú rovnicu (8.4.1). nepoctivý (riadok) druhá objednávka.
Pre každú krivku druhého rádu existuje pravouhlý súradnicový systém nazývaný kanonický, v ktorom rovnica tejto krivky má jednu z nasledujúcich foriem:
1) (elipsa);
2) (imaginárna elipsa);
3) (dvojica pomyselných pretínajúcich sa čiar);
4) (hyperbola);
5) (dvojica pretínajúcich sa čiar);
6) (parabola);
7) (pár rovnobežných čiar);
8) (dvojica imaginárnych rovnobežných čiar);
9) (pár zhodných čiar).
Nazývajú sa rovnice 1) – 9). kanonické rovnice kriviek druhého rádu.
Riešenie problému redukcie rovnice krivky druhého rádu na kanonickú formu zahŕňa nájdenie kanonickej rovnice krivky a kanonického súradnicového systému. Redukcia na kanonickú formu umožňuje vypočítať parametre krivky a určiť jej polohu vzhľadom na pôvodný súradnicový systém. Prechod z pôvodného pravouhlého súradnicového systému na kanonické sa uskutočňuje otáčaním osí pôvodného súradnicového systému okolo bodu O o určitý uhol j a následným paralelným posunom súradnicového systému.
Invarianty krivky druhého rádu(8.4.1) sú také funkcie koeficientov jeho rovnice, ktorých hodnoty sa nemenia pri prechode z jedného pravouhlého súradnicového systému do druhého rovnakého systému.
Pre krivku druhého rádu (8.4.1) súčet koeficientov pre umocnené súradnice
,
determinant zložený z koeficientov vedúcich členov
a determinant tretieho rádu
sú invarianty.
Hodnotu invariantov s, d, D možno použiť na určenie typu a zostavenie kanonickej rovnice krivky druhého rádu.
Tabuľka 8.1.
Klasifikácia kriviek druhého rádu na základe invariantov
Eliptická krivka |
SD<0. Эллипс |
|
sD>0. Imaginárna elipsa |
||
Dvojica imaginárnych čiar, ktoré sa pretínajú v skutočnom bode |
||
Hyperbolická krivka |
Hyperbola |
|
Dvojica pretínajúcich sa čiar |
||
Parabolická krivka |
Parabola |
|
Dvojica rovnobežných čiar (rôzne, imaginárne alebo zhodné) |
Pozrime sa bližšie na elipsu, hyperbolu a parabolu.
Elipsa(Obr. 8.1) je geometrické miesto bodov v rovine, pre ktoré súčet vzdialeností dvoch pevných bodov toto lietadlo, tzv ohniská elipsy, je konštantná hodnota (väčšia ako vzdialenosť medzi ohniskami). V tomto prípade nie je vylúčená zhoda ohnísk elipsy. Ak sa ohniská zhodujú, potom je elipsa kruh.
Polovičný súčet vzdialeností od bodu elipsy k jej ohniskám označujeme a, polovicu vzdialeností medzi ohniskami c. Ak je pravouhlý súradnicový systém v rovine zvolený tak, že ohniská elipsy sú umiestnené na osi Ox symetricky vzhľadom na počiatok, potom v tomto súradnicovom systéme je elipsa daná rovnicou
, (8.4.2)
volal rovnica kanonickej elipsy, Kde .
Ryža. 8.1
Pri špecifikovanom výbere pravouhlého súradnicového systému je elipsa symetrická vzhľadom na súradnicové osi a počiatok. Osi symetrie elipsy sa nazývajú osi a stred symetrie je stred elipsy. Zároveň sa čísla 2a a 2b často nazývajú osami elipsy a čísla a a b sú veľký A vedľajšej osi resp.
Priesečníky elipsy s jej osami sa nazývajú vrcholy elipsy. Vrcholy elipsy majú súradnice (a,0), (–a,0), (0,b), (0,–b).
Výstrednosť elipsy volané číslo