方針
積が5で割り切れるかは「5の目が少なくとも1回出るか」で決まる。(2)は4で割り切れない余事象を、積に含まれる2の因数の総数が0個または1個である場合として数える。(3)は なので、 を「5が一度も出ない」または「4で割り切れない」の和事象として包除原理で表す。最後は が最も減り方の遅い項であることを、割り算して確認してから対数の極限を取る。
解答
(1) が5で割り切れるためには、 回のうち少なくとも1回は5の目が出ればよい。逆に、5の目が一度も出なければ は5で割り切れない。
したがって余事象を用いて である。
(2)
積 が4で割り切れるかどうかは、積に含まれる2の因数の個数で決まる。さいころの目を2の因数の個数で分けると、 である。 が4で割り切れないのは、2の因数の総数が0個または1個の場合である。総数が0個となる確率は である。総数が1個となるには、 回のうち1回だけ のどちらかが出て、残りは のいずれかであればよい。したがってその確率はである。
よってだから、求める確率はである。
(3) が20で割り切れることは、5で割り切れ、かつ4で割り切れることと同値である。したがって が20で割り切れない事象は または の少なくとも一方が起こる事象である。
(1) , (2)の余事象の計算から であり、 である。
次に を数える。5が出ないという条件のもとで、2の因数の総数が0個または1個であればよい。2の因数を含まない目は の2個、2の因数をちょうど1個含む目は の2個である。したがって、総数0個の確率は であり、総数1個の確率は である。よって である。
包除原理より であるからである。
ここで右辺を で割るとである。右辺の第2項以降はいずれも0に近づくので である。したがって であり、第2項を で割ったものは0に近づく。よってである。
別解
解法2(2の指数の母関数で一括計算)
方針
各さいころの目が含む2の因数の個数を に分類し、
その回数分布を多項式の係数で数える。5を含まない場合の多項式も用意すると、
包除原理の交差項まで同じ枠組みで得られる。
解答
(1)
5の倍数になるのは、少なくとも1回 が出る場合である。よって(2)
1回の出目に含まれる2の因数の個数を指数として、多項式を考える。定数項の は 、 の係数 は
、 の係数 は に対応する。
の の係数は、 が2の因数をちょうど
個含む確率である。
4で割り切れない確率は の係数の和だからしたがって(3)
を「5が出ない」、 を「4で割り切れない」とする。
5を除いた出目だけを数える多項式はしたがって の確率は の の
係数の和であり、包除原理から で割った比は に収束するのでゆえに
総評
割り切れ条件を素因数の個数として数える問題である。目安時間は15〜20分。(2)は4で割り切れる場合を直接数えるより、2の因数が0個または1個しかない余事象を数える方が簡単である。(3)では を使い、 を包除原理で表すのが自然な流れになる。最後の極限では、単に「最大の項」と書くだけでなく、 で割って残りが1に近づくことを示すと答案として明確である。