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. Segédtételként előre bocsátjuk a következő megállapítást: Ha két derékszögű háromszögben az egyik befogó ugyanakkora, és a két háromszög nem egybevágó, akkor ugyanabban a háromszögben található a másik befogóknak és az átfogóknak nagyobbika az egyenlő befogókkal szemközti szögeknek pedig kisebbike. Ennek belátására fektessük egymásra a két háromszöget úgy, hogy derékszögeik és egyenlő befogóik fedjék egymást (1. ábra). 1. ábra Az egyiknek befogója túlnyúlik ebben a helyzetben a másiknak befogóján, hiszen a háromszögek nem egybevágók. A keletkező tompaszögű, s ezért . Ugyanennek a háromszögnek külső szögére vonatkozólag viszont adódik. 2. ábra Tekintsük most már az trapéz alapján nyugvó szögeket (2. ábra), és legyen A és csúcsot az egyenesre vetítve a és pontokhoz jutunk. Bizonyítanunk kell az egyenlőtlenséget. Elegendő ehhez az egyenlőtlenséget bizonyítanunk. Ha ugyanis , akkor segédtételünket az és háromszögekre alkalmazva (3)-ból (2) adódik. Ha viszont és azonos, akkor , és így (2) abból adódik, hogy az derékszögű háromszög átfogója a befogónál hosszabb. (3) bizonyításánál a és szög minőségének megfelelően három esetet különböztetünk meg. 1. Ha mindkettő hegyesszög, akkor segédtételünket az és háromszögekre alkalmazva (1) alapján adódik, és az ezeket -re kiegészítő szakaszokra (3) érvényes. 2. Ha mind a két szög tompaszög, akkor ismét az és háromszögekre alkalmazzuk segédtételünket. Most azonban , mert ezek az (1)-ben szereplő szögeknek kiegészítő szögei. A segédtétel alapján tehát , és ezeket -vel megnövelve (3) adódik. 3. Ha és , akkor az egyenesen az irányban haladva nem lehet előtt, és nem lehet előtt. Az szakasz tartalmazza tehát a szakaszt. Ez utóbbi nem lehet -vel azonos sem, mert (1) miatt nem lehet mind a két szereplő szög derékszög. A részként tartalmazott szakasz hosszára tehát teljesül a (3) egyenlőtlenség. II. megoldás. Növeljük meg az trapéz alapján nyugvó kisebbik, -ét akkorára, amekkora a . Így az egyenlő szárú trapézhez jutunk (3. ábra), melynek átlói a szimmetria miatt az szakasz felezőmerőlegesén metszik egymást. 3. ábra Ezt az metszéspontot -vel összekötő szakasz a felezőmerőlegesnek azon az oldalán van, amelyiken a pont. Ugyanezen az oldalon van tehát az eredeti trapéz átlóinak metszéspontja is, hiszen a pont az szakasz belsejében van, és a -ből az adódik, hogy metszi az szakaszt. Minthogy az szakasz felezőmerőlegese által meghatározott félsíkok közül a pontot tartalmazónak pontjai közelebb vannak -hez, mint -hoz, ez áll a pontra, azaz Az és hasonló, mert szögeik páronként csúcsszögek, ill. váltószögek. A bizonyított egyenlőtlenség következményeként tehát Egyenlőtlenségeink összegezésével a bizonyítandó egyenlőtlenséget kapjuk.
III. megoldás. Az trapéz alapján nyugvó kisebbik szög növelésével egyenlő szárú trapézhez jutunk (4. ábra). E trapéz szimmetria‐tengelye az szakasz felezőmerőlegese. Minthogy ennek a felezőmerőlegesnek azon az oldalán van, amelyiken a felezett szakasz végpontja, azért . A szimmetria folytán . A és háromszögek -nél fekvő szögei egymást -ra egészítik ki, ezért e szögeknek valamelyike vagy hegyesszög vagy tompaszög. Minthogy a tompaszöggel szemben a háromszögnek legnagyobb oldala helyezkedik el, a két háromszögnek valamelyikéből az következik, hogy kisebb a és szakaszok valamelyikénél, tehát kisebb e szakaszok nagyobbikánál, az -vel egyenlő szakasznál.
IV. megoldás. Az trapézt, az átlón nyugvó kisebbik szöget növelve, szimmetrikus trapézzé egészítjük ki (4. ábra). 4. ábra A háromszög külső szögére vonatkozó egyenlőtlenség szerint a szimmetria miatt pedig Így tehát a -ben -nél nagyobb szög helyezkedik el, mint -nél, mert a része az -nek, amelyről beláttuk, hogy -nél kisebb. Minthogy egy háromszögben nagyobb szöggel szemben nagyobb oldal van, így . Ezzel a feladat állítását bizonyítottuk, hiszen a szimmetria miatt . Ez a megoldás szerepel a Mathematikai versenytételek, I. rész (Középiskolai szakköri Füzetek, Tankönyvkiadó, 1955) 70. oldalán. |