Yilda ehtimollik nazariyasi, craps printsipi haqidagi teorema tadbir ehtimolliklar ostida takrorlangan iid sinovlar. Ruxsat bering 
 va 
 ikkitasini bildiring o'zaro eksklyuziv ushbu sud jarayonida yuz berishi mumkin bo'lgan hodisalar. Keyin ehtimollik 
 oldin sodir bo'ladi 
 ga teng shartli ehtimollik bu 
 shundan kelib chiqqan holda sodir bo'ladi 
 yoki 
 keyingi sinovda sodir bo'ladi, ya'ni
![{displaystyle operatorname {P} [E_ {1} ,, {ext {before}} ,, E_ {2}] = operatorname {P} left [E_ {1} mid E_ {1} cup E_ {2} ight] = {frac {operatorname {P} [E_ {1}]} {operatorname {P} [E_ {1}] + operatorname {P} [E_ {2}]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1d14b0659b5e40d8140821e6f70f50a03e91326)
Voqealar 
 va 
 kerak emas umumiy jihatdan to'liq (agar ular bo'lsa, natija ahamiyatsiz).[1][2]
Isbot
Ruxsat bering 
 voqea bo'ling 
 oldin sodir bo'ladi 
. Ruxsat bering 
 Hech narsa bo'lmagan voqea bo'ling 
 na 
 berilgan sud jarayonida sodir bo'ladi. Beri 
, 
 va 
 bor o'zaro eksklyuziv va umumiy jihatdan to'liq birinchi sinov uchun bizda

va 
. Sinovlar i.i.d. bo'lgani uchun bizda 
. Foydalanish 
 va ko'rsatilgan tenglamani echish 
 formulasini beradi 
.
Ilova
Agar sinovlar ikki o'yinchi o'rtasidagi o'yinning takrorlanishi bo'lsa va voqealar shunday bo'lsa


keyin craps printsipi har bir o'yinchining ma'lum bir takroriy g'alabaning tegishli shartli ehtimolini beradi, kimdir g'alaba qozonishini hisobga olgan holda (ya'ni chizish sodir bo'lmaydi). Aslida, natijaga faqat yutishning nisbiy marginal ehtimoli ta'sir qiladi 
 va 
 ; xususan, durang o'ynash ehtimoli ahamiyatsiz.
To'xtatish
Agar o'yin kimdir g'alaba qozonguncha takroriy o'ynaladigan bo'lsa, unda yuqoridagi shartli ehtimollik o'yinchining o'yinda g'alaba qozonish ehtimoli. Bu asl o'yin uchun quyida keltirilgan axlat, muqobil dalil yordamida.
Craps misoli
Agar o'ynalayotgan o'yin bo'lsa axlat, keyin ushbu printsip ma'lum bir stsenariyda g'alaba qozonish ehtimolini hisoblashni ancha soddalashtirishi mumkin. Xususan, agar birinchi rulon 4, 5, 6, 8, 9 yoki 10 bo'lsa, unda zarlar ikki hodisadan biri sodir bo'lguncha qayta-qayta o'raladi:


Beri 
 va 
 o'zaro eksklyuziv, craps printsipi amal qiladi. Misol uchun, agar asl rulet 4 bo'lsa, unda g'olib chiqish ehtimoli

Bu summani yig'ishdan qochadi cheksiz qatorlar barcha mumkin bo'lgan natijalarga mos keladi:
![{displaystyle sum _ {i = 0} ^ {infty} operator nomi {P} [{ext {birinchi i rulolar bog'ichlar,}} (i + 1) ^ {ext {th}} {ext {roll 'nuqta' }}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b170fffff7bb5cbb70e848929819ffd3981f264)
Matematik jihatdan biz prokatning ehtimolligini ifodalashimiz mumkin 
 aloqalar, keyin nuqta aylantiriladi:
![{displaystyle operatorname {P} [{ext {first i rolls are rishtalar,}} (i + 1) ^ {ext {th}} {ext {roll 'nuqta'}}] = (1-operatorname {P} [E_ {1}] - operator nomi {P} [E_ {2}]) ^ {i} operator nomi {P} [E_ {1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91bb8df9e26ceef647e2bf56d276538478f55da3)
Xulosa cheksizga aylanadi geometrik qatorlar:
![sum_ {i = 0} ^ {infty} (1-operator nomi {P} [E_1] -operator nomi {P} [E_2]) ^ ioperatorname {P} [E_1]
= operator nomi {P} [E_1] sum_ {i = 0} ^ {infty} (1-operator nomi {P} [E_1] -operator nomi {P} [E_2]) ^ i](https://wikimedia.org/api/rest_v1/media/math/render/svg/de18c4e37872e615126870dcf99e7c0a5e6f8abd)
![= frac {operatorname {P} [E_1]} {1- (1-operatorname {P} [E_1] -operatorname {P} [E_2])}
= frac {operatorname {P} [E_1]} {operatorname {P} [E_1] + operatorname {P} [E_2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/315e0def4b28d13ddba887bc2a9a44e0b4a13069)
bu avvalgi natijaga mos keladi.
Adabiyotlar
Izohlar