Feladat: N.179 Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Gerbicz Róbert ,  Gyenes Zoltán ,  Juhász András ,  Lukács László ,  Terpai Tamás ,  Végh A. László 
Füzet: 1999/február, 96 - 98. oldal  PDF  |  MathML 
Témakör(ök): Koszinusztétel alkalmazása, Síkgeometriai bizonyítások, Alakzatok köré írt kör, Háromszög-egyenlőtlenség alkalmazásai, Nehéz feladat
Hivatkozás(ok):Feladatok: 1998/szeptember: N.179

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.

Legyen a három pont P1, P2 és P3. Ha valamelyik kettő egybeesik, akkor ezek köré ugyanakkora sugarú köröket rajzolva elérhetjük, hogy legyen 2n2 olyan pont, amelyen három kör is átmegy. A továbbiakban ezért feltesszük, hogy P1, P2 és P3 különbözőek, valamint P3 a P1P2 szakasz belsejében helyezkedik el.
Legyen a=P1P3 és b=P3P2, és vizsgáljuk meg, hogy P1, P2, P3 köré egy r1, r2, illetve r3 sugarú kört rajzolva, a három kör mikor megy át egy ponton. Legyen a Pi körüli r1 sugarú és a P2 körüli r2 sugarú kör metszéspontja Q. Ahhoz, hogy ez a metszéspont létrejöjjön, szükséges és elégséges, hogy teljesüljenek a háromszög-egyenlőtlenségek az r1, r2 és a+b számokra.
Tegyük fel, hogy a P3 körüli, r3 sugarú kör is átmegy Q-n. Felírva a koszinusztételt a P1P3Q és P2P3Q háromszögekre,

cosP1P3Q=a2+r32-r122ar3=-cosP2P3Q=-b2+r32-r222br3,
ami rendezve a
b(r12-a2)+a(r22-b2)=(a+b)r32(1)
alakba írható.
Legyen d=min(an,bn). Rajzoljuk meg P1 körül az
r11=a2+ad,r12=a2+2ad,...,r1n=a2+nad
sugarú köröket, P2 körül az
r21=b2+bd,r22=b2+2bd,...,r2n=b2+nbd
sugarú köröket, P3 körül pedig az
r31=2abda+b,r32=3abda+b,...,r3n=(n+1)abda+b
sugarú köröket. Ezzel a választással b(r12-a2) és a(r22-b2) az abd, 2abd, ..., nabd számokon, (a+b)r32 pedig a 2abd, 3abd, ..., (n+1)abd számokon fut végig.
Az r1j, r2j és a+b számokra mindig teljesülnek a megfelelő háromszög-egyenlőtlenségek, mert
a<r1ja2+nada2+ab<a+b
és
b<r2jb2+nbdb2+ab<a+b.
Az egy ponton átmenő körhármasoknak a száma tehát megegyezik az x+y=z egyenlet azon megoldásainak számával, amelyekben x, y{1,2,...,n} és z{2,3,...,n+1}. Az ilyen számhármasok száma
x=1n(n+1-x)=n(n+1)2>n22.
Mivel minden ilyen számhármashoz két metszéspont tartozik, összesen több, mint n2 olyan pont van, amelyen három kör megy át. A feladat állítása tehát igaz a c=1 választással.
 
Megjegyzés. Az előbbi konstrukciót módosítva, az
r3i=(n2+i)abda+b(i=1,2,...,n)
választással azoknak a pontoknak a száma, amelyeken három kör megy át, 32n2 lesz ha n páros, és 3n2+12 ha n paratlan. Azt is be lehet bizonyítani, hogy ennél több már nem érhető el. A legnagyobb c érték tehát, amivel az állítás igaz, a 32.

 Terpai Tamás (Fazekas M. Főv. Gyak. Gimn., 12. o.) dolgozata alapján