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: A feltevések folytán az ponthoz tartozó átmérővel kettévágott kör azon félkörének belsejében van, amelynek ívén fekszik. a) Tulajdonképpen csak az szögtartományban fekvő pontokra kell bizonyítást adnunk, mert az húrral lemetszett kisebb körszeletben levő pontokra az állítás magától értetődő, hiszen ilyenkor és az egyenes ugyanazon partján vannak, és ezért az szög része az szögnek (1. ábra).
1. ábra Másképpen: ilyen esetekben a félegyenes benne van az szögtartományban. b) Ugyanez áll akkor is, ha az húron van, mert ilyenkor az szög bármelyik irányú forgással , az szög pedig kisebb. c) Ha az szögtartományban van, akkor szétválasztja -t és -t. (2. ábra).
2. ábra Tükrözzük -re az szöget, legyen az pont tükörképe . Ekkor elegendő azt igazolnunk, hogy az szög része az -val egyenlő szögnek. ‐ Messe az egyenes -t másodszor -ban. Így egyrészt az és szögek egyenlők, mert -nak a száraik közti , ívei egyenlők, másrészt a tükrözés folytán az és szögek egyenlők, és ezért és egyenesen van, továbbá , tehát a húr belső pontja. Így pedig a félegyenes valóban az szögtartományban van. A fentiekben az állítást minden lehetséges helyzetére igazoltuk. Megjegyzések. 1. Nem használtuk fel, hogy az -fel felezett ív kisebb félkörnél, ezért az állítás bármekkora ívre érvényes. 2. A bizonyítás a) részében nem használtuk fel, hogy a -n belül van, így meggondolásunk az szögtartomány -n és rajta kívül fekvő I. része minden pontjára érvényes (az 1. ábrán ), úgyszintén a szakasz -en túli meghosszabbításának pontjaira is, mert így a és félegyenesek egybeesnek, szögük 0. Az I. síkrész másik határoló félegyenesén, a szakasz -n túli meghosszabbításán levő pontokra viszont a két kérdéses szög azonos. Kézenfekvő most már legalább vázlatosan áttekinteni a kérdéses szögek nagyságviszonyát minden az (1)-et teljesítő pontra. Ha kilép I-ből -nak -n túli meghosszabbításán át, de nem lépi át -t (II. síkrész, ), akkor a félegyenes kilép az szögtartományból, része -nek, (2) iránya ellentétesre fordul. Ugyanez adódik a III. síkrészben, vagyis ha az szögtartománynak -n kívüli pontja (a 2. ábrán ), mert ilyenkor a c) alatti pont és közé esik, és így .
3. ábra Végül a IV. síkrészben választott -tal a íven adódik (3. ábra), ezért , így , itt tehát érvényes (2). ‐ Most már a követelmény mellett a megfelelő síkrészek határvonalait -re tükrözéssel kapjuk, így a 3. ábra csíkozott részein a kérdéses szögek közül nagyobb, a világosakon nagyobb, a határvonalakon pedig a két szög ‐ amint az könnyen belátható ‐ egyenlő. (Mezei Ferenc ,,térképvázlata''). A további megoldásokban csak a fenti c) esettel foglalkozunk, ezt 3 alesetre bontjuk fel aszerint, hogy az -nek -fel ellentétes, ill. megegyező partján van ‐ vagyis az utóbbi alesetben az háromszögben ‐ vagy pedig magán az húron. ‐ Mindkét további megoldás Muszély György megoldásainak egyszerűsítése. 4. ábra II. megoldás: c) Ha az -nek -fel ellentétes oldalán van (4. ábra), akkor a kérdéses és szögek a kisebb szögnek részei. Az , , pontokon átmenő kör -t nem tartalmazó, vagyis -n kívül levő ívének felezőpontja az egyenesnek -fel egyező oldalára, vagyis -nek -en túl való meghosszabbítására esik. Így az szögtartományban van, pedig az szögtartományban. Ámde felezi a kisebb szöget, ennélfogva az szög szöggel nagyobb, az szög pedig ugyanennyivel kisebb az szög felénél, ez megfelel az állításnak. 5. ábra c) Ha az -nek -fel egyező oldalán van (5. ábra), akkor az , , pontokon átmenő kör -t nem tartalmazó, vagyis -n kívül levő ívének felezőpontja az egyenesnek -fel ellentétes oldalára, -nek -n túl való meghosszabbítására esik. A kérdéses és szögek egyenes szögnél nagyobb összegét ebben az alesetben -nek -n túl való meghosszabbítása felezi. A félegyenes -nek -t tartalmazó oldalán van, ezért az szöget osztja részekre. Így az szög nagyobb, pedig kisebb az szögnél. Ezt kellett bizonyítanunk. c) Végül ha az szakaszon van, akkor (2) fennáll, mert tompaszög, pedig hegyesszög. Megjegyzések. 1. A c) aleset meggondolása nem alkalmazható az húrral lemetszett körszeletben felvett -re, mert ilyen esetben a -nál nagyobb szöget hasonlítanók az szöghöz. 2. Lényegében a fenti meggondolást mondjuk el másképpen annak az pontnak a helyzetét tekintetbe véve, ahol a egyenes a , ill. kört másodszor metszi. A c) alesetben (4. ábra) a -re nézve belső pont, ezért egyrészt a szakasz -en túl való meghosszabbításán van, -nek -vel ellentétes, vagyis -vel egyező oldalán. Másrészt a -t nem tartalmazó ívnek pontja. Ezek szerint a (rövidebb) íven van. Így -nek íve hosszabb a ívnél, tehát , vagyis . A c) alesetben (5. ábra) a -re nézve külső pont, ezért egyrészt az szakasz -n túli meghosszabbításán van, -nek -vel egyező, -vel ellentétes oldalán, másrészt az íven. Így a (rövidebb) ívnek pontja, , , ezért , azaz . III. megoldás: A feladat állítása akkor és csak akkor igaz, ha az háromszög és -nél levő (belső) szögeinek összege kisebb, mint a háromszög és -nél levő (belső) szögeinek összege. Ezt fogjuk bizonyítani. Legyen tükörképe -re , így az négyszög konvex trapéz. A c) alesetben az szögtartományban van (6. ábra). 6. ábra Ugyanis és az háromszög belsejében vannak, tehát , másrészt az háromszögből (1) alapján . Ennélfogva Másrészt a szögtartományban van, amely része -nek, ezért Most már (3) és (4) két-két szélső tagjának összeadásával a kívánt egyenlőtlenség adódik. 7. ábra Ha pedig elválasztja -t és -et (7. ábra), akkor egyrészt | | (5) | ez pedig látószöge -ből; másrészt | | (6) | ez pedig látószöge -ből; ekkor ugyanazon oldalán fekszik -nek, mint . ‐ Mármost a háromszög köré írt kör érinti -t -ben, minden más pontja belsejében van, így a -re nézve külső pont. Ezért -nek -ből vett látószöge kisebb az -ből vett látószögénél, azaz (5) és (6) alapján Innen pedig átrendezéssel amit bizonyítani akartunk. |