Problem B. 4130. (November 2008)
B. 4130. Consider a finite number of line segments on a line. Prove that if they are rearranged so that the midpoints of any two line segments are moved closer to each other then the total length of the union of the line segments will not increase.
(5 pont)
Deadline expired on December 15, 2008.
Sorry, the solution is available only in Hungarian. Google translation
Megoldás: Az egyenest azonosítsuk a valós számegyenessel, az s szakasz átrendezés utáni képét jelölje s', a véges sok szakaszból álló S szakaszrendszer képe ennek megfelelően legyen S', t(S) pedig jelölje az S-beli szakaszok U(S) uniójának összhosszát. Elegendő az állítást olyan S szakaszrendszerek esetén bizonyítani, melyekre U(S) összefüggő. Valóban, ha , ahol
páronként diszjunkt szakaszok, akkor ennek alapján
már következik.
Legyen tehát U(S)=[a,b]. Azt kell igazolnunk, hogy t(S')t([a,b])=b-a. U(S') legkisebb és legnagyobb elemét jelölje a', illetve b'. Mivel t(S')
t([a',b'])=b'-a', elegendő azt megmutatni, hogy b'-a'
b-a. Legyen s
S egy olyan szakasz, amelyre s' baloldali végpontja a', u
S pedig egy olyan szakasz, amelyre u' jobboldali végpontja b'. Ha s=u, akkor U(S')=s',
miatt az állítás nyilvánvaló. Feltesszük tehát, hogy s
u, és legyen [c,d] a legrövidebb intervallum, amely tartaltalmazza az s és u szakaszok egyesítését. Ekkor a
c
d
b, vagyis elegendő azt megmutatni, hogy b'-a'
d-c. Jelölje s és u hosszát
, illetve
, középpontjaik távolságát pedig
. Ekkor |
-
|
2
esetén d-c=max {
,
}, |
-
|
2
esetén pedig
, vagyis f(
)=d-c a
mennyiség monoton növő függvénye. Ha tehát az s' és u' szakaszok középpontjának távolsága
'<
, akkor b'-a'=f(
')<f(
)=d-c.
Statistics:
29 students sent a solution. 5 points: Blázsik Zoltán, Bodor Bertalan, Éles András, Frankl Nóra, Kispéter Tamás, Nagy 648 Donát, Weisz Ágoston. 4 points: Fonyó Dávid, Keresztfalvi Tibor, Strenner Péter, Varga 171 László. 3 points: 2 students. 2 points: 1 student. 1 point: 5 students. 0 point: 10 students.
Problems in Mathematics of KöMaL, November 2008