にほんブログ村 科学ブログ 数学へ
にほんブログ村

f:id:jurupapa:20110906195405j:image

Lレンズ

 

数学の本を読んでいたら面白い問題がありました。

 

問題:nが自然数のとき、( n^4+n^3+n^2+n+1 ) はどんな数でしょうか?

 

どんな数か、と言われても何を答えたらいいのか分かりません。まず具体的にどんな数なのか見てみます。

 

これは冪乗の総和を使うとうまく定義出来ます。

(%i1) define(f(n),sum(n^k,k,0,4));

$$ ag{%o1} fleft(n ight):=n^4+n^3+n^2+n+1 $$

 

ではiを1から21まで動かしながらf(i)の値を見てみます。

(%i2) makelist([i,f(i)],i,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]);

$$ ag{%o2} left[ left[ 1 , 5 ight]  , left[ 2 , 31 ight]  , left[ 3 , 121 ight]  , left[ 4 , 341 ight]  , left[ 5 , 781 ight]  , left[ 6 , 1555 ight]  , left[ 7 , 2801 ight]  , left[ 8 , 4681 ight]  , left[ 9 , 7381 ight]  , left[ 10 , 11111 ight]  , left[ 11 , 16105 ight]  , left[ 12 , 22621 ight]  , left[ 13 , 30941 ight]  , left[ 14 , 41371 ight]  , left[ 15 , 54241 ight]  , left[ 16 , 69905 ight]  , left[ 17 , 88741 ight]  , left[ 18 , 111151 ight]  , left[ 19 , 137561 ight]  , left[ 20 , 168421 ight]  , left[ 21 , 204205 ight]   ight] $$

 

なるほど、末尾が1の数と末尾が5の数にばかりなるように見えます。mod 10で見てみましょう。

 

(%i3) makelist([i,mod(f(i),10)],i,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]);

$$ ag{%o3} left[ left[ 1 , 5 ight]  , left[ 2 , 1 ight]  , left[ 3 , 1 ight]  , left[ 4 , 1 ight]  , left[ 5 , 1 ight]  , left[ 6 , 5 ight]  , left[ 7 , 1 ight]  , left[ 8 , 1 ight]  , left[ 9 , 1 ight]  , left[ 10 , 1 ight]  , left[ 11 , 5 ight]  , left[ 12 , 1 ight]  , left[ 13 , 1 ight]  , left[ 14 , 1 ight]  , left[ 15 , 1 ight]  , left[ 16 , 5 ight]  , left[ 17 , 1 ight]  , left[ 18 , 1 ight]  , left[ 19 , 1 ight]  , left[ 20 , 1 ight]  , left[ 21 , 5 ight]   ight] $$

 

規則性が見えてきました。i=m*5+1の時にはf(i)の末尾が5, それ以外の時にはf(i)の末尾は1です。合同式を使えば簡単に証明出来ます。mod 10でi=1,,,10として計算すればよいだけです。f(10*n+1)≡f(1)=5, f(10*n+6)≡f(6)=5 mod 10などとやればお終いです。

 

ところでこれらの数を因数分解してみるとちょっと驚くことが分かります。

(%i4) makelist([i, factor(f(i))],i,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]);

$$ ag{%o4} left[ left[ 1 , 5 ight]  , left[ 2 , 31 ight]  , left[ 3 , 11^2 ight]  , left[ 4 , 11,31 ight]  , left[ 5 , 11,71 ight]  , left[ 6 , 5,311 ight]  , left[ 7 , 2801 ight]  , left[ 8 , 31,151 ight]  , left[ 9 , 11^2,61 ight]  , left[ 10 , 41,271 ight]  , left[ 11 , 5,3221 ight]  , left[ 12 , 22621 ight]  , left[ 13 , 30941 ight]  , left[ 14 , 11,3761 ight]  , left[ 15 , 11,4931 ight]  , left[ 16 , 5,11,31,41 ight]  , left[ 17 , 88741 ight]  , left[ 18 , 41,2711 ight]  , left[ 19 , 151,911 ight]  , left[ 20 , 11,61,251 ight]  , left[ 21 , 5,40841 ight]   ight] $$

 

分かりますか?f(5*n+1)が必ず5の倍数になるのは前の観察から明らかですが、その場合の5を除くと全ての素因数の末尾が1になっています。つまりf(n)の素因数は10m+1型の素数であることが予想されます。本当!!??