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. 1. feladat. Megmutatjuk, hogy létezik a feladat követelményeinek eleget tevő sorozat. Legyen ugyanis , , , a prímszámok (végtelen) növekvő sorozata, és tekintsük az , , () sorozatot. Ebben a sorozatban páratlan szám, ha , így nem osztható sem -gyel, sem -vel, hiszen azok páros számok. Az is világos, hogy és közül egyik sem osztója a másiknak. Ha pedig , akkor osztója -nek, de nem osztója a sorozat egyetlen további tagjainak sem, tehát nem lehet osztója a sorozat egy másik elemének. Az első feltétel tehát teljesül. A sorozatban bármely két számnak van 1-nél nagyobb közös osztója. Valóban: és esetén ez a szám 2; és esetén 3, ha , végül ha , , akkor és is osztható 5-tel. Tehát a második feltétel is teljesül. Végezetül, ha egy pozitív egész osztója a sorozat minden elemének, akkor osztója -nek és -nak is, és így csak 1 vagy 2 lehet. A második lehetőség azonban könnyen kizárható, hiszen páratlan szám. Ezzel igazoltuk, hogy a sorozat a harmadik feltételt is kielégíti.
Megjegyzések. 1. A fenti sorozatban a második tagtól kezdve minden elem osztható 5-tel. Olyan sorozat is megadható, amelyben a sorozat elemeinek semelyik tagtól kezdve nem létezik 1-nél nagyobb közös osztója. Ilyen sorozat például az , , () összefüggésekkel definiálható. Az is világos azonban, hogy bármely, a feladat feltételeinek eleget tevő sorozatban lesz végtelen sok elem, amelynek van 1-nél nagyobb közös osztója. (Miért?) 2. A sorozat konstrukciójánál mindenképpen szükség van végtelen sok különböző prímszám segítségére. Nem lehet ugyanis megadni véges sok prímszámot úgy, hogy legyen olyan pozitív egészekből álló végtelen sorozat, amelyben egyik szám sem osztója egyetlen másiknak sem, és amelyben minden szám összes prímosztója az adott prímszámok közül való. Feladat. Bizonyítsuk be a fenti állítást.
2. feladat. Először olyan polinomot mutatunk, amely az egymástól különböző , , , helyeken rendre az egymástól nem feltétlenül különböző , , , értékeket veszi fel. Ehhez tekintsük , 2, , esetén a következő polinomot: | | Világos, hogy és , ha . Ezért a összefüggéssel definiált polinom, az ún. Lagrange-féle interpolációs polinom, megfelelő lesz. Könnyen látható, hogy ezen polinom fokszáma legfeljebb . Azonban még akkor sem lesz mindig egész együtthatós, ha , , és , , egész számok. Legyen most , , , . Milyen , , egész értékek mellett tudunk egyszerűen következtetni arra, hogy a polinom együtthatói egész számok? A polinom minden együtthatója olyan racionális szám, amelynek a nevezője valamilyen indexre | | alakú, számlálója pedig ugyanekkor -vel osztható egész szám. Könnyen látható, hogy az így adódó nevezők mindegyike osztója az számnak. Ha tehát a értékek mindegyike osztható -nel, akkor a fenti konstrukcióval létrehozott polinom egész együtthatós lesz. Az általunk keresett polinomnak azonban az előírt helyeken 2-hatvány értékeket kell felvennie, azok pedig nem oszthatók -nel, ha . Hogyan lehet ezen segíteni? Válasszunk ki darab különböző 2-hatványt, ami ugyanannyi ‐ mondjuk ‐ maradékot ad -nel osztva. Ezt megtehetjük, hiszen végtelen sok különböző 2-hatvány van. Legyenek ezek , , , , és tekintsük a () számokat. Ezekre igaz, hogy osztható -nel, létezik tehát olyan egész együtthatós polinom, amelyre minden 1 és közé eső egész számra. Ennek a polinomnak konstans tagját -mel megnövelve olyan, továbbra is egész együtthatós polinomhoz jutunk, amelyre . Ezzel a feladat állítását igazoltuk.
Megjegyzések. 1. A megoldásból kitűnik, hogy különböző 2-hatványok helyett különböző 3-hatványokat vagy éppen különböző prímszámokat is előírhattunk volna a keresett polinom 1, 2, , helyen felvett értékeiként. Sőt, még ennél is tovább mehetünk. Mivel | | egész szám, az , , , alappontokra épített Lagrange-féle interpolációs polinom együtthatói már akkor is egész számok, ha minden osztható -sal. A skatulya-elv szerint szám között mindig található olyan, amelyik -sal osztva ugyanolyan maradékot ad. Megfogalmazhatjuk tehát a következő, a feladatban szereplőnél erősebb állítást. Legyen egy legalább elemű egész számokból álló halmaz. Ekkor létezik olyan, legfeljebb -ed fokú egész együtthatós polinom, amelynek az 1, 2, , helyeken felvett értékei a különböző elemei.
3. feladat. Tekintsünk egy elemű ponthalmazt, amely megfelel a feladatban szereplő feltételeknek. Tegyük fel, hogy konvex burkának csúcsa van. Ezt a konvex -szöget egy csúcsából kiinduló átlói segítségével háromszögre bonthatjuk, amelyek mindegyikében -nak pontosan egy pontja helyezkedik el, a második feltétel értelmében. Egy ilyen háromszög határára ‐ az első feltétel miatt ‐ -nak nem eshet más pontja, mint a szóban forgó háromszög 3 csúcsa. A halmaz tehát pontosan a konvex burkának a csúcspontjaiból és az előbb említett pontból áll. Ennek következtében , azaz páros szám. A következőkben megmutatjuk, hogy minden 3-nál nagyobb páros szám esetén megadható a síkon pont a követelményeknek megfelelően. Legyen , ekkor . Tekintsünk egy tetszőleges konvex -szöget. Ennek a belsejében vegyünk fel további pontot a következőképpen. Minden esetén legyen a és háromszögek közös részének tetszőleges belső pontja. Azt állítjuk, hogy a ponthalmaz megfelel a feltételeknek. Legyen . Azt állítjuk, hogy a háromszög belseje pontjai közül egyedül a pontot tartalmazza. Először azt mutatjuk meg, hogy valóban a háromszög belső pontja. A szögtartomány tartalmazza a , , pontokat, és így a háromszög minden pontját is. Minthogy ennek a háromszögnek belső pontja, a szögtartomány belsejében van (1. ábra). Hasonlóképpen látható, hogy a egyenesre támaszkodó, -t tartalmazó félsík belsejében található, hiszen ez a félsík tartalmazza a , , pontokat, és a háromszög belső pontja (2. ábra). A pont tehát az 1. ábrán látható nyílt szögtartomány és a 2. ábrán látható nyílt félsík közös részében van, ez pedig éppen a háromszög belső pontjainak halmaza. Most megmutatjuk, hogy ez a halmaz pontjai közül a -n kívül egyetlen pontot sem tartalmaz. A sokszög konvex, ezért egyik csúcsa sem eshet a háromszög belsejébe. Tekintsük most valamelyik pontot, ahol . Ez a pont a háromszög belsejében helyezkedik el. Ha , akkor a egyenes elválasztja ezt a háromszöget a háromszögtől, tehát valóban nem eshet az utóbbi háromszög belsejébe. Az , , illetve esetekben a megfelelő elválasztó egyenesek rendre a , és egyenesek. A 3. ábra az esetet szemlélteti. Ezzel állításunkat bizonyítottuk. Hátravan még annak igazolása, hogy pontjai közül semelyik három nem esik egy egyenesre. A konstrukcióból azonnal következik, hogy semelyik egyenes nem illeszkedhet -nak egyetlen további pontjára sem. Ha tehát egy egyenes pontjai közül hármat is tartalmazna, akkor tartalmaznia kellene legalább két típusú pontot. Legyenek ezek és . A egyenes a sokszög kerületét két pontban metszi, jelöljük ezeket -val és -vel. Ha ezek közül az egyik, mondjuk a sokszög csúcsa volna, akkor szükségképpen a sokszög valamely oldalának belső pontja lenne. Ekkor a háromszög a és a pontokat is tartalmazná, fenti állításunkkal ellentétben. Ha pedig és rendre a sokszög és oldalainak lenne belső pontja (feltehető, hogy , , és ilyen sorrendben, egy konvex négyszög csúcsai), akkor -nak összes pontja, amely a egyenesre illeszkedik, a négyszög belsejébe esne. Ez azonban lehetetlen, hiszen a fenti állításból könnyen levezethető, hogy ez a négyszög -nak pontosan két pontját tartalmazza. Ezzel a feladat megoldását befejeztük.
Megjegyzések. 1. Páros esetén a keresett ponthalmaz létezésére indukciós bizonyítás is adható, amelyet csak vázolunk. Tegyük fel, hogy a konvex sokszöget, és annak , , belső pontjait már meghatároztuk úgy, hogy semelyik 3 pont nem esik egy egyenesre, és minden háromszög belsejébe pontosan egy pont esik. Vegyük fel a pontot úgy, hogy konvex -szög legyen, semelyik háromszög ne tartalmazzon egyetlen pontot sem, továbbá ne legyen rajta egyik olyan egyenesen sem, amely az eddigi pontok közül kettőre már illeszkedik. ,,Látszik'', hogy ezt mindig megtehetjük. A szabatos bizonyítás megfogalmazása azonban egyáltalán nem magától értetődő. Ezek után vegyük fel a pontot a () háromszögek közös részeinek belsejében, ami éppen a és háromszögek közös részének belseje. Eközben vigyázunk arra, hogy ne essék egyetlen olyan egyenesre sem, amelyeket az eddigi pontok meghatároznak. A keletkező ponthalmaz konvex burka éppen a sokszög, és semelyik 3 pontja nem esik egy egyenesre. Az indukciós feltevésből adódik, hogy a belsejébe pontosan egy pont esik, ha . A pont konstrukciója alapján ugyanez elmondható a háromszögekről is. Végül tekintsük bármelyik háromszöget, ahol . A négyszögbe, melyet annak átlója a és a háromszögekre bont, az előzőek alapján pontosan 2 pont esik. Ezek egyike a pont, amely a háromszög egyetlen belső pontja a tekintett pontok közül. Ezért a másik pont szükségképpen a háromszögbe esik, és oda más pont nem is eshet (4. ábra). 2. Ha az esetén felrajzolható, lényegében egyértelmű konstrukcióból kiindulunk, és arra a fenti indukció lépéseit alkalmazzuk, akkor az első megoldásban ismertetett konstrukcióhoz hasonló pontrendszerhez jutunk. Felmerülhet az a gondolat, hogy lehetséges-e ,,geometriailag más szerkezetű'' ponthalmazokat is mutatni, amelyek a feltételeknek szintén megfelelnek. Ilyen ponthalmazokat is képezhetnénk az indukciós eljárás segítségével, ha nem ragaszkodunk ahhoz, hogy a , , , csúcspontokkal rendelkező konvex sokszög csúcsai éppen ilyen sorrendben kövessék egymást. Az 5. ábrán három különböző konstrukciót mutatunk () esetén.
|