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. Legyen az húrnégyszög köré írt kör egy pontja . Ha egybeesik egy csúccsal, az egyenlőség nyilvánvalóan helyes, mindkét oldalán 0 áll. Más esetben választhatjuk a betűzést úgy, hogy a , pontokat nem tartalmazó körív belső pontja legyen. Legyen vetülete az oldalegyenesen rendre , és , , , . Megmutatjuk, hogy az és négyszögek hasonlók (1. ábra), csúcsaik a felsorolás rendjében felelnek meg egymásnak. Ha ez fennáll, akkor többek közt első és utolsó oldalaik aránya egyenlő: ami egyértelmű a feladat állításával. Két négyszög hasonló, ha bármelyik megfelelő átlójukkal háromszögekre bontva a rész‐háromszögek páronként hasonlók. Ez teljesül, ha egymás utáni szögeik egyenlők, továbbá egy‐egy megfelelő csúcsukban az átló a megfelelő oldalakkal egyenlő szögeket zár be, ‐ így ugyanis minden további megfelelő csúcspárban is fennáll az átló és az oldalak közti szögek egyenlősége.
1. ábra Az 1. ábrán a és négyszögekben a , , ill. a , csúcsnál derékszög van, az -nál levő szög az négyszög külső szöge, a -nél levő szög pedig az négyszögnek is szöge, így ezek is egyenlők, mert a négyszög húrnégyszög. Így a két négyszög -nél levő szögei is egyenlők. Az előbbi meggondolást az húrnégyszögre ismételve , és így . Ezzel az állítást a bemutatott helyzet esetére bebizonyítottuk.
Szentiványi Béla (Budapest, Rákóczi F. g. II. o. t.)
2. ábra Megjegyzés. A 2. ábra helyzetében az és az négyszög hurkolt. A hasonlóság ezekre is fennáll. Itt a négyszög szöge azonos az négyszög szögével, viszont az és négyszögek -nél levő szögei kiegészítő szögek.
3. ábra
4. ábra A fenti helyzetben is felhasználtuk, hogy a és a szögek egyike az négyszögnek belső szöge, a másika pedig külső szög. Könnyű belátni, hogy nincs számára olyan helyzet, hogy a mondott szögek mindegyike belső szög, sem olyan, hogy mindkettő külső szög. Ugyanis mialatt -et -tól -ig mozgatjuk a -t nem tartalmazó íven (3. ábra), addig marad -nak ugyanazon oldalán, míg át nem lépi azt a pontot, ahol az -re -ban emelt merőleges metszi a mondott ívet. Az is lehetséges, hogy mindig ugyanazon oldalán adódik -nak, ha ti. nem tartozik hozzá a mondott ívhez (4. ábra). a -ből kiinduló átmérő végpontja, és itt metszi a kört a -ben -re emelt merőleges is, ezért szintén akkor lépi át -t, amikor átlépi -t, vagy pedig egyáltalán nem lépi át -t. Állításunk most már közvetlenül belátható a 3‐4. ábrákról, amelyek , , és kölcsönös helyzetének minden lehetséges típusát bemutatják ( és ugyanis a vizsgált szempontból felcserélhetők); a és számára szóba jövő körív vastagon van rajzolva. Ha végül azonos -vel (5. ábra), akkor , , , és a feladat állítása a és derékszögű háromszögek hasonlóságából következik.
5. ábra |