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. Legyenek az adott háromszög csúcsai , , , oldalai , , , beírt körének sugara . Az adott kör sugara legyen , középpontja , az pontnak a háromszög oldalaitól való távolsága pedig rendre , , .
1. ábra Ekkor a , , távolságok mindegyike legfeljebb akkora, mint az , mert az adott körnek a háromszög mindhárom oldalegyenesével van közös pontja. Az , és ‐ esetleg elfajuló ‐ háromszögek területének összege vagy megegyezik az háromszög területével (ha az háromszög belső pontja), vagy nagyobb annál (ha a háromszögön kívül található). Ezek alapján
Ebből pedig adódik, ami éppen a bizonyítandó állítás. Megjegyzés. Az is látható (1)-ből, hogy csak akkor teljesül, ha az adott kör megegyezik a háromszög beírt körével. II. megoldás. Használjuk az előző megoldás jelöléseit! Tekintsük az adott körnek a háromszög oldalával párhuzamos két érintőjét. Mivel a körnek az oldallal van közös pontja, ezért e két érintő közül legalább az egyik olyan, hogy az egyenes által meghatározott két zárt félsík közül ahhoz is hozzátartozik, amelyhez a pont nem. (Ha az adott kör ,,kívülről'' érinti a háromszög oldalát, akkor mindkét érintő ilyen, egyébként pedig csak az egyik.) Jelöljük az ilyen érintőt ‐ ha mindkettő ilyen, akkor a -től távolabb levőt ‐ -vel, és hasonlóan vegyük fel az és egyeneseket is.
2. ábra Ekkor az , és egyenesek olyanok, hogy az általuk meghatározott félsíkok közül ugyanazokban található az háromszög és az eredetileg adott kör. Az ezen egyenesek által meghatározott háromszögnek beírt köre az adott sugarú kör, továbbá a belsejében tartalmazza a hozzá az oldalak párhuzamossága miatt hasonló háromszöget. Ezért az háromszög beírt körének sugara legfeljebb , és ezt akartuk bizonyítani.
|