相加相乗平均の一般化(n個)の場合の証明で、一般的な数学的帰納法を使って証明していただけると幸いです。すみませんが。 参考URLも貼っておきます。
https://mathtrain.jp/amgm
ただし、このURLの証明とは、また別の証明を願います。
No.4ベストアンサー
- 回答日時:
(1)
まず、Ai>0 とする。
A₁A₂…An=1 → A₁+A₂+…+An≧n・・・・・①
等号成立は
A₁=A₂=…=An=1
を証明する。
n=1のときは明らか。nの時、成立を仮定。
n+1のとき、A₁ → A₁A[n+1]として
A₁A₂…AnA[n+1]=1 とする。 ここで
A₁≧A₂≧…≧An≧A[n+1] と仮定しても一般性は失わない。すると
A₁≧1≧A[n+1] は自明。すると
(A₁-1)(A[n+1]-1)≦0 → A₁A[n+1]≦A₁+A[n+1]-1・・・・②
となる。
また、A₁A₂…AnA[n+1]=1 → (A₁A[n+1])A₂…An=1
だから、nの場合の命題が使え
(A₁A[n+1])+A₂+…+An≧n
となる。②を使うと
(A₁+A[n+1]-1)+A₂+…+An≧n → A₁+A₂+…+An+A[n+1]≧n+1
となり、命題が証明された。
(2)
つぎに、等号
A₁+A₂+…+An=n・・・・・・③
が成立するとする。ここで
(A₁-1)(An -1)=A₁An +1-A₁-An を使うと
n=(A₁+An)+A₂+…+An
=-(A₁-1)(An -1)+A₁An +1+(A₂+…+A[n-1])
=1-(A₁-1)(An -1)+{A₁An +(A₂+…+A[n-1])}
ここで、命題から A₁An +(A₂+…+A[n-1])≧n-1 なので上式は
n≧1-(A₁-1)(An -1)+n-1 → (A₁-1)(An -1)≧0・・・・④
となる。
また
A₁≧A₂≧…≧An・・・・・⑤
と仮定しても一般性は失わない。このとき、②と同様に
(A₁-1)(An -1)≦0
が成り立つから④と合わせて
(A₁-1)(An -1)=0 → A₁=1 または An=1
を得る。
ここで、A₁=1 のとき、1=A₁≧A₂≧…≧An となり、③は
n-1+An≧A₁+A₂+…+An=n → An≧1
となる。これは 1=A₁≧A₂≧…≧An≧1 となり、
A₁=A₂=…=An=1 ・・・・・⑥
を得る。
An=1 のときも同様に
A₁≧A₂≧…≧An=1 となり、③は
A₁+n-1≦A₁+A₂+…+An=n → A₁≦1
となる。これは 1≧A₁≧A₂≧…≧An=1 となり、
A₁=A₂=…=An=1
を得る。
逆も明らかなので、等号成立の必要十分条件は⑥となる。
(3)
An → Ai/(A₁A₂…An)¹/ⁿ とおくと①の条件を満たしているので
Ai>0 のとき(Ai=0があれば、不等式は自明)、求める不等式
(A₁+A₂+…+An)/n≧(A₁A₂…An)¹/ⁿ
はすぐに出る。
等号成立は⑥から
A₁=A₂=…=An
となる。
No.5
- 回答日時:
昔からよく学校で教えられているやつを...
1)
No.1 のように 2 項の場合を証明する。
2)
n 項の場合に相加相乗平均の関係が成立すると仮定すると、
正数 A₁,A₂,…,An,B₁,B₂,…,Bn について
(A₁+A₂+…+An)/n ≧ ⁿ√(A₁A₂…An),
(B₁+B₂+…+Bn)/n ≧ ⁿ√(B₁B₂…Bn) が成立する。
ⁿ√(A₁A₂…An), ⁿ√(B₁B₂…Bn) の 2項についても
(ⁿ√(A₁A₂…An) + ⁿ√(B₁B₂…Bn))/2
≧ √(ⁿ√(A₁A₂…An) ⁿ√(B₁B₂…Bn)) が成立するから、
併せると
(A₁+A₂+…+An + B₁+B₂+…+Bn)/(2n)
= ((A₁+A₂+…+An)/n + (B₁+B₂+…+Bn)/n)/2
≧ (ⁿ√(A₁A₂…An) + ⁿ√(B₁B₂…Bn))/2 ←[1]
≧ √(ⁿ√(A₁A₂…An) ⁿ√(B₁B₂…Bn)) ←[2]
= ²ⁿ√(A₁A₂…AnB₁B₂…Bn).
2n 項の場合にも相加相乗平均の関係は成立する。
3)
よって数学的帰納法により、
任意の 2^k 項の場合に相加相乗平均の関係は成立する。
k はいくらでも大きくとれる。
4)
ある m 項の場合に相加相乗平均の関係が成立すると仮定すると、
m より小さい任意の n について
n 項の場合の相加相乗平均の関係が成立する。
それを示すには、 m 項の相加相乗平均の関係で
A₁,A₂,…,An 以外の n-m 項に (A₁+A₂+…+An)/n を代入すればよい。
等号成立についても、[1][2]での等号成立から振り返れば
A₁ = A₂ = … = An であることが判る。
No.3
- 回答日時:
「それが、下の方の証明のことでしょうか?」といわれてもなぁ. 私が当該 URL の内容を書いたわけではないので YES とも NO
とも判断できない. 「帰納法を使って証明する」方法 (の 1つ) を書いただけ.No.1
- 回答日時:
0≦a、0≦bの時
√ab≦(a+b)/2 変形すると、2√ab≦a+b ①
0=0,b=0の時①は成立
a=m、b=nの時に成立すると仮定する、
つまり、2√mn≦m+n ② と仮定する。
②の両辺に2を足すと
2√mn + 2≦m+n+2
ここで、2√mn + 2、2√(m+1)(n+1)の大小関係を調べる。
どちらも0以上だから、2乗の大小関係を調べる。
(2√mn + 2)²=4mn+4+8√mn
(2√(m+1)(n+1))²=4(m+1)(n+1)=4mn+4+4(m+n)
4(m+n)-8√mn=4{(m+n)-2√mn}≧0:②の仮定より。
∴2√mn≦m+n ② と仮定すると
2√(m+1)(n+1)≦2√mn + 2≦m+n+2=(m+1)+(n+1)が成り立つ。
つまり、2√(m+1)(n+1)≦(m+1)+(n+1)が成り立つ。
これにより、全ての0≦a、0≦bの整数で
①が成り立つ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なぜ等号は常に成り立たないの...
-
部分分数分解について。 1/a・b ...
-
急いでいます 数学の問題
-
【不等式の証明】
-
オイラーの連鎖式の導出について
-
無理数から無理数を引いた結果...
-
(b+c)(c+a)(a+b)≧8abc
-
大学の複素関数の証明
-
代数の問題なんですが・・・
-
nの階乗と2のn乗の比較
-
数学的帰納法の問題
-
無限和集合の吸収律の証明は?
-
数学的帰納法 不等式の証明
-
ランダムウォークのマルコフ性...
-
証明の問題なのですが・・・
-
不等式の問題で
-
数学Ⅱ 不等式の証明問、3(a∧2+b...
-
どういうことですか? 0.999・...
-
数学の問題!
-
||a+b|| ≦ ||a|| +||b||の証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
なぜ等号は常に成り立たないの...
-
(b+c)(c+a)(a+b)≧8abc
-
nの階乗と2のn乗の比較
-
無理数から無理数を引いた結果...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
部分分数分解について。 1/a・b ...
-
数学的帰納法の問題
-
証明の問題なのですが・・・
-
数学的帰納法 不等式の証明
-
整数問題 19 島根大学
-
√11の連分数表示
-
0は無理数ですか?
-
||a+b|| ≦ ||a|| +||b||の証明
-
(n!)^2≧n^n(nは自然数)
-
数学的帰納法の証明2
-
明治学院大学の問題ですが
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
(2n+1)!!・n!・2^n=(2n)!
-
十分性の確認の問題について
-
数学IIの問題です 0≧xのとき、...
おすすめ情報