確率・統計の問題
実数値の確率変数 が を満たすとする( は離散型でも連続型でもそれ以外でもよい)。確率変数 の分散を とする。このとき、すべての正の整数 に対して
が成り立つことを証明せよ。
ただし、期待値の線形性と単調性(確率 で が成り立つ有界な確率変数 に対して )は用いてよい。
この問題で使うもの
- 確率変数の期待値・分散と (説明と入口の問題)
- 3 次式までの展開と因数分解(説明と入口の問題)
- 等差・等比数列の和と Σ(説明と入口の問題)
この問題を解けるようになるまで(27 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
の分散を、その平均 のまわりではなく、別の扱いやすい定数 のまわりの 2 次モーメント で上から押さえることを考えましょう。 が便利です。
ヒント 2
任意の定数 に対して です。また のとき、 から が得られます。
ヒント 3
とおくと です。 とし、右辺の中身を確率 で成り立つ不等式 で評価しましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
任意の定数 に対して を示し、 を導いている(2 点)
期待値の単調性から であることを確かめている(1 点)
を因数分解し、 で各項が 以下であることから を示している(3 点)
その不等式を , に用い、確率 で成り立つことと期待値の単調性から を導いている(2 点)
として前の評価と組み合わせ、 を結論として述べている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
を任意の正の整数として固定する。 は確率 で に値をとるので、, , , などはいずれも有界な確率変数であり、以下に現れる期待値はすべて有限である。 とおく。
ステップ 0(). 確率 で なので、期待値の単調性より 、すなわち である。
ステップ 1(分散は任意の定数のまわりの 2 次モーメント以下). 有界な確率変数 と実数 に対して、 と期待値の線形性より
だから
ステップ 2( の差の評価). , を満たす実数 に対して
を示す。因数分解
が成り立つ(右辺を展開すると、隣り合う項が打ち消し合って だけが残る)。 より各項は を満たすので、和は 以上 以下である。よって
となり、 が成り立つ。両辺は 0 以上なので 2 乗して
ステップ 3(期待値をとる). ステップ 0 より であり、確率 で だから、 を , に用いると、確率 で
が成り立つ。両辺は有界な確率変数なので、期待値の単調性と線形性より
ステップ 4(まとめ). を , に用いると である。これと を合わせて
結論. は任意の正の整数だったので、すべての正の整数 に対して が成り立つことが示された。