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. Legyen egy a ponton áthaladó, a -től különböző egyenesnek az szárral való metszéspontja , -vel való metszéspontja (8. ábra). A -ből az -re húzott merőleges talppontja legyen .
8. ábra Hasonlítsuk össze (Pythagoras tétele alapján) a és , továbbá a és szakaszokat. A és derékszögű háromszögekből A és derékszögű háromszögekből nyilvánvalóan Ezek szerint kifejezésében a kisebbítendő kisebb, a kivonandó pedig nagyobb, mint kifejezésében, tehát Ugyanígy a derékszögű háromszögből adódó felhasználásával a , és derékszögű háromszögekből | | (10) |
Megmutatjuk még, hogy a szakaszon, az szakaszon van. Ekkor (8)-at és (10)-et összeadva következik a bizonyítandó egyenlőtlenség: A és helyzetére kimondott állítás így látható be. Az háromszög -nél és -nél levő szöge hegyesszög, így az -re -ben és -re -ben állított merőlegeseknek az oldalegyenesektől a háromszöget tartalmazó félsíkba induló félegyenesei -vel hegyesszöget zárnak be. Így ezeknek a félegyeneseknek a metszéspontja, vetülete, , a szakaszon van, és a egyenes ellenkező oldalán fekszik, mint . Ha az oldal -n túli meghosszabbításán van ‐ amit a továbbiakban mindig felteszünk, mert, ha kell, a betűzés megcserélésével elérhetünk ‐, akkor és a egyenes ugyanazon oldalán van, tehát konvex négyszög; -nél levő szöge, mint a derékszögű háromszög egyik szöge, hegyesszög, -nál levő szöge pedig derékszög, tehát az átló -vel is, -val is hegyesszöget zár be, s így az szakasz belső pontja. Ezzel a bizonyítást befejeztük.
Megjegyzés. A feladat állítása érvényes, akármekkora is a háromszög -nál levő szöge, hiszen csak a és csúcsnál levő szögről használtuk fel, hogy hegyesszögek. Világos, hogy érvényes marad akkor is, ha pl. -nél derékszög van, ekkor ugyanis és egybeesik -vel. Ha viszont pl. -nél tompaszög van, akkor a (11) egyenlőtlenség nem következik (8)-ból és (9)-ből, mert az utolsó két bekezdés meggondolásai nem érvényesek, a szakaszon kívül keletkezik, és valóban lehet kisebb is, nagyobb is, mint .
II. megoldás. Az I. megoldás (7) és (9) egyenlőtlensége szerint az háromszögben a -ből induló oldalak nagyobbak, mint a háromszög megfelelő oldalai. Megmutatjuk, hogy egyrészt , másrészt hogy ebből, továbbá a és szögek hegyesszög voltából következik, hogy a harmadik oldal is az háromszögben nagyobb.
9. ábra A szögekre kimondott egyenlőtlenség igazolására rajzoljuk meg a , , , valamint a , , pontokon áthaladó köröket (9. ábra). az első kör belsejében van, mert a szakasz -ből az szöggel egyenlő szög alatt látszik (merőleges szárú hegyesszögek), -ből pedig ennél kisebb szög alatt. A másik körön viszont kívül fekszik , mert a ív -ből vett látószöge akkora, mint az szög, a -vel egy oldalon levő kiegészítő ív pontjaiból vett látószög pedig nagyobb, mert innen a rész-ív látható ekkora szög alatt. Ezek alapján és a két szélső szöghöz a szöget hozzáadva valóban
10. ábra Az és háromszögek és oldalaira vonatkozó állítás igazolásához úgy forgattuk el a háromszöget körül, hogy a szakaszra essék (10. ábra), a -nél hosszabb oldalt pedig -től rámértük a félegyenesre is, a végpont . Húzzunk most -vel párhuzamost és közül azon a ponton át, amelyik közelebb van -hez (a 10. ábrán az pont az), messe a párhuzamos -t -ben. Mivel , azért nyilvánvalóan Ha az háromszög -nél és -nél levő szöge hegyesszög, akkor a -vel egyenlő szög is hegyesszög, és így kiegészítő szöge, az szög, tompaszög. Ezért Ezt (13)-mal egybevetve Mivel az és háromszögek két-két oldala egyenlő, de közbezárt szögük az előbbi háromszögben kisebb, azért és ezt (14)-gyel egybevetve ; az állítást bebizonyítottuk.
Megjegyzés: A (12) egyenlőtlenség a következőképpen is belátható. Rajzoljunk köröket a és szakaszok, mint átmérők fölé; ezek egymást -ben és -ban metszik. Legyen ezek -tól különböző metszéspontja -fel , illetőleg (11. ábra). -ből az szakasz ugyanakkora szögben látható, mint a szakasz: , mert a szög közös részük, nem közös , illetőleg részük pedig egyenlő a vele egy íven nyugvó , illetőleg szöggel, ha a szakaszon, vagy annak végpontjában van, ‐ az utóbbi szögek viszont csúcsszögek. Ha pedig a szakaszon van, akkor az szög külső szöge az húrnégyszögnek, az rész-szög pedig belső szög a négyszög -val szemben fekvő csúcsánál, tehát a nem közös szög-részek egyenlősége ilyenkor is fennáll.
11. ábra Az szakasz része az szakasznak, az szög része az szögnek, tehát valóban fennáll . (Bizonyítani kellene még az , pontok helyzetéről felhasznált állítást.)
12. ábra III. megoldás. Állítsunk merőlegest -ban -re, és messe ez a egyenest -ben, -t pedig -ben; és merőleges vetülete a egyenesen legyen , ill. (12. ábra). az oldal meghosszabbításán van, ezért a merőleges a derékszögű szögtartományban halad, tehát a háromszög oldalát és a oldal meghosszabbítását metszi, továbbá a szakaszon adódik. Ezért , és egyszersmind és rajta van a átmérő fölötti Thales-körön. A és szögek egyenlők, mint ugyanazon íven nyugvó kerületi szögek, így a és derékszögű háromszögek hasonlók. A két átfogó közül a nagyobb, mert a körnek átmérője, tehát a megfelelő befogókra A -ből még fennmaradt szakasz helyett a nála nagyobb -ről mutatjuk meg, hogy kisebb az -ből fennmaradt -nál. ( a -nél nagyobb is lehet.) Ehhez a és az háromszögeket hasonlítjuk össze. és rajta van az átmérő fölé rajzolt Thales-körön, ezért egyrészt másrészt a két háromszögben az egy íven nyugvó és kerületi hegyes szögek egyenlők. Így a két háromszög hasonló, és az háromszög oldalai nagyobbak, tehát Most már a (15)‐(17) egyenlőtlenségek alapján valóban | |
13. ábra IV. megoldás. A feladat állítása következik abból is, ha megmutatjuk, hogy az háromszög köré írt kör átmérője nagyobb, mint az háromszög köré írt kör átmérője (13. ábra), hiszen nagyobb körben ugyanakkora kerületi szög ‐ ti. a szög ‐ nagyobb húr felett nyugszik. A kör átmegy -n is, és a kör egy átmérője, mert az négyszögben a és csúcsnál derékszög van. Elég tehát belátnunk, hogy a kör belsejében van, hiszen ekkor -nek van átmérőjénél nagyobb húrja, ezért átmérője nagyobb, mint átmérője. valóban belsejében van, mert (8) alapján | | és az szakasz a kör (-t nem tartalmazó) ívének pontjaiból látszik szög alatt. Ennél nagyobb szög alatt az szakaszt csak a kör belső pontjaiból lehet látni. Ezt akartuk bizonyítani. Ugyanis az szakasz -n átmenő felező merőlegesének ugyanazon oldalára esik és . |