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. Kocsis Albert Tihamér megoldása. Először azt látjuk be, hogy ha húrnégyszög, akkor . Legyen és a kör metszéspontja , és a kör metszéspontja pedig (1. ábra).
1. ábra , az ívekhez tartozó kerületi szögek egyenlők, így és az felező merőlegesére tükrösek. Ekkor a és a egyenesek is tükrösek erre a felező merőlegesre, a metszéspontjuk, tehát rajta van az felező merőlegesén és így valóban . A megfordításhoz legyen . Belátjuk, hogy a feladat feltételei mellett húrnégyszög. Először egy segédtételre lesz szükségünk: Ha adott egy háromszög és a síkjában egy pont, akkor a háromszög csúcsait a -val összekötő egyeneseknek az adott csúcson átmenő belső szögfelezőkre vonatkozó tükörképei egy ponton haladnak át (esetleg párhuzamosak). A bizonyítás megtalálható például Reiman István ‐ Dobos Sándor: Nemzetközi Matematikai Diákolimpiák (1959‐2003) (Typotex Kiadó, Budapest) c. könyvének függelékében. Most a háromszög játssza az háromszög szerepét, a pontét pedig az pont. tükörképe a szög felezőjére éppen a egyenes, míg a tükörképe a szög felezőjére a egyenes. Ez a két egyenes most a pontban metszi egymást, így a egyenesnek a szög felezőjére vonatkozó tükörképe a segédtétel állítása szerint átmegy a ponton (2. ábra). Ez a tükörkép tehát a egyenes.
2. ábra Ekkor , így ha és , akkor . Miután a feltétel szerint , továbbá , így , a háromszög egyenlő szárú. Jelölje az felező merőlegesét . Ekkor és tükrösek -re, ez ugyanis a háromszög szimmetriatengelye, a és egyenesek pedig a szárai. Legyen a csúcs tükörképe -re . Az előbbi szimmetria miatt illeszkedik a egyenesre. A feltétel miatt , tehát az szimmetrikus trapézban az egyenlő hosszú és szakaszok a pontból egyenlő szögben látszanak. Az szakasz szögű látóköre és a szakasz szögű látóköre tehát egybevágó, másrészt ez a két kör is szimmetrikus az -re. Ha egybeesnek, akkor rajta van ezen a körön, amely egyébként a szimmetrikus trapéz körülírt köre és készen vagyunk, húrnégyszög. Ha a két látókör nem esik egybe, akkor metszéspontjuk rajta van a két kör szimmetriatengelyén. A fenti gondolatmenetet az helyett az háromszögre és a megfelelő pontra megismételve kapjuk, hogy ha a négy pont, , , , nincs egy körön, akkor is rajta van az egyenesen. Ha tehát nem igaz az állítás, akkor az átló felezőmerőlegese, az négyszög deltoid, felezi mind az , mind pedig az szöget. Ezt viszont a feltétel kizárja, az adott feltételek esetén tehát valóban húrnégyszög. |