Feladat: Gy.3185 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Kunszenti-Kovács Dávid ,  Máthé András ,  Mecz Balázs ,  Pozsár Balázs ,  Székelyhidi Gábor 
Füzet: 1998/december, 526. oldal  PDF  |  MathML 
Témakör(ök): Kombinatorikai leszámolási problémák, Szélsőérték-feladatok, Számelrendezések, Gyakorlat
Hivatkozás(ok):Feladatok: 1998/február: Gy.3185

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.

a) A csúcsokra felírt számokat jelöljük a1, a2, ..., an-nel. Ekkor a bizonyítandó állítás:

|a1-a2|+|a2-a3|+...+|an-1-an|+|an-a1|2n-2.
Legyen a1=1 és aj=n. Ekkor az ismert |a+b||a|+|b| alapján
|a1-a2|+|a2-a3|+...+|aj-1-aj||a1-aj|=n-1(1)|aj-aj+1|+|aj+1-aj+2|+...+|an-a1||aj-a1|=n-1.(2)
Ezt a két egyenlőtlenséget összeadva kapjuk a bizonyítandó állítást.
b) A bizonyítandó egyenlőtlenségben pontosan akkor van egyenlőség, amikor (1)-ben és (2)-ben egyaránt egyenlőség van. Ehhez az kell, hogy (1)-ben (és (2)-ben is) az abszolútértéken belüli különbségek mindegyikének ugyanaz legyen az előjele. Mivel a1=1 (tehát a legkisebb szám), azért ebből következik, hogy a1<a2<a3<...<aj, és mivel aj=n (a legnagyobb), azért aj>aj+1>...>an. Tehát
a1<a2<...<aj,aj>aj+1>aj+1>...>an.
Ha azt eldöntjük, hogy mely számok kerülnek a1=1 és aj=n közé, akkor az egyenlőtlenségek miatt a számokat már csak egyféleképpen helyezhetjük el. Ez 2n-2 lehetőség.
 Székelyhidi Gábor (Kuwait, New English School, 11. o.t.)

 
Megjegyzés. A b) kérdésre 2n-3, 2n-2 vagy n2n-2 a válasz attól függően, hogy a tükrözéssel, illetve elforgatással egymásba vihető elrendezéseket megkülönböztetjük-e. Mind a három variációt elfogadtuk.
Megjegyzés. A példát Hajnal Péter: Elemi kombinatorikai feladatok (Polygon) c. könyvéből vettük!