• ベストアンサー
  • すぐに回答を!

証明問題+α

(1)n個の自然数A1,A2,…,Anが、 A1<A2<…<An をみたすとき、 (A1+A2+…+An)^2≦A1^3+A2^3+…+An^3 が成り立つことを、数学的帰納法により証明せよ。 (2)mは自然数の定数であるとする。m個の自然数A1,A2,…Amが、 A1<A2<…<Am かつ (A1+A2+…+Am)^2=A1^3+A2^3+…+Am^3 をみたすとき、これらを求めよ。 (1)数学的帰納法でn=kとおいてからどうすればいいのかわかりませんでした。よろしくお願いします。

共感・応援の気持ちを伝えよう!

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

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

(1) を帰納法で証明した場合, 厳密にいえば (2) の等号成立条件も帰納法で証明する必要があると思います>#4. つまり, ・A1 = 1 のとき等号が成立する. ・A1 = 1, ..., Ak = k のとき等号が成立すると仮定して, A(k+1) = k+1 のとき, そしてそのときに限り k+1 でも等号が成立する. を示す必要があるんじゃないでしょうか. というのも, #1&#3 で書いたのは「A(k+1) を増やしたときの左辺の増分が A(k+1)^3 を越えない」という証明だけであり, 両辺の増分が等しいからといって「全体で」等号が成り立つとは限らないからです... とはいっても, この問題に関していえば増分が等しいという条件が直ちに全体で等号が成り立つ条件になってしまっているんですが.

共感・感謝の気持ちを伝えよう!

その他の回答 (5)

  • 回答No.6

おっしゃる通りだと思います。> #5 この問題、等号が成立する条件がクリアなので(2)なんかイージーにやっちゃいそうですけど、Ak = k が唯一の解だってことをはっきり言わないといけないのでしょうね。 いや、おもしろく勉強させてもらいました。

共感・感謝の気持ちを伝えよう!

  • 回答No.4

おー、なるほど、すっごいシンプルですね。 で、等号成立は Ai = i ですか。> #3

共感・感謝の気持ちを伝えよう!

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

これ, 絶対に Σ(k: 1→n) k^3 = n^2(n+1)^2/4 = [Σ(k: 1→n) k]^2 を念頭においた問題だよなぁ.... さておき, もっと簡単です>#2. A1 < A2 < ... < Ak < A(k+1) より A1 + A2 + ... + Ak ≦ Σ(i: 1→Ak) i = Ak(Ak+1)/2 ≦ A(k+1)(A(k+1)-1)/2 だし.

共感・感謝の気持ちを伝えよう!

  • 回答No.2

#1さんのご回答に勝手に + ヒント (1) 途方にくれたら、少ない項数で(小さな n で)調べてみたらどうでしょう。(2)の問題もあるので、等号が成立する条件をいつも頭に入れながらやってみると良いでしょう。それから、与えられた条件を、積極的に目一杯利用することを考えましょう。 A1^2 ≦ A1^3 はいいですよね。等号は A1 = 1 のとき成立 A1^3 + A2^3 - (A1 + A2)^2 = A1^3 - A1^2 + A2 ( A2^2 - 2 A1 - A2) (A1,A2 が自然数で、かつ、A1<A2 なので、A1 ≦ A2 - 1 だから) ≧ A1^3 - A1^2 + A2 (A2^2 - 2(A2 - 1) - A2) = A1^3 - A1^2 + A2 (A2 - 1) (A2 - 2) ( A1^3 - A1^2 ≧ 0, A2≧2 より A2 (A2 - 1) (A2 - 2) ≧ 0 なので) ≧ 0 ∴ (A1 + A2)^2 ≦ A1^3 + A2^3 等号が成立するのは、A1 = 1, A2 = 2 のとき。なんとなく見えてきませんか? しつこく、同じように n = 3 の時を試してみると、 A1^3 + A2^3 + A3^3 - (A1 + A2 + A3)^2 = A1^3 + A2^3 - (A1 + A2)^2 + A3 (A3^2 - 2 (A1 + A2) - A3)      ( A1 ≦ A3 - 2, A2 ≦ A3 - 1 より ) ≧ A1^3 + A2^3 - (A1 + A2)^2 + A3 (A3^2 - 2( (A3 - 2) + (A3 - 1)) -A3 ) = A1^3 + A2^3 - (A1 + A2)^2 + A3 (A3 - 2) (A3 - 3)    ( A1^3 + A2^3 - (A1 + A2)^2 ≧ 0, A3≧3 よりA3 (A3 - 2) (A3 - 3) ≧ 0 なので) ≧ 0 ∴ (A1 + A2 + A3 )^2 ≦ A1^3 + A2^3 + A3^3 等号が成立するのは、A1=1, A2=2, A3 = 3 のとき ということで、与えられた条件、Ai (i=1,...n) が自然数であり、かつ、A1<A2<...<An である、という条件を式の上で目一杯生かすことが肝要で、 Ai ≦ A[k+1] - (k + 1 - i) (i=1,2,...,k) を利用すれば等号が成立する条件も含めて行けそうです。 n = k で成立しているとき、n = k+1 について実際に計算してみると、等号が成立するための条件は、A1^3 + A2^3 + ... + Ak^3 = (A1 + A2 + ... Ak)^2 かつ、A[k+1] = k + 1であることが分かります。 (2) 上で、(A1 + A2 + ... + A[m-1])^2 = A1^3 + A2^3 + ...+ A[m-1]^3 で、かつ、Am = m のときに等号が成立することが示されました。 Am = m ならば、Ai = i (i=1,2,...m-1) ですから、これを代入して (A1 + A2 + ... + Am)^2 = A1^3 + A2^3 + ...+ Am^3 が本当に成立することを示せば良いでしょう。両辺ともに m^2 (m - 1)^2 / 4 となって成立しますね。

共感・感謝の気持ちを伝えよう!

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

(A1 + ... + Ak + A(k+1))^2 = (A1 + ... + Ak)^2 + 2(A1 + ... + Ak)A(k+1) + A(k+1)^2 と展開して右辺第2項以降が A(k+1)^3 以下であることを示す. A(k+1) と A1~Ak の関係をうまく使うことに注意.

共感・感謝の気持ちを伝えよう!

関連するQ&A

  • 数学IIについて質問です

    この問題が解けません。 数列{An}は、条件A1=7、An+1=(An)^3 (n=1,2,3,・・・)によって定められているとする。 nは自然数とするとき、Anを3^nで割ったときの余りが1になることを数学的帰納法によって証明せよ。 僕自身ここまではいけました。 (i)n=1のとき A1=7より A1÷3^1=7÷3=2 余り1 よってn=1のとき成り立つ (ii)n=kのときに成り立つと仮定する このとき、 Ak=3^k×M+1・・・(1) (Mは自然数で(1)の商である) が成り立つことが分かる。 そして n=k+1のとき (1)より Ak+1=3^(k+1)×M+1 この先がどうやって解けばいいか分かりません。 PCを使い慣れていないので、少なからず変な表示のところがあると思いますが よろしくお願いします。

  • 数学の問題  私の答え 合ってますか?

    数列(an )初項a1 から第 n項までの和をSnとあらわす。 この数列が、 (n+2 )an=3Sn を満たす。 数列 anの初項a1が整数である時、Snは、整数であることを示せ。 この問題で、 (n+2 )a(n)=3S(n) (n+1 )a(n-1)=3S(n-1) n≧2 からanを求めて、 (n+2)an =3Sn (n+1)an-1=3Sn-1(n≧2) これから a(n)-a(n-1)=3a(n) a(n)=-1/2a(n-1) 以下 数学的帰納法を用いて n=2 a(2)=-1/2a(1) 整数 n=k a(k) =-1/2a(k-1) コレを整数と仮定すると n=k+1 a(k+1)=-1/2a(k) a(k)が整数なので、a(k+1)も整数 数学的帰納法により すべての自然数で、a(n)は、整数。 よって、 Sn=Σak=a1(1-(ー1/2)^n )/1-(-1/2) コレで、Snも整数であることが示せた これは、正解でしょうか??? お願いします。

  • 微分積分の証明問題です。(再掲)

    こちらで質問させていただいた微分積分の証明問題ですが、 みなさんのアドバイスを参考に、自分なりに再度、解いてみました。 これで正しい証明になっているか、ご指導おねがいします。 【問題】 各自然数に対して、an=(n!/n^n)とおく。このとき、次の問に答えよ。 (1) 0 < an <= (1/n) (n=1,2,3,…)を示せ。 (2) 数列{an}の極限値を求めよ。 【(1)の回答】 n=1のとき、an=1, n=2のとき、an=(1/2), n=3のとき、an=(2/3)が成り立つ。 次に、n=kのときに成り立つと仮定する。即ち、 ak = k!/k^k <= (1/k)とする。 n=k+1のとき a(a+1) = ((k+1)!/(k+1)^(k+1)) = (k!/ (k+1)^k) < (k!/k^k) < (1/k) よって、k+1のときにも成り立つ。 以上から、数学的帰納法により、任意の自然数nについて 命題が成立することが示せる。 【(2)の回答】 はさみうちの原理により、 0 < lim{n→∞} an < lim{n→∞} (1/n) →0 ∴lim{n→∞} an = 0 以上、よろしくお願いします。

  • 数学の問題の解説お願いします。

    シニア数学演習 317 自然数nに対して、正の整数an,bnを(3+√2)^n=an+bn√2によって定める。 (1)a1,b1とa2,b2を求めよ。 (2)an+1,bn+1をan,bnを用いて表せ。 (3)nが奇数のとき、an,bnはともに奇数であって、   nが偶数のとき、anは奇数で、bnは偶数であることを数学的帰納法によって示せ。 解答 (1)a1=3,b1=1,a2=11,b2=6 (2)an+1=3an+2bn,bn+1=an+3bn (3)(1)kara,n=1,2のとき命題は成り立つ。   n=2k-1,2kのとき a2k-1=2h-1,b2k-1=2i-1,a2k=2j-1,b2k=2l (h,i,j,lは自然数)であるとして、   a2k+1,b2k+1,a2(k+1),b2(k+1)の偶数を調べる。 数学的帰納法の箇所を詳しく、 解説していただけると幸いです。 よろしくお願いします。

  • 数学的帰納法って?証明をして下さい!

     次の問題を、どなたか解いて頂けないでしょうか? nは自然数とする。このとき、次式が成立することを数学的帰納法を用いて証明せよ。 1×3+2×4+3×5…+n(n+2)=1/6n(n+1)(2n+7)…命題A  nが1のときに成り立つことは証明できました。n=kのときに命題Aが成り立つと仮定すると、1×3+2×4+3×5…+k(k+2)=1/6k(k+1)(2k+7)…(1)である。n=k+1のとき命題Aの左辺は(1)を用いて、命題Aの左辺=…以下の証明が出来ません。  数学的帰納法について、あまり理解してません。出来れば解説を加えて頂きたいです。よろしくお願いします!(1/6は、6分の1のことです。)

  • 証明の問題 パート2

    1+1/2^2+1/3^2・・・+1/n^2≦2-(1/n) (nは自然数) 数学的帰納法を用いて証明せよ。 途中まで考えてみました。 〔1〕n=1の時    左辺は1 右辺も1 よって成立 〔2〕n=kの時    1+1/2^2+1/3^2・・+1/k^2≦2-(1/k)で成立するとする。 ここからn=k+1の場合を考えればいいんですよね。なんだか混乱して分からなくなりました。簡単かもしれませんが、教えてください。

  • 数学的帰納法の証明問題が分かりません

    nが自然数のとき、 1^2+2^2+…+n^2=1/6n(n+1)(2n+1) が成り立つことを数学的帰納法で証明せよ。

  • 数学的帰納法の不等式の問題です

    数学的帰納法の不等式の問題です。 nは自然数とする。不等式 2n が成り立つことを、数学的帰納法を用いて証明せよ n=1のときはわかるのですが、n=kのとき成り立つと仮定してn=k+1のときに成り立つことを証明する解き方がわかりません。 教えてください!

  • 証明問題の解答をお願いします!

    nは自然数とする。このとき、次式が成立することを数学的帰納法を用いて証明せよ。 1×3+2×4+3×5…+n(n+2)=1/6n(n+1)(2n+7)

  • 高2の春休みの宿題の数学の問題がわかりません。教えてくださいお願いしま

    高2の春休みの宿題の数学の問題がわかりません。教えてくださいお願いします。 問題は自然数nに対して、不等式2のk乗>nを満たす最小の自然数kをanと定め、(anのnは小さいa×nではない。小さいといのは数的にではなく、見て小さい)数列anをつくる。例えば n=1のとき、2のk乗>1を満たす最小の自然数kは1であるから、a1=1(a1の1はanのnと同様に小さい) n=2のとき、2のk乗>2を満たす最小の自然数kは2であるから、a2=2 n=3のとき、2のk乗>3を満たす最小の自然数kは2であるから、a3=2で (1)a1+a2+a3+・・・+a100を求めよ。 (2)an=m(mは自然数)となる最大のnをNとする。a1+a2+a3+・・・+aNをmを用いて表せ。という問題がわかりません。 わかれば2つ教えていただきたいですが、1つでもかまいません。わかる人いたら教えてくださいお願いします。