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. Az első kérdésre a válasz nem. Ezt legegyszerűbben indirekt úton bizonyíthatjuk be. Tegyük fel, hogy 13 kört elhelyeztünk a megfelelő módon. Készítsük el azt a 13 csúcsú gráfot, melynek csúcsai az egyes köröknek felelnek meg, két csúcs között pedig pontosan akkor megy él, ha a megfelelő körök érintik egymást. Ebben a gráfban feltevésünk szerint a fokszámok összege , ami megegyezik az élek számának kétszeresével, azaz egy páros számmal. Ez az ellentmondás bizonyítja, hogy 13 kör nem helyezhető el a feltételeknek megfelelően.
1. ábra A második kérdésre viszont igen a válasz. Ennek bizonyításához elegendő egy példát mutatnunk. Írjunk az középpontú 1 sugarú körbe egy szabályos hétszöget. Legyen . Ekkor oldalainak hossza , ezért a csúcsai köré írt sugarú körök közül a szomszédos csúcsok köré írtak oldalfelezőpontjaiban érintik egymást. Ezután -ból középpontosan nagyítsuk -t és a köröket arányban. Így kapjuk a hétszöget és másik hét olyan kört, mely a vele egyenlő sugarúak közül pontosan két másikat érint (az érintési pontok a hétszög oldalfelezőpontjai). Megmutatjuk, hogy az középpontú kör a középpontú kört is érinti (). A hétszög szabályossága miatt ezt nyilván elegendő esetén belátnunk. A középpontos nagyítás miatt , a középpontú kör sugara pedig | | Így | | Tehát a két kör középpontjának távolsága megegyezik sugaraik összegével, amiből következik, hogy a körök érintik egymást. Ezért a és hétszögek csúcsai köré írt 14 kör közül mindegyik pontosan három másikat érint. Megjegyzés. A megoldás első felét 13 helyett tetszőleges páratlan számra elmondhatjuk, azaz páratlan számú kör nem helyezhető el a síkon úgy, hogy közülük mindegyik pontosan három másikat érintsen. Megmutatjuk, hogy ha , páros szám, akkor viszont elhelyezhető a síkon darab kör úgy, hogy közülük mindegyik pontosan három másikat érintsen. Valamely 1 oldalú szabályos háromszög csúcsai köré rajzoljunk sugarú köröket. Így három olyan kört kapunk, melyek páronként érintik egymást. A háromszög középpontja köré alkalmas sugarú kört rajzolva négy olyan körhöz jutunk, melyek közül mindegyik érinti a három másikat (2. ábra). Ha ehelyett a három kört -ból alkalmas arányban lekicsinyítjük, akkor hat körhöz jutunk, melyek közül mindegyik pontosan három másikat érint (3. ábra). Tehát és esetén létezik megfelelő körrendszer. Ha páros, akkor vagy , vagy pedig , ahol . Ezért darab négy körből álló és egy darab négy vagy hat körből álló konfigurációt egymás mellé helyezve darab megfelelő kört kapunk.
2. ábra
3. ábra |