Feladat: 896. matematika feladat Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1959/február, 49. oldal  PDF  |  MathML 
Témakör(ök): Magasabb fokú diofantikus egyenletek, Természetes számok, Feladat
Hivatkozás(ok):Feladatok: 1958/április: 896. matematika feladat

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.

Kevés próbálgatással rájöhetünk, hogy az 1 és 7 szám megfelel a feltételnek. Valóban

1=12=212-1;7=222-1,72=252-1.

Megjegyzés. Azt nem tudjuk, hogy van-e ezeken kívül is megoldás. A feladat olyan x, y, z egész számok keresését kívánja, amelyekre teljesülnek az
x=2y2-1,x2=2z2-1
egyenletek. Az elsőből x-et a másodikba helyettesítve a keletkező egyenlet
(y2)2+(y2-1)2=z2
alakra hozható, vagyis a feltételeket kielégítő y és z értékekkel y2, y2-1, z pythagoraszi számhármast alkotnak. Ezek ismert tulajdonságait felhasználva a további megoldások keresése olyan r és s egészek keresésére vezethető vissza, amelyekre teljesül a 4r2s2-1=4r4-s4 vagy más alakban (2r2-s2)2-2(s2)2=-1 egyenlet. (Ezekkel y és z y=2rs, z=4r4+s4 alakban fejezhető ki.) Az egyenlet egy megoldása r=s=1. (Ez vezet a fönti x=7 értékhez.) Nem tudjuk, van-e az egyenletnek más megoldása is. Azt tudjuk, hogy az u2-2v2=-1 egyenletnek végtelen sok egész (u,v) megoldása van, van olyan is, amelyikben v négyzetszám (pl. 239, 169, de ezek összege nem négyzetszám kétszerese).
A versenyzők nagy része különböző téves bizonyításokat adott arra, hogy a fönti két megoldáson kívül más nincs. Mindazokat a megoldásokat helyesnek fogadtuk el (3 pont), amelyek a fenti két számértéket tartalmazzák; számuk 35; további 37 dolgozat hiányos (1 pont).