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. Először belátjuk, hogy ha egy rácspontot egy másik rácspontra, vagy pedig két rácspont összekötő szakaszának felezőpontjára tükrözünk, akkor a tükörkép rácspont. Tudjuk ugyanis, hogy ha az pontot -re tükrözve a ponthoz jutunk, akkor és megfelelő koordinátáinak összegei a pont megfelelő koordinátáinak kétszeresével egyenlők. Két rácspont összekötő szakaszának felezőpontjáról tudjuk tehát, hogy koordinátáinak kétszeresei egész számok. Még inkább igaz ez egy rácspontra, hiszen egész számok kétszeresei is egész számok. Ha most egy rácspontot ilyen pontra tükrözünk, akkor megállapításunk értelmében a tükrözött rácspont és a tükrözéssel nyert pont megfelelő koordinátáinak összegei egész számok. A tükrözéssel kapott pont tehát rácspont, mert koordinátái egész számok különbségei. Tekintsük most már a feladatban szerepeltetett háromszöget, s az ennek belsejében levő rácspontot. Tükrözzük mind e pontokat az oldalainak felezőpontjaira (6. ábra). 6. ábra Valamennyi kapott pont rácspont. A kapott csatlakozó , , háromszögek belsejében van rendre az -ből tükrözéssel nyert , , rácspont. E háromszögek belsejében több rácspont nincs, mert ha pl. az még egy rácspontot tartalmazna, akkor ezt felezőpontjára tükrözve az -ön belüli második rácsponthoz jutnánk. Tükrözzük most az rácspontot -ra. Az így kapott rácspont az belsejében van, mert az pontból való kétszeres kinagyítás az -et az -be, az pontot pedig a szóban forgó rácspontba viszi. Ez a rácspont tehát az , , , rácspontok valamelyikével azonos, hiszen a fentiek szerint az belsejében nincs más rácspont. Minthogy -ra tükröztünk, maga nem lehet ez a tükörkép. Bizonyítjuk, hogy és sem lehet. Elegendő ezt pl. -re bizonyítanunk. Az szakasz tükörképe és felezőpontjára az és szakasz. E szakaszok tehát -sel, s így egymással is párhuzamosak és egyenlők. Ezért paralelogramma, és valóban nem lehet -nek -ra vonatkozó tükörképe. Beláttuk így, hogy -nek -ra vonatkozó tükörképe csak az rácspont lehet. Ebből az következik, hogy , , egy egyenesen van. Ez az egyenes áthalad és közös felezőpontján, tartalmazza tehát -nek e felezőpontra vonatkozó tükörképét, az pontot is. Eszerint rajt van az -ból induló súlyvonalán. Az , , pontok szerepének azonossága miatt rajta van akkor a másik két súlyvonalon is, ezért az súlypontja. II. megoldás. Felhasználjuk az első megoldás első bekezdésében kimondottakat. Eszerint egy rácspontból való kétszeres kinagyítás minden rácspontot rácspontba visz. Legyen ismét a szerepeltetett belsejében levő rácspont. Az pontnak e háromszög középvonalai által alkotott belsejében kell lennie (7. ábra), mert ha pl. az tartalmazná az pontot, akkor az pontból való kétszeres kinagyítás -et az által tartalmazott újabb rácspontba vinné. 7. ábra Az pontot az , , pontokra tükrözve az , , rácspontokat kapjuk. Az , , szakaszoknak közön felezőpontjuk van. Ezt pl. az és szakaszokra abból következtetjük, hogy paralelogramma, hiszen és párhuzamosak és egyenlők, mert mindkettő az szakasznak (-ből, ill. -ből való) kétszeres kinagyításával keletkezik. Az pontnak -ra vonatkozó tükörképe egy rácspont. Minthogy az -ben, tehát még inkább az belsejében helyezkedik el, azért e háromszög -ra vonatkozó tükörképében, az -ben van. Minthogy azonban ebben a háromszögben csak egyetlen rácspont van, kell, hogy egybeessék -vel, tehát -val is. Ezek szerint az , , egyenesek azonosak az , , egyenesekkel, tehát áthaladnak az , , pontokon. Ezek az egyenesek tehát az súlyvonalai, és a súlypontja. III. megoldás. Háromszögünket egyik oldalának felezőpontjára tükrözve paralelogrammához jutunk. E paralelogramma belsejében tartalmazza a háromszögünk belsejében levő rácspontot és annak tükörképét, több rácspontot azonban nem. Ezt már az első megoldás bevezető részében is beláttuk. Elég ezért a következő állítást bizonyítanunk. Ha egy paralelogramma csúcsai rácspontok, a határán több rácspont nincs, és belsejében két rácspont van, akkor ezek a paralelogrammának egy átlóján vannak, s azt harmadolják. Először azt látjuk be, hogy egy paralelogramma belsejében levő ponthoz mindig található a paralelogrammának olyan csúcsa, hogy az e csúcsból való kétszeres kinagyítás azt a pontot a paralelogrammához tartozó pontba viszi. Ez nyomban következik abból, hogy a paralelogrammát két középvonala négy paralelogrammára bontja, és ezeknek mindegyike egy‐egy csúcsból kétszeresre nagyítva a teljes paralelogrammába megy át. Tekintsük most már az állításunkban szerepeltetett paralelogrammát, és az ennek belsejében elhelyezkedő és rácspontokat (8. ábra). 8. ábra Nem szerepelhet ezek között a paralelogramma középpontja, mert akkor a másiknak erre vonatkozó tükörképe a paralelogramma belsejében elhelyezkedő harmadik rácspontot adna. Az előre bocsátottak szerint a paralelogramma egyik csúcsának -re vonatkozó tükörképe a paralelogrammához tartozik. Ez a tükörkép nem lehet a paralelogrammának csúcsa, mert nincs a paralelogramma határán és nem azonos a paralelogramma centrumával. Kell tehát, hogy e tükörkép a pont legyen. Ugyanígy adódik, hogy egy csúcsnak -re vonatkozó tükörképe -sel azonos. Ezzel beláttuk, hogy és harmadolják a szakaszt. a paralelogrammának csak átlója lehet, hiszen és nem lehet a paralelogramma határán. Ezzel állításunkat bizonyítottuk.
IV. megoldás. Ismét támaszkodunk az első megoldás első bekezdésében kimondottakra. A feladatban szereplő -et súlyvonalai hat háromszögre bontják (9. ábra). 9. ábra Az belsejében levő egyetlen rácspontot e hat háromszögnek legalább egyike, pl. az belsejében vagy határán tartalmazza, nem lehet azonban e rácspont az szakaszon. Az pontból való kétszeres kinagyítás ezt a rácspontot olyan újabb rácspontba viszi, amelyik az kinagyításával kapott -ben vagy annak határán van, de nincs az szakaszon. Minthogy az nem tartalmazhat belsejében második rácspontot, az újabb rácspontnak az -ben vagy annak határán kell lennie, de -vel azonos nem lehet. Ha most ezt a háromszöget az általa tartalmazott rácsponttal együtt az pontra tükrözzük, azt kapjuk, hogy az -ben vagy annak határán van egy -től különböző rácspont. Ez a rácspont csak az -ben levő egyetlen, által is tartalmazott rácspont lehet. Ez az egyetlen rácspont azonos tehát háromszögünk súlypontjával, hiszen az és háromszögeknek nincs más közös pontja.
Megjegyzés. A harmadik feladat állításának térbeli megfelelője nem igaz: van olyan tetraéder, melynek csúcsai rácspontok, határán nincs több rácspont, és belsejében egyetlen, a tetraéder súlypontjától különböző rácspont van. Így pl. az (0, 0, 0), (1, 0, 0), (0, 1, 0), (2, 2, 5) csúcsok által adott tetraéder csak az (1, 1, 2) rácspontot tartalmazza belsejében, és ez a tetraédernek nem súlypontja. |