包除原理電卓

包除原理を使用して、最大5つの集合の和集合の要素数を計算します。要素を直接入力するか、各共通部分の濃度を入力することで、符号付き展開、動的なベン図の視覚化、および各排他的な領域のサイズを取得できます。

包除原理電卓

包除原理電卓は、組合せ論や離散確率論で最も広く使われる恒等式の1つである包除原理を用いて、有限集合の和集合のサイズ |A₁ ∪ A₂ ∪ … ∪ A_n| を計算します。生の集合要素、または各積集合の既知の要素数を入力するだけで、和集合のサイズ、符号付きの完全な展開式、ベン図上のすべての領域サイズ、およびライブ図（2〜5集合対応）を表示します。

包除原理（Inclusion-Exclusion Principle）とは

2つの有限集合 A と B の場合、単にそれぞれのサイズを足すと、両方に含まれる要素が二重に数えられてしまいます。積集合を引くことで、この重複を補正します。

|A ∪ B| = |A| + |B| − |A ∩ B|

3つの集合の場合、すべてのペアの積集合を引くと、3つの集合すべてに含まれる要素（三重の重なり）を引きすぎてしまうため、三重の積集合を足し戻します。

|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|

一般に、n 個の集合の場合、数え上げる積集合の要素数に応じて符号が交互に入れ替わります。

|A₁ ∪ … ∪ A_n| = Σ_{S ≠ ∅} (−1)^|S|+1 · |⋂_{i ∈ S} A_i|

{1, …, n} の空でない部分集合は 2ⁿ − 1 個存在するため、公式の項の数は、2集合で3項、3集合で7項、4集合で15項、5集合で31項となります。この電卓は各項を個別に評価し、その符号を表示するため、導出過程を追うことができます。

2つの入力モード

お持ちのデータに合わせたモードを選択してください。多くの教科書の問題では要素数が直接与えられますが、プログラミングのタスクでは集合そのものが与えられることが一般的です。

モード	用途	入力例
要素	各集合の実際のアイテムがあり、すべての積集合を自動的に算出したい場合。	`A: 1, 2, 3, 4` `B: 3, 4, 5, 6` `C: 4, 6, 7, 8`
要素数	各集合や積集合に含まれる要素の「数」はわかっているが、具体的な要素自体は不明な場合。	`\|A\| = 50` `\|B\| = 40` `\|A∩B\| = 15`

要素数モードでは、省略した積集合はすべてゼロとみなされます。積集合のラベルには A∩B, A&B, AB が使用可能で、式をパイプで囲む形式（|A∩B|）も受け付けます。

互いに素な領域のサイズ — メビウスの反転公式

和集合のサイズだけでなく、電卓はベン図上のすべての互いに素な領域のサイズも返します。例えば「AとBには含まれるがCには含まれない」領域は、正確にそれらの集合のみに属する要素をカウントします。すべての領域の合計は和集合に一致するため、計算の妥当性確認に役立ちます。

|領域 T| = Σ_{S ⊇ T} (−1)^|S|−|T| · |⋂_{i ∈ S} A_i|

これは包除原理のメビウス反転による双対です。例えば3集合の場合：

|Aのみ| = |A| − |A∩B| − |A∩C| + |A∩B∩C| |A ∩ Bのみ| = |A∩B| − |A∩B∩C|

|A∩B| > |A| のような矛盾した要素数を入力した場合、電卓は入力を拒否します。個々のサイズが妥当であっても、組み合わせによって実際の集合ではあり得ない値になる場合、1つ以上の領域が負になり、警告が表示されます。

計算例 — 3集合のクラス調査

100人の学生のクラスで、スポーツの調査をしました。50人がサッカー(A)、40人がバスケットボール(B)、30人がテニス(C)をしています。AとBの両方が15人、AとCの両方が10人、BとCの両方が8人、そして3人全員が3種目すべてをしています。少なくとも1つのスポーツをしているのは何人でしょうか？

|A ∪ B ∪ C| = 50 + 40 + 30 − 15 − 10 − 8 + 3 = 120 − 33 + 3 = 90

したがって、100人中90人が少なくとも1つのスポーツをしており、10人はどれもしていません。領域の内訳を見るとさらに詳細がわかります。サッカーのみが28人、バスケのみが20人、テニスのみが15人、サッカーとバスケをしているがテニスはしていないのが12人、といった具合です。

この電卓の使い方

入力モードを選択 — アイテムがある場合は「要素」、サイズのみの場合は「要素数」を選択します。
テキストエリアにデータを入力します。1行に1集合、または既知の要素数を1行ずつ記述します。
要素数モードの場合は集合の数（2〜5）を選択します。要素モードでは自動検出されます。
「和集合と領域を計算」をクリックします。結果には、ヒーローカード形式の |⋃ Aᵢ|、符号付きの完全な包除展開、ベン図のSVG（2, 3, 4集合）、および各領域のサイズ表が表示されます。
ベン図の領域または表の行をホバーすると、対応する項目がハイライトされます。これにより、表と図が同じ分解を表していることを視覚的に確認できます。

主な用途

組合せ論 — 攪乱順列（完全順列）、全射の数、制限付き順列の計算。
確率論 — 事象の P(A ∪ B ∪ C)、ブールの不等式、誕生日のパラドックス。
数論 — オイラーのφ関数を用いた、ある数と互いに素な整数の数え上げ。
アンケート分析 — 「少なくとも1つのカテゴリに属する回答者は何人か」という質問への回答。
データベースクエリ — INTERSECT の COUNT から UNION のサイズを推定。
コンピュータサイエンス — ふるいアルゴリズム、ビットマップインデックスのカーディナリティ推定、GDPR/HIPAAのリーチ集計。

ヒントと注意点

三重の積集合を足し戻すのを忘れないように。 3集合の問題で最も多いミスは、ペアの積集合を引いたところで止めてしまい、結果が小さくなりすぎてしまうことです。
「記述なし」は「ゼロ」を意味します。 要素数モードでは、入力しなかった積集合はゼロとして扱われます。問題文で積集合が空であると明記されていない限り、必要な積集合はすべて入力する必要があります。
積集合 ≤ 包含する集合。 |A ∩ B| が min(|A|, |B|) を超えることはありません。電卓は不可能な入力を即座に拒否します。
可能な限り「要素」モードを使用してください。 集合そのものから積集合を導き出すため、「積集合をすべて正しく入力したか」というミスを完全に排除できます。

よくある質問

包除原理とは何ですか？

包除原理は、和集合のサイズを、各集合自体のサイズとその積集合のサイズを用いて表す数え上げの恒等式です。2つの集合の場合、|A ∪ B| = |A| + |B| − |A ∩ B| となります。3つの集合の場合は3重の積集合の補正が加算され、n 個の集合の場合は、単一の集合の加算、ペアの減算、3つの集合の加算と、符号が交互に入れ替わります。

「要素」モードと「要素数」モードの違いは何ですか？

「要素」モードは、各集合の実際の構成要素を1行に1集合ずつ入力することを想定しており、電卓がすべての積集合を自動的に算出します。「要素数」モードは、集合とその積集合のサイズのみを想定しており、具体的な名前が与えられずに紅茶、コーヒー、またはその両方を好む人の数などがわかっている文章題を解くのに最適です。

電卓に負の領域サイズが表示されるのはなぜですか？

「要素数」モードで負の領域サイズが表示される場合、入力された数値に矛盾があることを意味します。実際の集合の集まりでは、そのような積集合のサイズを持つことは不可能です。通常、ペアまたは3重の積集合が、個々の集合が保持できるサイズよりも大きい場合に発生します。数値を確認してください。すべての積集合は、それに含まれる各集合のサイズ以下である必要があります。

この電卓は何個の集合まで扱えますか？

この電卓は2個から5個の集合をサポートしています。ベン図は2、3、4集合の場合に描画されます。領域分解テーブルは5集合を含むすべてのケースで表示されます。それ以上の数になると包除原理の展開が非常に複雑になるため、ほとんどの教科書の問題は4個または5個の集合で収まります。

互いに素な領域とは何ですか？

互いに素な領域とは、特定の集合の組み合わせのみに属し、他の集合には属さないベン図の断片のことです。3つの集合 A, B, C の場合、Aのみ、Bのみ、Cのみ、A∩Bのみ、A∩Cのみ、B∩Cのみ、および A∩B∩C の7つの空でない領域があります。これらのサイズの合計は |A ∪ B ∪ C| となり、包除原理の計算をダブルチェックする簡単な方法となります。

無限集合や連続集合にこの電卓を使用できますか？

この電卓は、サイズが非負の整数である有限集合向けに設計されています。連続集合を扱う確率論や測度論の問題でも概念的に包除原理を適用できますが、この数値ツールは整数として入力できる要素数を想定しています。

参考文献

このコンテンツ、ページ、またはツールを引用する場合は、次のようにしてください：

"包除原理電卓"（https://MiniWebtool.com/ja/包除原理電卓/） MiniWebtool からの引用、https://MiniWebtool.com/

by miniwebtool チーム. 更新日: 2026年4月21日

また、AI 数学ソルバー GPT を使って、自然言語による質問と回答で数学の問題を解決することもできます。

その他の関連ツール:

包除原理電卓