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. A , illetve csúcsok megtalálásához a négyzet azon tulajdonságát használjuk, miszerint minden csúcs megkapható az csúcsból az középpont körüli egymás után vett -os forgatásokkal. A későbbi tárgyalás egyszerűségéért engedjük meg, hogy a négyzet ponttá fajuljon. Ha ezt nem szeretnék, akkor is egyértelmű, hogy a mértani helyek mely pontjait kell elhagyni. Ha egy pontot egy pont körül forgatunk -kal, akkor nyilván a pontot kapjuk, ha -kal forgatjuk, akkor pedig a pontot. (Az 1. ábrán látható megfontolásokhoz hasonlóan belátható a többi esetre is.)
1. ábra Ezek alapján az adódik, hogy egy egyenletű egyenes -os elforgatottja körül: egyenletű, -os elforgatottja pedig: egyenletű. Legyen az egyenes egy pontja . Ha létezik hozzá a megfelelő négyzet, akkor legyenek ennek csúcsai , , és . Látható, hogy az pont körüli -os elforgatottja, de a pont körüli -os elforgatottja is, ami azt jelenti, hogy bizonyosan rajta van -os és -os körüli elforgatottján, tehát a metszéspontjukban van, ha létezik metszéspont (2. ábra). Hasonlóan látható, hogy az -os és a -os elforgatottjának metszete, ha létezik.
2. ábra Helyezzük el az egyenest az tengelyen, és egyenesek pedig legyenek és egyenletűek. Vegyünk egy pontot. Az és egyenesek felcserélésével és szerepe is felcserélődik, ezért most csak a pontot vizsgáljuk. Legyen az koordinátájú pont. Ekkor, mivel az egyenes -os és a egyenes -os körüli elforgatottjának metszéspontja, az -re és -ra teljesül, hogy
Ezen egyenletrendszert megoldva adódik, hogy
Viszont az | | számokra minden -ra, ami azt jelenti, hogy mértani helye az egyenletű egyenes. A pont mértani helye nyilván és , és , valamint és felcserélésével kapható meg. Ha , akkor , továbbá az elforgatottak is párhuzamosak. Csak akkor létezik vagy pont, ha egybeesik a két elforgatott, ami nyilván akkor következik be, ha az és egyenesek középvonalán van, azaz a középvonalnak és -nak van metszéspontja: ekkor és mértani helye az és egyenesek -os elforgatottjai körül. Ha , és nem az és egyenesek középvonala, akkor szerkesztési eljárásunk szerint ‐ ami egyértelműen meghatározza a négyzetet, ha az létezik ‐ nyilván nem létezik és , mert az elforgatottak mindig egymástól különböző párhuzamosok. Ha az és egyenesek középvonala, (és persze ) mértani helye az egész sík.
II. megoldás. A négyzet és csúcsa egyenlő távolságra van az egyenestől, ha . Ha tükrözzük -t és a rajta átmenő tetszőleges egyenest az egyenesre, akkor (az tükörképe) ugyanakkora távolságra lesz -tól, mint . Így a lehetséges és pontpárok -val párhuzamos egyenest határoznak meg, a hozzájuk tartozó pedig és felezőmerőlegesének és -nak a metszéspontja lesz. Mivel tükörképe -n lesz, az pont biztosan -ra illeszkedik, továbbá és is megszerkeszthetőek. Vegyük a lehetséges szakaszok felezőpontjait (feltéve, hogy nem párhuzamos sem -vel, sem -vel), ezek egy egyenesen helyezkednek el, ugyanis és egyeneseket egy -val párhuzamos egyenessel elmetszve kapjuk sorban a és pontokat, illetve az felezőpontot. Ha és metszéspontja , akkor minden további egyenessel metszve a -höz hasonló -t kapunk az középpontú hasonlóság szerint. Ez a hasonlóság viszi -et -be. Így a felezőpontok mértani helye az egyenes. Ha és párhuzamosak, akkor a felezőpontok és középpárhuzamosán lesznek. Nem szerkeszthető ily módon, ha nincs -nek és -nek metszéspontja: , azaz ha . Ekkor az esetben végtelen sok metszéspont jön létre: bármely pontját választhatjuk -nek, melyekhez ugyanazon tartozik, és metszéspontja, ha van. Ha , akkor is teljesül, és csak akkor szerkeszthető a négyzet, ha a középpárhuzamosuk. Ugyanígy az egész egyenesen választható, ha , melyekhez pontosan egy található, ha és nem párhuzamosak, egyébként pedig -nak középpárhuzamosnak kell lennie. Az felezőpont -ra merőleges vetületeként kapjuk a megfelelő középpontot. Felhasználjuk, hogy tetszőleges , , , és valós számokkal az koordinátákkal megadott pontok mértani helye egy egyenes, ha és nem egyszerre 0. Ugyanis ha , akkor az -tengelyre merőleges egyenesen, ha , akkor az -tengelyre merőleges egyenesen lesznek a pontok (továbbá minden pont ilyen alakú, pl. pont esetében ). Ha , akkor alapján a pontok egy meredekségű, az -tengelyt -ben metsző egyenesen vannak. (Az egyenes minden pontját megkapjuk ily módon: ha akkor számmal megkapjuk a koordinátáit a kívánt módon.) A megfelelő pontokat az alábbi módon kaphatjuk meg: kijelölünk -en egy pontot, és rajta át párhuzamost húzunk -val. Ahol a párhuzamos metszi -t, ott lesz . A kijelölt pont -ra való merőleges vetülete lesz . A -t körül -kal elforgatva kapjuk -t. Tegyük az egyeneseket egy olyan koordináta-rendszerbe, melynek -tengelyére esik , az origó pedig legyen és metszéspontjában. A pont szerkesztése során csupa olyan transzformációt végzünk, amellyel a kapott pontok koordinátái egy tetszőleges valós szám elsőfokú polinomjaként állnak elő, legyen a kiválasztott pont origótól való távolsága. Tehát, ha létezik az egyenes, akkor a és pontok mértani helye egy-egy egyenes. Szerkesztésünk során felbukkant néhány kivételes elrendezés, melyeket külön kell megvizsgálni. 1. Ha és , akkor nincs megoldás. 2. Ha középpárhuzamos, akkor és a sík bármely pontja lehet vagy . Vegyünk ekkor egy tetszőleges pontot -n merőleges vetületén () kívül. Szerkesszünk merőlegest -re -n át: ez a merőleges -t és -t -ban és -ben metszi. Ekkor teljesül, ha elegendően közel van -hez. -t távolítva -től tart és egyenesek távolságához, pedig a végtelenhez folytonosan. A folytonosság miatt lesz egy olyan helyzet, amikor , ebben a helyzetben valóban egy előforduló négyzet csúcsa. Ha -t az -n másik oldalán vesszük fel, akkor csúcsot kapunk. 3. vagy (és nem párhuzamos velük). A és pontok mértani helye szintén egy-egy egyenes. 4. Bármely két egyenes egybeesésekor csak akkor lesz megoldás a fentiek szerint, ha és vagy és esnek egybe. 2.-höz hasonlóan a sík bármely pontja jó lesz. (Ha nem engedjük meg az egy ponttá elfajuló négyzeteket, akkor az egyenesek közös metszéspontja nem jó.) Ha és egybeesik, akkor megoldást kapunk, ha is egybeesik velük: 2. szerint a sík minden pontja (nem elfajuló esetben a közös egyenes kivételével) jó, azaz és pontok mértani helye. Szintén megoldást kapunk, ha és metszi őket, ám ekkor a metszéspont kijelöli -t, és az egyenesre -ban merőleges egyenesen lesznek.
Megjegyzés. Többen félreértették a feladatban feltett kérdést, így csak szerkesztési eljárást adtak arra nézve, hogyan találhatóak meg a négyzet és csúcsai rögzített középpontból és csúcsból kiindulva. Pontvesztést jelentett a hiányos diszkusszió.
|