
No.5ベストアンサー
- 回答日時:
(1) を帰納法で証明した場合, 厳密にいえば (2) の等号成立条件も帰納法で証明する必要があると思います>#4.
つまり,
・A1 = 1 のとき等号が成立する.
・A1 = 1, ..., Ak = k のとき等号が成立すると仮定して, A(k+1) = k+1 のとき, そしてそのときに限り k+1 でも等号が成立する.
を示す必要があるんじゃないでしょうか.
というのも, #1 で書いたのは「A(k+1) を増やしたときの左辺の増分が A(k+1)^3 を越えない」という証明だけであり, 両辺の増分が等しいからといって「全体で」等号が成り立つとは限らないからです... とはいっても, この問題に関していえば増分が等しいという条件が直ちに全体で等号が成り立つ条件になってしまっているんですが.
No.6
- 回答日時:
おっしゃる通りだと思います。
> #5この問題、等号が成立する条件がクリアなので(2)なんかイージーにやっちゃいそうですけど、Ak = k が唯一の解だってことをはっきり言わないといけないのでしょうね。
いや、おもしろく勉強させてもらいました。
No.3
- 回答日時:
これ, 絶対に
Σ(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
- 回答日時:
(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が見つからない時は、教えて!gooで質問しましょう!
関連するQ&A
- 1 数列{an}を次のように定める。 a1=2 an+1=(2n/n+1)an+2^(n+1)/n+1
- 2 n個の正の実数a1<a2<…<anとm個の正の実数b1<b2<…<bmが与えられている。
- 3 a_1=1, a_(n+1)=√(1+a_n) (n=1,2,3,,,
- 4 数列anはa1=4,(an+1)-3an+2=0 (n=1,2,3,…)を満たす (1)数列anの一
- 5 α_1,α_2,…,α_n が非零の時,e^(α_1t),e^(α_2t),…,e^(α_nt)が一次独立を
- 6 f(x1,x2)=12x1x2(1-x2) (0<x1<1,0<x2<1の時)0 (その他の時)における確率変数X1と
- 7 数列{1,cos(nx)}^∞_n=1 についてのfのフーリエ級数はa_0/2+Σ[n=1..∞]a_ncos(nx) (但し,a_0
- 8 4個の整数、1,a,b,cは、1<a<b<cをみたしている。これらの中
- 9 {An}が An>0 lim[n→∞]An=α(0≦α<1) を満たす
- 10 a[n+1]=√((1+a[n])/2) a[0]=1/2 nは非負整数 を満たす数列a[n]の一般
おすすめ情報
人気Q&Aランキング
-
4
数学の「証明」のときなどの接...
-
5
大学数学の勉強のしかた
-
6
数学の証明問題で、「証明終了」...
-
7
三平方の定理の証明
-
8
大学の二次試験で・・・
-
9
無理数って二乗しても有理数に...
-
10
直角三角形の性質
-
11
一様連続でないの厳密な証明は?
-
12
x<1の時、e^x <= 1/(1-x) であ...
-
13
センター数学に等式の証明とか...
-
14
三平方の定理の逆の証明は
-
15
ルービックキューブを数学的に...
-
16
行列式 |AB|=|A||B...
-
17
証明で存在性、一意性の証明す...
-
18
nΣk=1 k(k+1)=1/3n(n-1)(n+2)
-
19
三角形の合同条件
-
20
角の二等分線の定理(内角)の...