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. Az háromszögbe írt négyzet és csúcsa legyen a egyenesen, és pedig a , illetőleg egyenesen. Megmutatjuk, hogy a beírt kör középpontja nem lehet az , , háromszögek egyikében sem. Mivel a középpont a belső szögfelezők metszéspontja, állításunk könnyen adódik a következő segédtételből.
Ha egy háromszög -nél és -nél levő szöge nem tompaszög, és az oldalra, annak ellenkező oldalán, mint amelyiken a háromszög van, négyzetet rajzolunk, továbbá a csúcson át egy egyenest húzunk, amelyik nem metszi a négyzetet, akkor az szög felezőjének a háromszögbe eső minden pontja messzebb van -től, mint a , egyenesektől. A ötszög a háromszög szögeire tett feltevés folytán konvex, így az egyenes teljesen rajta kívül fekszik, tehát -t bármely pontjával összekötő szakasz metszi az ötszög kerületét, tehát hosszabb valamelyik ötszögoldaltól való távolságnál. Ezek között viszont a , oldalaktól való (egyenlő) távolság a legkisebb, mert az , oldalakra bocsátott merőleges metszi -t, illetőleg -t, tehát hosszabb a megfelelő oldaltól való távolságnál, a oldaltól való távolság viszont nagyobb a négyzetoldalnál, míg a , -től való távolság nem nagyobb, mint a szögfelező és az oldal metszéspontjának távolsága ezektől az egyenesektől, az pedig nem nagyobb a , kisebbikénél, s így nem nagyobb a négyzetoldal felénél. Segédtételünk alkalmazható az , , háromszögekre, ha az és nem tompaszög, mert ekkor az háromszög -nél és -nél levő szöge , illetőleg , tehát nem tompaszög. A és háromszög, ha nem válik egyenesszakasszá, akkor derékszögű, és a közös oldalnak ellenkező oldalán van, mint a négyzet. Így a beírt kör középpontja nem lehet a szögfelezőknek a négyzeten kívüli részében, tehát a négyzetbe kell hogy essék.
Megjegyzés. Csak a négyzetoldalak melletti szögekről használtuk ki hegyesszög voltukat, így ha a beírt négyzet két csúcsa a legnagyobb oldalon van, az állítás minden háromszögre érvényes. Az állítás érvényessége a további megoldások bizonyításaiból is adódik, a III. megoldás esetében a megjegyzésbeli kiegészítéssel.
II. megoldás. Az előző megoldás jelöléseit használva azt mutatjuk meg, hogy mindegyik szögfelező a négyzet két szemközti oldalát metszi. Ebből következik, hogy a -ből, illetőleg -ből húzott szögfelező a , illetőleg szakaszon metszi a szemközti oldalt, így mindkettőnek a háromszögbe eső szakasza benne van a trapézban, a harmadik szögfelezőnek a háromszögbe eső szakaszát viszont az ötszög tartalmazza, így metszéspontjuk a mindkét idom által fedett síkrészben, tehát a négyzetben van.
A három háromszög esetét ismét együtt tárgyalhatjuk. A háromszög -nél és -nél levő szöge ne legyen tompaszög, rajzoljunk az oldalra, annak ellenkező oldalán, mint amelyiken a háromszög van, négyzetet, és az szög felezőjének egy pontja legyen . A feltételekből következik, hogy és az szögtartományban van. A szögfelező pontjai egyenlő távol vannak a és egyenestől, az szögtartomány pontjai az szárhoz, az tartományéi az szárhoz vannak közelebb. Az pont távolsága a egyenestől kisebb -nél, tehát a négyzet oldalánál. Másrészt az szögtartományban van, tehát a belőle -re bocsátott merőleges metszi az vagy egyenest, s így már a négyzetbe eső szakasza legalább akkora, mint vagy , tehát mint a négyzet oldala. Így az szögtartományban van, és ugyanígy látható, hogy az szögtartományban van. Így a szögfelező az szögtartományban van, tehát metszi az szakaszt, másrészt az szakaszt is, tehát a négyzet két átellenes oldalát. Ezt akartuk bizonyítani.
Megjegyzés. Felhasználtuk azt, hogy az szögtartományban levő pont közelebb van -hez, mint -hez. Ezt így láthatjuk be: Legyen vetülete a , illetőleg egyenesen , illetőleg , az -n át -rel párhuzamos egyenes metszéspontja a szögfelezővel , és ennek vetülete -en és -en és . Ekkor egyrészt az téglalapból, és mert a szögfelezőn van, . Másrészt az hegyesszög (vagy ), mert vagy fut a derékszögű szögtartományban (ha ), vagy az szögtartomány tartalmazza -t. Így az derékszögű trapézban (ami egyenesszakasszá is lapulhat) , és ezt akartuk bizonyítani.
III. megoldás. Hegyesszögű háromszögre bizonyítjuk az állítást a feladat szövegének megfelelően, az előző megoldás segédtételére adva új bizonyítást, ha szög hegyesszög. Először azt az esetet vizsgáljuk, ha a háromszög -nél derékszögű. Messe a -ből húzott szögfelező az egyenest -ben. A háromszög egyenlő szárú, mert . Így , vagyis az oldal -n túli meghosszabbításán van. A szakasz tehát az egymással szemben levő és oldalakat metszi.
Ha -nél és -nél hegyesszög van a háromszögben, akkor rajzoljuk meg a háromszög köré írt kört. A -ből húzott szögfelező ezt a -t nem tartalmazó ív felezőpontjában metszi. Messe és meghosszabbítása a kört másodszor -ben, illetőleg -ben. Mivel a háromszög hegyesszögű, a rövidebb íven van. Az és felező egyenese is átmegy -n, és az előbbi szerint közrefogja a szögfelezőt. Az első két szögfelező a föntebb tárgyalt speciális esetből adódóan a szakaszt metszi, tehát a köztük levő szögfelező is, és ezt akartuk bizonyítani.
Megjegyzés. Ha , akkor pl. abból adódik a segédtétel helyessége, hogy nincs messzebb -tól, mint -től, s így rá vonatkozó tükörképe a ellenkező oldalán van, mint , és azzal együtt az és egyenesek közt fekszik. IV. megoldás. Mozgassunk egy -vel párhuzamos egyenest a oldaltól felé, és bocsássunk az és oldallal való és metszéspontból minden helyzetben merőlegest -re. A keletkező beírt téglalap oldala a rá merőleges oldal növekedésével állandóan csökken. Amig elválasztja a beírt kör középpontját és a oldalt, addig a téglalap magassága legfeljebb a beírt kör sugarát érheti el, viszont alapja nem kisebb az -n átmenő egyenes háromszögbe eső szakaszánál, ami nagyobb -nál. A beírt négyzet tehát ezek közt a téglalapok közt nem szerepel.
Tovább mozgatva -t, a téglalapok mindaddig tartalmazzák -t, míg az az egyik -re merőleges oldalra nem kerül. Tartozzék ehhez a helyzethez a téglalap, és essék pl. az oldalra. Ekkor , viszont , ugyanis az és oldalak érintkezési pontja a körrel az , ill. szakaszok meghosszabbításán van (hiszen közelebb van -hez, mint ), a egyenes pedig a szögtartományban halad, ha szög és szög nem tompa, így van közös pontja a körrel, tehát annak -re merőleges sugarával is. Így ez a téglalap sem négyzet, sem azok, amelyek -nek felé történő továbbmozgatásával keletkeznek. Az háromszögbe beírt, oldalon nyugvó négyzetnek ezek szerint az -t belsejükben tartalmazó téglalapok közt kell lennie.
Megjegyzés. A többi megoldásból is kiolvasható, amit itt kimondtunk, hogy a négyzet a kör középpontját belsejében tartalmazza. Az utolsó megoldás azt is adja, hogy a háromszögbe beírt fél-négyzetek ‐ akár a -n nyugvó oldal fele a másiknak, akár a rá merőleges oldal ‐ szintén belsejükben tartalmazzák a beírt kör középpontját. Ez könnyen leolvasható az első megoldásból is. |