Feladat: B.4043 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Prok Tamás 
Füzet: 2010/január, 16 - 17. oldal  PDF  |  MathML 
Témakör(ök): Természetes számok, Algebrai átalakítások, Feladat
Hivatkozás(ok):Feladatok: 2007/december: B.4043

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.

Megoldás. Legyen x'=x+1. A kifejezéshez az

S=1a'+1b'+1c'+1d'
mennyiséget hozzádva egész számot (4-et) kapunk. Szükséges és elégséges feltétel tehát, hogy az 1-nél nagyobb, páronként különböző a', b', c', d' egész számokra S értéke is egész legyen. Mivel
S12+13+14+15<2,
ez csak úgy lehet, ha S=1. Tegyük fel az egyszerűség kedvéért, hogy a'<b'<c'<d'. Ha a'3, akkor S13+14+15+16<1, ezért szükségképpen a'=2,
S'=1b'+1c'+1d'=12.

Ha b'6 lenne, akkor S12+16+17+18<1 lenne, ezért 3b'5. A b'=5 esetet könnyen kizárhatjuk, ekkor ugyanis c'6. Ha c'=6 lenne, akkor
1d'=12-15-16=215
lenne, ami nem lehetséges. Ha pedig c'7, akkor d'8, és így S'<1/2.
A b'=4 esetben
1c'+1d'=14,
vagyis c'd'=4c'+4d', és így (c'-4)(d'-4)=16. Mivel 1c'-4<d'-4 egész számok, ez csak úgy lehetséges, ha c'-4=1 és d'-4=16, vagy c'-4=2, d'-4=8. Az első esetben c'=5 és
d'=20, a másodikban c'=6 és d'=12. A b'=3 esetben hasonló gondolatmenettel 1c'+1d'=16 alapján (c'-6)(d'-6)=36 adódik, ahol -2c'-6<d'-6. Innen a (c'-6;d'-6) számpár lehetséges értékeire (1;36), (2;18), (3;12) és (4;9) adódik, vagyis ebben az esetben a (c';d') számpár (7;42), (8;24), (9;18), illetve (10;15) lehet.
A feltételt tehát 6 különböző a'<b'<c'<d' számnégyes elégíti ki. Ennek megfelelően a feladatnak 64!=144 különböző megoldása van, melyeket az (1;3;4;19), az (1;3;5;11), az (1;2;6;41), az (1;2;7;23), az (1;2;8;17), illetve az (1;2;9;14) számnégyesek összes lehetséges permutációjával kaphatunk meg.