Feladat: Gy.1974 Korcsoport: 16-17 Nehézségi fok: könnyű
Füzet: 1982/január, 4. oldal  PDF  |  MathML 
Témakör(ök): Prímszámok, Számsorozatok, Gyakorlat, Indirekt bizonyítási mód
Hivatkozás(ok):Feladatok: 1981/április: Gy.1974

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.

Mivel p1=2 és p2=3, ezért ha n3, akkor 1+p1p2...pn 2-vel és 3-mal osztva 1-et ad maradékul, így minden prímosztója legalább 5.
Tegyük fel a feladat állításával ellentétben, hogy a sorozat n-edik eleme 5. Ekkor 1+p1p2...pn-1 legnagyobb prímosztója 5, így ennek a számnak 5-től különböző prímtényezője nem lehet. Ez azt jelenti, hogy 1+pn...pn-1 az 5 hatványa. Ha ez éppen 5k, akkor

p1...pn1=5k-1;
A jobb oldal osztható (5-1)=4-gyel; a bal oldalon n-1 prím szorzata áll, melyek közül az első 2, a többiek pedig 2-nél nagyobbak. Ez a szorzat tehát nem osztható 4-gyel. A kapott ellentmondás azt jelenti, hogy az 5 valóban nem eleme a sorozatnak.