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. Feltehetjük, hogy és különböző pontok (ellenkező esetben az pont nem meghatározott, de persze bármely lehetséges helyzetére igaz, hogy a négy pont egy körön helyezkedik el), és azt is, hogy az egyenes nem merőleges -re, ellenkező esetben ugyanis az pont nem létezik (bár felfogható egy végtelen távoli pontnak, amely az egyenessé fajuló végtelen sugarú körön helyezkedik el). Ha párhuzamos -vel, akkor az és az pont egybeesik, ezért az állítás nyilvánvaló. A fennmaradó esetekben, mivel egyik pontnak sincs kitüntetett szerepe, feltehetjük, hogy közelebb van -hez, mint . Legyen az pont -re vonatkozó tükörképe , az és egyenesek metszéspontja pedig . Mivel az egyenes bármely pontjára , azért a háromszög-egyenlőtlenség miatt az összeg akkor lesz a lehető legkisebb, ha az szakaszon helyezkedik el. Vagyis az pont megegyezik az ponttal. Az pont pedig nyilván az szakasz felezőmerőlegesének -vel való metszéspontja.
Jelölje felezőpontját . Ekkor az négyszög húrnégyszög, mert -nél és -nél lévő szögei derékszögek. Ezért , mert mindkettő az négyszög köré írt körének rövidebbik ívéhez tartozó kerületi szög. Az és az , illetve szakaszok felezőpontjai, ezért az és háromszögek hasonlóak, tehát . Tehát az szakasz -ből és -ből ugyanakkora szögben látszik. Az közelebb van -hez, mint , ezért , vagyis és az egyenesnek ugyanazon az oldalán helyezkedik el. Tehát és az szakasz szöghöz tartozó két látóköríve közül ugyanazon van rajta. Így az négyszög valóban húrnégyszög. |