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. Nevezzük tulajdonságúnak a háromszöget, ha beírt körének középpontja egyenlő távolságra van (legalább) két oldalfelező ponttól. Minden egyenlő szárú háromszög nyilvánvalóan tulajdonságú, a kérdéses oldalak szerepére a szárakat véve. Másrészt könnyű adni különböző oldalú, tulajdonságú háromszöget is: ilyen a jól ismert, ún. ,,egyiptomi'' derékszögű háromszög, melynek két befogója és , átfogója egységnyi (1. ábra). 1. ábra Ugyanis beírt körének sugara az ismert képlet szerint egység, része a hosszabbik befogónak, ezért középpontja rajta van a egységnyi befogó és a vele párhuzamos középvonal közti sáv szimmetriatengelyén, a és egységnyi oldalak felezőpontjai pedig egymás tükörképei e tengelyre nézve, mert összekötő egyenesük párhuzamos a egységnyi befogóval, tehát merőleges a tengelyre; így ez a két felezőpont egyenlő távolságra van a kör középpontjától. Már ez az egyetlen ellenpélda elég ennek kimondásához: a feladatban megadott tulajdonságból nem következik, hogy a háromszögben van két egyenlő oldal. Ezzel a feladat kérdésére megadtuk a választ.
II. megoldás. Ha egy háromszög eleget tesz a feladatban leírt követelménynek, válasszuk úgy a betűzését, hogy beírt körének középpontjától az és csúccsal szemben fekvő oldal , ill. felezőpontja legyen egyenlő távolságra, legyen továbbá a kör érintési pontja az oldalon , ill. . Az és derékszögű háromszögek és alapján egybevágók, és így (2‐4. ábrák):
2. ábra 3. ábra 4. ábra E két szakasz kifejezhető az szakasszal, közös hosszuk, mint ismeretes, , -vel és -vel, ha tudjuk, hogy és , valamint és közül melyik van közelebb -hez: | | | |
A 2‐2 lehetőség -féleképpen állítható párba. Mindkétszer az alsót, vagy mindkétszer a felsőt véve: amiből , a háromszög egyenlő szárú (magas, ill. lapos, 2‐3. ábrák); ha pedig -re a felső, -re az alsó lehetőséget vesszük (amiből , hiszen köztük levő érték): | | (1) | (a hátra levő 4. párba állítás ugyanerre vezet, de adódik, az egyenrangú szerepet játszó betűk fölcserélődnek, ez tehát nem lényegesen különböző eset), azaz a feltevésbeli -ben nem szereplő oldal a másik kettőnek számtani közepe (és ). Fenti meggondolásunk megfordításával könnyen belátható, hogy (1)-ből is következik, hogy . Abból tehát, hogy a beírt kör középpontja egyenlő távolságra van két oldal felezőpontjától, nem következik, hogy a háromszög egyenlő szárú, csak annyit mondhatunk, hogy ebben az esetben a háromszög vagy egyenlő szárú, vagy az egyik oldal a másik kettő számtani közepe. (Szabályos háromszögeknél e kettő persze egyszerre teljesül.) |