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: -nak mely pozitív egész értékei mellett lesz a kifejezés minden pozitív egész értékére osztható -tel ? Megoldás: Ha valamilyen érték mellett minden -re osztható -tel, akkor -re is osztható, tehát Itt a bal oldal páros, tehát a jobbnak is párosnak kell lennie. Ez akkor és csak akkor áll fenn, ha páros: . Így -ra azt kapjuk, hogy | | Itt tetszés szerinti egész értéke mellett fennáll (1) az értékkel. Megmutatjuk másfelől, hogy minden -re -tel osztható számmal tér el az -hez tartozó értéktől. Valóban | | és a jobb oldal első különbsége osztható -cal, tehát -tel is, a második tag pedig osztható -tel, így az egész különbség is. Azt kaptuk tehát, hogy akkor és csak akkor osztható minden -re 7-tel, ha ez az -hez tartozó értékére teljesül, ehhez pedig szükséges és elegendő is, hogy 7-tel osztva 3-at adjon maradékul. 2. feladat: Adva vannak az , párhuzamos egyenesek és köztük az pont; távolsága -től , -től . Az -n áthúzott egyenes -t -ben, -et -ben metszi. -ben merőlegest állítunk -re, és erre az -vel való metszéspontja irányában felmérjük az szakaszt, ennek végpontja . Mi a pont mértani helye, ha az körül forog ? I. megoldás: Legyen -nek az -re merőleges helyzete , ennek metszéspontjai , -en , . Ekkor a kérdéses merőleges maga , így az -vel való metszéspont nem létezik, nem szerkeszthető egyértelműen; azonban -nek -tól távolságra fekvő és pontjait tágabb értelemben a mértani helyhez tartozóknak tekinthetjük. ‐ Elegendő -nek azon helyzeteivel foglalkoznunk, amelyek -et az félegyenesén metszik, mert a mértani helynek az így mellőzött pontjait a figyelembe vettekből -ra való tükrözéssel megkaphatjuk, hiszen minden mellőzött helyzetének megvan a tükörképe a figyelembe vett helyzetek között.
Legyen a forgó egyenesnek egy helyzetében felezőpontja , és vetülete -en , . Ekkor az és derékszögű háromszögek egybevágók, mert , továbbá , ill. -nál levő szögeik merőleges szárú hegyes szögek, és ezért egyenlők. Így és a -től ellentétes irányban van, mint az -tól (ugyanis az szög nagyobb az szögnél, ez pedig derékszög). Ezért és tükrös párok az szakasz felező merőlegesére ‐ ami egyben az trapéz középvonala ‐, és így . Másrészt az derékszögű háromszög köré írt kör középpontja. Ezek szerint e kör átmegy -en és ezért az szög ( bármely helyzete mellett) derékszög; más szóval csak a -ben -re állított merőlegesen fekhet. Tegyük hozzá: az szakaszok felmérési irányára tekintettel a merőlegesnek csak azon a félegyenesén lehet, amely -nek ugyanazon partján van, mint (és ). Megmutatjuk, hogy a figyelembe vett helyzetekre a keresett mértani hely éppen , vagyis bármely -től különböző pontja előáll valamely helyzetéből. -nek a -et előállító helyzetére, ill. a vele adódó , -re egyrészt a szögnek derékszögnek, másrészt -nek kell lennie. Az első követelményből egyértelműen megszerkeszthető, ehhez -et az átmérőjű (és folytán -en átmenő) Thalész-körnek -fel való, -től különböző metszéspontja adja ‐ amennyiben két ilyen metszéspont van ‐, és , ha e kör érinti -et. E kör középpontja rajta van az szakasz felező merőlegesén ( a vetülete -en), így és tükrös pontpár felezőpontjára, és ezért . Így az és derékszögű háromszögek egybevágók ( a és metszéspontja), mert , ill. -nél fekvő szögük szárai páronként merőlegesek (Thalész-kör), ennélfogva amit bizonyítani akartunk. (Teljesség kedvéért megjegyezzük, hogy az félegyenesen van, mert nem lehet sem -ban, sem az , félegyenesen; ugyanis a körre nézve külső pont, az szakasz felező merőlegesének azon a félegyenesén van, amely -nek -val ellentétes oldalára esik, az utóbbinak pontjai pedig -tól távolabb vannak, mint -től.) Ezek szerint a keresett mértani helyet és ennek -ra való tükörképe adja, vagyis az egyenes tulajdonságú , pontjaiban , ill. -re állított merőlegeseknek azok a félegyenesei, amelyek -nek -t tartalmazó partján vannak. és a mértani helynek csupán tágabb értelemben vett pontjai. Megjegyzések. 1. megállapítása után ‐ ahol a szakaszok iránya is megegyező ‐, vizsgálatunkat így is befejezhetjük: eszerint , másrészt , ennélfogva , azaz állandó, tehát bármely -be -ből ugyanaz az irány mutat. Így azonban még hátra van ennek az iránynak a meghatározása. 2. Többen pontos rajzú próbák nélkül azt a pusztán szabadkézi vázlatra alapított sejtésüket próbálták igazolni, hogy a mértani hely kör, hiperbola, hiányos parabola, vagy két kotangens-görbe. A versenyzők nagyobb része a koordináta-geometria módszereivel kereste a mértani hely egyenletét, gyakran elég bonyolult számításokkal, a szakaszfelmérést egyenes és kör metszésének tekintve, ami két lehetőséget ad -re, a helyes irány megválasztása pedig diszkussziót igényel. Alább egy ezt a lépést kikerülő, részben koordináta-geometriai megoldást adunk. II. megoldás: Válasszuk -et -, és a rá -n át húzott merőlegest -tengelynek úgy, hogy ordinátája legyen, és legyen a kezdőpont , továbbá és az -tengely metszéspontja . Tekintsük egyelőre azokat a -ket, amelyek az -tengelyt pozitív abszcisszájú -ben metszik, és jellemezzük helyzetét azzal a pozitív hegyes szöggel, amellyel körül az -tengelyhez képest el van fordulva. Így , koordinátái: , és a felmérendő szakasznak az -tengelyre való vetülete , az -tengely irányára pedig .
E szakasz előírt felmérését helyettesíthetjük körüli -os elforgatásával és -nak -be való eltolásával. Így az elforgatott vetületei , irányára , , és az eltolás után koordinátái: , . (, pontjainak ordinátája , ill. , ennélfogva -nek felé való felmérése -re pozitív ordinátát ír elő; valóban , mert . A keresett mértani hely eddig tekintetbe vett részének egyenletét koordinátáiból a paraméter kiküszöbölésével kapjuk: | | és ehhez járul helyett az , azaz megszorítás. Ez félegyenes egyenlete, amely az tengelyt az abszcisszájú pontban metszi (itt a kezdőpontja) és amely merőleges -re, mert iránytangense . Hasonlóan kapjuk az -tengelyt negatív abszcisszájú -ben metsző egyenesekre és -ból -re: , (itt a elfordulása -tól a negatív forgási irányban). Eszerint abszcisszája az előbbinek -szerese, ordinátája változatlan, ez az -tengelyre való tükrözést jelent, ennélfogva a mértani hely hiányzó része az eddigiből az -re -n át húzott merőlegesen való tükrözéssel áll elő. Megjegyzések. 1. A fentiekben nem ,,tiszta'' koordinátageometriai módszerrel dolgoztunk, több lépést elemi, ill. trigonometriai úton végeztünk. 2. -nek a -re merőlegesen való felmérésével adódó pontot megkaphatjuk a merőleges és a -ből (rá merőleges) nagyságú eltolással előálló egyenes metszéspontjaként is. Így azonban mindegyik említett egyenes egyenletét fel kellene írnunk, és többet kellene számolnunk. Az ,, felé'' való eltolás révén a -vel az -ból lemetszett szakasz -ről -ra növekszik. 3. feladat: Egy konvex hatszög csúcsai egy kör , , átmérőinek végpontjai, és a körnek a hatszög csúcsaitól különböző pontja. Legyenek -ből az , , , , , oldalra bocsátott merőlegesek talppontjai rendre , , , , , . Bizonyítandó, hogy a hatszögnek bármelyik két egymás utáni oldala derékszöget alkot, továbbá, hogy a , szakaszok felező pontjai és egy körön fekszenek. I. megoldás: A hatszög bármelyik két egymás utáni oldalát ‐ három egymás utáni csúcsát ‐ az hatszög három egymás utáni oldala ‐ négy egymás utáni csúcsa ‐ határozza meg; és az első és a negyedik csúcs egy átmérőnek két végpontja.
Ezért az állítás első részében elég azt bizonyítanunk, hogy ha , , , ebben a sorrendben egy körnek egymástól különböző pontjai, a -ban átmérő, és egy a -n fekvő -ből az , , egyenesekre bocsátott merőlegesek talppontjai rendre , , , akkor és egymásra merőlegesek. Evégett megmutatjuk egyrészt, hogy egy bizonyos helyzetében és merőlegesek, másrészt hogy ha elmozdul a -n, akkor és egymással megegyező irányban ugyanakkora szöggel fordulnak el. (, , és sorrendje megfelel konvexségének.) Valóban, -ként az -en átmenő átmérőnek másik végpontját véve az -be, az -be esik, így , és ez a feltevésnél fogva derékszög.
Legyen az (előjellel vett) hajlásszöge -nek attól a élegyenesétől mérve, amely -nek ugyanazon partján van, mint . Az , , , pontok bármely helyzetében húrnégyszöget határoznak meg, ebből látható, hogy mindig egyenlő a szöggel, de avval ellentétes irányú: . Eszerint ha a helyzetből -be megy át, akkor a megfelelő -nek -be való elfordulási szögét és párhuzamossága folytán az különbség adja, és erre , vagyis elfordulása egyenlő, de ellentétes irányú elfordulásával. (Ez nem a -n fekvő -re is érvényes.) ‐ Eredményünk alapján egy -ből szerkesztett -nek egy -ből szerkesztett -hez képest való elfordulási szöge is kiadódik: , ahol és a szög megfelelő két értékét jelöli. ‐ Most már két helyzetének -n -t és -t véve , eszerint , vagyis , a , -hoz képest valóban ugyanannyival és ugyanazon irányban fordulnak el, és ezért , derékszög, amit bizonyítani akartunk.
mindegyik szemben fekvő oldalpárja egymással párhuzamos, mert végpontjaik, mint két átmérő végpontjai, egy téglalapnak a csúcsai; ezért a -ből rájuk bocsátott merőlegesek azonosak, így pl. a , , ponthármas egy egyenesbe esik. Ezért a szakasz felezőpontja egyrészt -on fekszik, másrészt az téglalapnak az -re merőleges tengelyén, amely -nak átmérője, tehát -ból az sugár derékszögben látszik, az átmérőjű Thalész-körnek pontja. (Az utóbbi akkor is áll, ha éppen -be esik.) Ugyanez áll a , szakaszok , felezőpontjára. Ezzel bebizonyítottuk az állítás második részét, és egyben a szóban forgó második kört közvetlen kapcsolatba hoztuk -val és -vel. II. megoldás: A hatszög oldalainak merőlegességét a következőképpen is igazolhatjuk. Elegendő -nek a íven felvehető helyzeteire szorítkozunk mert -nek nincs kitüntetett oldala, így a betűzés megváltoztatásával mindig elérhetjük az említett helyzetet. Másrészt elég az egymást , , , -ban metsző oldalakra megmutatni, hogy merőlegesek egymásra, mert csúcsait fordított sorrendben betűzve ( helyére rendre -t írva) és valamint és felcserélődnek. mint a háromszög magasság talppontja az oldal -n túli meghosszabbításán van, mert a szög tompaszög, szárai között -nak a és pontokat tartalmazó, és ezért félkörnél nagyobb íve fekszik; hasonlóan a oldal -n túli meghosszabbításának pontja. Ezekből a betűzés megfordításával kapjuk, hogy , a , oldalnak -n, -n túli meghosszabbításán van. viszont a és a szakaszon fekszik, mert a , háromszögekben -nél és -nél, és -nál hegyes szögek vannak. Eszerint a -höz viszonyítva a , , -nál fekvő (-nál kisebb) szögek terében fekszik, és a -nél, -nél fekvő egyik-egyik külső szög terében, ezért a szög révén két szög különbségeként írható: a , , -nál fekvő szögek pedig , , -mal két szög összegére bonthatók, pl. . Folytatólag a és ,,talpponti'' húrnégyszögek, majd a ,,-beli'' húrnégyszög révén (mivel bármelyik szög egyenlő a szemben fekvő szög külső szögével) , és ez feltevésnél fogva derékszög: a átmérő látószöge a -n fekvő pontból. ‐ Majdnem ugyanígy halad a bizonyítás a többi három szög esetében is. A megkezdett példát folytatva: , ami derékszög. (Olyan, a szereplőkkel egyenlő szögekre térünk át, melyek csúcsaival vannak meghatározva, majd amelyeknek csúcsuk és egyik száruk közös, és így összegük egyetlen szögként írható.) Ezzel az állítás első részét bebizonyítottuk. III. megoldás: Megmutatjuk, hogy -nek egy oldala a tőle számított második oldallal párhuzamos, és a harmadikra merőleges; ebből már következik, hogy a második és a harmadik oldal egymásra merőleges, vagyis az állítás első része igaz. Valóban, egyrészt pl. párhuzamos -vel, mert egyenlő szöget alkotnak a (másképpen ) félegyenessel: továbbá és a egyenesnek ugyanazon partján feküsznek. Másrészt merőleges -re. Ugyanis a -nál derékszögű és a -nál derékszögű háromszögek hasonlók, mert -nél fekvő hegyes szögeik és merőlegessége folytán egymásnak pótszögei; a háromszög egy szögű forgatva nyújtással áll elő -ból (megfelelők azok a csúcsok, amelyek a két felsorolásnak ugyanannyiadik tagjai). Ugyanez érvényes a -nél, -nél derékszögű és háromszögekre is, és így a , , négyszögekre is, mert a hasonlóság aránya mindkét esetben ugyanaz: a , átfogók aránya. Így is -os forgatva nyújtással áll elő -ből (ez többet is mond annál, mint amit állítottunk), ennélfogva merőleges -re. Megjegyzés. Egyenesek párhuzamosságára támaszkodik a következő bizonyítás is. Legyen és a egyenes második közös pontja . Ekkor , eszerint párhuzamos -vel. Hasonlóan , így a szög egyállású a szöggel, ez pedig derékszög. |