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. Legyen a kérdéses négyszög , egymás utáni , , , oldalának felezőpontja rendre , , , ; így , , , .
Az négyszög paralelogramma, mert és oldalai párhuzamosak az átlóval és fele akkorák: , hiszen pl. az háromszög oldalához tartozó középvonal. Ugyanígy , ezért rombusz. Elegendő ennek területét meghatároznunk, mert területe kétszer akkora, mint -é. Ugyanis átlóinak metszéspontját csúcsaival összekötve négy háromszögre oszlik, és ezek területe rendre egyenlő az megfelelő oldala által -ből lemetszett háromszög területével, pl. és területe egyenlő, mert alapjuk közös, és az erre merőleges magasságuk egyenlő. Így területének kerületén belüli része egyenlő a kívül eső részével. Ezt akartuk bizonyítani. átlói merőlegesek, ezért területe egyenlő azok szorzatának felével, így -nek területét az szorzat adja meg. Ez kifejezhető az egyes átlók meghatározása nélkül:
(Felhasználtuk, hogy -nek középpontja egy oldal végpontjaival derékszögű háromszöget alkot.) csak pozitív lehet, ennek feltétele nyilván . Nem kellett felhasználnunk az ismert , oldalhosszúságokat. Ez korántsem jelenti, hogy eredményünk bármely , , , adatrendszer esetén megfelelő, csak ha létrejön és konvexnek adódik. Az háromszög akkor és csak akkor jön létre, ha átlóit -vel és -val jelölve a egyenletrendszerből Ezek valósak, ha , vagyis a fentivel összekapcsolva Ha és különbözők, akkor helyzete kétféleképpen szerkeszthető, ti. és felcserélésével. Ezután az tükörképe -ra, végül a tükörképe -re. akkor és csak akkor konvex, ha az szögtartományban adódik. Berkes Zoltán (Budapest, Bolyai J. g. I. o. t.) dolgozatából, kiegészítésekkel. Megjegyzés. Átdarabolással kapjuk, hogy az ábra paralelogrammája egyenlő területű -nel, másrészt kétszer akkora területű, mint .
Surányi László (Budapest, Fazekas M. gyak. g. I. o. t.)
|