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. Elegendő azt megmutatni, hogy a , , , egyenesek egyrészt a feladat 2. állításának eleget tevő négyzetet határoznak meg, másrészt a négyzet átmetszett oldalát annak harmadoló pontjában metszik. A 2. állításból ugyanis következik az 1., a harmadolásból pedig, hogy a felsorolt egyenesek egybeesnek a , , , egyenesekkel, így a keletkezett négyzet pedig a feladatban szereplő négyzettel.
Tükrözzük a , , , háromszögeket csúcsukra, a csúcsok tükörképét jelöljük -vel (=1, 2, 3, 4). Így a négyzettel egybevágó négyzetek keletkeznek, ugyanis pl. a négyszög , , csúcsainál levő szöge derékszög, a oldal egyenlő -re vonatkozó tükörképével, -gyel, ez pedig -gyel egyenlő, mert a négyzet középpontja körüli -os elforgatással átvihető bele; ez a négyszög tehát valóban négyzet; végül egybevágó a -négyzettel, mert egyik oldaluk közös. A többi négyszög ebből középpontja körüli -os elforgatással keletkezik; tehát mind vele egybevágó négyzet.
A , , , egyenes rendre azonos a , , , egyenessel, mert mindegyik két‐két négyzet egy egyenesbe eső átlóiból tevődik össze. Metszéspontjaik a négyzettel szomszédos kis négyzetek középpontjai. Ezek egy négyzetet határoznak meg, mert a négyzet középpontja körüli -os elforgatás egymásba viszi át őket. Ennek az négyzetnek az oldalait a pontok felezik, mert a pontoknak két szomszédos csúcstól való távolsága egy‐egy kis négyzet átlójának a fele, és így egyenlő. Az négyzet -n túlnyúló négy része egy‐egy kis négyzet negyede, így együttes területük területével egyenlő, tehát területe területének kétszerese.
Azt kell még megmutatnunk, hogy az négyzet oldalegyenesei oldalait azok harmadoló pontjaiban metszik. Elég ezt pl. a egyenesre bizonyítani. Messe ez a oldalt -ben. Ekkor , mert megfelelő oldalaik párhuzamosak (ill. egy egyenesbe esnek). Mivel még , azért ugyanez a többi oldalpárok aránya is, tehát . A pont tehát azonos -gyel, így az négyzet az négyzettel, és ‐ mint láttuk ‐ teljesíti az arra kimondott állításokat. Ezt akartuk bizonyítani.
Fejes Tóth Gábor (Budapest, Rákóczi F. g.)
|