Feladat: 441. matematika gyakorlat Korcsoport: 14-15 Nehézségi fok: könnyű
Megoldó(k):  Nagy Márton ,  Ortutay Miklós 
Füzet: 1958/április, 115 - 116. oldal  PDF  |  MathML 
Témakör(ök): Oszthatósági feladatok, Gyakorlat
Hivatkozás(ok):Feladatok: 1957/október: 441. matematika gyakorlat

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.

Megjegyzés: A megoldók közül elég sokan 2-re, 4-re megvizsgálták az oszthatóságot, s ebből azt következtették, hogy minden páros számra fennáll. Az ilyen következtetés természetesen teljesen megalapozatlan. Bizonyító ereje csak annak lett volna, ha megmutatták volna azt is, hogy minden páros kitevőről, amire igaz a tétel, átöröklődik a következő páros kitevőre is a tétel helyessége. Ezt az adott esetben is be lehetne látni, minthogy azonban az így nyerhető megoldásnál sokkal egyszerűbbek az alábbiak, úgy mi sem térünk rá ki.

 

I. megoldás: Mivel n páros, 2k alakban írva az adott kifejezést így is írhatjuk:
(1832)k-(1262)k.

Két egész kitevős hatvány különbsége viszont mindig osztható az alapok különbségével, ami a jelen esetben 1832-1262=(183+126)(183-126)=30957=91957.
Ezzel beláttuk a tétel helyességét, sőt azt, hogy nemcsak 1957-tel, hanem a 9-szeresével is osztható.
 

Ortutay Miklós (Hajdúnánás, Körösi Csoma g. II. o. t.)
 

II. megoldás: Igazolni fogjuk, hogy a vizsgált kifejezés nemcsak 91957-tel, hanem n-től függően 1957-nek még nagyobb többszörösével is osztható.
A páros n kitevőt 2k alakban írva emeljük ki a közös tényezőt a vizsgált különbségből:
1832k-1262k=32k612k-32k422k=32k[(612)k-(422)]=32k[3721k-1764k].

A szorzat második tényezője mindig osztható az alapok különbségével, (3721-1764)-gyel, az pedig éppen 1957. A vizsgált kifejezés tehát 32k1957-tel osztható minden egész k-ra. Ez pedig k-tól függően 1957-nek különböző többszöröseit adja.
Könnyű belátni, hogy páratlan n-re nem igaz a tétel.
 

Nagy Márton (Szombathely, Nagy Lajos g. I. o. t.)