• ベストアンサー

整数

以下のようなのありますよね。 ax=by(a,bは整数)a,bが互いに素のとき x=bの倍数で、y=aの倍数である。 これってなんでxはbの倍数になって、yがaの倍数になるのでしょうか? っていうかまず言ってる意味が分からないのですが・・・。

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

  • ベストアンサー
回答No.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)
回答No.2

>これってなんでxはbの倍数になって、yがaの倍数になるのでしょうか? 整数の非常に基本的な性質です。証明は意外と難しく、さほど明らかではありません。 ANo.1 氏が言う「aはbの倍数では有りません。」は良いとして、 そこから「という事はxがbの倍数になる必要がある」を厳密に導くのはちょっと難しいよ。

  • nious
  • ベストアンサー率60% (372/610)
回答No.1

明らかにaxはbの倍数です。 ところがaとbが互いに素(最大公約数が1)だから、aはbの倍数では有りません。 という事はxがbの倍数になる必要があるという事になります。 yがaの倍数になるのも同じ事です。

関連するQ&A

  • 整数

    ユークリッドの互除法とa=bq+rを使って次の証明をお願いします。 「a,bは整数とする。(a,b)=1のときax+by=1を満たす整数x,yが存在することを示せ」 (a,b)=1というのは互いに素つまり1以外に公約数を持たないということです。 非常に困っています よろしくお願いします。

  • 非負整数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

  • 整数問題

       a,bは互いに素で、格子点(x1、y1) (x2、y2)があり第一象限において  ax1+by1=ax2+by2 が成立すると、  a/b=|y1-y2|/|x1-x2|となってこれは左辺の既約分数がより分母が小さい分数にへんけいすることができるため矛盾すると書いてあるのですが、分母が小さい数になるという意味がいまいち把握できません。どなたかご教示頂けると有難いです。おねがいします。 なおx、yの次の1,2は区別するためのものです。

  • {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の約数である。を説明してください。お願いします。

  • 整数問題

    次の整数問題はどのようにときますか。連続除法とそうでない場合とで考えたいのでご教授してください。いくら考えてもよい答えができません。 「a,bは整数とする。(a,b)=1のときax+by=1を満たす整数x,yが存在することを示せ」 よろしくお願いします。

  • 整数の基本事項

    ある整数がaの倍数でもあり、bの倍数でもあるとき、 (1)aとbが互いに素ならば、abの倍数 (2)aとbが1以外の公約数を持つならば、最大公約数の倍数という認識で正しいでしょうか? ★(2)はたとえばa=24,b=36ならば、その整数は((12×2)×整数)、(12×3)×整数)であることが保証されるので、12の倍数という思考で正しいでしょうか?

  • 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以上の整数に変更するとどうなるのでしょうか?