問1
大小2個のさいころを投げるとき、目の和が になる場合の数を求めなさい。
答えを見る答えを閉じる
((大, 小) )
目次 / 場合の数と確率 / 数学A
—— 「または」は足し、「それぞれに」はかける ——
第1章では集合の要素の個数を数えました。この章では、ものごとの「起こり方」が何通りあるかを数えます。まず、樹形図と辞書式配列を使って、もれなく重なりなく書き出す方法を身につけます。次に、数え方の2本の柱である和の法則と積の法則を学び、約数の個数と総和、「少なくとも1つ」の数え方に応用します。ここで身につける2つの法則は、第3章の順列・第4章の組合せの公式の土台になります。
第1章では、集合の要素が何個あるかを数えました。この章では、ものごとの「起こり方」が何通りあるかを数えます。ある事柄の起こり方の総数を、その事柄の場合の数といいます。たとえば硬貨を1回投げると表か裏かの2通りなので、場合の数は です。
起こり方が少ないうちは頭の中で数えられますが、少し増えるとすぐに数え落としや二重に数えるミスが起こります。そこで、書き出し方にルールを決めます。
硬貨を3回投げる場合で、樹形図をかいてみます。1回目で「表」「裏」の2本に分かれ、2回目でそれぞれがまた2本に、3回目でさらに2本ずつに分かれます。右端の「葉」(枝の先)が1つの出方に対応していて、全部で 通りです。樹形図の良いところは、枝分かれの順番が決まっているので、同じ出方を2回書くことも、書き忘れることも起こりにくい点です。
国語辞典の並び方を思い出してください。「あい」「あお」「いか」…と、まず1文字目で分け、1文字目が同じ言葉は2文字目で並べます。どの言葉も入る場所がただ1つに決まるので、何万語あっても重なりも抜けもなく並べられます。場合の数を書き出すときも、同じように「小さい順」の決まりを1つ決めておくと、樹形図を横に読んだ形でもれなく書き出せます。
起こり方は、決める順番を決めて樹形図や辞書式配列で書き出すと、もれなく重なりなく数えられるということです。
(1) 硬貨を3回投げるとき、表が2回以上出る出方は何通りあるか求めなさい。
(2) 50 円玉、10 円玉、5 円玉を使って 100 円を支払う方法は何通りあるか求めなさい。ただし、どの硬貨も十分な枚数があり、使わない硬貨があってもよいものとする。
【解答】
(1) 樹形図(上の図)で、表が2回の出方は「表表裏」「表裏表」「裏表表」の 通り、3回の出方は「表表表」の 通りです。合わせて です。
(2) 金額の大きい硬貨から枚数を決めていきます。50 円玉の枚数で枝分かれさせ、その中で 10 円玉の枚数を決めると、5 円玉の枚数は残りの金額から1つに決まります。
| 50 円玉 | 10 円玉 | 5 円玉 | 通り |
|---|---|---|---|
| 枚 | 枚 | 枚 | |
| 枚 | 〜 枚 | 〜 枚 | |
| 枚 | 〜 枚 | 〜 枚 |
50 円玉が 枚のとき、残り 円を 10 円玉 〜 枚で払い、足りない分を 5 円玉で払うので 通りです。50 円玉が 枚のときも同じように 通りです。合わせて です。
例題1(2)の最後で、 と足しました。50 円玉が 枚の場合と 枚の場合は同時には起こらないので、それぞれの場合の数を足せば全体になります。これを法則として述べます。
2つの事柄 , が同時には起こらないとき、 の起こり方が 通り、 の起こり方が 通りならば、 または が起こる場合の数は
である。3つ以上の事柄についても、どの2つも同時に起こらなければ同じように足せばよい。
これは、第1章の「共通な要素がなければ 」を、起こり方の言葉で言いかえたものです。第1章の厳密定義ページで「重なりのない場合に分けて足す考え方が和の法則として出てくる」と予告したのは、このことでした。同時に起こることがあるなら、第1章の公式2のように重なりを引かなければなりません。
大小2個のさいころを投げるときの目の和を、表にまとめておきます。行が大きいさいころの目、列が小さいさいころの目です。
| 大\小 | ||||||
|---|---|---|---|---|---|---|
同じ和は右上から左下への斜めの線に並びます。和が の斜めがいちばん長く、 通りです。「大が で小が 」と「大が で小が 」は別の出方として数えます。
駅の出口を思い浮かべてください。改札を出て地上に上がるのに、東口の階段が 本、西口の階段が 本あれば、上がり方は 通りです。東口と西口の両方から同時に出ることはできないので、そのまま足せます。
同時には起こらない場合に分けたら、それぞれの場合の数を足せば全体の場合の数になるということです。
大小2個のさいころを投げるとき、次の場合の数を求めなさい。
(1) 目の和が の倍数になる場合
(2) 目の和が 以下になる場合
【解答】
(1) 目の和は から までなので、 の倍数になるのは和が ,, のときです。
これらは同時には起こらないので、和の法則より です。
(2) 和が ,,, の場合はそれぞれ ,,, 通りです。和の法則より です。
樹形図(fig01)では、1回目の2本の枝のそれぞれから、2回目の枝が2本ずつ出ていました。このように「それぞれに対して同じ数だけ枝が出る」ときは、足すのではなく、かけ算で数えられます。
事柄 の起こり方が 通りあり、そのそれぞれに対して事柄 の起こり方が 通りずつあるとき、 と がともに起こる場合の数は
である。3つ以上の事柄が続けて起こる場合も同じように、それぞれの起こり方の数をかければよい。
硬貨を3回投げる出方は 通りで、樹形図の葉の数と一致します。積の法則は、「 通りの枝分かれが 本の枝のそれぞれで起こるので、 を 回足す」ことを1回のかけ算で済ませたものです。
大切なのは「それぞれに対して」の部分です。 の中身は の結果によって変わってもかまいません。たとえば 人から委員長と副委員長を1人ずつ選ぶとき、委員長が決まると副委員長の候補は残りの 人になります。候補の顔ぶれは委員長によって変わりますが、人数はいつも 人なので、 通りです。
服のコーディネートで考えます。上着が 着、ズボンが 本あれば、どの上着を選んでも、それに合わせるズボンが 通りずつあります。上着ごとに 通りが 回くり返されるので、組み合わせは 通りです。帽子が 種類加われば、12 通りのそれぞれに帽子が 通りずつで 通りに増えます。
1つめの決め方のそれぞれに対して2つめの決め方が同じ数ずつあれば、それらをかければ全体の場合の数になるということです。
(1) 式 を展開したときの項の個数を求めなさい。
(2) 大中小3個のさいころを投げるとき、3個とも奇数の目が出る場合の数を求めなさい。
(3) 人の中から、委員長と副委員長を1人ずつ選ぶ方法は何通りあるか求めなさい。
【解答】
(1) 展開した項は、1つめのかっこから1文字、2つめから1文字、3つめから1文字を選んでかけたものです。選び方は 通り、 通り、 通りで、どの2つの選び方からも同じ項は出てこない(使う文字がすべて違う)ので、積の法則より です。
(2) 奇数の目は ,, の 通りです。大・中・小のそれぞれで 通りずつなので、 です。
(3) 委員長の選び方は 通りで、そのそれぞれに対して副委員長は残りの 人から選ぶので 通りです。 です。
積の法則のよく知られた使い道が、約数の個数です。
自然数 が (,, は異なる素数)と素因数分解されるとき、 の正の約数の個数は 、 の正の約数の総和は
素因数が2つや4つ以上のときも、同じようにかっこを並べてかける。
で考えます。 の正の約数は、素因数に を 〜 個、 を 〜 個含む数、つまり (,)の形の数です。 の選び方が 通り、そのそれぞれに の選び方が 通りなので、積の法則より 個です。 のように「 個」も1通りに数えるので、指数に を足します。整数の性質 第1章で学んだ約数の個数の求め方は、ここで名前のついた積の法則そのものです。
総和は、次の積を展開すると分かります。
展開した 個の項は、1つめのかっこから 、2つめから を1つずつ選んでかけた で、 の約数がちょうど1回ずつ出てきます。だから約数の総和は です。
財布の中の硬貨で考えてみましょう。100 円玉が 枚、10 円玉が 枚あるとき、何枚ずつ出すかは、100 円玉が 〜 枚の 通り、10 円玉が 〜 枚の 通りで、 通りです。約数を選ぶことは、「 という硬貨を何枚、 という硬貨を何枚出すか」を決めることと同じなのです。ただし、硬貨の支払いでは「どれも出さない」は支払いにならないので を引いて 通りとしますが、約数では「どれも選ばない」が約数 にあたるので引きません。
約数は素因数を何個ずつ使うかの組で決まるので、約数の個数は「指数 」の積、約数の総和は各素因数の累乗の和の積になるということです。
の正の約数の個数と、その総和を求めなさい。
【解答】
と素因数分解できます。
個数は、 の指数 〜 の 通り、 の指数 〜 の 通り、 の指数 〜 の 通りをかけて
総和は
です。
「少なくとも1つ〜」の場合の数は、 つの場合、 つの場合、…と分けて足すと場合分けが多くなります。反対の「1つも〜でない」を数えて全体から引くほうが、たいてい速く済みます。
「少なくとも1つ〜である」と「1つも〜でない」は同時には起こらず、合わせると全体になります。和の法則から なので、移項すれば公式5になります。第1章の公式3「補集合の個数は全体から引く」と同じ考え方です。そして「1つも〜でない」は、たいてい積の法則ですぐに数えられます。
パスワードの規則を例にとります。英字 ,, と数字 , の5種類の文字を使い、同じ文字をくり返し使ってよいとして3文字のパスワードを作ります。「数字を少なくとも1つ含む」ものを、数字が1文字・2文字・3文字の場合に分けて数えるのは大変です。全部で 通り、数字を1つも含まない(英字だけの)ものは 通りなので、 通りと一気に求まります。
「少なくとも1つ」は、場合分けして足すより、全体から「1つもない」場合を引くほうが速いということです。
(1) 大中小3個のさいころを投げるとき、目の積が偶数になる場合の数を求めなさい。
(2) 桁の整数のうち、数字 を少なくとも1つ含むものの個数を求めなさい。
【解答】
(1) 目の積が偶数になるのは、少なくとも1つの目が偶数のときです。全体は 通りです。積が奇数になるのは3個とも奇数の目のときで、例題3(2)より 通りです。
(2) 桁の整数は から までの 個です。数字 を1つも含まないものは、百・十・一の位がどれも 〜 の 通りなので 個です。
全体の も積の法則で と求められます。百の位だけは が使えないので、 通りになることに注意しましょう。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
大小2個のさいころを投げるとき、目の和が になる場合の数を求めなさい。
((大, 小) )
問2
大小2個のさいころを投げるとき、目の和が 以上になる場合の数を求めなさい。
(和が ,, の場合がそれぞれ ,, 通り。和の法則で )
問3
種類のおにぎりと 種類のお茶から、それぞれ1つずつ選ぶ方法は何通りあるか求めなさい。
(積の法則で )
問4
の正の約数の個数を求めなさい。
( より )
問5
硬貨を3回投げるとき、少なくとも1回は表が出る出方は何通りあるか求めなさい。
(全体 通りから、3回とも裏の 通りを引く)
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
100 円玉、50 円玉、10 円玉を使って 200 円を支払います。どの硬貨も十分な枚数があり、使わない硬貨があってもよいものとします。支払う方法は何通りあるか求めなさい。
通り
金額の大きい硬貨から枚数を決めます。100 円玉と 50 円玉の枚数が決まれば、10 円玉の枚数は残りの金額から1つに決まります。
これらは同時には起こらないので、和の法則より です。
問2 ★
大小2個のさいころを投げるとき、目の和が の倍数になる場合の数を求めなさい。
通り
目の和は から なので、 の倍数になるのは和が ,,, のときです。
和の法則より です。
問3 ★
本棚に、数学の参考書が 冊、英語の参考書が 冊あります。どれも異なる本とします。
(1) 数学か英語の参考書を1冊だけ選ぶ方法は何通りあるか求めなさい。
(2) 数学の参考書と英語の参考書を1冊ずつ選ぶ方法は何通りあるか求めなさい。
(1) 通り (2) 通り
(1) 数学の本を選ぶことと英語の本を選ぶことは同時には起こらない(1冊だけ選ぶ)ので、和の法則より です。
(2) 数学の本の選び方 通りのそれぞれに対して、英語の本の選び方が 通りずつあるので、積の法則より です。
「どちらか一方」なら足し、「両方を続けて決める」ならかける、という使い分けを確かめる問題です。
問4 ★
式 を展開したときの項の個数を求めなさい。
個
展開した項は、3つのかっこから1文字ずつ選んでかけたものです。選び方は 通り、 通り、 通りで、使う文字がすべて違うので、同じ項がまとめられることはありません。
積の法則より です。
問5 ★
の正の約数の個数を求めなさい。
個
と素因数分解できます。約数は (,,)の形なので、積の法則より
問6 ★
大中小3個のさいころを投げるとき、目の積が奇数になる場合の数を求めなさい。
通り
積が奇数になるのは、3個とも奇数の目が出るときです(1つでも偶数があると積は偶数)。奇数の目は ,, の 通りなので、積の法則より
問7 ★
大小2個のさいころを投げるとき、少なくとも一方の目が 以上になる場合の数を求めなさい。
通り
全体は 通りです。どちらの目も 以上でない、つまり2個とも 〜 の目が出るのは 通りです。
確かめると、大が 以上( 通り)と小が 以上( 通り)を足し、両方 以上( 通り)を引いても 通りです。
問8 ★
の正の約数の総和を求めなさい。
と素因数分解できます。約数の総和は
右辺を展開すると、(,)の 個の項、つまり の約数がちょうど1回ずつ出てきます。
問9 ★★
A 町と B 町を結ぶ道が 本、B 町と C 町を結ぶ道が 本あります。A 町から B 町を通って C 町へ行き、B 町を通って A 町へ戻ります。帰りは、行きに通った道を1本も通らないとき、往復の道順は何通りあるか求めなさい。
通り
行きは、A→B が 通り、そのそれぞれに B→C が 通りで、 通りです。
帰りは、行きに使った道を除くので、C→B は残りの 本、B→A は残りの 本から選びます。 通りです。
行きの 通りのそれぞれに対して帰りが 通りずつあるので、積の法則より
帰りの道の候補は行きの道順によって変わりますが、本数はいつも同じなので積の法則が使えます。
問10 ★★
10 円玉が 枚、50 円玉が 枚、100 円玉が 枚あります。これらの一部または全部を使って、ちょうど支払うことのできる金額について考えます。
(1) 支払い方は何通りあるか求めなさい。ただし、硬貨の枚数の組が異なれば、金額が同じでも異なる支払い方とする。
(2) 支払うことのできる金額は何通りあるか求めなさい。
(1) 通り (2) 通り
(1) 10 円玉は 〜 枚の 通り、50 円玉は 〜 枚の 通り、100 円玉は 〜 枚の 通りです。積の法則より 通りですが、すべて 枚の場合は支払いにならないので除き、 です。
(2) (1) のままでは、「50 円玉 枚」と「100 円玉 枚」のように同じ金額を2回数えてしまいます。そこで、100 円玉 枚を 50 円玉 枚に置きかえて考えます。すると 50 円玉が 枚分あることになり、50 円単位の金額は 〜 円の 通りすべてが作れます。
10 円玉の分は 〜 円の 通りで、 円未満なので 50 円単位の金額と重なることはありません。金額は 通りで、 円を除いて です。
大きい硬貨が小さい硬貨の組で作れるときは、「支払い方」と「金額」の数が違ってくるので注意しましょう。
問11 ★★
,,,, の5個の数字を使って 桁の整数を作ります。同じ数字をくり返し使ってよいものとします。
(1) 桁の整数は全部で何個できるか求めなさい。
(2) そのうち偶数は何個あるか求めなさい。
(1) 個 (2) 個
(1) 百の位には が使えないので 〜 の 通り、十の位と一の位はそれぞれ 通りです。積の法則より
(2) 偶数になるのは一の位が ,, のときで 通りです。百の位 通り、十の位 通りと合わせて
条件のついた位(百の位・一の位)から先に通り数を決めると、見落としが防げます。
問12 ★★
桁の整数のうち、数字 を少なくとも1つ含むものの個数を求めなさい。
個
桁の整数は全部で 個です。数字 を1つも含まないものを数えます。
積の法則より 個なので
百の位を 通りとしてしまうと、 を除き忘れて答えがずれます。
問13 ★★
正の約数の個数がちょうど 個である自然数のうち、最小のものを求めなさい。
約数の個数は、素因数分解したときの「指数 」の積です。これが になる分け方は、 と の2つだけです。
なので、最小のものは です。
確かめると の約数は の 個です。 のように指数と素数の組を逆にすると大きくなります。
問14 ★★
方程式 を満たす自然数の組 の個数を求めなさい。
個
係数のいちばん大きい から値を決めて場合分けします。, は 以上なので で、 より です。
和の法則より です。
問15 ★★
と の正の公約数の個数と、その総和を求めなさい。
個数 個、総和
, です。公約数は最大公約数の約数なので、各素因数の指数の小さいほうをとって、最大公約数は
の正の約数の個数は 、総和は
です。
問16 ★★
横一列に並んだ つの区画を、赤・青・黄の 色で塗り分けます。隣り合う区画は異なる色で塗り、同じ色を何回使ってもよく、使わない色があってもよいものとします。塗り方は何通りあるか求めなさい。
通り
左端から順に塗ります。
どの区画も、左隣の色が何であっても選べる色は 色ずつなので、積の法則より
問17 ★★★
正方形を縦と横の線で4等分し、左上・右上・右下・左下の つの区画を作ります。これらを赤・青・黄・緑の 色で塗り分けます。辺で接している区画は異なる色で塗り、左上と右下のように頂点だけで接している区画は同じ色でもよいものとします。同じ色を何回使ってもよく、使わない色があってもよいとき、塗り方は何通りあるか求めなさい。
通り
辺で接しているのは「左上と右上」「右上と右下」「右下と左下」「左下と左上」の4組です。左上 → 右上 → 右下 → 左下の順に塗ると、最後の左下は右下と左上の両方と接しているので、選べる色の数が「右下が左上と同じ色かどうか」で変わります。そこで場合分けします。
右下が左上と同じ色のとき 左上 通り、右上は左上と違う 通り、右下は左上と同じ 通り、左下は左上(=右下)と違う 通りです。
右下が左上と違う色のとき 左上 通り、右上 通り、右下は右上とも左上とも違う 通り、左下は右下とも左上とも違う(この2色は異なる)ので 通りです。
和の法則より です。
積の法則が使えるのは、「前の決め方によらず、次の選び方の数が同じ」ときだけです。数が変わるところで場合分けし、それぞれを積の法則で数えてから和の法則でまとめます。
問18 ★★★
, を自然数とします。 の正の約数の総和が であるとき、 を求めなさい。
約数の総和は と の積で、これが です。それぞれのかっこがとりうる値を並べます。
です。2つめのかっこは 以上なので、1つめのかっこは 以下、つまり 以下で、候補は ,,,, です。このうち を割り切るのは だけで、このとき2つめは となり、上の列に入っています。
より 、 より なので
確かめると の約数の総和は です。
問19 ★★★
大中小3個のさいころを投げるとき、目の和が になる場合の数を求めなさい。
通り
大の目 で場合分けし、中と小の目の和 になる組を数えます。
中+小の個数は、和の法則の表(大小2個の目の和)の斜めの長さです。和の法則より
「目の組み合わせ」だけで ,,… と数えると、並べかえの数( なら大中小の割り当てが 通り、 なら 通り)の違いを見落としやすくなります。大中小を区別して数えるのが安全です。
問20 ★★★
大中小3個のさいころを投げるとき、目の積が の倍数になる場合の数を求めなさい。
通り
目を、含む素因数 の個数で3つに分けます。
積が の倍数でないのは、3個の目に含まれる の個数の合計が 個か 個のときです。
の倍数でないのは 通りなので
「 の倍数になる」側を直接数えると、 の目がある場合・ か が2個以上ある場合などが重なり合って複雑になります。重なりのない「ならない」側を数えて全体から引くのが近道です。
13 世紀の地中海、マヨルカ島にラモン・リュイ(ラテン語名ルルス)という人物がいました。リュイは、ものごとの性質を表す言葉にアルファベットを割り当て、それを同心円状に重ねた紙の円盤に書き込みました。内側の円盤を回すと、外側の言葉と内側の言葉の組が次々に並びます。外側に 個、内側に 個の言葉があれば、組は 通り。円盤を3枚にすれば 通りです。リュイは、こうしてあらゆる組み合わせを機械的に作り出せば、真理に一つ残らずたどりつけると考えました(円盤に書いた言葉の数や使い方は、著作によって違います ※諸説あり)。
それから約 400 年後、この発想に強くひかれたのが、のちに微分積分を作ることになるライプニッツです。ライプニッツは 20 歳のころ、1666 年に『結合法論』という論文を書き、リュイの方法を取り上げながら、ものを並べたり選んだりする方法の数を調べました。「すべての考えを基本の概念の組み合わせで表し、計算で正しいかどうかを決められないか」という彼の夢は、のちの記号論理学やコンピューターの考え方の源流の1つといわれています。
回る円盤は「1枚目のそれぞれに対して、2枚目の全部が並ぶ」という積の法則を、そのまま形にした道具でした。
豆知識
1726 年に出版された『ガリバー旅行記』には、単語を書いた木片を取っ手で回して並べかえ、偶然できた文章を書き留めて本を作る「文章製造機」が登場します。作者スウィフトは、リュイやライプニッツの組み合わせの発想を皮肉ったのではないかともいわれます(※諸説あり)。
ルービックキューブは、ハンガリーの建築家ルビク・エルネーが 1974 年に考案したパズルです。各面 の小さなキューブでできていて、崩れた状態は全部で
(約 京通り)あります。この途方もない数も、積の法則で組み立てられます。
キューブの角には、3色のついた角の部品が 個あります。8か所の置き場所に部品を1つずつ入れていくと、1か所目は 通り、2か所目は残りの 通り、…で、 通り。さらに各部品の向きが 通りずつで 通りです。辺の部品(2色)は 個で、置き方が 通り、向きが 通り。これらをすべてかけると、キューブを一度ばらばらにして組み立て直す方法の数になります。
ところが、ふつうに回すだけでは、このうちちょうど 分の にしかたどりつけません。角の部品の向きの合計、辺の部品の向きの合計、部品の入れかわり方の3つに「回しても変わらない決まり」があり、それぞれ 分の 、 分の 、 分の に絞られるからです。組み立て直しの総数を で割ったものが、冒頭の 4325 京です。ばらばらにして適当にはめ直したキューブは、 回に 回は、どう回しても完成しないのです。
豆知識
どんなに崩れた状態からでも、 手あれば必ず完成できることが 2010 年にコンピューターを使って証明されました。この は「神の数字」と呼ばれています(1回の 回転も1手と数える場合)。
電信の時代に使われたモールス信号は、短い音「・」と長い音「−」の並びで文字を表します。たとえば E は「・」、T は「−」、A は「・−」です。では、英語のアルファベット 文字を表すには、符号を何個まで並べれば足りるでしょうか。
符号を1個並べる並びは「・」「−」の 通り、2個なら積の法則で 通り、3個なら 通り、4個なら 通りです。長さの違う並びは同時には起こらないので、4個までの並びは和の法則で
文字に足ります。3個までだと 通りしかないので、4個までが必要です。実際、国際モールス信号のアルファベットは 〜 個の符号でできていて、数字には5個の符号が使われています。
もう1つの工夫は、どの文字にどの長さを割り当てるかです。英語でいちばんよく使われる E に最短の「・」を、T にも1個の「−」を割り当て、Q や Z のようにあまり使われない文字に4個の符号を回しました。よく送る文字ほど短くしておけば、電文全体を送る時間が短くなります。この「よく使うものほど短く」という考え方は、今のデータ圧縮の技術にも生きています。
豆知識
指で読む点字は、縦 行×横 列の つの点のそれぞれを「出す・出さない」で表します。 通りから、点が1つもない場合を除いた 通りが使えます。点字は 1825 年ごろにフランスのルイ・ブライユが考案し、日本語の点字は 1890 年に石川倉次の案が採用されました。
※ここは発展ページです。本文では和の法則と積の法則を「当たり前の数え方」として使いました。ここでは、場合の数を集合の要素の個数として定め、2つの法則を第1章の定義と定理から証明します。
ある事柄の起こり方を1つずつ要素とする有限集合を とするとき、 をその事柄の場合の数という。
たとえば「大小2個のさいころの出方」は、 という集合の要素の個数です。「数える」ことは、第1章の定義1の「番号を振る」ことにほかなりません。
有限集合 のどの2つも共通な要素をもたないとき
証明 のときは第1章の定理1である。 のときは、 とおくと、 はどの ()とも共通な要素をもたないので である。第1章の定理1より となり、 に同じことをくり返せばよい。(証明終)
本文の公式2の「同時には起こらない」は、起こり方の集合が「共通な要素をもたない」ことの言いかえです。
積の法則を集合の言葉で述べるために、「組」を要素とする集合を用意します。
集合 , に対して、 と の組 全体の集合を と の直積といい、 で表す。
2つの組 と は、 かつ のときに限り等しいとする。
組は順番を区別します。 のとき、 と は異なる要素で、これが「大が で小が 」と「大が で小が 」を区別することにあたります。座標平面の点 も直積の要素です。
有限集合 , について
証明 とし、 とする。 の要素を、1つめの成分で分けて
とおく。 のどの要素も、ちょうど1つの に属するので、 で、どの2つの も共通な要素をもたない。
また、 の要素 に の要素 を対応させると、これは と の間の1対1の対応である。 の番号の振り方をそのまま に写せるので、 である。
定理1より
である。(証明終)
証明の中身は「かけ算とは同じ数を何回も足すこと」です。 は、樹形図で の枝から先に出ている枝の束にあたります。
本文では、委員長を選ぶと副委員長の候補が変わる場合にも積の法則を使いました。このときの起こり方の集合は、ちょうどの直積ではありません。そこで定理2を少し広げます。
集合 の要素が組 の形をしていて、1つめの成分 として現れるものが 個あり、どの についても、 となる がちょうど 個ずつあるとする。このとき
である。3つ以上の成分の組についても、「それまでの成分をどう決めても、次の成分の選び方がちょうど 個」ならば である。
証明 1つめの成分として現れるものを とし、 とおく。定理2の証明と同じく、 で、どの2つも共通な要素をもたず、仮定より である。定理1より となる。
3つ以上のときは、組 を「 という1つの組」と「」の2つ組とみなして、2つの場合をくり返し使えばよい。(証明終)
定理2との違いは、 の中身(2つめの成分の候補)が ごとに違ってよいことです。個数さえそろっていれば、足し算の回数は同じなので、かけ算で済みます。逆に、個数が によって変わるときは、実践問題 j17 のように場合分けして定理1で足すことになります。
積の法則のきれいな使い道を1つ証明しておきます。
個の要素をもつ集合 の部分集合( と 自身も含む)は 個ある。
証明 の部分集合 に対して、各 が に「入る」なら 、「入らない」なら を書いて、 と を 個並べた組 を対応させる。
逆に、 と の組が1つ与えられると、 となる だけを集めた部分集合がただ1つ決まる。よって、部分集合全体と、 と を 個並べた組全体の間には1対1の対応がある。
後者は を 個並べた直積なので、定理2をくり返し使って 個である。(証明終)
数と式 第5章で出てきた「部分集合は 個」と、第1章の小話の「4つの集合のベン図には 個の部分が必要」は、どちらもこの定理です。後者では、ベン図の各部分に「 に入るか」「 に入るか」…の ・ の組が対応しています。
本文の公式4(約数の個数)も同じ形をしています。 の約数と、指数の組 ()の間の1対1の対応は、素因数分解の一意性(整数の性質 第1章 定理3・定理4)から得られます。組の集合は という直積なので、定理2より個数は です。
第3章の順列と第4章の組合せの公式は、すべて定理1〜3(と、それを使った「対応させて数える」考え方)から組み立てられます。
この章の学習が終わったら
学習完了テストを受ける