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 az az -nél kisebb pozitív egész nevezőjű tört, amelynek a legkisebb az eltérése -től. Mivel és relatív prímek, ez utóbbi tört nem egyszerűsíthető, s így | | nem lehet nulla. Az utóbbi tört számlálója egész, így ‐ nem lévén nulla ‐ legalább . Két esetet különböztetünk meg: 1. eset. . Ekkor az feltétel miatt a eltérés legalább . 2. eset. . Ez kétféleképpen teljesülhet: a) . Itt és pozitív egész szám és , ezért , s így Azt is látjuk, hogy nem osztható hárommal, mert különben a bal oldal osztható volna hárommal, a jobb oldal viszont . Így -re lehetőség marad, ezeket végigpróbálva egyedül esetén adódik -ra is egész szám: . Ebben az esetben tehát a tört csakis lehet, s az eltérése -től . b) . Ezúttal miatt , s így megint legfeljebb lehet, és most sem osztható hárommal. Ez megint lehetőség, amelyeket végigpróbálva csak esetén kapunk egészet -ra: . A tört eltérése -től . Az összes eshetőséget végigvizsgálva a legkisebb eltérés a esetben, tehát esetén adódik, így az -nél kisebb pozitív egész nevezőjű törtek közül ennek a törtnek a legkisebb az eltérése a -től. Megjegyzés. A , illetve ún. diophantikus egyenlet általános megoldásával is nyilvánvalóan el lehet jutni a feladat megoldásához. De ahhoz is szükség van egy konkrét megoldás megtalálására, ami a fent leírt módon történhet, vagy szükség van az tört lánctörtbe fejtésére: Ebből a megoldás az utolsó tört elhagyásával kapható: a tört nevezőjét -nak, számlálóját -nak választva a és , illetve a és adják a két egyenlet általános megoldását. |
|