Feladat: F.2641 Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Bánkövi Johanna ,  Beke T. ,  Bereczky Á. ,  Bukszár J. ,  Dienes J. ,  Domokos P. ,  Gács A. ,  Hajdú G. ,  Hajnal Z. ,  Illés T. ,  Károlyi Gy. ,  Kelemen Eszter ,  Keleti T. ,  Kincses Z. ,  László A. ,  Madas P. ,  Máté Nóra ,  Nagy 124 G. ,  Rimányi R. ,  Szabó 484 P. ,  Szalay Gy. ,  Talata I. ,  Tasnádi T. ,  Tóth 178 G. ,  Varga Zs. ,  Veres E. ,  Wolkensdorfer P. 
Füzet: 1987/november, 380. oldal  PDF  |  MathML 
Témakör(ök): Függvények folytonossága, Síkbeli ponthalmazok távolsága, Feladat
Hivatkozás(ok):Feladatok: 1987/május: F.2641

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.

Először belátjuk, hogy az 1/2 nem helyettesíthető más számmal. Legyen ugyanis csak két pont adva, mégpedig a szakasz végpontjai, A és B. Ekkor az AB szakasz minden X pontjának 1/2 az átlagtávolsága e két ponttól, más szám tehát valóban nem jöhet szóba. Ez a példa természetesen nemcsak két pontra jó, mivel a pontok nem szükségképpen különbözők (vehetem n-szer az A és n-szer a B pontot).
Az állítás első felének a bizonyításához helyezzük el az AB szakaszt a számegyenesen úgy, hogy az A a 0, a B pedig az 1 pontba essék. Ekkor az AB szakasz tetszőleges x pontja pontosan x távolságra van az A-tól (azaz 0-tól). Legyen az adott véges sok pont: x1,x2,...,xn, és legyen x az AB szakasz egy tetszőleges pontja. Ekkor x távolsága az xi ponttól |x-xi|, tehát az adott n ponttól vett átlagtávolságot d(x)-szel jelölve

d(x)=i=1n|x-xi|n.

Ismeretes, hogy |x-xi| folytonos függvény, d(x) tehát n db folytonos függvény összegének n-edrészeként maga is folytonos. Most vegyük észre, hogy minden xi pontnak a 0 és az 1 ponttól vett távolságösszege |xi|+|1-xi|=1 (0xi1), így d(0)+d(1)=nn=1. Ha most d(0)=12, akkor a 0 pont, tehát A (és ugyanígy az 1 pont, tehát B) megfelel a feladat követelményének. Ha d(0)<12, akkor d(1)>12, és így d folytonossága miatt van olyan x pont a 0 és az 1 között, amelyre d(x)=12. Ugyanez áll, ha d(0)>12 (ésd(1)<12). A feladat állítását ezzel beláttuk.