Feladat: 1596. matematika gyakorlat Korcsoport: 16-17 Nehézségi fok: -
Megoldó(k):  Bajnai Gabriella 
Füzet: 1976/február, 72. oldal  PDF  |  MathML 
Témakör(ök): Magasabb fokú diofantikus egyenletek, Maradékos osztás, Gyakorlat
Hivatkozás(ok):Feladatok: 1975/október: 1596. 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.

Ha x7 értéke megegyezik y8 értékével, akkor az egyenlet alakja 2y8=z9 lesz. Itt a kettes szorzótényezőt célszerűen kihasználhatjuk, ha a hatványalap kettő, vagy kettőnek hatványa. Ebben az esetben x7 akkor lesz egyenlő y8-nal, ha x 2-nek a 8k-ik, y pedig a 7k-ik hatványa:

(28k)7+(27k)8=z9,
azaz 2256k=256k+1=z9. Ha 56k+1 osztható 9-cel, akkor már is találtunk olyan, x, y és z számokat amikre x7+y8=z9. Ha k-nak kis értékeket adunk, már k=4-re azt kapjuk, hogy 56k+1=225=925, osztható kilenccel:
(232)7+(228)8=(225)9,(1)
azaz x=232, y=228, z=225 megoldása az egyenletnek.
További gyök előállítása érdekében az (1) egyenlet mindkét oldalát megszorozhatjuk ugyanazzal a számmal. Ahhoz viszont, hogy ezt a szorzót az egyes kitevők alá vihessük, a szorzót olyan hatványnak kell választanunk, aminek kitevője osztható az egyenletben szereplő kitevőkkel: 7-tel, 8-cal, 9-cel. Szorozzuk tehát (1)-et n789-cel:
(232n72)7+(228n63)8=(225n56)9.(2)

Mivel itt n bármilyen pozitív egész szám lehet, az egyenletnek valóban végtelen sok pozitív egész megoldása van.
 

 Bajnai Gabriella (Győr, Révai M. Gimn., I. o. t.)