No.4ベストアンサー
- 回答日時:
No.3の者です。
1を7で割れば「商」は0で、「余り」は1になりませんか?
確かに厳密に突き詰めればこれはちょっとおかしいのですが、なぜ合同式に於いて右辺に最小の数を持ってくるのかと言うと、性質上そのほうが都合が良いからです。
例えば…
※15≡8 (mod 7)
だとして、15のN乗を7で割った余りを求めるのに、8のN乗を考えていたら二度手間ですよね。1なら何乗しても1ですから、可能な限り最小の数値にしておいたほうが問題が少ないわけです。
で、仮に…
※17≡2 (mod 3)
に於いて17の100乗を3で割った余りを求めるとなると、2ですら100乗を計算するのが容易ではないことがわかるでしょう。
この場合は、2の2乗=4がmod 3に於いて1と合同(つまり、4を3で割ったら余りは1)になることを利用して…
※2の2乗≡1 (mod 3)
※2の100乗 = (2の2乗)の50乗
よって
※ (2の2乗)の50乗≡1の50乗 (mod 3)
となり、mod 3に於いてこの「 (2の2乗)の50乗」が「(17の2乗)の50乗(つまり、17の100乗)と合同、すなわち1の50乗と合同となるのです。
簡単に言えば、1のN乗はどこまで行っても1なので、その性質を用いて計算を楽にしてしまおうと言うようなものですかね。
因みに、正しくは…
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・
定義:整数aとbを整数mで割ったときの余りが等しいとき,すなわち,a-bがmで割り切れるとき,aとbはmを法として合同であるといい,
a≡b (mod m)
と書く.
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・
のようですね。
No.5
- 回答日時:
modeでなく、mod ですよ、というのは、すでに指摘されてますが…
文で書いた問題の、合同式を使わずに説明してみます。
(mCn は、C[m,n]と表すことにします)
15^113 = (2*7+1)^113
= Σ[k=0,113]C[113,k]*(2*7)^(113-k)*1^k
= Σ[k=0,113]C[113,k]*(2*7)^(113-k)
となるのは、大丈夫ですね(2項定理という奴です)
さらに先を計算すると、
15^113 = Σ[k=0,113]C[113,k]*(2*7)^(113-k)
= (2*7)^113 + C[113,1]*(2*7)^112 + C[113,2]*(2*7)^111 + … + C[113,111]*(2*7)^2 + C[113,112]*(2*7) + C[113,113]
になりますが、mCn=C[m,n]は、組み合わせの個数ですから、必ず自然数、
当然、C[113,??]も必ず自然数なので、各項を7で割り切れるかどうかみていくと、
最初の(2*7)^113 から、C[113,112]*(2*7)までは、どれも、*7が入っていて、
それ以外の部分も整数なので、必ず7で割り切れます。
割り切れるかどうかわからないのは、最後のC[113,113]だけですが、この値は1なので、
全体を7で割ると、最後の1の分だけ余る、ということになります。
この2項定理で展開した形から解るように、
自然数a,bがあって、a = b*(整数) + 1 のように表すことができるときは、
aを何乗しても、展開した式の最後の項が1で、途中の式は全部bで割り切れるので、
nが0以上の整数なら、必ず、a^n ≡ 1 (mod b) が成り立つことになります。
ありがとうございました。一応理系出身なので内容は、だいたい理解できました。mod公式の導出がこんなに大変なものだと知りませんでした。参考書も公式の導出には触れない訳です。
親切・丁寧な回答に大変感謝致します。
No.3
- 回答日時:
簡単に言えば…
mod A
であれば、Aで割ったときの「余り」が合同であるか、ということです。
この場合は、15を7で割った余りは「1」。同じく1を7で割った余りも「1」なので、「mod 7の時に、15と1は合同」となります。
要するに、そういう定義(決め事)で、なんでそんなことを約束しておかなきゃいけないかというと、タイトルの通り「15の113乗を7で割った時の余り」を求める時などに役に立つ「法則」の土台となるからです。
この回答への補足
ありがとうございます。1を7で割った余りも「1」とありましたが、どう計算をされたか教えて頂けないでしょうか?
15を7で割った余りは「1」は 15=7×2+1 となり納得できるのですが・・・
No.2
- 回答日時:
あんまり自信がないのですが説明してみます。
15≡1(mod7)というのは
15を7で割った余りが1ということです。
これはいくらなんでも分かりますよね。
でも、本当に知りたいのは
15^113(mod7)のことですよね。
これ多分15^113≡1(mod7)だと思いますよ。
お望みでないかも知れませんが公式としては
a^n≡b^n(mod k)
証明は「合同式」で検索してみてください。
「根本的なところ」ってのは私には教える実力がありません。
感覚的にはmod7って曜日って感じがしますけどね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・ちょっと先の未来クイズ第4問
- ・【大喜利】【投稿~10/21(月)】買ったばかりの自転車を分解してひと言
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
至上最難問の数学がとけた
-
二次合同式の解き方
-
【線形代数】基底、dimVの求め方
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
相似比の答え方・・・
-
【遊びのピタゴラスイッチはな...
-
パップスギュルダンの定理について
-
数学のセミナー発表のときに使...
-
Xの3乗+Yの3乗=Zの3乗
-
至急です! 数学で証明について...
-
完全数はどうして「完全」と名...
-
実数の整列化について
-
論理回路
-
ベクトル解析の分かりやすく丁...
-
傘を買うと雨は止む。
-
任意の自然数m,nが互いに素で、...
-
△ABCの∠Aの2等分線と辺BCとの交...
-
x^100を(x+1)^2で割ったときの...
-
中学2年図形の証明についての質...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
至上最難問の数学がとけた
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
階差数列・群数列について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
modを使用した平方根の求め方
-
定理と法則の違い
-
ほうべき(方巾)の定理について
-
数A nは自然数とする。n , n+2 ...
-
「整数係数方程式の有理解の定...
-
実数の整列化について
-
至急です! 数学で証明について...
-
三角形の3辺の長さの性質の証明
-
A,Bの異なる2つの箱に異なる1...
-
二次合同式の解き方
-
長さがマイナスの答えのとき、...
-
相似比の答え方・・・
おすすめ情報