Řádky druhého řádu. Vzájemné uspořádání pomyslných bodů a přímek Dvojice rovnoběžných přímek druhého řádu
Nyní ukážeme, že afinní klasifikace křivek druhého řádu je dána samotnými názvy křivek, tedy že afinní třídy křivek druhého řádu jsou třídy:
skutečné elipsy;
imaginární elipsy;
nadsázka;
dvojice reálných protínajících se čar;
dvojice imaginárních (konjugovaných) protínajících se;
dvojice paralelních reálných čar;
dvojice rovnoběžných imaginárních konjugovaných čar;
dvojice shodných skutečných čar.
Musíme dokázat dvě tvrzení:
A. Všechny křivky stejného jména (tj. všechny elipsy, všechny hyperboly atd.) jsou navzájem afinně ekvivalentní.
B. Dvě křivky různých jmen nejsou nikdy afinně ekvivalentní.
Dokazujeme tvrzení A. V kapitole XV, § 3 již bylo prokázáno, že všechny elipsy jsou afinně ekvivalentní jedné z nich, totiž kružnici, a všechny hyperboly jsou hyperbolou.To znamená, že všechny elipsy, respektive všechny hyperboly, jsou navzájem afinně ekvivalentní. Všechny pomyslné elipsy, které jsou afinně ekvivalentní kruhu - - 1 poloměr, jsou také navzájem afinně ekvivalentní.
Dokažme afinní ekvivalenci všech parabol. Prokážeme ještě více, totiž že všechny paraboly jsou si navzájem podobné. Stačí dokázat, že parabola daná v určité soustavě souřadnic její kanonickou rovnicí
podobná parabole
K tomu podrobíme rovinu transformaci podobnosti s koeficientem -:
Pak, s naší transformací, křivka
přechází do zatáčky
tedy do paraboly
Q.E.D.
Přejděme k rozkladným křivkám. V § vzorcích (9) a (11), str. 401 a 402) bylo prokázáno, že křivka, která se v nějakém (i pravoúhlém) souřadném systému rozdělí na dvojici protínajících se přímek, má rovnici
Provedením další transformace souřadnic
vidíme, že každá křivka, která se rozdělí na dvojici protínajících se skutečných, respektive imaginárních sdružených přímek, má rovnici v nějakém afinním souřadnicovém systému
Pokud jde o křivky, které se dělí na dvojici rovnoběžných čar, každá z nich může být (i v nějakém pravoúhlém souřadném systému) dána rovnicí
pro ty skutečné, resp
za imaginární, přímý. Transformace souřadnic nám umožňuje vkládat tyto rovnice (nebo pro shodné přímky. To implikuje afinní ekvivalenci všech rozpadových křivek druhého řádu, které mají stejný název.
Přejděme k důkazu tvrzení B.
Poznamenejme především: při afinní transformaci roviny zůstává řád algebraické křivky nezměněn. Dále: každá úpadková křivka druhého řádu je dvojice přímek a při afinní transformaci přímka přechází v přímku, dvojice protínajících se čar přechází do dvojice protínajících se čar a dvojice rovnoběžných čar jde do dvojice paralelních; kromě toho se skutečné čáry mění ve skutečné čáry a imaginární čáry v imaginární čáry. Vyplývá to ze skutečnosti, že všechny koeficienty ve vzorcích (3) (kapitola XI, § 3), které určují afinní transformaci, jsou reálná čísla.
Z toho, co bylo řečeno, vyplývá, že přímka afinně ekvivalentní dané rozpadové křivce druhého řádu je stejnojmenná rozpadová křivka.
Přejděme k neklesajícím křivkám. Opět platí, že při afinní transformaci se skutečná křivka nemůže přeměnit na imaginární a naopak. Třída imaginárních elips je proto afinně invariantní.
Uvažujme třídy skutečných nepoklesných křivek: elipsy, hyperboly, paraboly.
Mezi všemi křivkami druhého řádu leží každá elipsa, a pouze elipsa, v určitém obdélníku, zatímco paraboly a hyperboly (stejně jako všechny rozpadové křivky) sahají do nekonečna.
Při afinní transformaci se obdélník ABCD obsahující danou elipsu změní na rovnoběžník obsahující transformovanou křivku, která tedy nemůže jít do nekonečna a je tedy elipsou.
Takže křivka afinně ekvivalentní elipse je určitě elipsa. Z dokázaného vyplývá, že křivka afinně ekvivalentní hyperbole nebo parabole nemůže být elipsou (a také, jak víme, nemůže být ani rozpadovou křivkou. Nezbývá tedy než dokázat, že při afinní transformaci roviny , hyperbola se nemůže přeměnit v parabolu a naopak.To snad nejjednodušeji vyplývá z toho, že parabola nemá střed symetrie, ale hyperbola ano.Ale protože absence středu symetrie parabola bude prokázána až v další kapitole, nyní uvedeme druhý, rovněž velmi jednoduchý důkaz afinní neekvivalence hyperboly a paraboly.
Lemma. Pokud má parabola společné body s každou ze dvou polorovin definovaných v rovině dané přímky d, pak má s přímkou alespoň jeden společný bod.
Ve skutečnosti jsme viděli, že existuje souřadnicový systém, ve kterém má daná parabola rovnici
Nechť má přímka d vzhledem k tomuto souřadnému systému rovnici
Předpokládejme, že na parabole jsou dva body, z nichž jeden, řekněme, leží v kladné polorovině a druhý v záporné polorovině vzhledem k rovnici (1). Proto nezapomeňte, že můžeme psát
8.3.15. Bod A leží na přímce. Vzdálenost z bodu A do roviny
8.3.16. Napište rovnici pro přímku, která je symetrická k přímce
vzhledem k rovině .
8.3.17. Napište rovnice pro průměty do roviny následující řádky:
A) ;
b)
PROTI) .
8.3.18. Najděte úhel mezi rovinou a přímkou:
A) ;
b) .
8.3.19. Najděte bod symetrický k bodu vzhledem k rovině procházející přímkami:
A
8.3.20. Bod A leží na přímce
Vzdálenost od bodu A k přímce rovná se . Najděte souřadnice bodu A.
§ 8.4. KŘIVKY DRUHÉHO ŘÁDU
Ustavme v rovině pravoúhlý souřadnicový systém a uvažujme obecnou rovnici druhého stupně
ve kterém .
Zavolá se množina všech bodů roviny, jejichž souřadnice splňují rovnici (8.4.1). křivý (čára) druhá objednávka.
Pro každou křivku druhého řádu existuje pravoúhlý souřadnicový systém, nazývaný kanonický, ve kterém má rovnice této křivky jednu z následujících forem:
1) (elipsa);
2) (imaginární elipsa);
3) (dvojice pomyslných protínajících se čar);
4) (hyperbola);
5) (dvojice protínajících se čar);
6) (parabola);
7) (pár rovnoběžných čar);
8) (dvojice pomyslných rovnoběžných čar);
9) (pár shodných čar).
Nazývají se rovnice 1) – 9). kanonické rovnice křivek druhého řádu.
Řešení problému redukce rovnice křivky druhého řádu na kanonickou formu zahrnuje nalezení kanonické rovnice křivky a kanonické soustavy souřadnic. Redukce na kanonickou formu umožňuje vypočítat parametry křivky a určit její umístění vzhledem k původnímu souřadnicovému systému. Přechod z původního pravoúhlého souřadnicového systému na kanonické se provádí natočením os původního souřadného systému kolem bodu O o určitý úhel j a následným paralelním posunutím souřadného systému.
Invarianty křivky druhého řádu(8.4.1) jsou takové funkce koeficientů jeho rovnice, jejichž hodnoty se nemění při přechodu z jednoho pravoúhlého souřadnicového systému do druhého stejného systému.
Pro křivku druhého řádu (8.4.1) součet koeficientů pro druhé mocniny souřadnic
,
determinant složený z koeficientů vedoucích členů
a determinant třetího řádu
jsou invarianty.
Hodnotu invariantů s, d, D lze použít k určení typu a sestavení kanonické rovnice křivky druhého řádu.
Tabulka 8.1.
Klasifikace křivek druhého řádu na základě invariantů
Eliptická křivka |
sD<0. Эллипс |
|
sD>0. Imaginární elipsa |
||
Dvojice imaginárních čar protínajících se v reálném bodě |
||
Hyperbolická křivka |
Hyperbola |
|
Dvojice protínajících se čar |
||
Parabolická křivka |
Parabola |
|
Dvojice rovnoběžných čar (různé, imaginární nebo shodné) |
Pojďme se blíže podívat na elipsu, hyperbolu a parabolu.
Elipsa(obr. 8.1) je geometrické místo bodů v rovině, pro které je součet vzdáleností dvou pevných bodů toto letadlo, tzv elipsová ohniska, je konstantní hodnota (větší než vzdálenost mezi ohnisky). V tomto případě není vyloučena shoda ohnisek elipsy. Pokud se ohniska shodují, pak je elipsa kruh.
Poloviční součet vzdáleností od bodu elipsy k jejím ohniskům je označen a, polovina vzdáleností mezi ohnisky c. Pokud je pravoúhlý souřadnicový systém v rovině zvolen tak, že ohniska elipsy jsou umístěna na ose Ox symetricky vzhledem k počátku, pak v tomto souřadném systému je elipsa dána rovnicí
, (8.4.2)
volal rovnice kanonické elipsy, Kde .
Rýže. 8.1
Při zadané volbě pravoúhlého souřadnicového systému je elipsa symetrická vzhledem k souřadnicovým osám a počátku. Osy symetrie elipsy se nazývají sekery a střed symetrie je střed elipsy. Přitom čísla 2a a 2b se často nazývají osy elipsy a čísla a a b jsou velký A vedlejší osa respektive.
Nazývají se průsečíky elipsy s jejími osami vrcholy elipsy. Vrcholy elipsy mají souřadnice (a,0), (–a,0), (0,b), (0,–b).
Výstřednost elipsy volané číslo