Interaktívna geometria - planimetria
Usporiadanie
Axiómy usporiadania
U1: Ak leží medzi a [], potom sú tri rôzne kolineárne body a platí tiež, že leží medzi a .
U2: Pre ľubovoľné navzájom rôzne body existujú body tak, že a .
U3: Pre ľubovoľné tri navzájom rôzne kolineárne body práve jeden z nich leží medzi zvyšnými dvoma.
U4: (Paschova axióma, 1882) Nech priamka neprechádza žiadnym z nekolineárnych bodov .
Ak pretína úsečku , potom pretína buď úsečku alebo úsečku .
U1: Ak leží medzi a [], potom sú tri rôzne kolineárne body a platí tiež, že leží medzi a .
U2: Pre ľubovoľné navzájom rôzne body existujú body tak, že a .
U3: Pre ľubovoľné tri navzájom rôzne kolineárne body práve jeden z nich leží medzi zvyšnými dvoma.
U4: (Paschova axióma, 1882) Nech priamka neprechádza žiadnym z nekolineárnych bodov .
Ak pretína úsečku , potom pretína buď úsečku alebo úsečku .
Definície.
- Nech
sú dva rôzne body. Úsečka
je množina bodov
, ktoré ležia medzi bodmi
zjednotená s dvojprvkovou množinou
. Body
sú krajné body úsečky.
- Nech
sú dva rôzne body. Polpriamka
je množina bodov úsečky
a bodov
, pre ktoré platí
.
- Nech
sú dva rôzne body. Opačná polpriamka k polpriamke
je množina bodov
, pre ktoré platí, že bod
leží medzi bodmi
zjednotenú s jednobodovou množinou
.
Dôkaz.
Z definície polpriamky dostávame
.
Potrebujeme ešte dokázať, že platí . Zvoľme si ľubovoľný bod , pre ktorý platí
.
Otvorte si applet Tu.
Z definície polpriamky dostávame
.
Potrebujeme ešte dokázať, že platí . Zvoľme si ľubovoľný bod , pre ktorý platí
.
- Nech alebo , potom dokazovaná inklúzia platí.
- Nech . Keďže , tak musí súčasne platiť Súčasne môže nastať len prípad . Záver: z axiómy U3 dostávame: .
Otvorte si applet Tu.
Dôkaz.
Dôkaz je nutné rozložiť do dvoch krokov (dokazujeme rovnosť množín).
Dôkaz je nutné rozložiť do dvoch krokov (dokazujeme rovnosť množín).
- Nech , potom treba dokázať . Použite definíciu polriamky.
- Nech , potom treba dokázať . Použite definíciu priamky.
Definícia.
Daná je priamka a body neležiace na tejto priamke. Hovoríme, že body
• ležia na opačných stranách od danej priamky, ak úsečka túto priamku pretína, t.j. ak na tejto priamke existuje bod tak, že
• ležia na tej istej strane od priamky , ak alebo ak a úsečka priamku nepretína (\\small ( p \cap AB= ∅ ) \)
Daná je priamka a body neležiace na tejto priamke. Hovoríme, že body
• ležia na opačných stranách od danej priamky, ak úsečka túto priamku pretína, t.j. ak na tejto priamke existuje bod tak, že
• ležia na tej istej strane od priamky , ak alebo ak a úsečka priamku nepretína (\\small ( p \cap AB= ∅ ) \)
Otvorte si interaktívny applet Tu .
Príklad.
Dané sú tri nekolineárne body . Určte množinu (šrafovaním)
.
Konštrukčný návod Tu. Applet, v ktorom je nástroj na vyznačenie polroviny Tu.
Riešenie Tu.
Dané sú tri nekolineárne body . Určte množinu (šrafovaním)
.
Konštrukčný návod Tu. Applet, v ktorom je nástroj na vyznačenie polroviny Tu.
Riešenie Tu.
Tvrdenie (separačná vlastnosť v rovine, U4S).
Priamka delí rovinu okrem bodov priamky na dve triedy tak, že body ležia v tej istej triede práve vtedy, keď
ležia na tej istej strane od priamky . (t.j. neexistuje bod taký, že , kde a sú dané body).
Dôkaz pozri prácu [CHAL] .
Priamka delí rovinu okrem bodov priamky na dve triedy tak, že body ležia v tej istej triede práve vtedy, keď
ležia na tej istej strane od priamky . (t.j. neexistuje bod taký, že , kde a sú dané body).
Dôkaz pozri prácu [CHAL] .
Definície.
Otvorte si interaktívny applet Tu.
Pozrite si tiež definície v práci [MON] kapitola 2: "Konvexná množina".