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. I. megoldás. Gondoljuk el, hogy Andi és Bandi nap nap után elmegy a Filatéliába és Bandi megmaradt gyűjteményének (egyik) legértékesebb darabját, Andi pedig a még meglevők közül a legértékesebb kettőt adja el. Ezt csinálják addig, míg összes bélyegük el nem fogy. Állítjuk, hogy minden nap Andi legfeljebb kétszeresét kapja annak az összegnek, mint amit Bandi kap, ebből a feladat állítása azonnal következik. Első nap ez így van, hiszen a feltétel szerint Bandi legértékesebb bélyegénél nagyobb értékű Andinál sem lehet, és ugyanolyan értékűből is legfeljebb kettő. Vegyük még észre, hogy az első napi eladások után maradt gyűjteményekre is igaz a feladat szövegében mondott feltétel. Ha most valamilyen -re -nél drágább bélyegből Andinál , Bandinál darab van, akkor azt kell látnunk, hogy . Persze csak az az eset érdekes, ha . Andi két legértékesebb bélyegét adta el, tehát ekkor eredetileg darab -nél értékesebb bélyege volt, Bandinak pedig vagy aszerint, hogy Bandi eladott bélyege -nél értékesebb volt-e vagy sem. Így vagy , ahonnan mindenképpen , ahogyan kívántuk. Tehát Andi és Bandi másnap ugyanolyan feltételekkel mennek bélyeget eladni, mint az első nap. Andi második nap is legfeljebb kétszer annyit kap bélyegeiért, mint Bandi; ugyanígy a harmadik napon is stb. Előbb-utóbb mindkét gyűjtemény elfogy, s mivel minden nap Andi legfeljebb kétszer annyit kap, mint Bandi, gyűjteménye is legfeljebb kétszer olyan értékes. II. megoldás. A bizonyítás egy érdekes algebrai azonosság ‐ az úgynevezett Abel-féle átrendezés ‐ felhasználásával könnyen elvégezhető. Jelölje a két gyűjteményben szereplő bélyegértékeket nagyság szerint növekvő sorrendben , és minden -ra az értékű bélyegből legyen Andi gyűjteményében , Bandiéban pedig darab. Itt és egyike esetleg . Andi gyűjteményének értékét -val, Bandiét -vel jelölve
Könnyen ellenőrizhető, hogy fennállnak az alábbi azonosságok ( volt !)
és fenti alakjában a szorzatok első tényezői rendre a -nél drágább bélyegek számai a két gyűjteményben, így a feltétel szerint | | minden -re. Mivel , az egyenlőtlenség mindkét oldalát a pozitív -gyel szorozva | |
Ezeket összegezve (1) és (2) alapján éppen a bizonyítandó állítás adódik. Megjegyzés. Az említett átalakítás ‐ (1), illetve (2) ‐ Niels Henrik Abel (1802-1829), a fiatalon elhunyt kiváló norvég matematikus nevéhez fűződik. Abel alapvető eredményeket ért el az analízis és az algebra területén, többek között ő adott elsőként teljes bizonyítást arra, hogy az ötöd- és magasabbfokú egyenletek általában nem oldhatók meg algebrai úton, tehát a gyökök nem fejezhetők ki az együtthatók és véges sok racionális konstans felhasználásával a négy alapművelet és a gyökvonás segítségével. |