• 締切済み

証明方法の違い

こんにちは。 毎度利用させて貰っている進学ナビの回答者の皆様に厚く感謝の意を示したく存じます。 今回は「証明方法」の違いということになりますが、恐らくとても単純であり、「悩むところじゃないよ」などといわれてしまうかもしれませんが、やはりもやもやを解消させたくて、質問するにいたりました。質問内容は以下の通りでございます。 質問:nを整数とし、S=(n-1)^3+n^3+(n+1)^3とする。(Sが偶数の時、nは偶数であることは証明済みであるとして)Sが偶数の時、Sは36で割り切れることを示せ。 <自身の考え> 「Sは36で割り切れる」の証明⇔「Sは4で割り切れ、且つ9でも割り切れる」の証明へ置き換えます。 ここで S=3n(n^2+2)となり、Sが偶数の時nも偶数から、3n=偶数、(n^2+2)=偶数 なので、少なくともSは4で割り切れることがわかりました。 そして最後にSは9で割り切れることを証明すればよいのですが、ここからが質問です。(前置きが長くてすみません。) 解答には n=3k、3k+1、3k+2(kは整数)で場合わけが行われておりましたが良くわかりません。これではn=偶数とすでに証明されているのに、n=3などの奇数の場合も考えてしまうことになります。確かにn=6のときは偶数へとなりますが・・・。 またなぜn=3k、3k+1、3k+2なのでしょうか。全体の数字を表すのには n=3k-2、n=3k-1、n=3kとしたほうが全体の数字に及びます。解答どおりだとn=3kからですからn=1、2と時は考慮できなくなってしまい・・・。 する必要がないのか・・・・(混乱中)。 それにnは偶数だとわかっているのでn=2kでもいいはずです。しかし、そうすると確かにS=24k^3+12kとなり、9でくくれません。n=2kとしないのは9で割り切れる証明に困るから、というだけで、実質ありなのですか? 質問がぐちゃぐちゃですいません。 まさに今の自分の頭の中でございます。 お時間の許す限り、お願いします!

みんなの回答

  • nag0720
  • ベストアンサー率58% (1093/1860)
回答No.3

>n=3k-2、n=3k-1、n=3kとしたほうが全体の数字に及びます。 nが自然数だったらそうですが、整数ですよ。 | 1,2,3 | 4,5,6 | 7,8,9 | と区切ろうと、 | 0,1,2 | 3,4,5 | 6,7,8 |  と区切ろうと、 | -1,0,1 | ,2,3,4 | 5,6,7 | と区切ろうと、整数全体に及びます。 なお、n=3k-2、n=3k-1、n=3k と区切ったとしても証明は可能です。 >それにnは偶数だとわかっているのでn=2kでもいいはずです。 証明問題や文章問題では、文に書かれている条件をすべて使わなければならないという制約はありません。 この問題は、「偶数である」という条件は「4で割り切れる」の証明に使っているからいいのですが、中にはまったく関係ない条件が書かれている場合もあります。 証明問題、文章問題では、その問題を解くためにはどういう条件が必要か不要かを自分で取捨する必要があります。 今回の場合は、「偶数である」という条件は「9で割り切れる」の証明には不要です。

uuuasghauy
質問者

補足

とてもわかりやすくてありがとうございました! あの全然反論とかじゃないのです!ちょっともうひとつきになりまして n=奇数(n=1,3,・・・)、を逆にS=(n-1)^3+n^3+(n+1)^3へ代入すると、 Sは奇数となってしまい、Sが偶数であれば、に反してしまうのかな・・・と・・・ ・・・・・あっ。そうか。 nが奇数の時もnが偶数の時もなにかときちんと9の倍数にはなるんですよね。つまりnが偶数の時さえ満たしていればSが偶数の時は満たせる、つまりそれならnが偶数奇数まとめてn=3k,3k+1,3k+2で場合わけしてしまえばおのずとSが偶数の時を満たすということですね!

  • naniwacchi
  • ベストアンサー率47% (942/1970)
回答No.2

kが奇数であるときと偶数であるときで考えてみるとわかると思います。 kが奇数であれば、3k+ 1が偶数となります。 また、kが偶数であれば、3kと 3k+ 2が偶数となります。 つまり、n= 2m(nが偶数である)と表されるパターンは kの値によって変わります。 回答全体の構成として考えると、 「4で割り切れること」と「9で割り切れること」は別々に示されてもいいはずです。 それが同じ Sに対して成り立っているので、結果 36で割り切れるということになります。

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

順序は変えるけどまず ・「実質ありなのですか」は「実質」の意味がわからん. 「全ての場合を尽くしている」のであればどのようにわけてもかまわない. だから, 「あとでどのようになるのか」を見越して場合分けするのは普通のこと. で ・「n=3などの奇数の場合も考えてしまうことになります」については「9 の倍数かどうか」だけに着目しているというのがポイントです. 要は「偶数の場合に 9 の倍数である」ことを証明するのと「全ての整数に対して 9 の倍数である」ことを証明するのとで, どっちが楽かという程度. それから ・「なぜn=3k、3k+1、3k+2なのでしょうか」ですが, 「整数」なら n = 3k, 3k+1, 3k+2 とわけようが n = 3k-2, 3k-1, 3k とわけようが同じでしょ? k = 0 とおけばいいだけなんだし. ああ, 「4 の倍数」&「9 の倍数」だから, 最初から n = 6k, 6k+2, 6k+4 と場合分けしておけばいいんだけどね.... あるいは (n-1)^3+n^3+(n+1)^3 = 3n^3+6n = 3n(n^2-1)+9n = 3(n-1)n(n+1) + 9n とすれば, 場合分けするまでもなく全ての n に対し 9 の倍数ですな.

関連するQ&A

  • 整数問題の証明

    「ある整数n(n+2)が8の倍数ならばnは偶数であることを証明せよ。」 という問題で、この問題の解答を一応書いておくと、 「n(n+2)が8の倍数ならばnは奇数であると仮定すると、 n=2k-1(kは整数)とおいて、 n(n+2)=(2k-1)(2k+1)=4k^2-1より、 n(n+2)は奇数なので8の倍数になりえず矛盾。 ゆえにnは偶数である」 ですが、私は、 「n(n+2)が8の倍数ならばnは奇数であると仮定すると、 n(n+2)=8k(kは整数)と表せるので、 n^2=2(4k-n)となり、n^2は偶数だから、 nが奇数ならばn^2も奇数なので矛盾。 ゆえにnは偶数である」 と解いたのですが、これは解答として成立しますか? 違うのであれば具体的にどこが違うのかもお願いします。

  • 証明

    m,nが奇数のとき、(m^2)-(n^2) は8で割り切れることを証明するには m=2α+1 n=2β+1 (α、βは整数とおくと) (m^2)-(n^2)=(m+n)(m-n) m+n=2(α+β+1) m-n=2(α-β) (m^2)-(n^2)=4(α+β+1)(α-β) までは考えたのですが そのあと、 (1)αが奇数,βが奇数⇒α+β+1が奇数,α-βが偶数   (2)αが奇数,βが偶数⇒α+β+1が偶数,α-βが奇数   (3)αが偶数,βが奇数⇒α+β+1が偶数,α-βが奇数   (4)αが偶数,βが偶数⇒α+β+1が奇数,α-βが偶数 となり,(α+β+1)(α-β)は偶数です. よって、8の倍数といえる これでも合ってますか? 以前、回答がこなかったのでもういちどおねがいします

  • 論証 証明の仕方

    命題 m+n,mnが共に偶数ならばm,nは共に偶数である が真であることの証明法を質問します。 逆の命題はm=2k,n=2l(k,lはともに整数)とおいてm+n=2(k+l),mn=2×2klで証明終でしたが,上記のも直接証明できませんか?(lは小文字のエル) 対偶で m,nの少なくとも片方が奇数ならばm+n,mnの少なくとも片方は奇数である は 1)mが偶数m=2k,nが奇数k=2l-1(mnは偶数だがm+nは2k+2l-1となるので奇数) 2)m,n共に奇数 m=2k-1,l=2l-1(m+nは偶数だがmnは4kl-2k-2l+1となるので奇数) 3)mが奇数m=2k-1,nが偶数n=2l(1)と同様) としてそれぞれm+n,mnを示せばよいのでしょうが,そうではない方法でお願いします。 m+n=2k,mn=2lとおいてnを消去したらmの2次式となってしまい,解の公式で解いたら m=l±√ となり,偶数であることを示せませんでした。

  • 中央値の求め方の証明

     n個の整数が存在したとき、nが偶数である場合の中央値は(n/2 + n/2+1)*1/2であり、nが奇数である場合の中央値はn+1/2であることを証明せよ。  という問題を自分で作ってみたのですが、この問題の証明の仕方でいい解答をいくつか自分で考えてみたのですが、皆さんならどう証明するか(証明の仕方)を教えてください。

  • 因数分解の証明

    m,nが奇数のとき、(m^2)-(n^2) は8で割り切れることを証明するには m=2α+1 n=2β+1 (α、βは整数とおくと) (m^2)-(n^2)=(m+n)(m-n) m+n=2(α+β+1) m-n=2(α-β) (m^2)-(n^2)=4(α+β+1)(α-β) までは考えたのですが α、βが奇数のとき 例えばα=3,β=1のとき 40になります α、βが偶数のとき 例えば、α=4、β=2のとき 48になって 8の倍数ということが証明できるで合ってますか?

  • 背理法について

    次の命題を考えます n^2が偶数⇒nは偶数 「これを証明するために背理法を用いてこの命題の否定であるn^2が偶数∧nは奇数が真であると仮定して、 矛盾を導く。 今、nは奇数なのであるkが存在して2k+1と表せる。(2k+1)^2=2(2k^2+2k)+1より、n^2は奇数。 よってn^2が偶数∧nは奇数のn^2が偶数という条件と矛盾。 よって命題はただしい。(方針はこれでお願いします)」 ここで、n=2のとき、上同様に証明してみるとおかしなことに命題の否定が真になってしまいます。 2^2が偶数⇒2は偶数を証明するためにこの命題の否定である2^2が偶数∧2は奇数が真であると仮定して、2が奇数なので2^2=4より偶数よって2^2が偶数∧2は奇数はしんになり、2^2が偶数⇒2は偶数は偽になる(?) これはどこがいけないのでしょうか。 一般のnが証明できたからn=2の時も成り立つのではないのでしょうか。 よろしくお願いします。

  • 偶数と奇数の和は奇数になることを説明しなさい

    中2の数学の問題です。 問題: 偶数と奇数の和は奇数になることを説明しなさい。 問題集の解答で疑問に思う点がありましたので質問させていただきます。 解答: m,nを自然数とすると偶数は2m、奇数は2n-1と表せる。 2数の和は、 2m+2n-1=2(m+n)-1 m+nは自然数だから2(m+n)は偶数になり、2(m+n)-1は奇数になる。 よって偶数と奇数の和は奇数である。 (証明終わり) 上記証明でわからない点が2点あります。 (1)m,nをなぜ自然数に限定しているのか。 m,nは一般に整数ではないのでしょうか?中学レベルではマイナスの数も 偶数、奇数が定義できると思うので、私はこのm,nは整数と置くのが正しい 答え方だと思うのですが、いかがでしょうか? (2)もしm,nが自然数と置くのが正しいとしたとき、奇数を2n+3とおいてしまうと 3(n=1)から始まる奇数になり一般に自然数全体で証明したことにならないの ではないかという疑問があります。 2m+2n+3=2(m+n+1)+1 このような解答も見かけます。 文字式の計算上は奇数といえますが、nが自然数で奇数を2n+3とおいても 問題ないのでしょうか?  ご回答よろしくお願いします。   

  • 証明

    何度も失礼します。 問題は、a,b,cはどの2つも1以外の共通な約数を持たない正の整数とする。a,b,cが、a^2+b^2=c^2を満たしているとき、次の問いに答えよ。 (cは奇数である) (1)a,bの1つは4の倍数であることを示せ。 証明は、cは奇数であるから、,bのうちいずれか一方は偶数で、他方は奇数である。いま、偶数の方をaとしてもよい。aが4の倍数でないと仮定すると、a=4k+2,b=4m±1,c=4n±1(k,m,nは整数)とおける。 a^2+b^2=(4k+2)^2+(4m±1)^2 =8(2k^2+2k+2m^2±m)+5 c^2=(4n±1)^2=8(2n^2±n)+1 よってあまりが違い、矛盾するので正しい。 となっているのですが、{a=4k+2,b=4m±1,c=4n±1(k,m,nは整数)}ですが一つ目の疑問は(k,m,nは整数)ですが、整数では、例えばmが-3とかのとき明らかに-になるのでだめですよね?bが正の整数を大前提にということでしょうか?もうひとつは、これはb,cは奇数であることをいいたいのだからa=4k+2、b=2m-1,c=2n-1(・・・m,nは自然数)としてはいけないのでしょうか?それでもできるとおもうのですが。b=4m±1,c=4n±1である理由があるのでしょうか?

  • この証明は間違いですか・・・?

    【問】 次の命題を証明せよ。 整数aについて、a^2が奇数ならばaは奇数である。 模試でこれを解いたのですが、不正解になりました。 模範解答は別の証明の仕方だったので、どこが間違っているのかわかりません。教えてください。 aが偶数であると仮定する。すると、aは自然数nを使って、 a=2nと表せる。 a^2=(2n)^2だから、 a^2=4a^2 a^2=2(2a^2)となり、a^2は奇数であると言うことに矛盾する。 よってa^2が奇数ならばaは奇数である。 と書いたのですが・・・

  • 証明

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