Доказательство. Т.к. события образуют полную группу событий, то событие А можно представить в виде следующей суммы:

Т.к. события образуют полную группу событий, то событие А можно представить в виде следующей суммы:

Т.к. события несовместны, то и события AH_i тоже несовместны. Тогда можно применить теорему о сложении вероятностей несовместных событий:

При этом

Окончательно получаем:

Теорема доказана.

Пример. Один из трех стрелков производит два выстрела. Вероятность попадания в цель при одном выстреле для первого стрелка равна 0, 4, для второго – 0, 6, для третьего – 0, 8. Найти вероятность того, что в цель попадут два раза.

Вероятность того, что выстрелы производит первый, второй или третий стрелок равна .

Вероятности того, что один из стрелков, производящих выстрелы, два раза попадает в цель, равны:

- для первого стрелка:

- для второго стрелка:

- для третьего стрелка:

Искомая вероятность равна:

Формула Бейеса (формула гипотез)

Пусть имеется полная группа несовместных гипотез с известными вероятностями их наступления . Пусть в результате опыта наступило событие А, условные вероятности которого по каждой из гипотез известны, т.е. известны вероятности .

Требуется определить какие вероятности имеют гипотезы относительно события А, т.е. условные вероятности .

Теорема. Вероятность гипотезы после испытания равна произведению вероятности гипотезы до испытания на соответствующую ей условную вероятность события, которое произошло при испытании, деленному на полную вероятность этого события.

Эта формула называется формулой Бейеса.

Если до испытания все гипотезы равновероятны с вероятностью , то формула Бейеса принимает вид: