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. Jelöljük a beírt kör középpontját -val, az oldalakkal való érintési pontjait -gyel, ahol az a stb. oldalon van, a négyszög szögeit és -val. A most bevezetett jelöléseket felhasználva az állítás a következő alakban írható: Ezt kell bizonyítanunk. Nyilván az szögek derékszögek, s ezért a négy kis négyszög mindegyikében a szemközti szögek összege , pl. az négyszögben . Mivel húrnégyszög, az szöget a csúcsnál levő szög is -ra egészíti ki, amiből következik, hogy . Az és négyszög szögei megegyeznek, ebből azonban még nem következik, hogy hasonlók. Ellenben ha az átlókat meghúzzuk ‐ mivel a négyszögek deltoidok ‐ az így kapott szögek is egyenlők lesznek. Ebből már következik, hogy a két négyszög hasonló, és így megfelelő oldalaik arányosak, azaz ahonnan . Hasonlóan az és négyszögekben ahonnan . A két egyenlőségből , amit átrendezve kapjuk az állítást. Megjegyzés. A feladat szövege külön nem mondta ki, hogy a négyszög konvex. Ez azonban következik abból, hogy húrnégyszög, s így a négyszögnek nem lehet pontja egyetlen oldal meghosszabbításán sem. Az érintőnégyszög definíciójából viszont az következik, hogy az érintőkör az oldalakat és nem azok meghosszabbítását érinti. Ha az utóbbi esetet megengednénk, akkor úgynevezett hurkolt négyszöget kapnánk, amilyet az ábra mutat. Könnyen látható, hogy az ilyen esetekben a feladat állítása nyilvánvaló. Mivel feltétel szerint húrnégyszög, azaz írható köréje kör, . Az és háromszögek egybevágók, , és a szögek egyenlősége miatt ezért . Jelöljük és metszéspontját -mel. , s az előzőkből adódik. Az négyszög tehát szimmetrikus trapéz, s így . (1) tehát most is teljesül. |