12.2 수능 핵심
확률 공식
Probability Formulas
정의 · 공식과 증명
이 절은 12.1에서 확립한 경우의 수(순열·조합)를 이용해 확률을 엄밀하게 정의하고, 확률에 관한 기본 정리들을 유도합니다. 787번에서 표본공간과 사건을 1.1의 집합론 용어(합집합 5번, 교집합 8번, 여집합 16번 등)로 정의하고, 788번에서 수학적 확률 (고전적 확률)을 12.1의 776번(유한집합의 원소의 개수)과 781번(조합의 수)을 이용해 정의합니다. 789–791번은 확률의 기본 성질·여사건·덧셈정리(포함−배제)를 차례로 증명하고, 792–794번은 조건부확률·곱셈정리·독립을 다룹니다. 마지막 795번은 12.1의 조합의 수를 다시 사용해 독립시행(베르누이 시행)의 확률 공식을 유도합니다.
787정의표본공간과 사건(Sample Space and Events)S : 모든 결과의 집합, A⊆S : 사건
정의이므로 증명 대상이 아닙니다. 어떤 실험(시행)에서 나올 수 있는 모든 결과를 원소로 하는 집합을 표본공간(sample space)이라 하고 S로 쓰며, S의 부분집합을 사건 (event)이라 합니다. 표본공간 S 자체도 (반드시 일어나는) 사건이고, 원소를 하나만 가진 부분집합을 근원사건(elementary event)이라 합니다.
사건은 집합이므로, 1.1에서 이미 증명된 집합의 연산과 성질을 그대로 사건에 적용합니다 :
788정의수학적 확률(Classical Probability)P(A) := n(A)n(S)
정의이므로 증명 대상이 아닙니다. 표본공간 S가 유한집합이고, S의 모든 근원사건이 일어날 가능성이 똑같다(equally likely)고 합시다. 이때 사건 A⊆S의 (수학적) 확률을
P(A) := n(A)n(S)
로 정의합니다. 여기서 n(A), n(S)는 12.1 776번의 의미에서 각 집합의 원소의 개수이고, n(A)를 구할 때 12.1에서 증명한 순열(780번)·조합(781번)의 수 공식이 실제 계산의 도구로 쓰입니다.
활용 예. 서로 다른 주사위 1개를 던질 때 짝수의 눈이 나올 확률 : S={1,2,3,4,5,6}이므로 n(S)=6, A={2,4,6}이므로 n(A)=3, 따라서 P(A)=3/6=1/2.
789정리확률의 기본 성질(Basic Properties of Probability)0≤P(A)≤1, P(S)=1, P(∅)=0, A⊆B ⇒ P(A)≤P(B)
증명법 : 788번의 정의를 집합의 포함관계에 직접 적용
⑴ P(S)=1. 788번에서 A=S로 두면 P(S)=n(S)/n(S)=1입니다.
⑵ P(∅)=0. n(∅)=0(776번의 의미에서, 공집합은 {1,…,0}=∅과 이미 일대일대응)이므로 P(∅)=0/n(S)=0입니다.
⑶ A⊆B ⇒ P(A)≤P(B). A⊆B라 합시다. A와 B−A(1.1 19번의 차집합)는 서로소이고(x가 둘 다에 속한다면 x∈B−A에서 x∉A인데 x∈A라는 것과 모순), A∪(B−A)=B입니다(x∈B이면 A⊆B 가정 아래 x∈A이거나 x∉A인데 x∉A이면 x∈B−A이므로 어느 쪽이든 A∪(B−A)에 속함, 역포함은 정의에서 바로 나옴). 12.1 777번(합의 법칙)에 의해 n(B)=n(A)+n(B−A)≥n(A)(n(B−A)≥0이므로)입니다. 788번의 정의에서 분모 n(S)>0은 공통이므로, 분자의 대소관계가 그대로 확률의 대소관계가 되어
P(A) = n(A)n(S) ≤ n(B)n(S) = P(B)
를 얻습니다.
⑷ 0≤P(A)≤1. ∅⊆A⊆S(모든 사건은 공집합을 포함하고 표본공간에 포함됨)이므로, ⑶을 두 번 적용하면 P(∅)≤P(A)≤P(S), 즉 ⑴·⑵에 의해 0≤P(A)≤1입니다.
사용 : 788번(수학적 확률의 정의) · 12.1의 776번·777번 · 1.1의 19번
증명 끝
790정리여사건의 확률(Complement Rule)P(Ac) = 1−P(A)
증명법 : S=A∪Ac(서로소)에 776·777번 적용
1.1 17번(여집합의 성질)에 의해 A∪Ac=S이고 A∩Ac=∅(서로소)입니다. 12.1 777번(합의 법칙)에 의해
n(S) = n(A) + n(Ac)
이고, 양변을 n(S)(>0)로 나누면
| 1 = n(A)n(S) + n(Ac)n(S) = P(A) + P(Ac) | 788번(수학적 확률의 정의) |
| ⇒ P(Ac) = 1−P(A) | 이항 |
를 얻습니다.
활용. «적어도 하나» 유형의 확률은 대개 여사건(«하나도 없다»)의 확률을 구해 1에서 빼는 것이 더 간단합니다 ― 이후 795번(독립시행의 확률)의 활용 예에서도 같은 전략이 등장합니다.
사용 : 788번(수학적 확률의 정의) · 1.1의 17번 · 12.1의 777번
증명 끝
791정리확률의 덧셈정리(Addition Rule)P(A∪B) = P(A) + P(B) − P(A∩B)
증명법 : A∪B를 세 조각(A만, A∩B, B만)의 서로소 분할로 나눠 777번 적용
1.1 19번(차집합)의 표기로 A−B(«A만», A에는 속하고 B에는 속하지 않는 부분)를 씁시다. 다음 두 분할이 모두 서로소인 두 조각으로의 분할임을 원소를 직접 따져 확인합니다 :
A∪B = (A−B) ∪ B (서로소), A = (A−B) ∪ (A∩B) (서로소)
먼저 두 조각이 겹치지 않음은 1.1 20번(B−A=B∩Ac)에 의해 A−B=A∩Bc이므로, (A∩Bc)∩B=A∩(Bc∩B)=A∩∅=∅이고 마찬가지로 (A∩Bc)∩(A∩B)=A∩(Bc∩B)=∅에서 바로 나옵니다. 합쳐서 전체를 이룬다는 것은 : x∈A∪B이면 x∈B이거나(둘째 조각), 아니면 x∈A이고 x∉B, 즉 x∈A−B(첫째 조각)이므로 A∪B=(A−B)∪B이고, x∈A이면 x∈B이거나 (그러면 x∈A∩B), 아니면 x∉B(그러면 x∈A−B)이므로 A=(A−B)∪(A∩B)입니다.
A∪B는 «A만»·«A∩B»·«B만» 세 조각으로 서로소 분할됩니다. A와 B 각각을 셀 때 가운데 조각(A∩B)이 한 번씩, 합쳐서 두 번 중복으로 계산되므로 한 번을 다시 빼 줍니다.
12.1 777번(합의 법칙)을 각각의 서로소 분할에 적용하면
| n(A∪B) = n(A−B) + n(B) | 777번(첫 번째 분할) |
| n(A) = n(A−B) + n(A∩B) ⇒ n(A−B) = n(A)−n(A∩B) | 777번(두 번째 분할), 이항 |
두 번째 식을 첫 번째 식에 대입하면
n(A∪B) = n(A) − n(A∩B) + n(B) = n(A)+n(B)−n(A∩B)
를 얻습니다. 양변을 n(S)(>0)로 나누고 788번(수학적 확률의 정의)을 적용하면
P(A∪B) = P(A) + P(B) − P(A∩B)
입니다.
따름정리(배반사건의 덧셈정리). A∩B=∅(배반사건, 787번)이면 789번⑵에 의해 P(A∩B)=P(∅)=0이므로
P(A∪B) = P(A) + P(B) (A, B가 배반사건일 때)
입니다 ― 이는 사실 12.1 777번(합의 법칙)을 확률에 그대로 옮긴 특수한 경우입니다.
사용 : 788번(수학적 확률) · 789번(기본 성질) · 12.1의 777번(합의 법칙) · 1.1의 19번·20번
증명 끝
792정의조건부확률(Conditional Probability)P(B|A) := P(A∩B)P(A) (P(A)>0)
정의이므로 증명 대상이 아닙니다. 사건 A가 일어났다는 것을 알고 있을 때(단 P(A)>0), 그 조건 아래에서 사건 B가 일어날 확률을 조건부확률이라 하고 P(B|A)로 쓰며
P(B|A) := P(A∩B)P(A)
로 정의합니다.
동기(수학적 확률로 이해하기). 788번의 수학적 확률 아래에서는 이 정의가 자연스러운 이유를 직접 셈으로 확인할 수 있습니다 ― A가 일어난 것을 알고 있다는 것은, 표본공간을 원래의 S에서 A로 좁혀서 다시 생각한다는 뜻입니다. 이 좁아진 표본공간 A 안에서 B가 일어나는 경우는 정확히 A∩B이므로, 그 안에서의 (상대적인) 비율은
n(A∩B)n(A) = n(A∩B)/n(S)n(A)/n(S) = P(A∩B)P(A) (분모·분자를 n(S)로 나눔, 788번)
이고, 이것이 정확히 조건부확률의 정의와 일치합니다 ― 즉 P(B|A)는 «A 안에서 다시 잰 B의 수학적 확률»입니다.
사용 : 788번(수학적 확률의 정의)
793정리확률의 곱셈정리(Multiplication Rule)P(A∩B) = P(A)×P(B|A) = P(B)×P(A|B)
증명법 : 792번의 정의를 그대로 정리(양변에 P(A)를 곱함)
P(A)>0이라 합시다. 792번(조건부확률의 정의) P(B|A)=P(A∩B)/P(A)의 양변에 P(A)를 곱하면
P(A∩B) = P(A) × P(B|A)
를 얻습니다. 대칭적으로 P(B)>0이면 792번을 A와 B의 역할을 바꿔 적용해서(A∩B=B∩A이므로)
P(A∩B) = P(B∩A) = P(B) × P(A|B)
도 얻습니다.
확률나무(tree diagram) ― 뿌리에서 잎으로 가지를 따라 내려가면서 각 가지에 적힌 (조건부)확률을 곱하면, 그 잎에 도달하는 사건의 확률이 됩니다. 예를 들어 «A 그다음 B»에 도달하는 확률은 P(A)×P(B|A)=P(A∩B)입니다.
세 사건으로 확장. 같은 논증을 반복하면(792번을 A∩B를 하나의 사건으로 보고 다시 적용)
P(A∩B∩C) = P(A) × P(B|A) × P(C|A∩B)
로 확장됩니다 ― 확률나무에서 가지를 세 단계까지 따라 내려가며 곱하는 것과 같습니다.
사용 : 792번(조건부확률의 정의)
증명 끝
794정의사건의 독립(Independent Events)A, B 독립 :⇔ P(A∩B) = P(A)×P(B)
정의이므로 증명 대상이 아닙니다. 두 사건 A, B가
P(A∩B) = P(A) × P(B)
를 만족할 때, A와 B는 서로 독립(independent)이라 하고, 그렇지 않으면 종속(dependent)이라 합니다.
조건부확률과의 관계. P(A)>0이라 합시다. 793번(곱셈정리)에 의해 P(A∩B)=P(A)×P(B|A)이므로, 이를 정의의 식과 비교하면
| A, B가 독립 ⇔ P(A)×P(B|A) = P(A)×P(B) | 793번(곱셈정리)을 정의의 좌변에 대입 |
| ⇔ P(B|A) = P(B) (P(A)>0이므로 양변을 P(A)로 나눔) | 등식의 성질 |
를 얻습니다 ― 즉 독립이라는 것은, A가 일어났다는 정보가 B가 일어날 확률을 전혀 바꾸지 않는다는 뜻입니다(직관과 정확히 일치합니다). P(A)=0인 경우까지 포함해 정의를 P(A∩B)=P(A)P(B)로 (조건부확률 없이) 써 두면, P(A)=0이나 P(B)=0인 경계의 경우도 예외 없이 다룰 수 있습니다(789번⑵–⑷에 의해 ∅⊆A∩B⊆A이므로 P(A)=0이면 0≤P(A∩B)≤P(A)=0에서 P(A∩B)=0=P(A)P(B)가 자동으로 성립).
주의 : 독립과 배반은 다른 개념입니다. A, B가 배반사건(787번, A∩B=∅)이고 둘 다 P(A)>0, P(B)>0이면, P(A∩B)=P(∅)=0≠P(A)P(B)(둘 다 양수의 곱은 양수)이므로 오히려 독립이 아닙니다(배반사건은 한쪽이 일어나면 다른 쪽은 절대 일어날 수 없으므로, A가 일어났다는 정보가 B의 확률을 0으로 바꿔버리는 것 ― 정보가 전혀 없는 것과는 정반대).
795정리독립시행의 확률(Probability of Independent Repeated Trials)P(정확히 r번) = nCr pr(1−p)n−r
증명법 : 어느 시행이 성공인지를 12.1의 조합(nCr)으로 고른 뒤, 각 경우의 확률을 794번(독립)으로 곱하고 791번(배반사건의 덧셈정리)으로 합산
한 번의 시행에서 사건 A(«성공»)가 일어날 확률이 p로 항상 같고, 매 시행이 서로 독립(794번)이라 합시다. 이런 시행을 n번 반복할 때, A가 정확히 r번 일어날 확률을 구합니다.
n번의 시행 결과 하나하나는 성공(A)·실패(Ac)를 나열한 길이 n인 수열입니다. 그중 어느 r개의 자리가 성공인지를 하나 고정하면(예 : 1번째와 3번째가 성공, 나머지는 실패), 793번(곱셈정리를 n개 사건으로 확장한 것)과 794번(독립―매 시행의 결과가 다른 시행에 영향을 주지 않으므로, 확률을 그대로 곱함)에 의해 그 특정한 배치가 나올 확률은
p × p × … × p (성공인 r개 자리) × (1−p) × (1−p) × … × (1−p) (실패인 n−r개 자리) = pr(1−p)n−r
이고, 이 값은 어느 r개의 자리가 성공이었는지와 무관하게 항상 같습니다(성공 p, 실패 (1−p)를 각각 r번, n−r번 곱한 것은 순서를 바꿔도 같은 곱이므로).
n=5, r=2인 예 ― 성공이 들어갈 2개의 자리를 정하는 방법은 5C2=10가지이고, 그 각각의 확률은 항상 p2(1−p)3으로 같습니다.
«A가 정확히 r번 일어난다»는 사건은, 이렇게 성공 자리를 서로 다르게 고른 nCr가지(12.1 781번, 조합의 수)의 배치 중 어느 하나가 실제로 일어나는 것과 같은 뜻입니다. 서로 다른 배치는 서로 다른 수열이므로 동시에 일어날 수 없어(배반사건, 787번) 이 nCr가지의 사건들은 서로 배반이고, 791번의 따름정리(배반사건의 덧셈정리를 nCr개로 일반화한 것, 12.1 777번의 univ-note에서 이미 확인한 귀납적 일반화와 같은 방식)에 의해
P(정확히 r번 성공) = (배치의 개수) × (각 배치의 확률) = nCr pr(1−p)n−r
를 얻습니다.
활용 예. 동전을 4번 던져 앞면이 정확히 3번 나올 확률(p=1/2, n=4, r=3) : 4C3(1/2)3(1/2)1=4×(1/16)=1/4. 또한 «앞면이 적어도 1번»처럼 «적어도» 유형은 790번(여사건)을 함께 써서 1−P(0번)=1−4C0(1/2)0(1/2)4=1−1/16=15/16으로 구하는 것이 더 간단합니다.
사용 : 12.1의 781번(조합의 수) · 787번(배반사건) · 791번(덧셈정리) · 793번(곱셈정리) · 794번(독립)
증명 끝