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. megoldás. Legyen az deltoid szimmetriatengelye , erre a keletkezett négyszög is szimmetrikus, ahol az , egyenesekre állított merőlegesek metszéspontja s i. t., pedig a beírt kör középpontja, természetesen ez is a egyenesen van (1. ábra).
1. ábra Elég azt megmutatni, hogy az átló átmegy -n (hiszen ekkor tükörképe, az átló is átmegy rajta). A félegyenes felezi a szöget, tehát -n tükrözve és egymásba mennek át, az új négyszög oldalegyenese pedig önmagába. Másrészt az és négyszögek húrnégyszögek, mert szemben fekvő és , ill. és csúcsaiknál derékszögek vannak. Így a tengelyes szimmetriák, valamint a kerületi szögek tétele alapján
Az utolsó szög forgási iránya egyező az elsőével, mert a kétszeri tükrözés (* jelek a megfelelő egyenlőségi jel alatt) visszaállítja az eredeti irányt. S mivel az -nek -kal való elfordítottja, azért is -kal való elfordítással áll elő -ből, tehát , , valóban egy egyenes pontjai. Megjegyezzük még, hogy ha -ben speciálisan is fennáll, vagyis rombusz, tehát is szimmetriatengely, és ezen is rajta van, akkor az négyszög téglalap, és az állítás nyilvánvaló (2. ábra).
2. ábra
Megjegyzés. A deltoid konvex voltát abban használtuk fel, hogy használtuk a beírt kör középpontját. Konkáv deltoidba ugyanis nem lehet kört beleírni. II. megoldás. Az I. megoldásban bevezetett betűzést tovább használjuk. Azt, hogy az , és pontok egy egyenesbe esnek, azzal mutatjuk meg, hogy mindhárom pont egyenlő távolságra van -nek szemben fekvő és oldalegyeneseitől, éspedig az , egyenespár egyik szögfelező félegyenesén vannak rajta, ha ezek metszik egymást, illetve a középpárhuzamosukon, ha . A bizonyítás során nem fogjuk felhasználni, hogy deltoidból indultunk ki, csak azt, hogy van olyan kör, mely a konvex négyszög mindegyik oldalát érinti. Ebből következik, hogy az állítás érvényes bármely konvex érintőnégyszögből az előírás szerint előállított négyszög átlóira. Az új négyszög csúcsai mindig létrejönnek, mert az -ra -ban és -re -ben állított merőleges csak akkor nem metszi egymást, ha , , egy egyenesen vannak, ekkor viszont nincs benne -ben, hanem a kerületén van. Az csúcsait -val összekötő egyenesek felezik belső szögeit, ezért az négyszög oldalegyenesei felezik külső szögeit, hiszen egy szög felezőjére a csúcsában állított merőleges felezi a szög mellékszögeit. Eszerint mint az és külső szögfelezők metszéspontja egyenlő távolságra van egyrészt -től és -től, másrészt -tól és -től, tehát ( közvetítésével) az , egyenespár tagjaitól, és ezeknek azon a partján van , mint az eredeti négyszög. A 3. ábrán az háromszögbe beírt kör középpontja, ahol az , egyenespár metszéspontja, -nek az -et nem tartalmazó oldalán.
3. ábra Hasonlóan a pont révén egyenlő távolságra van -től és -tól, révén pedig -től és -től, tehát -tól és -től mért távolságai egyenlők, és mindkét egyenesnek azon a partján van, mint . a háromszög oldalához hozzáírt külső érintő kör középpontja. Végül az -nek mind a négy oldalegyenesétől egyenlő távolságra van és benne van -ben. Ezek szerint , és rajta vannak az háromszög szögének belső felezőjén, és ezzel állításunkat bebizonyítottuk. Bizonyításunk a betűk kellő cseréjével az átlóra is érvényes. ‐ Ezzel a feladatot megoldottuk. Egyszersmind azt is kaptuk, hogy az , átlóknak egyszerű jelentésük van -re vonatkozóan.
|