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. Bebizonyítandó, hogy nincs olyan, természetes számokból álló végtelen sorozat, amelynek nem minden eleme egyenlő, s amelynek minden eleme (a másodiktól kezdve) a két szomszédos elem harmonikus közepe. ( és harmonikus közepe .)
Megoldás. Abból az észrevételből indulunk ki, hogy ha az , számok harmonikus közepe, akkor az , számok számtani közepe, hiszen a értékre . A feladat állítása eszerint a következő módon fogalmazható át: Bebizonyítandó, hogy a természetes számok reciprokaiból nem alkotható olyan végtelen sorozat, amelyben nem minden elem egyenlő, s amelyben minden elem (a másodiktól kezdve) a két szomszédos elem számtani közepe. Ez a kijelentés más szóval azt mondja ki, hogy a természetes számok reciprokaiból nem alkotható nem csupa egyenlő számból álló végtelen számtani sorozat. Ennek helyessége nyomban következik abból, hogy a természetes számok reciprokai mindannyian a intervallumban helyezkednek el, viszont egy nem csupa egyenlő számból álló végtelen számtani sorozat elemeinek abszolút értéke minden határon túl nő.
Megjegyzés. 1. Lényeges a feladatnak az a megszorítása, hogy a végtelen sorozat nem minden eleme egyenlő, mert különben pl. , , ellenpéldát adna a feladat állítására. 2. A feladat állítása akkor is igaz, ha nem természetes, hanem egész számokról szól. Ennek helyessége fenti megoldásunkból nyomban adódik, ha benne a intervallum helyett a intervallumról szólunk. 3. Nem igaz a feladat állítása, ha benne racionális számok végtelen sorozatáról vagy természetes számok véges (tetszőlegesen előírt hosszúságú) sorozatáról van szó. Az első módosítást az , , sorozat példája cáfolja, a másodikat pedig a véges sorozat, amelynek minden eleme természetes szám. Második feladat. Adott a síkban egy egyenes, egy sugarú kör ( egész szám) és a körben darab -es szakasz. Bizonyítsuk be, hogy húzható az adott egyenessel párhuzamosan vagy rá merőlegesen olyan húr, amelynek legalább két szakasszal van közös pontja.
Megoldás. Vetítsük a szakasz mindegyikét az adott egyenesre (ezt vízszintesnek mondjuk) és egy rá merőleges (függőlegesnek mondott) egyenesre. A vízszintes vetületek hossza legyen , , a függőlegeseké pedig , . A feladat állítása egyértelmű azzal a kijelentéssel, hogy vagy a vízszintes, vagy a függőleges vetületek között van kettő, amelyeknek van közös pontjuk. Az -edik szakasz olyan (esetleg szakasszá elfajuló) derékszögű háromszög átfogója, amelynek vízszintes befogója , függőleges befogója pedig hosszúságú (1. ábra). 1. ábra Minthogy a háromszög két oldalának összege a harmadiknál nagyobb, Itt az egyenlőséget is meg kellett engednünk, mert számolunk azzal, hogy a vetített szakasz vízszintes vagy függőleges. Eredményünkből következik, hogy mind a szakasz vetületeinek összege Itt és a következőkben is minden összegezés az értékekre terjed ki. Ha a vízszintes vetületek között nincs két közös pontú, akkor ezek együttesen nem fedik le az -sugarú kör hosszúságú vízszintes vetületét, tehát Ugyanígy, ha a függőleges vetületek között nincs két közös pontú, akkor Ha tehát egyik eset sem következik be, akkor Ez ellentmond fenti eredményünknek. Kell tehát, hogy a mondott két eset valamelyike bekövetkezzék, ami ‐ mint megállapítottuk ‐ a feladat állításának helyességét mondja ki.
Megjegyzés. A feladat megoldásakor zárt szakaszokra gondoltunk, azaz a szakaszokhoz végpontjaikat is hozzászámítottuk. Igaz azonban a feladat állítása nyílt, tehát végpontjaiktól megfosztott szakaszokra is, ennek bizonyításához azonban ki kell egészítenünk megoldásunkat. Ha nyílt szakaszokkal dolgozunk, akkor a kör hosszúságú vetületén elhelyezkedő, közös pont nélküli vetületi szakaszok hosszának összege is lehet, hiszen most a végpontjukkal érintkező szakaszoknak nincs közös pontja. Így tehát csak , és ezekből a eredményhez juthatunk, ami nem jelent ellentmondást. Ha azonban így nem jutunk ellentmondáshoz, tehát a feladat állításának bizonyításához sem, akkor tehát . Ez azt jelenti, hogy a vízszintes vetületek (végpontjaikkal együtt) a kör teljes vízszintes vetületét, az szakaszt beborítják (2. ábra). 2. ábra Ekkor a vetületek között van kezdőpontú és végpontú is. Ilyen vetületet azonban csak a kör vízszintes átmérőjén elhelyezkedő szakaszok adhatnak. Ebben az eddig el nem intézett esetben tehát az adott egyenessel párhuzamos egyenes kielégíti a feladat követelményét, hiszen nemcsak közös pontja van két szakasszal, hanem tartalmazza is azokat.
Harmadik feladat. Minden lehetséges módon elrendezünk egy sorban fehér és fekete golyót. Minden elrendezésben megállapítjuk a színváltások számát. Bizonyítsuk be, hogy ugyanannyi elrendezésben van színváltás, mint ahányban színváltás .
I. megoldás. Kiszámítjuk, hogy hány golyóelrendezésben van színváltás. Két esetet különböztetünk meg aszerint, hogy páratlan-e, avagy páros.
Első eset. Ha páratlan, legyen . A golyóelrendezés szakaszainak mondjuk a más színű golyók által közrefogott egyszínű golyókat. Minthogy a színváltások száma , a szakaszok száma , tehát fehér és ugyanannyi fekete szakasz van. Ha az fehér szakaszt összetoljuk, az fehér golyó sorában szakaszhatár helyezkedik el. Ezek az golyó sorában található golyóközből közt jelölnek ki. A fekete golyókról ugyanígy elmondhatjuk, hogy golyóelrendezésünk az fekete golyó sorát szakaszra bontja fel, azaz e sor golyóköze közül közt jelöl ki (a 3. ábra 1. részének első két sora szemlélteti a mondottakat egy olyan golyóelrendezésre, amelynél és , tehát . 3. ábra Ilyen módon minden vizsgált golyóelrendezés két elemből alkotott -ad osztályú kombinációt szolgáltat. Két-két golyóelrendezés azonban ugyanazt a kombinációpárt adja, ti. azok, amelyekben mind a fehér, mind a fekete szakaszok hossza és elrendezése ugyanaz, csak éppen az egyik fehér, a másik pedig fekete szakasszal kezdődik. Akárhogyan választunk is meg egy kombinációpárt, tehát bontjuk szakaszra a fehér golyók sorát és a fekete golyók sorát is, e szakaszokat váltogatva sorbarakhatjuk és olyan golyóelrendezést kapunk, amelyben színváltás van. Ezt a sorbarakást kétféleképpen végezhetjük el, mert az elrendezést fehér szakasszal vagy fekete szakasszal kezdhetjük. Ezek szerint a színváltású golyóelrendezések száma a mondott két kombináció megválasztási lehetőségei számának kétszerese. Minthogy mindegyik kombináció -féleképpen választható meg, a színváltású golyóelrendezések száma Ha a feladatban szereplő szám páratlan, akkor páratlan is, hiszen a két szám különbsége, páros. Eredményünk tehát mindkét esetben alkalmazható, és esetben az eredmény, ahol mintájára határozza meg értékét. Ezek szerint , és a binomiális együtthatók jól ismert tulajdonsága szerint ami a fentiek szerint a kapott két eredmény egyenlőségét, tehát páratlan esetére a feladat állításának helyességét mondja ki.
Második eset. Ha páros, legyen . Az első esethez hasonlóan járunk el, a golyóelrendezést ismét szakaszokra bontjuk fel, és most szakaszhoz jutunk. Ha az elrendezés fehér szakasszal kezdődött, akkor fehér és fekete szakasz van. Egyelőre figyelmen kívül hagyjuk a fekete szakasszal kezdődő elrendezéseket, amelyekről a színeket felcserélve hasonlót mondhatunk el. Ha az fehér és fekete szakaszt összetoljuk, az fehér golyó sorának köze közül helyen, a fekete golyók sorának köze közül pedig helyen van szakaszhatár (a mondottakat a 3. ábra 2. részének első két sora szemlélteti egy olyan golyóelrendezésre, amelynél és , tehát . Az első eset mintájára elmondhatjuk most, hogy annyi színváltású golyóelrendezés van, ahányféleképpen két elemű halmaz egyikéből elemet, másikából pedig elemet kiválaszthatunk, megengedve, hogy a két halmaz szerepet cseréljen. Itt a golyóelrendezések és a kombinációpárok egymáshoz rendelése kölcsönösen egyértelmű, az első szakasz színének megválasztása nem okoz kétféleséget, mert ha pl. -gyel több a fehér, mint a fekete szakasz, akkor a sorbarakásukat fehér szakasszal kell elkezdenünk. A színváltású golyóelrendezések száma tehát ahol a -es szorzó az említett szerepcsere miatt lép fel. Ha a feladatbeli , akkor is páros: . Az színváltású elrendezések száma tehát Minthogy most , a binomiális együtthatók már említett tulajdonsága szerint | | a kapott két számosság tehát páros esetében is egyenlő.
II. megoldás. A feladat két halmaz számosságának egyenlőségét mondja ki. Első megoldásunkban megszámláltuk mind a két halmazt és konstatáltuk a két eredmény egyenlőségét. Most megszámlálás nélkül bizonyítjuk a két számosság egyenlőségét oly módon, hogy a két halmaz elemei között kölcsönös egyértelmű hozzárendelést létesítünk. Ilyen hozzárendelés természetesen csak akkor létesíthető, ha mindkét halmazban ugyanannyi elem van. Eljárásunk ennyiben eltér az első megoldásétól, viszont lényegében mégis azzal azonos, mert annak alapja a kombinációs együtthatók tulajdonsága volt, s ennek alkalmazása helyett dolgozhatunk a kombinációknak azzal az egymáshoz rendelésével, amely az említett tulajdonságot szolgáltatja, ha ti. az elemből kiválasztott -adosztályú kombinációhoz hozzárendeljük az imént ki nem választott elemből álló kombinációt. Ezzel második megoldásunkat lényegében már elő is adtuk, csak egyes részletek tisztázására van még szükség. Egy színváltásos golyóelrendezés az első megoldás előírása szerint az egyszínű szakaszok összetolása révén az fehér golyóból és az fekete golyóból álló golyósor szakaszokra bontását határozza meg. Új szakaszokra bontáshoz jutunk, ha ott helyezünk el szakaszhatárokat, ahol az imént nem volt szakaszhatár. Az így kapott szakaszokat váltakozó színekkel sorbarakjuk és új golyóelrendezéshez jutunk. Ez a hozzárendelés azonban ‐ mint az első megoldásban is láttuk ‐ nem egyértelmű, ha ugyanannyi fehér és fekete szakasz van. Ez páratlan esetén következik be, s ekkor az új elrendezés számára is ugyanannyi fehér és fekete szakasz adódik. Ezt a zavaró kétféleséget megszüntethetjük azáltal, hogy páratlan esetében megállapodunk abban, hogy egy elrendezésből származtatott új elrendezés pl. ugyanolyan színű szakasszal kezdődjék, mint amilyennel az eredeti kezdődött. (Az új elrendezés származtatását a 3. ábra mutatja be két esetben.) Az így létesített hozzárendelés minden színváltású golyóelrendezéshez egy-egy színváltásút rendel, mert az fehér golyó sorában található köz és az fekete golyó sorában található köz, összesen tehát köz közül helyen volt szakaszhatár, s ezért az új szakaszkijelöléskor szakaszhatárt helyeztünk el, így a két -elemű golyósorban együttesen szakaszvég és ugyanennyi szakasz keletkezett, s a váltakozó színekkel történő összerakás valóban színváltású elrendezést adott. Ugyanaz az előírás, amely egy színváltású elrendezésből egy színváltáshoz vezetett, egy ilyenből visszavezet az eredeti színváltásúhoz. Ez biztosítja, hogy valamennyi színváltású elrendezés halmaza és valamennyi színváltású elrendezés halmaza között kölcsönös egyértelmű hozzárendelést létesítettünk. A két halmaz tehát egyenlő számosságú. |