A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. I. rész
Néhány bevezető tétel
1. TÉTEL. Ha van négy egyenes, amely négy háromszöget alkot, akkor a háromszögek körülírt köreinek van közös pontja.
1. ábra Bizonyítás. Az 1. ábra 4 egyenese az , , , háromszögeket határozza meg. Először megrajzoltuk az és háromszögek körülírt köreit. E két körnek közös pontja. Ha volna az egyetlen közös pont, akkor a két kör egymást -ben érintené, így lenne e két kör külső hasonlósági pontja, tehát és párhuzamos lenne, ellentétben a feltétellel. Így a két körnek -n kívül van még egy közös pontja, . Megmutatjuk, hogy rajta van az és háromszögek körülírt körén is: . Így rajta van szakasz szögű látókörén. szög az húrnégyszög külső szöge, szög pedig az húrnégyszög külső szöge, tehát ; így és rajta van az szakasz szögű látókörén.
Adott az háromszög és síkjában a pont. Legyen a , az , az egyenesnek az a pontja, amelyre (2. ábra). 2. ábra 2. TÉTEL. , , pontok akkor és csakis akkor kollineárisak, ha rajta van háromszög körülírt körén.
Bizonyítás. A feltétel miatt és is húrnégyszög. Ezért ; . Ha , akkor , tehát húrnégyszög. ‐ Ha viszont húrnégyszög, akkor , tehát , tehát , , kollineáris.
A 3. ábrán egy tetszőleges hegyesszögű háromszög látható és egy ugyancsak tetszőleges egyenes, amelyik a háromszög mindhárom oldalegyenesét metszi. A egyenesnek a , , oldalegyenesekre vonatkozó tengelyes tükörképei rendre a , , egyenesek. Legyen a és , továbbá a és , végül a és metszéspontja. Az ábrával kapcsolatban néhány tételt mondunk ki és bizonyítunk be.
3. ábra 3. TÉTEL. Az háromszög hasonló az háromszög talpponti háromszögéhez és vele ellentétes körül járású.
Bizonyítás. A tekinthető a egyenesnek először a , majd a egyenesre vonatkozó tengelyes tükörképének. De két tengelyes tükrözés szorzata a metszéspont körüli, a tengelyek szögének kétszeresével történő forgatást jelent, tehát (ahol a és egyenesek metszéspontja), tehát . Innen a tétel könnyen adódik.
4. TÉTEL. , , egyenesek az háromszög belső szögfelezői.
Bizonyítás. Ha a pontot mint a egyenes pontját tekintjük, akkor a fenti két tengelyes tükrözés szorzata -t az pontba viszi, így ; vagyis ‐ ha merőleges -re ‐, akkor . Így ; tehát valóban szögfelezője az szögnek.
5. TÉTEL. Az háromszög beírt körének középpontja rajta van az háromszög körülírt körén.
Bizonyítás. A szög kiegészítő szöge a -nak, ezért ; így az négyszög valóban húrnégyszög. Ha egy a -vel párhuzamos egyenesnek tekintjük a , , oldal-egyenesre vonatkozó tengelyes tükörképeit, akkor e tükörképek párhuzamosak lesznek megfelelő tükörképeivel, így a háromszög középpontosan hasonló a háromszöghöz. A egyenes -re is merőleges lesz, ezért a és egyenesek egybeesnek. A párhuzamos egyenesek által létrehozott háromszögek közös beírt középpontja .
4. ábra Kézenfekvő a kérdés: vannak-e olyan egyenesek, amelyeknek egy háromszög oldalegyeneseire vonatkozó tengelyes tükörképei egy ponton mennek keresztül? A 4. ábrán látható pont akkor lehet a három tüköregyenes metszéspontja, ha -nek a három oldalegyenesre vonatkozó tengelyes tükörképei: , , kollineárisak. De , , akkor és csak akkor kollineáris, ha , , is az, ahol , , a , , ill. egyeneseknek a megfelelő oldalakkal való metszéspontjai, hiszen , . De a , , pontok a 2. tétel alapján akkor és csakis akkor kollineárisak, ha rajta van háromszög körülírt körén (most ).
6. TÉTEL. A körülírt kör minden pontjához tartozik pontosan egy olyan egyenes, amelynek az oldalakra vonatkozó tengelyes tükörképei: , , átmennek a ponton.
Bizonyítás. -nek az oldalegyenesekre vonatkozó , , , tükörképei egyértelműen meghatározottak, így pontosan egy ilyen egyenes létezik.
7. TÉTEL. A körülírt köri ponthoz a . tételben megjelölt egyenes átmegy a háromszög magasságpontján.
Bizonyítás. Elég megmutatni, hogy , és kollineárisak. deltoid, tehát ; szintén deltoid, tehát ; de a feltétel szerint húrnégyszög, így (5. ábra).
5. ábra 8. TÉTEL. Minden a magasságponton átmenő egyeneshez tartozik a körülírt körnek pontosan egy pontja úgy, hogy -nak az oldalegyenesekre vonatkozó tengelyes tükörképei átmennek ezen a ponton (6. ábra).
6. ábra Bizonyítás. Az előbbi deltoidok most is megvannak, most ; így valóban húrnégyszög.
9. TÉTEL. Ha négy egyenes négy háromszöget alkot, akkor a négy magasságpont egy egyenesen van.
Bizonyítás. Legyen az 1. ábra háromszögének magasságpontja , a háromszögé , a háromszögé , a háromszögé . Tekintsük az egyenest. Legyen a 8. tétel alapján az egyeneshez tartozó körülírt köri pont . De az , illetve egyenesekhez is tartozik. A 6. tétel alapján azonban -hez pontosan egy egyenes tartozhat, így a négy magasságpont egy egyenesen van.
Az 1. ábra szakaszát át akarjuk vinni ugyanezen ábra szakaszába, úgy, hogy az pont -be, az pedig helyére kerüljön. Legyen a sík tetszőleges pontja. Forgassuk el körül szöggel az szakaszt. Elforgatottja az szakasz. Ez ugyanolyan hosszú, mint és párhuzamos -vel. Legyen az és egyenesek metszéspontja. Ekkor az középpontú, arányú középpontos hasonlóság -et -be viszi. ‐ Természetesen lehet először a középpontos hasonlóságot alkalmazni: hasonlósági középpont és arány az szakaszt a vele párhuzamos szakaszba viszi úgy, hogy és egyenlő hosszúságú szakaszok. Legyen az felező merőlegesének és felező merőlegesének metszéspontja. Most körüli, szögű forgatás -t -be, -t -be viszi. Nyilván és két különböző pont. Így tehát minden () forgásközépponthoz szerkeszthető egy () hasonlósági középpont; és minden () hasonlósági középponthoz szerkeszthető egy () forgásközéppont úgy, hogy az első esetben egy szögű forgatás és egy arányú középpontos hasonlóság, a második esetben egy arányú középpontos hasonlóság és egy szögű forgatás szorzataként az szakasz a szakaszba megy át. Kézenfekvő a kérdés: van-e a síkon olyan pont, amelyik nemcsak forgásközéppont, hanem hasonlósági középpont is, illetve olyan pont, amely nemcsak hasonlósági középpont, hanem forgásközéppont is.
10. TÉTEL. Egy hasonlósági transzformációnak legfeljebb egy fix pontja lehet.
Bizonyítás. Tegyük fel, hogy van két fix pont: és . Ekkor a szakasz képe is , így ebben az esetben az arány 1 és nem az előre megállapított. Ha tehát sikerül olyan pontot találni, amely egyszerre forgásközéppont és hasonlósági középpont mindkét sorrendben, akkor megtaláltuk a keresett , illetve pontot.
11. TÉTEL. Az 1. ábra pontja egyszerre forgásközéppont és hasonlósági középpont mindkét sorrendben.
Bizonyítás. a) . Tehát az körüli, szögű forgatás az pontot az egyenesre, pontjába viszi, az pontot pedig az egyenesére az pontba. Így a forgatás után és . Az és egyenesek metszéspontja éppen , így az középpontú, arányú középpontos hasonlóság -t -be viszi. b) Alkalmazzunk először egy középpontú, arányú középpontos hasonlóságot -re. Ez az pontot az egyenes pontjába, az pontot az egyenes pontjába viszi úgy, hogy és . Így az körüli, szögű forgás -et a , az -et pedig a pontba viszi. tehát annak a forgatva-nyújtásnak a középpontja, amely az szakaszt a szakaszba viszi.
1. feladat. Mutassuk meg, hogy annak a forgatva-nyújtásnak is középpontja, amelyik az szakaszt az szakaszba viszi.
2. feladat. Mutassuk meg, hogy ha párhuzamos -vel, akkor annak a forgatva-nyújtásnak a középpontja, amelyik -t -be viszi.
3. feladat. Szerkesztendő négyszög, ha adott négy oldala és két szemben fekvő szögének összege.
4. feladat. Igazoljuk, hogy egy négyszögben a szemben fekvő oldalak szorzatának összege nem kisebb, mint az átlók szorzata. Igazoljuk, hogy egyenlőség akkor és csakis akkor áll fenn, ha a négyszög húrnégyszög.
Osztóviszony, ideális elemek
Legyen , , három, egy egyenesen levő pont, ekkor az () osztóviszony az arányt jelenti. Vektorok osztását általában nem értelmezhetjük, de egyállású vektorok arányát igen, hiszen ezek egymásnak számszorosai. Az osztóviszony értelmezéséből következik, hogy az osztóviszony pozitív, ha az szakaszon van, mégpedig az osztóviszony szigorúan monoton nő, ha tart felé. Az osztóviszony a -n túli félegyenesen negatív, környezetében alulról nem korlátos, a félegyenes minden pontjában ()-nél kisebb. Az -n túli félegyenesen mindenütt és között van. Ha bármelyik félegyenesen "elég távol'' van, akkor a előre meghatározott környezetébe esik az osztóviszony. Ezért célszerű az egyenest egy i d e á l i s p o n t t a l kiegészíteni úgy, hogy az egyenes ideális pontjára legyen az osztóviszony értéke . Párhuzamos egyenesekhez közös ideális pontot célszerű rendelni, és így a sík bármilyen két egyenesének lesz pontosan egy közös pontja. Különböző állású egyenesekhez különböző ideális pontot rendelünk. (Ellenkező esetben ugyanis két különböző állású egyenesnek két közös pontja lenne: metszéspontjuk és ideális pontjuk.) Két különböző ideális ponthoz az őket összekötő egyenest kell rendelnünk. Ennek az egyenesnek közönséges pontja nem lehet, mert egy közönséges pont és egy ideális pont meghatároz egy közönséges egyenest, közönséges egyeneshez pedig pontosan egy ideális pontot rendeltünk. Két ideális pontot összekötő egyenesnek minden pontja ideális pont, így ez az egyenes i d e á l i s e g y e n e s. A síkhoz egyetlen ideális egyenest célszerű rendelni. Ha ugyanis volna olyan ideális pont, amelyik nincs rajta az ideális egyenesen, akkor ez a pont és az ideális egyenes egy rögzített pontja meghatározna egy második ideális egyenest, és ekkor volna olyan közönséges egyenes, amelyik mindkét ideális egyenest metszené, tehát volna közönséges egyenes két ideális ponttal. |