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. Föltehető, hogy , hiszen tetszőleges prímmel megoldás. Legyen az legkisebb prímosztója, azaz , ahol . választásából látszik, hogy , és az is, hogy az páratlan. Ekkor , azaz A kis Fermat-tétel szerint . Ennek ismételt alkalmazásával | | Ebből az is következik, hogy , tehát ismét felhasználva a kis Fermat-tételt (1)-et négyzetre emelve Ha jelöli és legnagyobb közös osztóját, akkor az euklideszi algoritmus felhasználásával (2)-ből és (3)-ból következik. A meghatározásához vegyük észre, hogy választása szerint az minden prímosztója nagyobb -nál, így -nek és -nek nincs közös prímosztója. Így vagy 1, vagy pedig 2. Így mindenképpen . Ez pontosan akkor teljesül, ha , vagy pedig . Az első esetben (1)-ből , azaz és így miatt . Ekkor a feltételből következik, és így a , megoldást kapjuk. A második esetben , azaz , és így , , a feltételből pedig következik. Megmutatjuk, hogy kitevője prímtényezős felbontásában pontosan . Ebből aztán (4) szerint , azaz , tehát és adódik. a binomiális tétel szerint (az páratlan): | | Az összeg első tagja (n1)p=pα+1⋅m, és tudjuk, hogy p∤m. Azt állítjuk, hogy a további tagok valamennyien oszthatók pα+2-vel, és így 1+(p-1)n=pα+1(m+p⋅K) alakú, és így a második tényező valóban nem osztható p-vel. Legyen tehát k≥2, és tekintsük a k-adik tagot (n=pα⋅m): | (nk)pk=nk(n-1k-1)⋅pk=pα+k⋅mk(n-1k-1). | Ha p≥3 és k≥2, akkor pk-1>k (ez k-ra vonatkozó indukcióval nyilvánvaló), és így a p prímszám kitevője a k nevezőben legfeljebb k-2. Mivel a pα+k⋅m⋅(n-1k-1) szorzatban csak a k-val való osztás csökkentheti a p kitevőjét, azért ez a kitevő valóban legalább α+k-(k-2)=α+2. A második esetben tehát arra jutottunk, hogy a p prímszám csak 3 lehet, a feltétel pedig így Ismeretes, hogy ez csak az n=1 és n=3 esetben teljesül. Ez volt az 1990. évi pekingi Matematikai Diákolimpia 3. feladata. Megoldása megtalálható Reiman István: Nemzetközi Matematikai Diákolimpiák 1959‐1994 (Typotex Kiadó, Budapest, 1997) című könyvének 442‐444. oldalán.
Megjegyzés. Az n≤2p feltétel felhasználásával természetesen nincs szükség erre a hivatkozásra.
Zábrádi Gergely megoldása |
|