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. Jelöljük a kis körökben elhelyezett számokat az ábra szerint, és a belső körben elhelyezett számok összegét -sel.
Feladatunk szerint olyan elhelyezéseket keresünk, amelyekre teljesül
Az (1) és (4) egyenletek bal oldalainak az összege az adott szám összegével, -cal egyenlő, emiatt , és . Jelöljük az azonos nagy betűkkel jelölt számok összegét a megfelelő kis betűvel. Az (1) és (2) egyenletek különbsége szerint , az (1) és (3) egyenletek különbsége szerint . Tehát egy megfelelő elhelyezésre teljesül. Ez a feltétel viszont elégséges is ahhoz, hogy egy elhelyezés megfelelő legyen, hiszen belőle (1), (2) és (3) nyilvánvalóan következnek, (4) pedig azért, mert a bal oldalán álló számok összege -tal kevesebb az adott szám összegénél, vagyis ez az összeg . Azt fogjuk megszámolni, hány olyan elhelyezés van, amely eleget tesz (5)-nek. Egy megfelelő elhelyezésben az azonos nagy betűkkel jelzett számok egymás között tetszőlegesen felcserélhetők, hiszen (5) csak e számok összegére jelent feltételt (ha egyáltalán jelent feltételt, az számokra (5) ugyanis semmit sem követel meg). Minden megfelelő elhelyezésből az , , , számpárok felcserélésével új, és továbbra is megfelelő elhelyezést kapunk, az , , , számokat pedig -féleképpen rendezhetjük át. Ha ugyanis különböző számot minden lehetséges sorrendben fel akarunk írni, akkor az első helyre kerülő számot -féleképpen választhatjuk meg közülük, a másodikat a visszamaradó közül -féleképpen, a harmadikat -féleképpen, ezután a negyedik egyértelműen a még el nem helyezett szám lesz. A lehetőségek száma ezek szerint valóban . További két-két lehetőséget jelent, hogy az , számpárt felcserélhetjük a , számpárral, a , párt pedig a , számpárral. Válasszuk meg például a számok elhelyezését úgy, hogy az azonos nagy betűvel jelzett számok között mindig a nagyobb indexű legyen nagyobb, továbbá teljesüljön még, hogy , . A mondott átrendezésekkel minden megfelelő elhelyezésből ilyen, ennek a kiegészítő feltételnek is eleget tevő elhelyezésre juthatunk; és minden, ennek a kiegészítő feltételnek is eleget tevő elhelyezésből további, megfelelő elhelyezést kapunk. Ha tehát a kiegészítő feltétel mellett az elhelyezések száma , akkor az összes megfelelő elhelyezés száma . Mivel az Árpád állításában szereplő egyenlő -tel, Árpád szerint értéke . Látni fogjuk, hogy értéke ennél valamivel kevesebb, Árpád valószínűleg meghatározásánál követett el hibát. II. Rátérünk meghatározására, ezt lehetséges értékei szerinti esetszétválasztással végezzük el. Mivel -t kétféleképpen is elő kell tudnunk állítani különböző számaink összegeként, legkisebb lehetséges értéke . Ekkor , , , az egyetlen, a kiegészítő feltételnek is eleget tevő megoldás, és a , változók értéke is egyértelműen meghatározott. Az esetben is két lehetséges felbontás van: és , és csak két lehetséges felbontása van a számnak is, ismét megoldás van. ( és mindig ugyanannyiféleképpen állítható elő különböző, az előírtak közül választott számból, hiszen ha , akkor és pl. -szel együtt is az előírt számok közé tartozik.) Ha , a felbontások: , , ; a szám felbontásai pedig , , . Mivel és felbontásai közt csupa különböző számok lépnek fel, bárhogy választunk ki e felbontás közül kettőt-kettőt, megfelelő elhelyezést kapunk, a lehetőségek száma tehát . (Három elem közül ugyanis -féleképpen választhatunk ki kettőt, hiszen a kiválasztást meghatározza, hogy melyiket nem választjuk ki, és erre lehetőségünk van.) Ha , akkor és , de az felbontás mellé nem választhatjuk a felbontást és mellé a -t (táblázatunkon az egymást kizáró párokat vonallal kötöttük össze). Kell tehát, hogy egyik felbontása , egyik felbontása legyen, ezek mellé második felbontását -féleképpen választhatjuk és mindegyik esetben egyértelmű, hogy mi a másik felbontása. A megoldások száma innen .
| | Ha , négy lehetséges felbontás van, ezek mindegyike a felbontásai közül egyet zár ki, amint táblázatunk mutatja. Bárhogy választunk ki tehát négy lehetséges felbontása közül kettőt, felbontásai közül csak az általuk ki nem zárt másik kettőt választhatjuk. A lehetőségek száma tehát annyi, ahányféleképpen -nak lehetséges felbontása közül kettőt kiválaszthatunk. A lehetőségek ‐ a felbontásokat I, II, III, IV-gyel jelölve: I‐II, I‐III, I‐IV, II‐III, II‐IV, III‐IV, tehát lehetséges párosítás van. -nek is felbontása van, ezek közül kettő (jelöljük őket I-gyel és II-vel) a -nak ugyanazt a felbontását zárja ki, egy harmadik (jelöljük III-mal) két felbontást is kizár, egy (a IV) pedig nem zár ki egyet sem. A III mellé csak IV-et vehetjük párnak, ekkor két felbontása egyértelmű; ha IV mellé I-et vagy II-t vesszük, vagy ha I-et II-vel párosítjuk, -nek -féle felbontása közül választhatunk, a lehetőségek száma tehát összesen . Ha , két független lánc alakul ki az és egymást kizáró felbontásaiból, felbontásai közül az egyikben van (ezeket -típusúaknak nevezzük), a másikban (ezek a -típusúak). Ha mindkét felbontását az -típusúak közül választjuk ki, ezekhez -nek felbontása közül választhatunk, és az ilyen lehetőségek száma . Egy és egy típusú felbontást választva -hoz csak akkor kapunk megoldást, ha olyan -típusút választunk, amelyik -nek csak egy felbontását zárja ki; ekkor megfelelő felbontása egyértelműen meghatározott. Így esetet kapunk, végül megoldást ad a két -típust felbontás választása, ezek együtt megfelelő felbontást jelentenek. esetén ugyanígy két független és az előbbiekkel egyenlő szerkezetű lánc alakul ki, a megoldást adó felbontások száma itt is . Az eseteket rendre visszavezethetjük a már tárgyalt esetekre ( és szerepének a felcserélésével), ezeket összefoglalva mutatja be az alábbi táblázat:
Az eddigiek szerint az a≠13 értékekben összesen 2⋅57=114 megoldást találtunk. Külön kell tárgyalnunk az a=b=13 esetet. Ekkor 6 megfelelő felbontás van, ezek közül először az a felbontásaihoz választunk ki kettőt, amit 5+4+3+2+1=15-féleképpen tehetünk meg (az egyes felbontásokat ismét római írású számokkal jelölve, I mellé a másik 5-öt választhatjuk, II mellé a többi 4-et ‐ hiszen a II‐I párt már számításba vettük ‐ és így tovább, végül V mellé egyedül a VI-ot választhatjuk). A többi 4-ből választhatjuk ki b két felbontását, amit (mint azt az a=9 esetnél láttuk) 6-féleképpen tehetünk meg; így az összes megoldás száma a=13 mellett 15⋅6=90, minden a értékre együtt k=90+114=204, és az elhelyezési lehetőségek száma 29⋅3⋅204=313344. Megjegyzés. Többen avval vélték bizonyítani az állítás helytelen voltát, hogy a közölt eredmény 8768-as tényezőjében szereplő 137-es prímtényező nem adódhat ki kombinálási művelet eredményeként. Ez nem helyes megokolás. A fentiekben is láttuk, hogy kombinálási lehetőségek száma nem kizárólag szorzással adódhat ki. (Lásd e szám vezető cikkét is.)par |