ベストアンサー

代数入門

2005/10/15 13:46

ｍ、ｎを互いに素な整数とする。このとき、整数aがｍ、ｎで割り切れるならば、aはｍｎで割り切れること、すなわち、（ｍ、ｎ）＝１のとき、ｍ｜a、ｎ｜aならばｍｎ｜aであることは証明できるんでしょうか？？

wonderfulopporty
お礼率6% (9/133)

数学・算数
回答数1
ありがとう数0

みんなの回答 （1）
専門家の回答

質問者が選んだベストアンサー

ベストアンサー

tatsumi01
ベストアンサー率30% (976/3185)

2005/10/15 14:32 回答No.1

a が m で割り切れるから a=mk と書けます。n は m と素ですから k が n で割り切れ k=nq。したがって a = mnq。

関連するQ&A

代数

自然数ｍ、任意の整数ａに対して、[ａ]＝a＋ｎＺ：＝｛a＋ｍｎ|ｎは整数｝とする。また集合Ｚ/ｍＺ：＝｛[ｘ]|ｘは整数｝と定義する。（1）整数a,a'に対して、[a]=[a']⇔　a≡a'（mod m）を証明せよ。　＜←は、[a]≠[a']として、背理法で解けばよいのでしょうか？＞（２）Z/mZの元[a][b]に対して、[a]＋[b]を[a＋b]とおき、これが演算であることを証明せよ。＜[a]∋a+mn,[b]∋b+mn'として解いていっても大丈夫ですか？＞（３）[a]＋[b]：＝[a＋b]で、Z/mZで可換群になることを証明せよ。＜群であることをまず証明し、その後、[a]+[b]=[b]+[a]を示せばよいのですか？あと、（２）の解法のようにすることは可能ですか？＞長々となりましたが、＜＞の部分を教えてください。
代数学　恒等式

２つの連続する整数ｍ,ｎの平方数の間にある、ある整数をＮとして、Ｘ＝Ｎ－ｍ^2　Ｙ＝ｎ^2ーＮとするとき、Ｎ－ＸＹが平方数であるという証明をしたいのですが、ｎをｍ+１として、ｍ＜Ｎ＜ｍ^2+2ｍ+1としてＮ－ＸＹを平方完成しようとしてみたのですが、どうしてもうまくいきません。教えていただけたら助かります。よろしくお願いします。
互いに素の問題です！

2つの整数mとnが互いに素のとき、nとm－nも互いに素であることの証明で、答えはnとm－nの最大公約数をｇとおくとn＝aｇ、m－n＝bｇ(a、bは互いに素な整数)とおけて、m＝n＋(m－n)＝(a＋b)ｇとなる n＝aｇとm＝n＋(m－n)＝(a＋b)ｇよりmとnとはｇを公約数にもつがm、nは互いに素だからm、nの正の公約数は1しかないよってｇ＝1よりnとm－nは互いに素としてるのですが、「n＝aｇとm＝n＋(m－n)＝(a＋b)ｇよりmとnとはｇを公約数にもつがm、nは互いに素だからm、nの正の公約数は1しかない」という部分の意味が分からないので詳しく教えてください！ちなみに互いに素とか公約数とかの意味はわかります！
代数学の問題です

p,q,k：整数とする。 p,qは互いに素である。 <x>：xの非整数部分とする。例　<4.7> = 0.7 このとき k*q ≦ n ＜ (k+1)*q <n*p/q> = a/q　　(0 ≦ a ＜ q) となるような整数 n が唯一つ存在する事を証明せよ。 k=0と仮定できるのはなぜか？自分なりにp,qが互いに素であることより p*x+q*y=1 となる事を考えて利用しようと思ったのですが見当違いのせいかうまくできませんでした。どなたかこの問題の解答の分かる方のご解答をお待ちしております。
倍数の証明問題

ｍ、ｎを1より大きい異なる整数とする時、m^3*n-m*n^3は6の倍数であることを証明せよ． m^3*n-m*n^3 =mn(m+n)(m-n) 6の倍数なので、三つの連続する整数であることを使うのかと思ったのですが、ちょっと出来そうにありません。この問題はどうやって証明するのでしょうか？よろしくお願いしますm(__)m
可換群Gの二つの元a,bのそれぞれの位数m,nが

可換群Gの二つの元a,bのそれぞれの位数m,nが互いに素ならば、abの位数はmnである。この証明が分からないです。あと、位数m,nが互いに素なようになる可換群はどのようなものがあるでしょうか？例えばmodの世界において考えると、 mod nの時、位数はn-1の約数になるので互いに素にはならないと思うのです。そもそもが間違えているかもしれません。優しく教えていただければ幸いです。よろしくお願いします。
代数学の直積に関する質問です

代数学の質問です <a>,を<b>1と異なる２つの巡回群とするとき、<a>×<b>が巡回群であるための必要十分条件は、o(a),o(b)がともに有限で、かつ互いに素であることを示せ資料を参考にしながら、十分条件は示すことができたと思うのですが、必要条件の証明の方法がわかりませんちなみに、十分条件の証明として、 <a>×<b>の元(a,b)の位数は、(a,b)^s=(a^s,b^s)が単位元(1,1)に等しいためには、a^s,b^sがともに単位元である必要があるため、sがm,nの公倍数であることと同値である。m,nは互いに素であるためsがmnの倍数であることと同値であるという証明で良いでしょうかよろしくお願いします
代数学の問題なのですが

代数のレポートなのですが、苦手なのでよくわかりません。一問だけでもいいのでどなたか教えてください。ｍ、ｎ;互いに素な自然数ｆ;ｚ/ｍｎｚ　→　ｚ/ｍｚ×ｚ/nｚをf(a+mnz)=(a+mz,a+nz)と定義する。 (1)fはwell-definedであることを示せ。 (2)fは全単射であることを示せ。 (3)fは(z/mnz)* を(z/mz)* × (z/nz)*の上にうつすことを示せ。 (4)(3)を使ってψ(mn)=ψ(m)ψ(n)を示せ。お願いします。
互いに素であることの証明問題です

互いに素であることの証明問題です a　と　b　は２つの整数であるとします今　a　と　bは互いに素であることが分かっているとして a^n　と　b　が互いに素であることを証明しなさい (nは　n＞0　の整数) という問題なのですが互いに素になることは分かるのですが証明をせよと言われるとどうしていいか分かりません数学的帰納法を使えばいいのでしょうか？？お手数ですがお分かりになられる方教えていただけませんかお願いします
証明したいことを証明の途中に使う

nとaが互いに素　⇔ nとn-aが互いに素　の証明で2つ疑問がわいたので、質問します。 nとaの最大公約数をdとおくと n=Nd a=Ad (NとAは互いに素　これは背理法の証明がインターネットでしらべれました。)　とおけます。このときn-a=(N-A)dです。ここからが疑問です。NとAが互いに素より、NとN-Aも互いに素です。自分はこの文は、nをN、aをAと置き換えてはいるが証明したいことであり、成り立つかわからないので証明の途中には使っていけないと思いました。証明の続きは、よってdはnとn-aの最大公約数にもなるから、nとaが互いに素　⇔ nとn-aが互いに素です。で終わっていますが、２つ目の疑問が残りました、自分はd=1を証明しないといけない気がします。自分の考えに間違いがあったら訂正をお願いします。
代数学の、整数の合同の問題を教えて下さい。

この問題がわからず困っています。 (1)n,mは互いに素な整数とする。このとき、sn+tm=1となる整数s,tが存在する。 a,bを整数とする時、x=bsn+atmとおく。このとき、xは合同式 x≡a mod n x≡b mod m を満たすことを示しなさい。 (2)さらに、xをnmで割った余りをrとする。この時rは r≡a mod n r≡b mod m を満たすことを示しなさい。という問題です。分かる方、よろしくお願いいたします
背理法についての質問です

p√2が無理数であることを背理法を用いて証明せよ。という問題です。 √2が無理数であるという証明は、下のようにわかるのですが p√2が無理数であるという証明は同じように解けるのでしょうか？ √2が有理数であると仮定し，これをn/mとおく. （ここに，m，nは整数で互いに素）両辺を２乗すると 2＝(n/m)^2 2m^2＝n^2 よって，nは2の倍数・・・(1) n＝2kとおく 2m^2＝4k^2 m^2＝2k^2 よって，mは2の倍数・・・(2) (1)(2)はm,nが互いに素という仮定に反し，矛盾．ゆえに，√2は無理数
証明

m,nが整数のとき、次の命題を背理法を用いて証明せよ。（1）mnが偶数ならば、m、nのうち少なくとも一つは偶数である。（2）m^2+n^2が偶数ならば、m+nは偶数である。背理法の使い方がよくわかっていません。どのような流れで証明すればよいのか教えてください。よろしくお願いします。
連続したn個の整数の積

ひき続いたn個の整数の積のなかには、nの倍数が含まれることがわからないので質問します。問題は、整数a,bを係数とする２次式f(x)=x^2+ax+bを考える。f(α)=0となるような有理数αが存在するとき、以下のことを証明せよ。 (1)αは整数である。(2)任意の整数lと任意の自然数nに対して、n個の整数f(l),f(l+1),・・・,f(l+n-1)のうち少なくとも1つはnで割り切れる。 (1)α=m/n(m,nは互いに素な整数)とおくと条件より　(m/n)^2+a(m/n)+b=0, m^2/n=-(am+bn) m^2はnで割り切れるが,m,nは互いに素だから n=±1しかない。ゆえにα=±mとなり、αは整数である。 (2)f(α)=0だから、f(x)=x^2+ax+b=0となる2次方程式は、x=αなる解をもつ。ほかの解をβとすれば、解と係数の関係からα+β=-a,β=-a-αよりβも整数である。ゆえにf(x)はこの２整数α,βを用いて、f(x)=(x-α)(x-β)と因数分解できる。したがってf(l)=(l-α)(l-β)となりf(l)はl-αで割り切れる。同様に、 f(l+1)はl+1-α で f(l+2)はl+2-α 　　・・・ f(l+n-1)はl+n-1-α で割り切れる。ゆえにf(l)f(l+1)f(l+2)・・・f(l+n-1)はそれらの積 (l-α)(l+1-α)(l+2-α)・・・(l+ｎ-1-α)= (l-α)(l-α+1)(l-α+2)・・・(l-α+n-1)で割り切れる。ここがわからないところです。 l-αからはじまる引き続いたn個の整数の積だから、どこかにnの倍数がある。自分はl-α=-3 n=4で計算をしたら、　-3,-2,-1,0 となり0が４で割り切れるのかと疑問に思ったり、他の数を代入して計算してみても、ひき続いたn個の整数の積のなかには、nの倍数が含まれることが実感できませんでした。解答の続きは、よってn個の整数f(l),f(l+1),・・・,f(l+n-1)のうち少なくとも1つはnで割り切れる。でした。どなたか、ひき続いたn個の整数の積のなかには、nの倍数が含まれることを証明してください。お願いします。
線形代数

つぎの問題の答えの部分でわからないことがあります問題は Mをm*nの行列、Nをn*mの行列とする。ただしm>nとする。このときMNの固有多項式ｆMN(λ）とNMの固有多項式ｆNM(λ)との間にｆMN(λ)＝λ^(m-n)fNM(λ) なる関係があることを証明せよという問題でその答えが　M1＝[M:0],N1=[N ] 左このように m*mの行列にする　　　　0 とおいてfM1N1(λ)=|λE-M1N1|=det(λE-MN)と書いてあったのですがどうしてこうなるのかわかりません。紙に書いてやってみたのですがどうしてこれがイコールになるのかがわかりませんでした。簡単なことなのかもしれませんがどなたかお願いします。
論理的な誤りがあるなら指摘して

いまnを3以上の自然数、mを自然数とする。 f(n)を「nと互いに素でnよりも小さい自然数の個数」と定義します。 f(6)なら、1、2、3、4、5のなかで互いに素なのは、1、2、4、5の4個よりf(6) = 4です。さてm<nのときにmとnが互いに素なら、n-mとnも互いに素です（これは証明されたとします）このときf(n)が偶数であることを証明します。 ------------ k∈Nとして n = 2k＋1のとき｛１、２・・k｝の集合をA ｛k+１、k+２・・2k｝の集合をBとする。集合Aでnと互いに素な自然数をrとすると、 1≦ r ≦ k ⇔ n-k ≦ n-r ≦ n-1 ⇔ k+1≦ n-r ≦ 2kより互いに素なn-rは必ず集合Bに存在するので、集合Aの互いに素な個数とBの個数は同数なので、f(n)は偶数になる n = 2k＋2のとき｛１、２・・k｝の集合をA ｛k+2、k+２・・2k+1｝の集合をBとする。｛k+1｝の集合をCとする集合Cにおいて、n =2(k+1)とk+1は因数としてk+1(≧2)を持つので互いに素ではないのは明らか。集合Aでnと互いに素な自然数をrとすると、 1≦ r ≦ k ⇔ n-k ≦ n-r ≦ n-1 ⇔ k+2≦ n-r ≦ 2k+1より互いに素なn-rは必ず集合Bに存在し、さきほどと同じ議論になるので、f(n)は偶数になる qed で何か誤りがあるかね？
代数入門について

(1)a,b,c,dを(a,b)=1,(c,d)=1を満たす正の整数とする。このとき、a/b＋d/cが整数であれば、b=cであることを示す。(2)a,b,cを整数とするとき、(a,b)=1ならば、(ac,b)=(c,b)を示す。(3)a,bを整数とするとき、(a,b)=dとおけば、ある整数a',b'があってa=a'd,b=b'd,(a',b')=1と表せる。このとき、[a,b]=a'b'd=ab'=a'bであることを示す。この(1)～(3)の問題は証明できるのでしょうか？？
整数問題

正の整数nに対して、1以上n以下の整数で、nとの最大公約数が1 になるもののすべての和をs(n)とするとき、s(n)が素数となるすべての nを求めよ。 n=3以外にはないように思いますが、答えはあっているでしようか。考え方はnとaが互いに素の場合、nとn-aも互いに素であることを使いました。
数論が専門の方へ、ピタゴラス数からピタゴラス多項式、ピタゴラス行列を考えると

正の整数の組 a,b,c がピタゴラスの定理 a^2 + b^2 = c^2 を満たすとき、組 (a,b,c) のことをピタゴラス数という。原始ピタゴラス数は、互いに素な正の整数 m,n に対し、一方が偶数の時 a = |m^2 - n^2| b = 2mn c = m^2 + n^2 により、得られることが知られている。また、(3,4,5)にある行列を掛けていくことによっても生み出されることも聞きました。上の話で、整数のところを、（整数係数もしくは複素数係数の）多項式、（整数成分もしくは複素数成分の）行列と変化させるとどういった理論が知られているのでしょうか？例えば、いわゆる原始ピタゴラス多項式と呼ばれるものは、互いに素な多項式 f(x),g(x) に対し、 a = |f(x)^2 - g(x)^2| b = 2f(x)g(x) c = f(x)^2 + g(x)^2 と表されたりするのでしょうか？
論証　証明の仕方

命題ｍ＋ｎ，ｍｎが共に偶数ならばｍ，ｎは共に偶数であるが真であることの証明法を質問します。逆の命題はｍ＝２ｋ，ｎ＝２ｌ（ｋ，ｌはともに整数）とおいてｍ＋ｎ＝２（ｋ＋ｌ），ｍｎ＝２×２ｋｌで証明終でしたが，上記のも直接証明できませんか？（ｌは小文字のエル）対偶でｍ，ｎの少なくとも片方が奇数ならばｍ＋ｎ，ｍｎの少なくとも片方は奇数であるは 1)ｍが偶数ｍ＝２ｋ，ｎが奇数ｋ＝２ｌ－１（ｍｎは偶数だがｍ＋ｎは２ｋ＋２ｌ－１となるので奇数） 2)ｍ，ｎ共に奇数　ｍ＝２ｋ－１，ｌ＝２ｌ－１（ｍ＋ｎは偶数だがｍｎは４ｋｌ－２ｋ－２ｌ＋１となるので奇数） 3)ｍが奇数ｍ＝２ｋ－１，ｎが偶数ｎ＝２ｌ（1)と同様）としてそれぞれｍ＋ｎ，ｍｎを示せばよいのでしょうが，そうではない方法でお願いします。ｍ＋ｎ＝２ｋ，ｍｎ＝２ｌとおいてｎを消去したらｍの2次式となってしまい，解の公式で解いたらｍ＝ｌ±√　となり，偶数であることを示せませんでした。

代数入門

質問者が選んだベストアンサー

関連するQ&A

代数

代数学　恒等式

互いに素の問題です！

代数学の問題です

倍数の証明問題

可換群Gの二つの元a,bのそれぞれの位数m,nが

代数学の直積に関する質問です

代数学の問題なのですが

互いに素であることの証明問題です

証明したいことを証明の途中に使う

代数学の、整数の合同の問題を教えて下さい。

背理法についての質問です

証明

連続したn個の整数の積

線形代数

論理的な誤りがあるなら指摘して

代数入門について

整数問題

数論が専門の方へ、ピタゴラス数からピタゴラス多項式、ピタゴラス行列を考えると

論証　証明の仕方

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

代数入門

質問者が選んだベストアンサー

関連するQ&A

代数

代数学 恒等式

互いに素の問題です！

代数学の問題です

倍数の証明問題

可換群Gの二つの元a,bのそれぞれの位数m,nが

代数学の直積に関する質問です

代数学の問題なのですが

互いに素であることの証明問題です

証明したいことを証明の途中に使う

代数学の、整数の合同の問題を教えて下さい。

背理法についての質問です

証明

連続したn個の整数の積

線形代数

論理的な誤りがあるなら指摘して

代数入門について

整数問題

数論が専門の方へ、ピタゴラス数からピタゴラス多項式、ピタゴラス行列を考えると

論証 証明の仕方

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

代数学　恒等式

論証　証明の仕方

カテゴリ
一覧

専門家に質問してみよう
専門家登録