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. Megoldás. Először belátunk egy segédállítást. Az háromszögben a -ből induló súlyvonal az oldalt -ben metszi, a háromszög köré írt kört pedig -ben (1. ábra). Azt állítjuk, hogy ha az , és , tehát az és háromszögek hasonlóak, akkor az konvex négyszög húrnégyszög.
1. ábra Az háromszög köré írt körben az körív pontjaiból az szakasz szög alatt látszik. Mivel az , emiatt a pont is rajta van ezen a köríven. Tehát az négyszög húrnégyszög, és ekkor az is igaz lesz, hogy , mert ezek a húrhoz tartozó kerületi szögek. Ezután térjünk át a feladat állítására. Rajzoljuk meg az háromszögben az -ból és -ből induló magasságvonalakat, talppontjuk , illetve (2. ábra). A -ből induló súlyvonal -t -ben metszi, az felezőpontja legyen , valamint az és metszéspontja legyen . Ha , akkor ‐ mivel a háromszög hegyesszögű ‐ rajta van az szakaszon, ezért . Legyen , és .
2. ábra Most azt látjuk be, hogy ha , tehát , akkor . Megmutatjuk, hogy ekkor . Mivel a szög , az szög , tehát az , emiatt a . Mivel az , a Thalész-tétel miatt és rajta van azon a körön, melynek középpontja , és a sugara . Emiatt az négyszög húrnégyszög, tehát . Ezért a . Ekkor az , és , tehát a és háromszögek hasonlók. Így alkalmazhatjuk a segédállítást, vagyis az négyszög húrnégyszög. Emiatt az , tehát igaz, hogy ha , akkor . Végül pedig azt bizonyítjuk be, hogy ha , akkor , és mivel a háromszög hegyesszögű, . Az előző esethez hasonlóan számolva , az , és a . Mivel az , ezért az négyszög húrnégyszög. Ekkor az , és az Tudjuk, hogy az négyszög húrnégyszög. Tehát az vagyis az . Ekkor az és háromszögekben a megfelelő szögek megegyeznek, a oldal pedig közös, tehát ez a két háromszög egybevágó, emiatt , ezért . Tehát valóban a pontosan akkor derékszög, ha . |