• ベストアンサー

背理法の問題なのですが

a、b、cを自然数にするとき次の事を示せ。 (1)aが3の倍数でないならばa^-1は3の倍数である。 (2)a^2+b^2=c^2ならばa,bのうち少なくとも一つは3の倍数である。 (1)はわかりました。 (2)は解説を読んでもよくわかりません。 [解説] a,bともに3の倍数でないと仮定する。 (1)によりa^2+b^2を3で割った余りは1+1=2 一方c^2を3でわると余りは0か1となり矛盾するからa,bのうち少なくとも一つは3の倍数である。 >(1)によりa^2+b^2を3で割った余りは1+1=2 >一方c^2を3でわると余りは0か1となり (1)のどこを利用しているのかがよくわかりません。 あと何故c^2を3でわると余りは0か1になるのでしょうか? 数字を代入してみるとそのとおりなのはよくわかるのですが・・。 よろしくお願いします。

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

  • ベストアンサー
回答No.3

yyama19さん、こんにちは。 >(1)aが3の倍数でないならばa^-1は3の倍数である。                ↑ ここ、ちょっとタイプミスですよね?aのー1乗ではなく、aの2乗から1引いたもの、ですよね。 だとして、回答します。 >(1)によりa^2+b^2を3で割った余りは1+1=2 (1)より、aの2乗から1引くと、3の倍数です。 ですから、aの2乗は、3で割って1余ります。 同様に、bの2乗も、3で割って1余ります。 ですから、a^2+b^2=1+1=2 ←3で割った剰余系で考えているのです。 これは、a^2+b^2が、3で割って2余る数になることを示しています・・・(☆) >一方c^2を3でわると余りは0か1となり これも、(1)から言えます。 cが3の倍数でなければ、(1)より、cの2乗から1引いたものは3の倍数。 つまりc^2は、3で割って1余ります。 cが3の倍数であれば、c=3mとかけますから c^2=(3m)^2=9m^2 となるので、これは3の倍数である。 ですから、cが3の倍数であろうとなかろうと、cの2乗は3で割って あまりが0か1になります。・・・・(★) (☆)と(★)は、明らかに矛盾していますから、 aもbも3の倍数でないとした仮定がおかしかったことになります。 よって、a,bのうち、少なくとも一つは3の倍数であることが背理法により照明されました。 ご参考になればうれしいです。

yyama19
質問者

お礼

こんばんは、いつもありがとうございます。 タイプミスしてしまいました、ホントにごめんなさいm(__)m やっと解説が理解できました。 すごく参考になりました。 ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (3)

回答No.4

追加です。 (1)のa^-1はa^2-1のことでしたか。 それでは、 >(1)によりa^2+b^2を3で割った余りは1+1=2 は、以下のように【】内を補えばわかります。 (1)により【a^2-1は3の倍数だから、それに1を足したa^2は「3の倍数+1」ということになって、3で割った余りは1。b^2も同様に3で割った余りは1。だから、】a^2+b^2を3で割った余りは1+1=2

yyama19
質問者

お礼

>(1)のa^-1はa^2-1のことでしたか。 でした~本当に申し訳なかったです。 やっと解説が理解できました。 どうもありがとうございました。

yyama19
質問者

補足

皆さまの回答に優劣をぜんぜんつけられないので、詳しく説明していただいた順しました。 ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。
回答No.2

(1)に関し、a^-1は1/aですか? それが「3の倍数」というのは変な気がしますが。 (2)は、(1)がなくても以下のように解けます。 任意の自然数は、3n、3n+1、3n+2のいずれかで表されるが、それぞれの乗は、 (1) (3n)^2=9n^2=3*(3n^2)・・・3で割った余りは0 (2) (3n+1)^2=9n^2+6n+1=3(3n^2+2n)+1・・・3で割った余りは1 (3) (3n+2)^2=9n^2+12n+4=3(3n^2+4n+1)+1・・・3で割った余りは1 となるから、任意の自然数の2乗を3で割った余りは0か1である。 (余りが2にはならないということ) さて、a、bの両方とも3の倍数でないと仮定すると、それぞれの2乗を3で割った余りは1になるから(上記の(2)又は(3)のケース)、a^2+b^2を3で割った余りは1+1=2である。 一方、右辺のc^2を3で割った余りは0か1なので、これは矛盾である。 よって、a、bのうち少なくとも1つは3の倍数である。

yyama19
質問者

お礼

ごめんなさい、a^-1→a^2-1でした。 申し訳なかったですm(__)m (3n+1)^2、(3n+2)^2もあまりは1になるんですよね、なんとなく前のが1なら次のは2になりそうな気がしてたんですが、なるほどです。

全文を見る
すると、全ての回答が全文表示されます。
  • liar_adan
  • ベストアンサー率48% (730/1515)
回答No.1

>>(1)によりa^2+b^2を3で割った余りは1+1=2 >>一方c^2を3でわると余りは0か1となり >(1)のどこを利用しているのかがよくわかりません。 a^2+b^2 = (a^2-1)+(b^2-1)+2 と見ているためです。 >あと何故c^2を3でわると余りは0か1になるのでしょうか? これも(1)の応用で、 (i)cが3の倍数ならc^2も3の倍数 (ii)そうでない場合は c^2 = (c^2-1)+1 です。

yyama19
質問者

お礼

やっと解説が理解できました。 ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 背理法について

    整数a,b,cについて次の問いに答える ((1)) (a^2)を3で割った余りは0または1であることを示す どのように求めるかわかりません。 背理法の説き方だと思うのですが、命題と書いてないのでよくわからないです。 もし、aが3の倍数でないとき a=3k+1 a=3k+2 といえるがわかりません。 ((2)) 命題”(a^2)+(b^2)=(c^2)ならば、(a^2)が3の倍数か、または(b^2)が3の倍数である” が真であることを示す。 これは、ちゃんと命題と書いてあるので背理法を求めればよいとわかります a^2)+(b^2)=(c^2)ではないとき(a^2)が3の倍数でなく、かつ(b^2)も3の倍数でなと仮定すれば矛盾が生じますが、 どのように求めるかわかりません。 お願いします

  • 背理法

    等式(a^2)+(b^2)=(c^2)…(1)をみたす3つの自然数a,b,cについて。 等式(1)をみたす自然数a,b,cにおいて (1) a,b,のうち少なくとも1つは3の倍数である これを成り立つ方法を教えてください 自然数nは3k-2,3k-1,3k(Kは自然数) n=3k-2のとき (n^2)=9(k^2)-12k+4=3(3(k^2)-4k)+1) n=3k-1のとき (n^2)=9(k^2)-6k+1=3(3(k^2)-2k)+1) n=3kのとき (n^2)=9(k^2)=3*3(k^2) 上の結果からn^2を3で割った余りは0である。 a,bがともに3の倍数でないと仮定すると 例えば aは4の倍数 bは5の倍数とすると 16/3=5余り1 25/3=8余り1 となり余り1 (a^2)+(b^2)は3で余ったとき (16+25)/3=13余り2となる。 と考えていいのですか? c^2は どのように考えればいいのですか?

  • 背理法を用いた、整数問題の証明

    a,b,cは整数とし、a^2+b^2=c^2とする。a,bのうち、少なくとも1つは3の倍数であることを証明せよ。  という問題について質問します。 a,bはともに3の倍数でないと仮定する。 このとき、a=3n+1,b=3m+1(n,mは整数)とおく。 a^2=3(3n^2+2n)+1 b^2=3(3m^2+2m)+1 ただし、3n^2+2n,3m^2+2mは整数。 よってa^2,b^2を3で割った余りはともに1である。 ※ a^2+b^2=3(3n^2+2n)+1+3(3m^2+2m)+1 =3(3n^2+2n+3m^2+2m)+2 3n^2+2n+3m^2+2mは整数である。 したがって、a^2+b^2を3で割った余りは2である。 一方、cが3の倍数のとき、c^2は3で割り切れ、 cが3の倍数でないとき、c^2を3で割った余りは1である。 すなわちc^2を3で割った余りは0か1である。 ※ よって、a^2+b^2=c^2において、 左辺は3で割ったときの余りが2、右辺は3で割ったときの余りが0か1 であるから矛盾する。 ゆえに、背理法よりa^2+b^2=c^2ならば、a,bのうち、少なくとも1つは3の倍数である。 このように解答したのですが、※と※の間の部分に対して数学の先生から、不十分というコメントを書かれてしまいました。 どこが不十分なのか分かる方がいらっしゃいましたら、教えていただけないでしょうか。 よろしくお願いします!

  • 確率の問題(応用)

    10枚のカードに0から9までの数字が1つずつ書いてある。次の確率を求めよ。 (1)この10枚のカードの中から2枚同時に抜き出したとき、その2つの数の和が3の倍数である確率を求めよ。 解説 2つの数の和が3の倍数であるのはどういうときか考えます。 2数をx、yとして x+yが3の倍数である ←→x+yが3で割り切れる ←→(xを3で割った余り)+(yを3で割った余り)=3の倍数 と言い換え、x、yを予め3で割っておくのがポイントです。 すなわち10枚のカードを3で割った余りで分類し A={0、3、6、9}、B={1、4、7}、C={2、5、8}とするわけです。 教えてほしいところ ・ x+yが3の倍数であるであるならば(xを3で割った余り)+(yを3で割った余り)=3の倍数 といえるが理解できません。なぜ、こういえるのでしょうか?? ・0+1=1のとき、3でわっても余りないですよね。こういう場合は考慮入れなくていいのですか?? ・A={0、3、6、9}、B={1、4、7}、C={2、5、8}とするわけです。 なぜ、A、B、Cに分けるのでしょうか?? 確率苦手です。 教えて下さい

  • 背理法の用い方

    背理法の用い方について質問があります。 たとえば、教科書に載っている問題で考えると、a,b,cを自然数とするとき、a二乗+b二乗=c二乗ならば、a,b,c,の少なくとも1つは偶数であることを背理法で証明せよ。とあります。 しかし、これの解答をみると、 a,b,cすべてを奇数と仮定すると、a二乗,b二乗,c二乗はすべて奇数になるので、左辺と右辺で矛盾するとあります。 ですが、これって仮定した結論を先にもちいてませんか? たとえば、普通の証明なら、AならばBとあったら、Aにある事柄だけをもちいてBを証明すると思うのですが、背理法の場合は、結論をもちいて矛盾を証明してもよいのでしょうか? わかりにくい文章ですみませんが、ご返答お願いします。

  • ピタゴラス数について

    ピタゴラス数について a,b,cはa^2+b^2=c^2を満たす自然数とする。 (1) a,bのうち一方が素数のとき,もう一方は4の倍数であることを示せ。 (2) a,bのうち一方が5以上の素数のとき,もう一方は12の倍数であることを示せ。 (3) (2)を満たす自然数の組(a,b,c)は無数に存在することを示せ。 (1),(2)は解けました。 (1) a,bのどちらも4の倍数でないとすると,a^2,b^2を4で割った余りは0または1となる。したがって,a^2+b^2を4で割った余りは0または1または2となる。それぞれの場合を考えると矛盾が起こるため,背理法より少なくとも一方は4の倍数。aが素数だとすると,bが4の倍数となる。 (2) (1)と同様の考えで,少なくとも一方は3の倍数だとわかる。aが素数だとすると,a=2,3のときはbは12の倍数にならず,a≧5のときは(1)よりbは3の倍数かつ4の倍数,すなわち12の倍数となる。 しかし,(3)がわかりません。「無数に存在する」というのは,(2)を満たす(a,b,c)が何らかの漸化式を満たしていくのでしょうか?(初項=(5,12,13)みたいな) どなたか教えてください。

  • 論理と集合の疑問

    √7は無理数であることを証明せよ。ただし、nを自然数とするとき、n^2が7の倍数ならば、nは7の倍数であることを用いてもよいものとする。 解説 √7が無理数でないと仮定すると、1以外に公約数をもたない自然数a,bを用いて√7=a/bと表される。 このとき a=√7b 両辺を2乗すると a^2=7b^2・・・・・(1) よって、a^2は7の倍数である。したがって、aも7の倍数であるから、cを自然数としてa=7cと表される。 この、両辺を2乗すると a^2=49c^2・・・・・(2) (1)、(2)から 7b^2=49c^2 すなわち b^2=7c^2 よって、b^2は7の倍数であるから、bも7の倍数である。 ゆえに、aとbは公約数7をもつ。 これは、aとbが1以外に公約数をもたないことに矛盾する。 したがって、√7は無理数である。 この証明に疑問があります。 (1)まず、を自然数とするとき、n^2が7の倍数ならば、nは7の倍数であることを用いてもよいものとするとはどういうことですか?? この文って明らかにヒントですよね。何をして解けといっているんですか?? (2)よって、a^2は7の倍数である。したがって、aも7の倍数であるから、cを自然数としてa=7cと表される。この部分の発想がどうしてもわかりません。 どういう考えでこの部分の発想を考えているんですか?? このように、この問題を1つ1つ論理的に理解できていません。 どうか論理的にわかりやすく教えてください

  • 証明

    等式(a^2)+(b^2)=(c^2)…(1)をみたす3つの自然数a,b,cについて。 等式(1)をみたす自然数a,b,cにおいて (i) a、bのうち少なくとも1つは4の倍数である a、bのうち少なくとも1つは4の倍数であるとき n=4k-3のとき4(4k^2 -6k+2)+1 n=4k-2のとき4(4^2 -4k+1) n=4k-1のとき4(4k^2 -4k+1) n=4kのとき4*4k^2 n^2を4で割った余りは0または1 a、bがともに4の倍数でないと仮定するとa^2、b^2はともに4で割った余りが1であり(a^2)+(b^2)は4で割った余りは2 c^2は4で割った余りは0または1であるから (a^2)+(b^2)≠c^2となり矛盾 これで合ってますか? (ii) a、b、cのうち少なくとも1つは5の倍数である a、b、cのうち少なくとも1つは5の倍数のとき n=5k-4のとき5(5k^2 -8k+3)+1 n=5k-3のとき5(5k^2 -6k+1)+4 n=5k-2のとき5(5k^2 -4k)+4 n=5k-1のとき5(5^2 -2k)+1 n=5kのとき 5*5k^2 n^2を5で割った余りは0または1または4である a、bがともに5の倍数でないと仮定するとa^2、b^2はともに5で割った余りは1または4である 余りが2つある為どのようにまとめるか分かりません 1+4のとき 1+1のとき 4+4のとき と場合わけするのでしょうか? もし考えるとすると (a^2)+(b^2)は5で割った余りは5 (a^2)+(b^2)は5で割った余りは2 (a^2)+(b^2)は5で割った余りは16 間違いですね? よくわからないので御願いします

  • 中学2年程度数学3ケタの自然数が3の倍数であることを証明する問題について

    【問題】 各位の数字の和が3の倍数である3桁の自然数があります。この自然数が3の倍数であることを証明しなさい。 <証明> 3桁の自然数を  100a+10b+c …(1) とおく。 条件「各位の数字の和が3の倍数」より a+b+c=3n (nは自然数) …(2) とおく。 (2)より c=3n-a-b …(3) (1)のcに(3)を代入。 100a+10b+c=100a+10b+(3n-a-b)  =100a-a+10b-b+3n  =99a++9b+3n  =3(33a+3b+n) a,b,nは自然数より(33a+3b+n)は自然数である。 よって、  3(33a+3b+n) は、3の倍数である。 したがって、各位の数字の和が3の倍数である3桁の自然数は3の倍数である。  終わり とあるのですが、(3)でなぜ突然cイコールの形にするのかがいまいち腑に落ちません。 なんとなくそれは証明を進めるに当たってもちろんそうしなければならないからだという気はするのですが・・・ やはり証明は理由抜きで何度も繰り返し身体に解法を染みこませるしかないのでしょうか… どなたかわたしのような愚者にも分かるような説明をしていただけるお優しい方おりましたら、回答お待ちしております。

  • 背理法

    命題 "(a^2)+(b^2)=(c^2)ならば(a^2)が3の倍数か、または(b^2)が3の倍数である”が真であることを証明するとき a=3k a=3k+1 a=3k+2 より それぞれ2乗すると余りは0または1 になりました。 このあとどのように求めるかおしえてください