- ベストアンサー
数Ａ 集合の問題について
[問題] Ｚは整数全体の集合とする。Ａ＝｛2x+3y｜x属するＺ,y属するＺ｝ とするとき,Ａ＝Ｚであることを証明せよ。 ※「属する」の記号が文字化けして、表れないため文字で書きました。 「xはZに属する、yはZに属する」です この問題の解答を見たところ、二つに場合分けされて考えられていました。場合分けの二つ目に、x,yに適当な数値を代入して、＝1を作り出す部分があったのですが、そこの部分がわかりません。詳しい解答、解説よろしくお願いします。
- みんなの回答 （6）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
>[解答] > ...... [2] 2*(-1) + 3*1＝1 であるから、すべての整数n は n = 2*(-n) + 3*n (-n, n∈Z) と表され n∈A 。...... なるほど、セット A の生成条件 2*x +3*y (x, y∈Z)によって 1 を作れれば、その {x, y} を n倍してすべての整数(∈Z)を作れる、という筋書きですね。 蛇足になりますが、不定方程式 2*x +3*y = 1 をむりやり「互除法」で解いてみましょう。 http://members.ld.infoseek.co.jp/aozora_m/suuronN/node16.html >一次不定方程式の一般解と解の構成 を参照。 ・係数の大きなほうを小さいほうで割って、余りをだす。 3 = 2*1 + 1 ・もとの式へ入れてみる。 2*x +3*y = 2*x + (2*1+1)*y= 2*(x+y) + y = 1 つまり 2*x' + y = 1 (x'=x+y) ・あきらかに、xo' = 0, yo = 1 が解のひとつ。 つまり xo = -1, yo = 1 が解のひとつ。 ・さらに(k を任意の整数とする)、x = xo - 3*k, y = yo + 2*k も 2*x +3*y = 1 の解。(一般解)
その他の回答 (5)
>.... 適当にx,yに代入して全ての整数がZに属するということを示せばよい.... 蛇足です。 言葉尻をとらえてすみませんが、「適当にx,yに代入」するのではありません。 2x+3y = 1 なら目算でわかりましたけど、一応は「不定方程式を解くのです。」 目算でわからなければ、たとえば「ユークリッドの互除法」を使います。 さらに余計なお世話ですが、1 が A に属することを示しただけでは、「2x+3yが全ての整数」になるといえないのでは？ しかし、この件はご質問の範囲外なのでしょうね。
お礼
何度も回答すいません。だいたいわかりました。一応、質問の仕方が悪かったせいか話がいろんな方へいってしまってるようなので、解答を載せたで見てください [解答] [1]「x属するZ」、「y属するZ」のとき2x+3yは整数であるからＡの要素 はすべて整数である よって「Ａ含まれるＺ」 [2]2・（-1）+3・1＝1であるから、すべての整数nは ｎ＝2・（-n）+3・ｎ,-ｎ属するＺ,n属するＺ と表され「n属するＡ」 すなわち「n属するＺ」ならば「n属するＡ」であるから 「Ｚ含まれるＡ」 [1],[2]より「Ａ含まれるＺ」かつ「Ｚ含まれるＡ」が成り立つので Ａ＝Ｚ これの[2]の部分がわからなかったんです。
- rnakamra
- ベストアンサー率59% (761/1282)
これはx,yをともに整数とすると2x+3yの式から全ての整数を作り出すことができるということです。 2x_0+3y_0=0となる(x_0,y_0)の組が存在すれば、x=x_0+n(n=0,±1,±2,...),y=y_0とおくことで全ての偶数を作り出すことができます。 2x_1+3y_1=1となる(x_1,y_1)の組が存在すれば、x=x_1+n(n=0,±1,±2,...),y=y_1とおくことで全ての奇数を作り出すことができます。
お礼
回答ありがとうございました。 2x+3yが全ての整数であり、これがＺに含まれるということを証明しているのですね
>.... 1や-1をx,y代入するというところがまだわかりません。.... 勝手に筋書きを想定してますが、どこか違いますか？ ・証明すべきこと。 「1 : 属するZ」が A にも属すること。 ・証明の方針。 2x+3y = 1: を満たす {x, y : 属するZ} を示す。 その一例が x = -1 : 属するZ y = 1 : 属するZ 大げさに言えば、不定方程式を解くのです。 この不定方程式、解の個数はきりがあません。たとえば、 x = -4 : 属するZ y = 3 : 属するZ でも良かです。 いずれにせよ「1 : 属するZ」が A にも属することが示されてます。 こんなところで凝ってみても、無駄な努力です。
お礼
再び回答していただきありがとうございました。 ようするに適当にx,yに代入して全ての整数がZに属するということを示せばよいのですね
補足
すいません。日本語が間違ってました。 ようするに適当にx,yに代入してＡにZが含まれるということを示せばよいのですね。するとＡはＺに含まれる、ＺはＡに含まれる。 よってＡ＝Ｚです
- hotmath
- ベストアンサー率0% (0/1)
Zに属する全ての数は、ｘ、ｙにある値を代入することで得られる、という意味ではないでしょうか？ 場合分け、という部分は、AはZに含まれる、と、ZはAに含まれる、という2つのことを証明している、ということでしょうか？
お礼
回答ありがとうございました。 場合分けはその通り、ＡはZに含まれる、と、ZはAに含まれる、という二つのことです
>.... x,yに適当な数値を代入して、＝1を作り出す部分があったのですが、そこの部分がわかりません。.... 単純に考えれば、 x = -1 : 属するZ y = 1 : 属するZ を代入すれば、 2x+3y = 1: 属するA & Z ですね。
お礼
回答ありがとうございました。 1や-1をx,y代入するというところがまだわかりません。 もう少し詳しく解説お願いします。
お礼
何度も詳しい回答ありがとうございます。 おー。すごいやり方ですね。わかりました。