- ベストアンサー
整数
以下のようなのありますよね。 ax=by(a,bは整数)a,bが互いに素のとき x=bの倍数で、y=aの倍数である。 これってなんでxはbの倍数になって、yがaの倍数になるのでしょうか? っていうかまず言ってる意味が分からないのですが・・・。
- anagokunn2
- お礼率13% (21/153)
- 数学・算数
- 回答数3
- ありがとう数2
- みんなの回答 (3)
- 専門家の回答
質問者が選んだベストアンサー
条件にx,yも整数が必要ですが、それがあるとして説明します。 ax=byから、x=by/aと変形しましょう。xが整数なら、byはaで割り切れるはずです。ところがbはaで割れませんので(a,bが互いに素)yがaで割れることになります。つまり、yはaの倍数になります。よって、y=akと書けるので(yはaの倍数なので、kは整数)x=by/aに代入するとx=bkとなり、xはbの倍数になります。よってxはbの倍数になり、yがaの倍数になる。
その他の回答 (2)
- koko_u_
- ベストアンサー率18% (459/2509)
>これってなんでxはbの倍数になって、yがaの倍数になるのでしょうか? 整数の非常に基本的な性質です。証明は意外と難しく、さほど明らかではありません。 ANo.1 氏が言う「aはbの倍数では有りません。」は良いとして、 そこから「という事はxがbの倍数になる必要がある」を厳密に導くのはちょっと難しいよ。
- nious
- ベストアンサー率60% (372/610)
明らかにaxはbの倍数です。 ところがaとbが互いに素(最大公約数が1)だから、aはbの倍数では有りません。 という事はxがbの倍数になる必要があるという事になります。 yがaの倍数になるのも同じ事です。
関連するQ&A
- 非負整数a,b,c,x,yで、ax+byとcが互いに素でなくなるのは?
非負整数a,b,c,x,yで、ax+byとcが互いに素でなくなるのは? a,b,cは互いに素でa^2+b^2=c^2、またx,y,cも互いに素であるとします。 例えば、(a,b,c)=(3,4,5)、(x,y)=(-1,7)ならば、 ax+by=25となって、cと素でなくなりますが、 どういった条件が成り立てば良いのでしょうか? 任意の整数の組(x,y)が与えられた時に、 (ax+by)/c≠0が約分できるような(a,b,c)の組を知りたいのです。 よろしくお願いします。 ちなみに以前の質問↓の続きです。 http://okwave.jp/qa/q6158436.html
- ベストアンサー
- 数学・算数
- {ax+by|x,y∈Z}
aとbが互いに素とは限らないときは、{ax+by|x,y∈Z}は、aとbの最大公約数の倍数全体の集合になる。この定理の証明でわからない点があるので質問します。 これらの定理は、S={ax+by|x,y∈Z}とおくと集合Sが"差に関して閉じている"という性質をもつ。 (x_1,x_2,y_1,y_2∈Zのとき、(ax_1+by_1)-(ax_2+by_2)=a(x_1-x_2)+b(y_1-y_2)ここでx_1-x_2,y_1-y_2∈Zとなること)ので、ある正の整数dを用いてS={nd|n∈Z}(Sはdの倍数全体)と表されるのであるが、 Sの最初の定義から、a∈S(x=1,y=0とする)かつb∈S(x=0,y=1とする)であるから、aとbはdの倍数(dはa,bの公約数)であり、・・・(1) ここからがわからないところです。他方、ax_0+by_0=dとなる整数x_0,y_0が存在するのだから、a,bの任意の公約数はdの約数であるから・・・(2)、dはa,bの最大公約数というわけである。で証明は終わるのですが、 証明の大まかな流れは、(1)よりd≦(a,b) (a,b)は、aとbの最大公約数、(2)よりd≧(a,b)よって、d=(a,b)だと思うのですが、ax_0+by_0=dをa'dx_0+b'dy_0=dとしてみたりしても、a,bの任意の公約数はdの約数であるから、というのがわかりません。どなたか、他方、ax_0+by_0=dとなる整数x_0,y_0が存在するのだから、a,bの任意の公約数はdの約数である。を説明してください。お願いします。
- ベストアンサー
- 数学・算数
- Euclidの拡張互除法
Euclidの拡張互除法 互いに素な自然数A,Bがあるとき、Ax+By=1を満たす整数(x,y)が存在しますね。 また、この式からAB-BA=0をn倍して辺々引くと A(x-nB)+B(y+nA)=1 が成り立つので (x-nB,y+nA)も、Ax+By=1の整数解であると言えます。 これ以外に、Ax+By=1を満たす整数解は存在することはありますか? それと、Euclidの拡張互除法で Ax+By=1を満たす整数(x,y)を求めることができますが 無限に存在する(x,y)の組のうち、求まるのは 最も簡単なもののような気がしますが、それは正しいですか? 「最も簡単」というのは適当な表現が見つからないのですが 絶対値が一番小さい数の組み合わせといいますか 既約分数のようなイメージです。
- ベストアンサー
- 数学・算数
- x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて
x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて、 a^2+b^2=p^2を満たす互いに素なa,bは必ず存在するでしょうか? 換言しますと、奇素数pについて 「x^2+y^2=n×pとなる整数の組x,y,nが存在する」と 「a^2+b^2=p^2となる互いに素な自然数の組a,bが存在する」は同値でしょうか? 先ほど似た質問をさせていただいたのですが、 http://okwave.jp/qa/q6216192.html 私が確認してるのは「互いに素」でしたので改めて質問し直しました。 私の確認したところでは 2平方数の和がpの倍数にならないもの→3,7,11,19 2平方数の和がp倍数になり、且つp^2を満たすa,bが存在するもの→5,13,17 3^2+4^2=5^2, 5^2+12^2=13^2, 8^2+15^2=17^2
- ベストアンサー
- 数学・算数
- 整数の問題
整数(?)の問題です。よろしく御指導下さい。 1)3つの自然数a,b,cがa~2+b~2=c~2を満たしている。このとき、a,bの少なくとも一方は偶数であることを証明せよ。 2)自然数はa,b,c,dはc=4a+7b,d=3a+4bを満たしている。 2-1) c+3dが5の倍数ならば、2a+bも5の倍数であることを示せ。 2-2) aとbが互いに素で、cとdがどちらも素数pの倍数ならば,p=5であることを示せ。. (2-1は解決済みです。2-2の方がよく分かりません) 尚、このような整数、約数、倍数、素数、互いに素 というような問題(例題)を扱った 参考書、WEB サイト等ありましたら、ご紹介いただければありがたいです。よろしくお願いします。
- ベストアンサー
- 数学・算数
- ax + by (a,bは自然数で互いに素、x,yは自然数)
a,bは自然数で互いに素であるとき, ax + by (x,yは自然数) の形で表せない自然数の個数は いくつになるのでしょうか? x,yを0以上の整数に変更するとどうなるのでしょうか?
- ベストアンサー
- 数学・算数