Feladat: 483. matematika gyakorlat Korcsoport: 14-15 Nehézségi fok: átlagos
Megoldó(k):  Budai Zsuzsanna 
Füzet: 1958/november, 91 - 92. oldal  PDF  |  MathML 
Témakör(ök): Maradékos osztás, Oszthatósági feladatok, Gyakorlat
Hivatkozás(ok):Feladatok: 1958/március: 483. 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.

Pythagorasi számhármason olyan három a, b, c természetes szám együttesét értjük, amelyre fennáll az a2+b2=c2 egyenlőség. Másképpen: amelyre az a, b, c szakaszokkal szerkesztett háromszög derékszögű; ennek alapján szokás a hármas legnagyobb számát átfogószámnak nevezni és a két kisebbet befogószámoknak. (Ennek a fogalomnak, másrészt az oszthatósági kérdésnek megfelelően megoldásunkban ,,szám''-on mindig egész számot értünk és minden betűvel egész számot jelölünk.)
Célszerű lesz a számokat a 7-tel való oszthatóság szempontjából 7k±r alakban írni, ahol r értéke 0, 1, 2, 3 lehet. A 4, 5, 6 pozitív maradékok helyett a 7-tel csökkentett, negatív, és abszolút értékben kisebb -3, -2, -1-et írtuk, mert így a továbbiakban a vizsgálandó esetek száma kisebb lesz. Most már minden szám négyzete 49k2±14kr+r2=7(7k2±2kr)+r2=7m+r2 alakú, és itt r2 értéke 02=0, 12=1, 22=4, vagy 32=9, ill. az utóbbit 7-tel csökkentve a maradék 2

012400124  1.23*5*  2..46*  4...1  

Ezek alapján táblázatot készítünk az a2+b2 összeg számára lehetséges (7-es) maradékokról. A táblázat sorai elé a2, oszlopai fölé b2 maradékait írva a sorok és oszlopok közös mezejére vagy ezek összegét írjuk, vagy a 7-tel kisebb számot. (Az összeg kommutativitása folytán a táblázat szimmetrikus lenne a főátlóra, emiatt a főátló alatti ,,háromszög'' kitöltését mellőzhettük.)
Mivel a2+b2=c2 maradéka is csak 0, 1, 2, 4 lehet, azért a táblázatban az ezektől különböző három számot ‐ és vele három a2, b2 maradék-párt ‐ mint pythagorasi számhármasban lehetetlent *-gal jelöltük meg. Már most a lehetségesnek maradt a2, b2 párok vagy az első sorba tartoznak, és ekkor a2-nek (az egyik befogószám négyzetének) maradéka 0, ennélfogva c2-b2=a2 osztható 7-tel, vagy a főátlóba, és ekkor a2 és b2 maradéka egyenlő, ennélfogva a2-b2 osztható 7-tel. Ezzel bizonyításunkat befejeztük.
 

Budai Zsuzsanna (Bp. II., Lorántffy Zs. utcai lg. III. o. t.)
 

Megjegyzés: Számos megoldó a pythagorasi számhármasokat adó képlethármas1 alapján bizonyította a tételt. A fenti megoldás mutatja, hogy ezek mellőzhetők, itt csak azt használtuk fel, hogy a, b, c egészek és teljesítik a pythagorasi egyenletet.
1Lásd pl. H. Rademacher-O. Toeplitz: Számokról és alakzatokról, Középisk. Szakköri Füzetek, 2. kiad. Tankönyvkiadó 1954. 84. o.; vagy Mosoni György: Pythagoras tétele, Ált. isk. szakköri füzetek. Tankönyvkiadó 1953. 26. o.