問1
集合 の要素の個数 を求めなさい。
答えを見る答えを閉じる
()
目次 / 場合の数と確率 / 数学A
—— 重なりを「2回数えない」ための足し算と引き算 ——
この章から「場合の数と確率」の分野に入ります。最初の章では、数と式 第5章で学んだ集合を使って「条件に合うものが何個あるか」を数えます。要素の個数 $n(A)$ を定めたあと、和集合の個数 $n(A \cup B) = n(A) + n(B) - n(A \cap B)$、補集合の個数、倍数の個数、3つの集合の和集合の個数へと進みます。最後に、2つの分け方を縦と横に並べた表で整理する方法を学びます。この表は、第8章の条件付き確率でもう一度活躍します。
場合の数と確率の分野は、「条件に合うものが何個あるか」を正しく数えることから始まります。その道具になるのが、数と式 第5章で学んだ集合です。まず、集合の要素の個数を表す記号を決めます。
有限集合 の要素の個数を と書く。
は「個数」を意味する英語 number の頭文字です。たとえば なら です。 は要素が有限個の集合(有限集合)にだけ使い、自然数全体のような無限集合には使いません。
整数の範囲を数えるときは、端に注意します。 から までの整数は 個ではなく、 自身も入るので 個です。一般に、整数 から までの整数は 個です。
数えるという作業は、体育の授業の点呼に似ています。「、、、…」と1人ずつ番号を言っていき、最後の人が言った番号がその列の人数です。同じ人が2回言ったり、言い忘れた人がいたりすると、人数が狂ってしまいます。1つずつ、重なりも抜けもなく番号を振ることが、数えることの中身です。
は集合 の要素の個数で、要素に重なりも抜けもなく番号を振ったときの最後の番号だということです。
次の集合の要素の個数を求めなさい。
(1)
(2)
(3)
【解答】
(1) より、 の要素は です。 です。
(2) は含まず、 は含むので、 の要素は から までの整数です。 より です。
(3) から までの整数なので、 より です。
2つの集合を合わせた和集合の個数は、それぞれの個数を足すだけでは求まりません。
特に、( と に共通な要素がない)のときは
, で確かめます。 ですが、 の要素は 個です。 個多いのは、共通部分 の要素を、 の側と の側で2回数えたからです。そこで を1回引いて、 と正しい個数になります。
吹奏楽部と合唱部の合同合宿を考えてみましょう。吹奏楽部が 人、合唱部が 人で、そのうち 人は両方の部に入っています。布団を 枚用意すると、兼部の 人の分が余ります。名簿には2回ずつ載っていても、寝るのは1人1枚です。必要な布団は 枚です。
2つの集合の個数を足すと重なった部分を2回数えるので、共通部分の個数を1回引けばよいということです。
(1) 人のクラスで、数学の宿題を提出した人は 人、英語の宿題を提出した人は 人、両方とも提出した人は 人でした。少なくとも一方を提出した人の人数を求めなさい。
(2) ,, のとき、 を求めなさい。
【解答】
(1) 数学を提出した人の集合を 、英語を提出した人の集合を とします。「少なくとも一方」は和集合 です。
より です。
(2) 公式2に代入すると なので
公式2は、4つの数のうち3つが分かれば残りの1つが求まる式として使えます。
「〜でないもの」は、直接数えるより、全体から引くほうが早いことがよくあります。
全体集合を とすると
ド・モルガンの法則 と組み合わせると
また、「 に属するが に属さない」要素の個数は
と は共通な要素がなく、合わせると になります。公式2の特別な場合として が成り立つので、1つめの式が出てきます。3つめの式は、 の要素を「 にも属するもの」と「 に属さないもの」に分けて考えれば分かります。ベン図では の円のうち、 と重ならない部分( だけの部分)の個数です。
映画館の空席を思い浮かべてください。 席の映画館で 席が予約済みなら、空席は 席です。空いている席を1つずつ探して数えるより、全体から引くほうが速くて確実です。「〜でない」を数えたくなったら、まず「全体 〜である」を考えましょう。
「〜でないもの」の個数は全体から引いて求め、「どちらでもない」は全体から和集合を引く、「 だけ」は から共通部分を引くということです。
全体集合 とその部分集合 , について、,,, とする。
(1) を求めなさい。
(2) を求めなさい。
(3) を求めなさい。
【解答】
(1) です。
(2) まず です。ド・モルガンの法則より
(3) です。
確かめとして、ベン図の4つの部分( だけ 、 が 、 だけ 、どちらでもない )を足すと、 になります。
「 から までの整数のうち の倍数」のような集合は、書き並べなくても個数が分かります。
から までの の倍数は です。 は を超えるので、ここで止まります。個数はかけている数 〜 の個数と同じ 個で、これは 余り の商です。
3の注意は大切です。 の倍数かつ の倍数である数は、 の倍数ではなく、最小公倍数 の倍数です。 は の倍数ではありませんが、 でも でも割り切れます。
100 段の階段に印をつける場面で考えます。 段ごとに赤い印をつけると、印は か所です。さらに 段ごとに青い印をつけると、赤と青の両方がつくのは 段目、 段目、…と 段ごとで、 か所あります。ところが「 段ごと」と「 段ごと」の組なら、両方がつくのは 段ごとではなく 段ごとです。重なりの間隔は、かけ算ではなく最小公倍数で決まります。
から までの の倍数は の商の個数で、2つの数の両方の倍数は最小公倍数の倍数として数えるということです。
(1) から までの整数のうち、 の倍数の個数を求めなさい。
(2) から までの整数のうち、 の倍数の個数を求めなさい。
(3) から までの整数のうち、 の倍数または の倍数であるものの個数を求めなさい。
【解答】
(1) 余り なので、 です。
(2) から までの の倍数は、 余り より 個です。 から までの の倍数は、 余り より 個です。よって です。
うっかり「 から まで」を引くと、 がもし の倍数だった場合に、範囲に入るはずの まで引いてしまいます。引くのは「 まで」と覚えておきましょう。
(3) の倍数の集合を 、 の倍数の集合を とします。 は と の最小公倍数 の倍数の集合です。
(, 余り , 余り )より
集合が3つになっても、「重なりを数えすぎたら引く」という考え方は同じです。ただし、引きすぎた分を最後に足し戻す必要があります。
ベン図の7つの部分それぞれについて、右辺で何回数えられるかを確かめます。
どの部分もちょうど1回ずつ数えられるので、和集合の個数になります。このように「いったん全部含めてから、重なりを除き、除きすぎを戻す」数え方を包除原理といいます。
赤・青・黄の3枚の色セロハンを少しずつずらして重ねたところを想像してください。3枚の面積を足すと、2枚が重なった部分は2回、3枚が重なった真ん中は3回数えています。2枚ずつの重なりの面積を引くと、2枚重なりの部分はちょうど1回に戻りますが、真ん中は3回とも引かれて 回になります。だから最後に、真ん中の面積を1回足し戻すのです。
3つの集合では、1つずつの個数を足し、2つずつの共通部分を引き、3つの共通部分を足し戻すと、どの部分もちょうど1回ずつ数えられるということです。
から までの整数について、次の個数を求めなさい。
(1) ,, の少なくとも1つで割り切れる数
(2) ,, のどれでも割り切れない数
【解答】
,, の倍数の集合をそれぞれ ,, とします。2つずつの最小公倍数は ,,、3つの最小公倍数は です。
(それぞれ を ,,,,,, で割った商です。)
(1) 公式5より
(2) ド・モルガンの法則より、どれでも割り切れない数は の補集合です。
アンケートの結果などは、ベン図のほかに「表」で整理すると見通しがよくなります。
全体集合 を、「 に属するか」と「 に属するか」の2つの分け方で4つに分け、次の表にまとめる。
| 計 | |||
|---|---|---|---|
| 計 |
表の4つのますは、ベン図の4つの部分( だけ、、 だけ、どちらでもない)と同じものです。表の良さは、足し算の関係が縦と横にそろって見えることです。分かっている数を書き込み、空いたますを引き算で埋めていけば、残りが順に決まります。
2は、共通部分の個数の最大・最小を考えるときに役立ちます。 とおくと、4つのますは ,,, と表せます。これらがすべて 以上になる範囲が、 の取りうる範囲です。
学食の注文の集計表を例にとります。お昼の 食を「ご飯もの/麺類」と「大盛り/普通」で分けて表にすると、厨房は「麺類の大盛りは何食か」を、麺類の合計から麺類の普通を引いてすぐに出せます。縦の合計と横の合計が同じ になることが、書き間違いのチェックにもなります。
2つの分け方で全体を4つのますに分けると、縦と横の合計から空いたますが埋まり、どのますも 以上であることから共通部分の最大・最小も分かるということです。
(1) ある高校の生徒 人のうち、自転車で通学している人は 人、女子は 人、自転車で通学している女子は 人です。自転車で通学していない男子の人数を求めなさい。
(2) 人のクラスで、兄がいる人は 人、姉がいる人は 人です。兄と姉の両方がいる人の人数として考えられる最大の数と最小の数を求めなさい。
【解答】
(1) 分かっている数を表に書き込み、空いたますを埋めます。男子は 人、自転車で通学している男子は 人です。
| 自転車 | 自転車でない | 計 | |
|---|---|---|---|
| 男子 | |||
| 女子 | |||
| 計 |
自転車で通学していない男子は です。縦に見ても、 と一致します。
(2) 兄がいる人の集合を 、姉がいる人の集合を とし、 とおきます。4つのますは
で、すべて 以上なので です。
は、姉がいる 人が全員兄もいるとき、 は、兄も姉もいない人が 人のときに実現します。よって です。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
集合 の要素の個数 を求めなさい。
()
問2
,, のとき、 を求めなさい。
()
問3
全体集合 とその部分集合 について、, のとき、 を求めなさい。
()
問4
から までの整数のうち、 の倍数の個数を求めなさい。
( 余り )
問5
から までの整数のうち、 の倍数または の倍数であるものの個数を求めなさい。
(。両方の倍数は の倍数で 個)
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
, とする。 と を求めなさい。
,
要素を書き並べます。
, です。両方にあるのは なので です。これは と の公約数、つまり最大公約数 の約数です。
公式2より
書き並べると
で、確かに 個です。
問2 ★
から までの整数のうち、 の倍数でないものの個数を求めなさい。
個
の倍数でないものは、 の倍数の集合の補集合です。全体から引きます。
余り なので、 の倍数は 個です。
「 で割って 余る数」と「 余る数」を別々に数えて足すより、全体から引くほうが手早く済みます。
問3 ★
から までの整数のうち、 の倍数または の倍数であるものの個数を求めなさい。
個
の倍数の集合を 、 の倍数の集合を とします。 は最小公倍数 の倍数の集合です。
問4 ★
から までの整数のうち、 の倍数の個数を求めなさい。
個
「 から まで」の個数から「 から まで」の個数を引きます。
確かめると、範囲内の の倍数は から までで、かけている数は 個です。
問5 ★
全体集合 とその部分集合 , について、,,, とする。 と を求めなさい。
,
は「 だけ」の部分なので、 から共通部分を引きます。
ド・モルガンの法則より です。 なので
4つの部分( だけ 、 が 、 だけ 、どちらでもない )を足すと になり、合っています。
問6 ★
人のクラスで、犬を飼っている人は 人、猫を飼っている人は 人、どちらも飼っていない人は 人です。犬と猫の両方を飼っている人の人数を求めなさい。
人
犬を飼っている人の集合を 、猫を飼っている人の集合を とします。どちらも飼っていない人が 人なので、少なくとも一方を飼っている人は
です。公式2 より
問7 ★
全体集合 とその部分集合 , について、,,, とする。 と を求めなさい。
,
補集合から元の集合の個数に直します。
ド・モルガンの法則より なので、 です。
もう一方のド・モルガンの法則 より
問8 ★
,,,,,, のとき、 を求めなさい。
公式5に代入します。
最後の を忘れると になってしまいます。真ん中の部分は、3回足して3回引いたところで一度 回になっているので、足し戻しが必要です。
問9 ★★
から までの整数のうち、 の倍数でも の倍数でもないものの個数を求めなさい。
個
の倍数の集合を 、 の倍数の集合を とします。求めるのは の個数です。
は ではなく、最小公倍数 の倍数の集合です。
なので
の倍数( 個)で数えてしまうと、 や のような数が両方に入っているのに引かれず、答えがずれます。
問10 ★★
から までの整数のうち、 で割り切れるが で割り切れないものの個数を求めなさい。
個
の倍数の集合を 、 の倍数の集合を とします。求めるのは「 だけ」の部分 です。
は の倍数の集合で、 余り より 個です。 なので
問11 ★★
桁の自然数のうち、 でも でも割り切れないものの個数を求めなさい。
個
全体は から までの 個です。範囲が からなので、「 から まで」から「 から まで」を引いて数えます。
または で割り切れるものは 個なので、どちらでも割り切れないものは
で割った余りが か の数で、 です。
問12 ★★
ある部活動の部員 人のうち、男子は 人、眼鏡をかけている人は 人、眼鏡をかけている女子は 人です。眼鏡をかけていない男子の人数を求めなさい。
人
表に書き込んで、空いたますを埋めます。女子は 人、眼鏡をかけている男子は 人です。
| 眼鏡あり | 眼鏡なし | 計 | |
|---|---|---|---|
| 男子 | |||
| 女子 | |||
| 計 |
眼鏡をかけていない男子は です。縦に見ると、眼鏡なしは 人で、そのうち女子が 人なので、 人と一致します。
問13 ★★
から までの整数のうち、,, の少なくとも1つで割り切れるものの個数を求めなさい。
個
,, の倍数の集合をそれぞれ ,, とします。,, はどの2つも共通な約数が しかないので、最小公倍数は積になります。
公式5より
問14 ★★
ある地区の 世帯のうち、自動車を持っている世帯は 世帯、自転車を持っている世帯は 世帯です。自動車と自転車の両方を持っている世帯の数として考えられる最大の数と最小の数を求めなさい。
最大 世帯、最小 世帯
両方を持っている世帯を 世帯とし、表の4つのますを で表します。
| 自転車あり | 自転車なし | 計 | |
|---|---|---|---|
| 自動車あり | |||
| 自動車なし | |||
| 計 |
右下のますは です。4つのますがすべて 以上なので
より です。 は自転車を持つ世帯がすべて自動車も持つとき、 はどちらも持たない世帯が のときに実現します。よって です。
問15 ★★
から までの整数のうち、 と のうちちょうど一方だけで割り切れるものの個数を求めなさい。
個
の倍数の集合を 、 の倍数の集合を とします。「ちょうど一方だけ」は、「 だけ」と「 だけ」を合わせた部分です。
合わせて です。
式にまとめると です。和集合のときは共通部分を1回引きましたが、「ちょうど一方」では共通部分を含めないので、2回引きます。
問16 ★★
ある学年の生徒 人に、野球・サッカー・テニスの経験を聞きました。野球の経験者は 人、サッカーは 人、テニスは 人、野球とサッカーの両方の経験者は 人、サッカーとテニスの両方は 人、テニスと野球の両方は 人で、どれも経験のない人は 人でした。3種類すべての経験者の人数を求めなさい。
人
野球・サッカー・テニスの経験者の集合を ,, とし、 とおきます。どれも経験のない人が 人なので、 です。公式5より
よって です。
確かめに7つの部分を求めると、野球だけ 、サッカーだけ 、テニスだけ 、野球とサッカーだけ 、サッカーとテニスだけ 、テニスと野球だけ 、3種類すべて で、合計 になります。どの部分も 以上なので、条件に矛盾はありません。
問17 ★★★
から までの整数のうち、,, のどれでも割り切れないものの個数を求めなさい。
個
,, の倍数の集合を ,, とします。共通部分は最小公倍数の倍数ですが、ここでは積にならないことに注意します。
をそれぞれで割った商を求めます。
よって、どれでも割り切れないものは です。
と の両方で割り切れれば の倍数なので、必ず でも割り切れます。そのため と が同じ集合になっています。
問18 ★★★
生徒 人に、数学・英語・国語のそれぞれが好きかどうかを聞きました。数学が好きな人は 人、英語は 人、国語は 人、数学と英語の両方が好きな人は 人、英語と国語の両方は 人、国語と数学の両方は 人、3教科とも好きな人は 人でした。
(1) どの教科も好きでない人の人数を求めなさい。
(2) ちょうど1教科だけが好きな人の人数を求めなさい。
(1) 人 (2) 人
数学・英語・国語が好きな人の集合を ,, とします。
(1) 公式5より
どの教科も好きでない人は です。
(2) 真ん中から外へ順に、ベン図の部分を埋めていきます。
ちょうど1教科だけが好きな人は です。
確かめると、 で (1) の和集合の個数と一致します。
問19 ★★★
生徒 人のうち、数学が好きな人は 人、英語が好きな人は 人、国語が好きな人は 人です。3教科とも好きな人の人数として考えられる最大の数と最小の数を求めなさい。
最大 人、最小 人
数学・英語・国語が好きな人の集合を ,, とします。
最大 なので、 です。実際に、英語が好きな 人が全員、数学と国語も好きで、残り 人のうち 人が数学と国語だけ、 人が国語だけを好き、 人がどれも好きでない、とすれば条件を満たします(数学 、国語 )。最大は 人です。
最小 補集合で考えます。3集合でもド・モルガンの法則は同じ形で、 です。和集合の個数は、それぞれの個数の和以下なので
よって です。
実際に、数学だけ嫌いな人 人、英語だけ嫌いな人 人、国語だけ嫌いな人 人、3教科とも好きな人 人とすれば条件を満たします(数学が好きな人 など)。最小は 人です。
以上より です。最小は「嫌いな人がなるべく重ならないように配る」と考えるのがポイントです。
問20 ★★★
から までの整数のうち、 との最大公約数が であるものの個数を求めなさい。
個
です。ある数と の最大公約数が でないのは、その数が と共通の素因数 ,, のどれかをもつときです。そこで、,, のどれでも割り切れない数を数えます。
,, の倍数の集合を ,, とすると
よって です。
は ,, のどれでも割り切れるので、「 で割り切れない数は半分」「そのうち で割り切れない数は 」…と考えると とも計算できます。この形の式は、整数の性質の分野で出会うことがあります。
19 世紀のアメリカでは、憲法の定めにより 10 年ごとに国勢調査が行われていました。国が大きくなるにつれて集計は追いつかなくなり、1880 年の調査は結果をまとめ終えるまでに 7〜8 年かかったといわれます。このままでは、次の調査が始まるまでに前回の集計が終わらなくなるおそれがありました。
この問題に取り組んだのが、調査局で働いていたハーマン・ホレリスです。ホレリスは、1人分の回答を1枚のカードに穴の位置で記録する方法を考えました。「男性」「既婚」などの項目ごとに穴を開ける場所が決まっていて、機械の針が穴を通り抜けると電気が流れ、その項目のカウンターが1つ進みます。複数の項目の組み合わせを数えるように配線することもでき、「男性」かつ「既婚」の人数、つまり共通部分の要素の個数も機械が数えました。1890 年の調査でこの機械が使われ、集計にかかる時間は大幅に縮まりました(どれだけ縮んだかは資料によって数字が違います ※諸説あり)。
ホレリスは 1896 年に機械の会社を立ち上げ、この会社はのちに合併を経て、1924 年に IBM と名前を変えました。「数える仕事を機械にさせたい」という願いが、コンピューター会社の出発点の1つになったのです。
豆知識
アンケートの結果を「年代」と「賛成・反対」のように2つの項目で分けて数えた表を、クロス集計表といいます。公式6の表は、まさにこのクロス集計です。日本の国勢調査は 1920 年に始まり、原則として 5 年ごとに行われています。
2つの集合のベン図は2つの円、3つの集合なら3つの円でかけます。では、4つの集合を4つの円でかくことはできるでしょうか。
4つの集合のベン図には、「 に入るか入らないか」「 に入るか入らないか」…の組み合わせの数だけ、つまり 個の部分が必要です(どれにも入らない外側も含みます)。ところが、円を何個かいても、平面を分けられる部分の数には限りがあります。
2つの円は、交わっても最大2点でしか交わりません。1個目の円は平面を内と外の 個に分けます。2個目の円は1個目と最大 点で交わり、その円周は 本の弧に分かれます。1本の弧は、それが通る部分を2つに切るので、部分は 個増えて 個です。3個目の円は前の2個とそれぞれ最大 点、合わせて 点で交わり、弧が 本なので部分は 個増えて 個になります。 なので、3つの円はぎりぎり足ります。
4個目の円は最大 点で交わり、部分は 個増えて 個。必要な 個に届きません。一般に 個の円でできる部分は多くても 個で、 のとき です。だから4つの集合は、どう工夫しても4つの円ではかけないのです。
ベン図の名前のもとになったジョン・ベンは、1880 年の論文で、4つの集合を細長い楕円を4つ重ねた図でかいてみせています。円より形の自由がきく楕円なら、16 個の部分をすべて作れます。
豆知識
同じ形の図形を中心のまわりに回転させて重ねた「対称なベン図」は、集合の個数 が素数のときにしか作れないことが知られています(逆に、どんな素数でも作れることが示されたのは 2004 年です ※)。7つの集合の美しい対称なベン図には、オーストラリアの都市にちなんで「アデレード」という愛称がついています(※)。
ニュースで「3日間のイベントに延べ 6 万人が来場」という言い方を聞くことがあります。この延べ人数は、1日ごとの来場者数をそのまま足した数です。3日とも来た人は3回、2日来た人は2回数えられています。一方、重なりを除いた本当の人数を実人数といいます。
1日目・2日目・3日目の来場者の集合を ,, とすると、延べ人数は 、実人数は です。たとえば毎日 2 万人ずつ来場して延べ 6 万人、そのうち3日とも来た人が 5000 人、ちょうど2日来た人が 6000 人だったとします。1日だけ来た人を 人とすると、延べ人数は1日だけの人を1回、2日の人を2回、3日の人を3回数えているので
より です。実人数は 人。「延べ 6 万人」でも、実際に来た人は 4 万 4000 人でした。
延べ人数が大きな数になるのは悪いことではありません。会場の混雑やゴミの量を考えるなら延べ人数、「何人の人に届いたか」を知りたいなら実人数と、目的によって使い分ければよいのです。数字を見るときは、それがどちらの数え方なのかを確かめるくせをつけておきましょう。
豆知識
工事の見積もりなどでは「延べ 20 人日(にんにち)」のような単位を使います。5 人で 4 日かかる作業は延べ 20 人日です。建物の「延べ床面積」も、各階の床面積を足した数で、同じ地面の上に何階分の床があるかを表しています。
※ここは発展ページです。本文では「数える」ことを当たり前の操作として使いました。ここでは、要素の個数を「番号の振り方」で定義し、公式2・3・5 を定義から証明します。包除原理の証明では、数と式 第7章の二項定理を使います。
集合 の要素に の番号を、次の2つを満たすようにつけられるとき、 は 個の要素をもつといい、 と書く。
このような番号のつけ方を、 と の間の 1 対 1 の対応という。このような がある集合を有限集合といい、空集合については と定める。
本文の「点呼」の例え話を、そのまま言葉にしたものです。番号のつけ方はいろいろありますが、どうつけても最後の番号 は同じになります。当たり前に見えるこの事実にも証明が必要ですが、ここでは認めて進みます。
1 対 1 の対応は、数と式 第5章の小話で「自然数全体と偶数全体は同じ個数」と考えたときに使った考え方と同じです。有限集合では「最後の番号」が個数になり、無限集合では 1 対 1 の対応があるかどうかで大きさを比べます。
有限集合 , が を満たすとき
証明 , とする。 の要素に から までの番号をつけ、 の要素には、もともとの番号に を足して から までの番号をつける。
なので、 と の両方に属する要素はなく、 のどの要素にも番号はちょうど1つつく。また から までのどの番号も、ちょうど1つの要素についている。定義1より である。(証明終)
証明の中で を使ったのは、「どの要素にも番号がちょうど1つ」のところです。共通の要素があると、その要素には 側と 側の2つの番号がついてしまいます。これが、本文の「2回数える」の正体です。
全体集合 の部分集合 , について、次が成り立つ。
証明 1. , なので、定理1より である。
の要素は、 に属するか属さないかのどちらか一方なので、 で、この2つは共通な要素をもたない。定理1より である。
の要素は、 に属するか、 に属さずに に属するかのどちらか一方なので、 で、この2つは共通な要素をもたない。定理1と 2 より
どの証明も、「共通な要素をもたない部分に分けてから定理1を使う」という同じ手順です。場合の数の分野では、このように重なりのない場合に分けて足す考え方が、次の第2章の「和の法則」として何度も出てきます。
全体集合 の部分集合 , について
証明 , なので、定理2の 4 より右側の2つの不等式が成り立つ。また なので で、定理2の 3 より
これを移項すれば左側の不等式になる。(証明終)
本文の公式6では、表の4つのますが 以上であることからこの範囲を出しました。定理3と を合わせたものが、ちょうど表の4つの条件です。
有限集合 について、 つずつの共通部分の個数の和を とする( は1つずつの個数の和、)。和集合の要素の個数は
で与えられる。 が公式2、 が公式5 である。
証明 右辺で、和集合の1つの要素 が何回数えられるかを調べる。 がちょうど 個の集合()に属しているとする。
は「1つずつの個数の和」では、属している 個の集合で1回ずつ、合わせて 回数えられる。「2つずつの共通部分」で を含むのは、属している 個から2つを選んだ共通部分なので 回。同じように「 つずつの共通部分」では 回数えられる( なら 回)。
よって が右辺で数えられる回数は
である。一方、二項定理で を展開すると
なので、移項すると上の回数はちょうど になる。和集合のどの要素も右辺でちょうど1回数えられるので、右辺は に等しい。(証明終)
で確かめると、 なら 回、 なら 回、 なら 回で、本文の図(fig02)の数字と一致します。証明の鍵は「二項係数の交代和は 」(数と式 第7章 公式4)でした。
同じ数え方で、別の個数も式にできます。3つの集合で、ちょうど1つの集合だけに属する要素の個数を とし、 を1つずつの個数の和、 を2つずつの共通部分の個数の和、 とすると
が成り立ちます。ちょうど 個に属する要素が右辺で数えられる回数は、 で 、 で 、 で だからです。実践問題 j18 の (2) を と一気に計算できます。
この章の学習が終わったら
学習完了テストを受ける