Addition Theorem - Kahouteiri

Japanese: 加法定理 - かほうていり

There are many types of addition theorems in mathematics, but here we will introduce the following two as the most common ones.

(1) The addition theorem of trigonometric functions is the following formula.

(2) Addition theorem in probability Suppose there are k events _E1 , _E2 , ..., _Ek , and no two of them occur simultaneously. In other words, _E1 , ..., _Ek are mutually exclusive events. In this case, the probability p that at least one of _E1 , ..., _Ek occurs is equal to the sum of the probabilities p( _Ei ) of the occurrence of each event Ei.

p＝p(E ₁ )＋p(E ₂ )＋……＋p(E _k )
This is the addition theorem in probability. In classical probability theory, this theorem is proven as follows: "Suppose there are a total of N possible cases, and each case is equally likely to occur. If there are n _i possible cases corresponding to event E _i , then p(E _i )＝n _i /N. On the other hand, since no two of E ₁ ,……,E _k can occur simultaneously, the number of cases in which at least one of these k cases occurs is N＝n ₁ +……+n _k . Therefore,

When constructing probability theory axiomatically, the following property is considered to be an axiom regarding probability: "When _E1 and _E2 are mutually exclusive events, the probability p( _E1 _∪E2 ) that at least one of _E1 and _E2 occurs is equal to the sum of p( _E1 ) and p( _E2 )."

[Shigeru Furuya]

Source: Shogakukan Encyclopedia Nipponica About Encyclopedia Nipponica Information | Legend

Japanese:

数学において加法定理とよばれているものはいろいろあるが、ここではもっとも一般的なものとして次の二つをあげる。

(1)三角関数の加法定理　次の公式をいう。

(2)確率における加法定理　k個の事象E₁,E₂,……, E_kがあって、このうちのどの二つも同時におこることはないとする。すなわちE₁,……,E_kが排反事象であるとする。このときE₁,……, E_kのうちの少なくとも一つがおこるという確率pは、各事象Eiのおこる確率p(E_i)の和に等しい。

　　p＝p(E₁)＋p(E₂)＋……＋p(E_k)
これが確率における加法定理である。この定理は古典的な確率論では次のようにして証明される。「全部でN通りの場合があって、どの場合がおこるのも同様に確からしいとする。事象E_iに対応する場合がn_i通りであるとするとp(E_i)＝n_i/Nである。一方、E₁,……, E_kのうちのどの二つをとっても同時におこることはないから、これらk個のうちの少なくとも一つがおこる場合の数はN＝n₁＋……＋n_kである。したがって

である」。確率論を公理的に構成するときは、「E₁、E₂が排反事象であるとき、E₁、E₂のうちの少なくも一方がおこる確率p(E₁∪E₂)は、p(E₁)とp(E₂)の和に等しい」という性質を確率に関する公理と考える。