(問題)
kを整数とするとき、akをbで割った余りをr(k)で表す。k、lをb-1以下の正の整数とするとき「k≠1ならばr(k)≠r(l)」であることを示せ。ただし、aとbは互いに素な整数である。
(解説)
元の命題の対偶を取ると「r(k)=r(l)ならばk=l」となりこれを証明する。ak、alをbで割ったときの商をp、qとすると、
ak=bp+r(k)…(1)
al=bq+r(l)…(2)
(1)-(2)より
a(k-l)=b(p-q)
ここで、aとbは互いに素であるから、k-lはbの倍数である。
また、k、lはb-1以下の正の整数であるから
0<k<b、0<l<b
よって、-b<k-l<b
ゆえにk-l=0であるからk=l
したがって元の命題は証明された。
なんですけど…
ここで、aとbは互いに素であるから、k-lはbの倍数である。
↑の部分のなぜk-lはbの倍数になるのか?
また、k、lはb-1以下の正の整数であるから
0<k<b、0<l<b
↑のー1はどうなったのか?と
よって、-b<k-l<b
ゆえにk-l=0であるからk=l
↑のゆえにk-l=0であるからk=lの部分の=0がどこからきたのか分かりません。
質問三つと多いですが、回答お願いします。
No.2ベストアンサー
- 回答日時:
(1)
> ここで、aとbは互いに素であるから、k-lはbの倍数である。
> ↑の部分のなぜk-lはbの倍数になるのか?
a (k-l) = b (p-q)
という式を睨みます.
右辺は明らかに b の倍数です.したがって左辺も b の倍数です.
ところが a と b は互いに素なので,a は b の約数を一切含みません.
したがって (k-l) が b の倍数でないと,左辺は b の倍数になりません.
(2)
> また、k、lはb-1以下の正の整数であるから
> 0<k<b、0<l<b
> ↑のー1はどうなったのか?と
「b-1 以下の整数」であることと,「b 未満の整数」であることは同じなので,
不等式の上側をイコール抜きの不等号「< b」にして -1 を消しています.
(もちろん,-1 を書いて「≦ b-1」としてもかまいません)
(3)
> よって、-b<k-l<b
> ゆえにk-l=0であるからk=l
> ↑のゆえにk-l=0であるからk=lの部分の=0がどこからきたのか分かりません。
前のほうで見たように,k-l は b の倍数です.
つまり k-l は ..., -2b, -b, 0, b, 2b, ... のどれかです.
ところが,いま不等式 -b < k-l < b があるので,
この条件を満たすものは k-l = 0 しかありません.
No.1
- 回答日時:
1.互いに素ということはbの1を除くどの約数もaの約数ではないので
等式からbの全ての約数は(k-l)の約数です。
よって(k-l)はbの倍数です。
2.k≦b-1はk<bに含まれますし整数条件なら等しいです。
3.-bより大きくてbより小さいbの倍数は0だけです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 nは正の整数であり、偶数。 n(n+1)(n+2)(n+3)は素因数が3つ。 nを求めよ。 という問 8 2022/09/26 18:15
- 数学 数学の質問 6 2022/08/28 07:49
- 数学 数学の解法について こんばんは。最近数学の問題を解いています。証明問題を解いたのですが、解答とアプロ 4 2022/09/11 23:22
- 数学 8の倍数の証明(nの倍数の証明)をするとき、 k,lを整数とすると、−8(k+l)が8の倍数って答え 3 2022/12/02 17:59
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 どうか教えてください。 4 2022/07/02 20:18
- 数学 以下 n を自然数, p を素数とする. (a) 整数10000を 10000=(a_4)7^4+( 3 2022/05/19 16:54
- 数学 整数問題についてですが、 「正の整数aに対してa²を4で割ったときの余りを求めよ」という問題で、答え 12 2023/08/28 15:03
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- C言語・C++・C# 至急教えてください!プログラミングの問題です。 割られる整数と割る整数を受け取って、商と余りを出力す 3 2022/07/05 10:23
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
nの階乗と2のn乗の比較
-
√2,√3,√5,√6,√7,√10は有理数体...
-
なぜ等号は常に成り立たないの...
-
絶対値の不等式の証明ができません
-
1/(b+c-a)+1/(c+a-b)+…
-
0は無理数ですか?
-
述語について成り立つ関係
-
||a+b|| ≦ ||a|| +||b||の証明
-
不等式の証明
-
背理法
-
「次の不等式を証明せよりまた...
-
証明の問題なのですが・・・
-
ブール代数の証明
-
証明問題の解答をお願いします!
-
大学数学(位相数学)の問題です
-
(b+c)(c+a)(a+b)≧8abc
-
何時間 何分 何秒を記号で表...
-
ファルコンの定理は解かれまし...
-
中国剰余式定理(一般形)の証明...
-
∈と⊂の違いは何ですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
nの階乗と2のn乗の比較
-
無理数から無理数を引いた結果...
-
(b+c)(c+a)(a+b)≧8abc
-
部分分数分解について。 1/a・b ...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
なぜ等号は常に成り立たないの...
-
||a+b|| ≦ ||a|| +||b||の証明
-
√2,√3,√5,√6,√7,√10は有理数体...
-
数学的帰納法 不等式の証明
-
数学Ⅱ 不等式の証明問、3(a∧2+b...
-
証明が合っているかどうか?
-
変数の関係に相加相乗平均を使...
-
証明問題の解答をお願いします!
-
(1+h)^n≧1+nh+{n(n-1)/2}h^2
-
不等式の問題で
-
相加・相乗平均は最小値を示す...
-
数学的帰納法の証明2
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
不等式の証明と絶対値記号
-
(2n+1)!!・n!・2^n=(2n)!
おすすめ情報