フェルマー小定理の特殊形？

Question

高校受験の娘から整数問題の質問をされ、答えたついでに類題を
出してやろうとあれこれ考えていたところ、以下のような規則を
みつけました。

ｎ＾(4m+1)≡n　(mod 10)  : n,mは 整数

恥ずかしながら自分で証明できなかったので、娘に出題することは
やめましたが、それ以前この式は本当に正しいのだろうかという疑問が
あります。
フェルマー小定理の特殊形のような、そうでないような・・・。

●すでに知られた一般的な規則で、正しいものでしょうか？
●証明はかなり難しいものでしょうか？
　（中学レベル、高校レベル、それ以上、程度で結構です）

注）私自身は数学に興味はもっていますがほとんど素人の人間です。
　　あまり難しい説明は理解の範囲を超えると思いますが、この規則の
　　原型となる公式や、成立する範囲、条件などについてお教えいただ
　　ければ幸いです。
　　（もし証明可能であればヒントをいただければ一度チャレンジして
　　　みようかなとも考えております）

　　よろしくお願いします。

gef00675 · Accepted Answer

＞　「2^4をかけることは時計の針を360ｍ度回転（mod 10の場合は当然10ｍの意味）させることに等しい」というように説明してやろうと

足し算の剰余ならよいのですが、掛け算の剰余は法１０の時計では説明しにくいかもしれません。というのは、法10の累乗の世界では、0から9までの数が、{3, 9, 7, 1}と、{2, 4, 8, 6}と、{5}と, {0}の４つの世界に分類されていて、法４の時計が２個、法１の時計２個の計４つが、別々に存在しているという状況だからです。

　オイラーの定理の証明や、拡張ユークリッドの互除法の説明がしてあるサイトをみつけました。ご参考までに。
http://www2.cc.niigata-u.ac.jp/~takeuchi/tbasic/BackGround/


＞「累乗の１の桁がなぜその周期で同じになるのか」という説明

オイラーの定理の証明の中に、その辺のからくりが書いてあります。ポイントは２つあります。まず、10と互いに素な数（たとえば３）が、
3^1≡3, 3^2≡9, 3^3≡7, 3^4≡3^0≡1 , 
というように、累乗が閉じたループを作っていることです。

もう一つは、１０と素な数には、乗法の逆元がとれることです。その逆元の存在は、拡張されたユークリッド互除法「a,bの最大公約数がgであるとき、ax+by=gとなるように整数ｘとｙを決めることができる」ことからの帰結です。
b=10とするとax+10y=gですから、整数aに対して、
　ax≡g　（mod 10)
となるようなｘが存在することを言っています。aと10が互いに素ならg=1だから、xはaの逆元になっています。（もちろん、通常の割り算とは、全然違うものです）

以上のことを使って推論していくと、１０と素な数を累乗したものは｛3,9,7,2｝の４個すべてを巡回しなければならず、したがって、ループの周期は必ず４（または４の約数）になるというのがオイラーの定理の内容です。

ご質問の式では、nが10と互いに素でない場合にどうなるかを問題にしています。
ご推察の通り、この場合もオイラーの定理に帰着されます。
nと10の最大公約数が2の場合は、n/2=cとおくと、cと5は互いに素なので、
　c^4≡1 (mod 5)
（この４は、φ(5)=4ということであり、φ(10)＝４とたまたま同じになりました）
よって、
  c^4=1+5m
　n^4=(2c)^4=2^4+10(2^3)m
　n^4≡2^4　（mod 10)
∴n^5≡2^5≡2≡n　（mod 10)
nと10の最大公約数が5の場合は、同様にして、n^2≡5^2≡5≡n　（mod 10)
ここから、ご質問の式を導くのは容易でしょう。

ただ、証明はできたとしてもわかりやすく説明するのは難しいかもしれませんね。

参考URL：http://www2.cc.niigata-u.ac.jp/~takeuchi/tbasic/BackGround/

ringohatimitu · Answer

これは正しいですね。一の位を見れば小学生向けに説明できると思いますよ。要するに0～9の自然数の累乗の一の位はどのような周期になっているかを調べてみるとよいでしょう。

gef00675 · Answer

フェルマーの小定理の一般形であるオイラーの定理
　　a＾φ(K)≡1　(mod K)　　（aとＫは互いに素）
があります。
ここで、φ(K)は、K 未満の K と互いに素な自然数の個数（オイラー関数）です。
　K=10の場合、φ(10)=4なので
　　a＾4≡1　(mod 10)　　（aと10は互いに素）
が成り立っています。このことに注意すると、ご質問の、
　　ｎ＾(4m+1)≡n　(mod 10) : n,mは 整数
が成立するかは、自然数ｎを素因数に分解し、n=2^x・5^y・aと表してみると、
考えやすいと思います。
 ご自身で考える楽しみをうばうといけませんので。この辺でやめときます。

gef00675 · Answer

ごめんなさい。間違えました。

誤＞以上のことを使って推論していくと、１０と素な数を累乗したものは｛3,9,7,2｝の４個すべてを巡回しなければならず、

正＞以上のことを使って推論していくと、１０と素な数を累乗したものは｛3,9,7,1｝の中を巡回しなければならず、

誤＞∴n^5≡2^5≡2≡n　（mod 10)
正＞∴n^5≡(2^5)c≡2c＝n　（mod 10)

誤＞同様にして、n^2≡5^2≡5≡n　（mod 10)
正＞同様にして、n^2≡(5^2)c≡5c＝n　（mod 10)

ringohatimitu · Answer

＃１です。まさにその考え方ですね。ただ質問者さんは「累乗の１の桁がなぜその周期で同じになるのか」ということの説明（小学生向け？）で悩んでおられるようですが普通は実験的に示せばそれでよいと思います。すなわち０から９まで各々累乗を計算しそれぞれ高々周期４であることを見る。これは質問者さんから見れば「非常に発見的でありカラクリが説明出来てない」のかもしれません。この現象についての説明は＃３さんが最初の部分で示してくれてますが「数の表現が１０進法によっているため」がいいところのような気がします。なぜ３の周期が４なのか、これは「足し算」をしてみて分かるものでしょう。足し算をしない状況では足し算の定義が使えませんからね。根本に何があるか、考えれば考えるほど混乱してきますがこの場合は「足し算を行うことで発見する」ことが唯一できる証明ではないでしょうか？

＃３さんの説明のように根本を探ってその結果「法」という概念に気が付きそれによって数の表現を多様に拡張できることが分かるというのは非常に大切な姿勢です。しかしまた同時に数学は発見的なものでもあり得られた事実のカラクリが実はそれそのものであったなんていうこともありえます。結局人間の脳で考えてる以上どこで妥協するか（発見的でもそれは立派な証明です）に尽きるかなと思ってます。

フェルマー小定理の特殊形？

これは正しいですね。

この回答への補足

フェルマーの小定理の一般形であるオイラーの定理

この回答への補足

＞ 「2^4をかけることは時計の針を360ｍ度回転（mod 10の場合は当然10ｍの意味）させることに等しい」というように説明してやろうと

この回答への補足

ごめんなさい。

＃１です。

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

　フェルマーの小定理の一般形であるオイラーの定理

＞　「2^4をかけることは時計の針を360ｍ度回転（mod 10の場合は当然10ｍの意味）させることに等しい」というように説明してやろうと