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. I. megoldás. Megmutatjuk, hogy a feltételekből következik a sokszög szabályossága. Azt kell bebizonyítanunk, hogy a sokszög oldalai is, szögei is egyenlőek.
1. ábra Legyenek a sokszög csúcsai , , , , a beírt kör és az oldalak érintési pontjai rendre , , , a beírt és a körülírt kör sugara illetve a körök közös középpontja pedig (1. ábra). Az egyenes az pontban érinti a sokszög beírt körét, tehát merőleges -re ( Másrészt és minden -re, tehát az és az típusú háromszögek mindannyian egybevágóak, mert megegyezik két oldaluk, és van egy derékszögük. Ezért a sokszög valamennyi oldala egyenlő (mindegyikük hossza egyenlő az szakasz hosszának -szeresével), és valamennyi szöge is megegyezik (mindegyik egyenlő az szög -szeresével). ‐ Ezzel beláttuk állításunkat.
II. megoldás. Az előbbi jelölésekkel: minden -re az oldal a körülírt körnek az középponttól távolságra lévő húrja, tehát az oldalak egyenlők. Eszerint az (irányított) szög szárai alkalmas elfordítással egyértelműen átvihetők az szög száraiba, tehát a sokszög tetszőleges és csúcsánál levő szögek egyenlők.
Megjegyzések. 1. Ha a két kör középpontja nem esik egybe, akkor a sokszög nem lehet szabályos, oldalai legföljebb kettesével lehetnek egyenlők. A kisebbik kör nyilván teljesen benne van a nagyobbikban. Ha a kisebbik körül körülforgatjuk az érintő egyenest, az érintőből a nagyobbik kör által kimetszett húr növekszik, majd csökken, és ismét növekszik. A körök középpontjait összekötő tengelyre szimmetrikus helyzetekben a húrok egyenlők, így minden húrhosszúság csak két helyzetben fordul elő, a legkisebb és a legnagyobb húr pedig csak egy-egy helyzetben. 2. Vannak olyan n-szögek, amelyek nem szabályosak, mégis van körülírt és beírt körük, és ezeknek persze nem közös a középpontjuk. Az ilyeneket bicentrikus sokszögnek nevezik, azaz két középponttal bíróknak. Triviális példa erre az eset, ez semmi különlegességet sem jelent.
2. ábra De mindjárt más a kérdés, ha a két kör előre van megadva (nem koncentrikusan), és olyan háromszöget keresünk, amely a nagyobbik körbe bele van írva, a kisebbnek pedig köréje. Ha a sugarak és és a középpontok távolsága akkor ilyen háromszög létezésének szükséges és elegendő feltétele, hogy legyen. Ezt az öszzefüggést Euler féle relációnak nevezik. (Lásd pl Kürschák L.‐Hajós Gy.‐Neukomm Gy.‐Surányi J.: Matematikai Versenytételek, 1. kötet, Tankönyvkiadó, 1965. 40. oldal.) Ha ez a feltétel teljesül, úgy végtelen sok megfelelő háromszög van (enélkül pedig nincs megoldás). A nagy kör bármely pontjából kiindulva kapunk egyet, hasonlóan a kis kör bármelyik érintőjéből indulva is. Ha pl. a nagy kör pontjából a kis körhöz húzott érintők másodszorra -ben és -ben metszik a nagy kört, akkor a egyenes szintén érinti a kis kört. Ugyanezt a "záródást'' sokkal általánosaban bizonyította J. Poncelet francia matematikus (1822), tetszőleges két kúpszeletre, tetszőleges oldalszámra, ha a két kúpszelet eleget tesz bizonyos feltételeknek. Visszatérve két körre, a bicentrikus 4-, 5-, 6-, 7- és 8-szögekre vonatkozó, és közti összefüggést már 1794-ben megadta N. Fuss, (1755‐1826), aki Euler tanítványa és utóda volt. Érdekes hasonlóság van az és esetek feltételében, alkalmas rendezéssel így írhatók: | | Az és esetekre J. Steiner (1796‐1863) sorra a következő feltételeket közölte (az -as összefüggést korrigálva közöljük):
Megválasztva kettőt és közül, a harmadikra adódó egyenlet valós gyökei között ún. idegen gyökök is előfordulnak, amelyek csak mesterkélten vagy egyáltalán nem értelmezhetők az eredeti probléma szellemében. 3. Bicentrikus négyszöget egyszerűen szerkeszthetünk a beírt körből kiindulva: ehhez érintőket húzva egy merőleges húrpárja végpontjaiban, egy húrnégyszög oldalegyeneseit kapjuk. Itt lényegében érintési pontot választottunk meg a beírt körön.
3. ábra Félig-meddig megfordításnak tekinthető a következő: a bicentrikus négyszög csúcsát megválasztva, megszerkeszthető a negyedik csúcs úgy, hogy rajta legyen az első három csúccsal meghatározott körön, és hogy a négyszögnek valóban legyen beírt (az oldalegyeneseket érintő) köre. (Lásd KöMaL Gy. 787, 1963. október, az 1962. évi Nemzetközi Matematikai Diákolimpia feladata.) |