MathLabs

第4問

すべて決定せよ pairs (n,p)(n,p) の正の整数 を満たす p p はa 素数, n n ないexceeded 2p2p , および(p−1)n+1(p-1)^n+1 はdivisible によりnp−1 n^{p-1}.
ステップ 3/5: 用いる size bound
前のステップ次のステップ
ざっくり言うと

There はno room に対してanother 素数 factor.

n=por(n,p)=(4,2)n=p\quad\text{or}\quad(n,p)=(4,2)
詳しい解説

翻訳：Since p p はsmallest 素数 約数 のn n およびn≤2p n\le2p 翻訳：, either n=p n=p またはp=2,n=4 p=2,n=4. The latter fails によりdirect substitution, so のみn=p n=p 翻訳： remains.