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. Első feladat. Bizonyítandó, hogy ha a trapéz alapján nyugvó szögek nem egyenlők, akkor a kisebbiknek csúcsából kiinduló átló a hosszabb. I. megoldás. Segédtételként előre bocsátjuk a következő megállapítást: Ha két derékszögű háromszögben az egyik befogó ugyanakkora, és a két háromszög nem egybevágó, akkor ugyanabban a háromszögben található a másik befogóknak és az átfogóknak nagyobbika az egyenlő befogókkal szemközti szögeknek pedig kisebbike. Ennek belátására fektessük egymásra a két háromszöget úgy, hogy derékszögeik és egyenlő befogóik fedjék egymást (1. ábra). 1. ábra Az egyiknek befogója túlnyúlik ebben a helyzetben a másiknak befogóján, hiszen a háromszögek nem egybevágók. A keletkező tompaszögű, s ezért . Ugyanennek a háromszögnek külső szögére vonatkozólag viszont adódik. 2. ábra Tekintsük most már az trapéz alapján nyugvó szögeket (2. ábra), és legyen A és csúcsot az egyenesre vetítve a és pontokhoz jutunk. Bizonyítanunk kell az egyenlőtlenséget. Elegendő ehhez az egyenlőtlenséget bizonyítanunk. Ha ugyanis , akkor segédtételünket az és háromszögekre alkalmazva (3)-ból (2) adódik. Ha viszont és azonos, akkor , és így (2) abból adódik, hogy az derékszögű háromszög átfogója a befogónál hosszabb. (3) bizonyításánál a és szög minőségének megfelelően három esetet különböztetünk meg. 1. Ha mindkettő hegyesszög, akkor segédtételünket az és háromszögekre alkalmazva (1) alapján adódik, és az ezeket -re kiegészítő szakaszokra (3) érvényes. 2. Ha mind a két szög tompaszög, akkor ismét az és háromszögekre alkalmazzuk segédtételünket. Most azonban , mert ezek az (1)-ben szereplő szögeknek kiegészítő szögei. A segédtétel alapján tehát , és ezeket -vel megnövelve (3) adódik. 3. Ha és , akkor az egyenesen az irányban haladva nem lehet előtt, és nem lehet előtt. Az szakasz tartalmazza tehát a szakaszt. Ez utóbbi nem lehet -vel azonos sem, mert (1) miatt nem lehet mind a két szereplő szög derékszög. A részként tartalmazott szakasz hosszára tehát teljesül a (3) egyenlőtlenség. II. megoldás. Növeljük meg az trapéz alapján nyugvó kisebbik, -ét akkorára, amekkora a . Így az egyenlő szárú trapézhez jutunk (3. ábra), melynek átlói a szimmetria miatt az szakasz felezőmerőlegesén metszik egymást. 3. ábra Ezt az metszéspontot -vel összekötő szakasz a felezőmerőlegesnek azon az oldalán van, amelyiken a pont. Ugyanezen az oldalon van tehát az eredeti trapéz átlóinak metszéspontja is, hiszen a pont az szakasz belsejében van, és a -ből az adódik, hogy metszi az szakaszt. Minthogy az szakasz felezőmerőlegese által meghatározott félsíkok közül a pontot tartalmazónak pontjai közelebb vannak -hez, mint -hoz, ez áll a pontra, azaz Az és hasonló, mert szögeik páronként csúcsszögek, ill. váltószögek. A bizonyított egyenlőtlenség következményeként tehát Egyenlőtlenségeink összegezésével a bizonyítandó egyenlőtlenséget kapjuk.
III. megoldás. Az trapéz alapján nyugvó kisebbik szög növelésével egyenlő szárú trapézhez jutunk (4. ábra). E trapéz szimmetria‐tengelye az szakasz felezőmerőlegese. Minthogy ennek a felezőmerőlegesnek azon az oldalán van, amelyiken a felezett szakasz végpontja, azért . A szimmetria folytán . A és háromszögek -nél fekvő szögei egymást -ra egészítik ki, ezért e szögeknek valamelyike vagy hegyesszög vagy tompaszög. Minthogy a tompaszöggel szemben a háromszögnek legnagyobb oldala helyezkedik el, a két háromszögnek valamelyikéből az következik, hogy kisebb a és szakaszok valamelyikénél, tehát kisebb e szakaszok nagyobbikánál, az -vel egyenlő szakasznál.
IV. megoldás. Az trapézt, az átlón nyugvó kisebbik szöget növelve, szimmetrikus trapézzé egészítjük ki (4. ábra). 4. ábra A háromszög külső szögére vonatkozó egyenlőtlenség szerint a szimmetria miatt pedig Így tehát a -ben -nél nagyobb szög helyezkedik el, mint -nél, mert a része az -nek, amelyről beláttuk, hogy -nél kisebb. Minthogy egy háromszögben nagyobb szöggel szemben nagyobb oldal van, így . Ezzel a feladat állítását bizonyítottuk, hiszen a szimmetria miatt . Második feladat. Hány olyan 3-mal osztható ötjegyű szám van amelyben előfordul a 6-os számjegy? I. megoldás. A 6-ost tartalmazó, 3-mal osztható, ötjegyű számokat csoportosítsuk aszerint, hogy utolsó 6-os jegyük az egyesektől számítva hányadik jegy. Az első csoportba azok a számok tartoznak, amelyeknek utolsó jegye 6-os, ilyen számhoz úgy jutunk, hogy a három közbenső jegyet tetszőlegesen választjuk meg, s ezután az első jegyet úgy választjuk meg az ide írható 9 jegy közül (mert 0 nem lehet első jegy), hogy a jegyek összege 3-mal osztható legyen. A közbenső jegyek mindegyikének megválasztásánál 10 lehetőség van, az első jegy megválasztásánál viszont csak 3 a lehetőségek száma, mert a már megválasztott jegyek összegétől függően vagy az 1, 4, 7, vagy a 2, 5, 8, vagy pedig a 3, 6, 9 jegyek közül választhatunk, hiszen valamennyi jegy összege kell, hogy 3-mal osztható legyen. Az első csoportba tartozó számok száma ezek szerint . A második, harmadik és negyedik csoportba tartozó számoknál a tízes, százas, ill. ezres jegy 6-os, és ezt követően 6-os jegy már nem szerepel. Ilyen számot keresve az ezt a 6-os jegyet követő jegyeket szabadon választhatjuk 9 jegy közül, hiszen 6-ost nem választhatunk, a megelőző jegyeket az elsőnek kivételével tetszőlegesen választhatjuk meg a 10 jegy közül. Az első jegy megválasztásánál ugyanaz a megkötés érvényesül, mint az első csoport esetében, e jegy megválasztásánál tehát mindig 3 lehetőség van. Ezekbe a csoportokba tehát rendre , , szám tartozik. Az ötödik csoport számainak tízezres jegye 6-os, a többi nem hatos. Egy ilyen szám megválasztásánál a három közbenső jegyet szabadon választhatjuk a 9 megengedett jegy közül, hiszen 6-ost nem választhatunk. Az utolsó jegyet e 9 jegy közül úgy választjuk meg, hogy a szám jegyeinek összege 3-mal osztható legyen. Az utolsó jegy megválasztásánál a többi jegy összegétől függően az 1, 4, 7 vagy a 2, 5, 8, vagy pedig a 0, 3, 9 jegyek közül válogathatunk, tehát minden esetben 3 lehetőségünk van. Az ötödik csoportba ezek szerint szám tartozik. Valamennyi csoportban együtt szám van.
II. megoldás. Először az ötjegyű, 6-ost tartalmazó számok számát határozzuk meg, tekintet nélkül arra, hogy vajon 3-mal oszthatók-e vagy sem. Ezután majd bizonyítjuk, hogy mind e számoknak éppen a harmada osztható 3-mal. 1. Jelöljük az jegyű, 6-ost tartalmazó számok számát -nel. Vizsgáljuk az jegyű, 6-ost tartalmazó számokat, s ezeket soroljuk két csoportba aszerint, hogy utolsó jegyük 6-os vagy nem 6-os. Az első csoporthoz tartozó számokat úgy kapjuk meg, hogy egy tetszőleges, jegyű számhoz még egy 6-os jegyet fűzünk hozzá. Az első csoporthoz tartozó számok száma tehát a -től -ig terjedő, jegyű számok számával egyenlő, azaz . A második csoportba tartozó számot úgy kapunk, hogy egy jegyű, 6-ost tartalmazó számhoz hozzáfűzünk egy 6-ostól különböző jegyet. Mivel ekkor 9 lehetőség van, a második csoportba tartozó számok száma . A két csoporthoz tartozó számok együttes száma ezek szerint Minthogy egyetlen egyjegyű, 6-ost tartalmazó szám van, . Ebből kiindulva a levezetett összefüggés felhasználásával sorra a következő értékekhez jutunk: , , , . 2. Nyilvánvaló, hogy ha egy számtani sorozat elemeinek száma 3-mal osztható, és a különbség 3-mal osztva maradékul 1-et ad, akkor a sorozat elemeinek éppen a harmada osztható 3-mal. Több ilyen sorozat elemeinek együttesére is igaz ez a megállapítás, feltéve, hogy a sorozatoknak nincs közös elemük. Az ötjegyű, 6-ost tartalmazó számokról fentebb kimondott állításunkat bizonyítjuk tehát, ha e számokat közös elem nélküli, 3-mal osztható elemszámú, 3-mal osztva maradékul 1-et adó különbségű számtani sorozatokba soroljuk. Ezt a következőképpen tesszük: A 6-osra végződő számok egy 10 006-tal kezdődő 99 996-ra végződő, 9000 elemű, 10 különbségű számtani sorozatot alkotnak. A más jegyre végződő számokat olyan csoportokba gyűjtjük, amelyekben csak az utolsó jegy az eltérő. Minden egyes ilyen csoportban a 0, 1, 2, 3, 4, 5 jegyekre végződő számok egy 6 eleme, 1 különbségű, és a 7, 8, 9 jegyekre végződők egy 3 elemű, 1 különbségű számtani sorozatot alkotnak. Mivel mind e sorozatok megfelelnek követelményeinknek, igazoltuk, hogy az ötjegyű, 6-ost tartalmazó számoknak harmada, azaz osztható 3-mal.
III. megoldás. Ismét először valamennyi ötjegyű, 6-ost tartalmazó számnak számát határozzuk meg, majd bizonyítjuk, hogy ezeknek harmada osztható 3-mal.
1. Összesen 90 000 ötjegyű szám van. Az ötjegyű, 6-ost nem tartalmazó számok számát határozzuk meg. Ilyen számot úgy kapunk, hogy első jegynek a 0 és 6 kizárásával maradó 8 jegy közül választunk egyet, a többi jegy megválasztásánál pedig csak a 6-ost zárjuk ki, azaz mind a négy esetben 9 lehetőség között választunk. Az ötjegyű, 6-ost nem tartalmazó számok száma tehát . Az ötjegyű, 6-ost tartalmazó számok száma tehát . Ez 3-mal osztható szám.
2. Írjuk fel növekvő rendben az ötjegyű számokat. Tagoljuk ezt a sorozatot tízes szakaszokba, egy‐egy szakaszba foglalva azokat a számokat, amelyek csak az utolsó jegyben különböznek egymástól. Jelöljük meg mindegyik szakaszban a 6-ost tartalmazó számokat. Vannak szakaszok, amelyekben minden számot megjelölünk, ti. azokban a szakaszokban, amelyeknek nem változó, első jegyei között 6-os is szerepel. A többi szakaszban csak egy‐egy számot, a 6-osra végződőt jelöljük meg.
Vizsgáljuk meg, mekkora lehet a különbség két‐két, egymáshoz legközelebbi megjelölt szám között. Ha e két szám ugyanahhoz a szakaszhoz tartozik, a szakasz csupa megjelölt számból áll, és a különbség 1. Ugyancsak 1 a különbség, ha a két szám két szomszédos, csupa megjelölt számból álló szakaszhoz tartozik. Ha a tekintett két szám közül a kisebbik egy csupa megjelölt számból álló szakaszhoz, a nagyobbik meg nem ilyenhez tartozik, akkor a különbség 7. Ha a nagyobbik tartozik csupa megjelölt számból álló, s a kisebbik meg nem ilyen szakaszhoz, akkor különbségük 4. Ha végül mindkét szám olyan szakaszhoz tartozik, amelynek nincs minden száma megjelölve, akkor 10 a különbségük. A vizsgált különbség lehetséges értékei 1, 4, 7, 10.
Minthogy e számok mindegyike 3-mal osztva 1-et ad maradékul, megállapíthatjuk, hogy a megjelölt számok nagyság szerinti egymásutánjában minden harmadik osztható 3-mal, hiszen minden 3-mal osztható számra olyan következik ebben az egymásutánban, amelyik 3-mal osztva 1-et ad maradékul, erre olyan amelyik 2-t ad maradékul, s erre megint egy 3-mal osztható következik. Minthogy a megjelölt számok száma osztható 3-mal, ezeknek harmada, azaz osztható 3-mal.
IV. megoldás. A 90 000 ötjegyű szám között minden harmadik tehát összesen 30 000 osztható 3-mal. Határozzuk meg, hogy ezek között hány 6-ost nem tartalmazó van.
Egy ilyen szám első jegyét 8-féleképpen választhatjuk meg, mert 0 és 6 nem választható. A második, harmadik és negyedik jegy megválasztásánál 9 lehetőség van, hiszen csak a 6-os választását kell kizárnunk. Az utolsó jegyet úgy kell megválasztanunk, hogy a jegyek összege 3-mal osztható legyen. A már megválasztott jegyek összegétől függően tehát vagy az 1, 4, 7 vagy a 3, 5, 8, vagy pedig a 0, 3, 9 jegyek között, vagyis mindig 3 lehetőségből választhatunk. Az ötjegyű, 6-ost nem tartalmazó, 3-mal osztható számok száma ezek szerint , az ötjegyű, 6-ost tartalmazó, 3-mal oszthatóké pedig . Harmadik feladat. Rácspontoknak nevezzük a síknak azokat pontjait amelyiknek mindkét koordinátája egész szám. Bizonyítandó, hogy ha egy háromszög csúcsai rácspontok, a határán több rácspont nincs, és belsejében egyetlen rácspont van, akkor ez a rácspont a háromszög súlypontja. 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. Ez a megoldás szerepel a Mathematikai versenytételek, I. rész (Középiskolai szakköri Füzetek, Tankönyvkiadó, 1955) 70. oldalán.Az 5. ábra szemlélteti a számba vett lehetőségeket. Ezen az ábrán a fekete körök megjelölt számokat, a fehér körök meg nem jelölt számukat jelképeznek. |