Evolton

東北大学 2007年度 後期日程 第2次学力試験理系(後期)数学 第3問

あるグループの各人が独立に一問のクイズに答え、
グループの人数の半数以上が正解すればグループは合格とする。
ただし、一人一人の正解する確率はp (0p1)とする。
グループの人数が2nであるときグループが合格する確率をan(p)とする。

(1) 2以上の自然数nに対して、
an(p)は文字pについての多項式としてpnで割り切れ、
an(p)an1(p)は文字pについての多項式として(1p)nで割り切れることを示せ。

(2) a3(p)a2(p)となるpの範囲を求めよ。

難易度7/ 10計算量6/ 10目安25

確率論証・証明 数え上げ、式変形、範囲評価、一般化

方針

an(p) は 2n 人中 n 人以上が正解する二項分布の和として書く。pn で割り切れることは各項の p の指数が n 以上であることから従う。anan1 については、不合格確率 qn=1an を導入し、qnqn1 の各項がもつ (1-p) の因数を比較する。(2)は a2a3 を具体的に展開して差を因数分解し、0p1 で符号を読む。

解答

(1)

2n 人中 n 人以上が正解すれば合格であるから an(p)=k=n2n2nCkpk(1p)2nk である。この和の各項は pn を因数にもつので、an(p)pn で割り切れる。

次に、不合格となる確率を qn(p)=1an(p) とおく。すると qn(p)=k=0n12nCkpk(1p)2nk である。この和では 2nkn+1 なので、各項は (1p)n+1 を因数にもつ。特に qn(p)(1p)n で割り切れる。

同様に qn1(p)=k=0n22n2Ckpk(1p)2n2k であり、ここでは 2n2kn なので、qn1(p)(1p)n で割り切れる。したがって an(p)an1(p)=qn1(p)qn(p)(1p)n で割り切れる。

(2)

まずa2(p)=4C2p2(1p)2+4C3p3(1p)+p4=p2(3p28p+6)である。またa3(p)=6C3p3(1p)3+6C4p4(1p)2+6C5p5(1p)+p6=p3(10p3+36p245p+20)である。よってa3(p)a2(p)=10p6+36p548p4+28p36p2=2p2(p1)3(5p3)である。 0p1 では p20 であり、(p1)30 である。したがって 2p2(p1)3 は 0 以上で、差の符号は 5p-3 の符号で決まる。ただし p=0 では差は 0 である。ゆえに a3(p)a2(p) となる範囲は p=0,35p1 である。

境界事象だけを比較すると anan1 の因数分解が直接得られる。

別解

解法2

方針

2n2 人の集団へ2人を追加すると考える。元の正解者数が n2 または n1 のときだけ合否が変わるため、その2事象の確率差を取って anan1 を直接因数分解する。

解答

(1) まずan(p)=k=n2n2nCkpk(1p)2nkなので、各項が pn を因数にもつ。

次に 2n2 人へ2人を追加する。元の正解者数を X、追加2人の正解者数を Y とする。合否が変わるのは次の2場合だけである。XY変化n22不合格から合格n10合格から不合格したがってanan1=2n2Cn2pn(1p)n2n2Cn1pn1(1p)n+1.2n2Cn2=n1n2n2Cn1を用いて整理するとanan1=1n2n2Cn1pn1(1p)n{(2n1)pn}.よって (1p)n で割り切れる。

(2) n=3 とするとa3a2=2p2(1p)3(5p3).0p1 であるから、これは p=0 または p3/5 のとき0以上である。したがってp=0,35p1である。

総評

難度7、計算量6。一般の n に対する因数の主張と、具体的な n=2,3 の比較が組み合わさった問題である。anan1 を直接展開するより、不合格確率 qn に変えると (1-p) の因数が見えやすい。(2)は展開量が多いので、a2a3 を段階的に整理し、最後の因数分解で符号を読む。p=0 の孤立した等号成立を落としやすい。25分程度を見込む難しめの確率計算である。

冊子PDFで見る東北大の確率の問題で問題集を作る

出典: 東北大学 2007年度 後期 数学。問題文はHTML表示のために再入力・数式組版しています。