Feladat: B.4811 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Keresztes László 
Füzet: 2017/április, 216. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Egyenlőtlenségek, Legkisebb közös többszörös
Hivatkozás(ok):Feladatok: 2016/szeptember: B.4811

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. Két pozitív egész szám, x és y legnagyobb közös osztóját a szokásos módon jelölje (x,y). Ismeretes, hogy (x,y)=xy[x,y]. Ha 0<x<y, akkor (x,y) közös osztója lévén x-nek és y-nak, osztója y-x-nek is, ami pozitív; így (x,y)y-x. Ezzel
aiai+1[ai,ai+1]ai+1-ai,
így
1[a1,...,ai,ai+1]1[ai,ai+1]ai+1-aiaiai+1=1ai-1ai+1.

A kapott egyenlőtlenséget i=1,2,...,n-1-re felírva, majd összegezve:
1a1+1[a1,a2]+1[a1,a2,a3]+...+1[a1,a2,...,an]1a1+(1a1-1a2)+(1a2-1a3)+...+(1an-1-1an)=2a1-1an<2.