No.1ベストアンサー
- 回答日時:
合同式は分かりますよね。
(今年から新しく入ったんだっけ?)a,bを整数、pを素数とする。ここで(a+b)^p を展開した時にできる2項係数pCk はk=0,pを除きpで割り切れる。(二項係数が分からなければ数Aの教科書を)
従って、(a+b)^p=a^p +b^p である。
1^p≡1 mod p から初めて、順に、
2^p≡1^p+1^p≡1+1≡2 mod p,3^p≡2^p+1^p≡2+1≡3 mod p,・・・・
と、n^pまで同様のことをすると(帰納法)、すべての整数nについてn^p≡n mod pがわかる。
ここで合同式の定義からこのことは、n^p -n=n(n^(p-1)-1)がpで割り切れる・・・(*)という意味。
従って、nがpで割り切れなければ、(*)が成立するにはn^(p-1)-1がpで割り切れなければならないので、
n^(p-1)≡1 mod p となる。
どうですか???
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- その他(悩み相談・人生相談) お金さえあればなんでも出来るらしいのですが、例えば1000億円の資産があれば、独学で数学を研究してフ 4 2023/03/27 21:24
- 数学 ゴールドバッハの予想について 2 2022/05/24 22:57
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 失敗した人の話がほとんど出てこない理由は何でしょうか? 4 2022/06/06 14:08
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- 数学 モデルのパラメータの定義がいまいちわかりません。 3 2022/10/11 15:16
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 アマチュア数学者について 2 2022/06/08 17:55
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
lim[x→+∞](x^n/e^x)=0 の証明
-
直角三角形じゃないのに三平方...
-
sin^2+cos^2=1の証明
-
完全数はどうして「完全」と名...
-
AとBはn次正方行列とする。 積A...
-
超難問なんですが数学詳しい方...
-
【遊びのピタゴラスイッチはな...
-
至上最難問の数学がとけた
-
連立合同式の初級です。急いで...
-
合同方程式13x≡7(mod84)の答え...
-
ピタゴラス数について。
-
大学の記述入試で外積は使えま...
-
ベクトル解析の分かりやすく丁...
-
ディリクレ指標について( mod=5...
-
ドアモブルの定理を幾何学的に...
-
オイラーの公式はピタゴラスの...
-
3以上9999以下の奇数aで、(a^2)...
-
複素関数と実関数のテーラー展...
-
方べきの公式の『方べき』の意味
-
定理と法則の違い
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報