Гүүгэл анги
GeoGebraГеоГебра анги

1103 A húrnégyszög

Feladat:

 Legyen adott a P- modellen az A,B,C és D pont, amelyek ebben a (ciklikus) sorrendben helyezkednek el a H-sik egy adott s körén. Mit állíthatunk a kapott ABCD húrnégyszög szögeiről?  Hogyan tudnánk a sejtésünket igazolni?

Sejtés - bizonyítás

Az eddigiek alapján nyilvánvaló, hogy a húrnégyszögekre kimondott "klasszikus" euklideszi tétel a hiperbolikus geometriában nem érvényes:
  • A húrnégyszög szemközti szögei 180°-ra egészítik ki egymást.
Ugyanakkor felvethetjük ugyanezt a kérdést kissé enyhébb formában úgy, hogy a sejtésünk abszolút geometriai összefüggés legyen. Igaz-e, hogy:
  • A húrnégyszög két-két szemközti szögének az összege egyenlő.
Ha ez igaz, akkor ebből a háromszög szögösszegére vonatkozó tételt kihasználva kapjuk a közismert euklideszi geometriai összefüggést. A sejtésünk igazolásához mindössze azt kell kihasználnunk, hogy az egyenlő szárú háromszög alapján fekvő szögek egyenlők.

Húrnégyszög a P-modellen

Húrnégyszög a gömbön

Belátható, hogy:
  • A G-háromszög szögösszege nagyobb az egyenesszögnél, azaz defektusa negatív;
  • Az egyenlő szárú G-háromszög alapon fekvő szögei egyenlők;
  • A G-húrnégyszög két-két szemközti szögének az összeg egyenlő.
Ezt a legutóbbi kijelentésünket igazolja az alábbi applet.